Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The ...

Markov logic networks (MLNs) reconcile two opposing schools in machine learning and artificial intelligence: causal networks, which account for uncertainty extremely well, and first-order logic, which ...

This course is available on the MPhil/PhD in Philosophy. This course is not available as an outside option to students on other programmes. The course is, in general, only aimed at those students who ...