Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules from ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...

My 5-year-old nephew once confidently told me that all dinosaurs were green because his three dinosaur toys were green. So I showed him a nature documentary, Walking with Dinosaurs, and suddenly, ...

Merriam Webster defines the word logic as “The science of the formal principles of reasoning.” It’s virtually disappeared from the educational landscape and if you try to have a conversation with ...

In this paper, the authors discuss Frege's theory of "logical objects" (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos ...