forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the (...) syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for the exercises in the book is available. (shrink)

Richard Holton has drawn attention to a new semantic universal, according to which (almost) no natural language has contrafactive attitude verbs. This semantic universal is part of an asymmetry between factive and contrafactive attitude verbs. Whilst factives are abundant, contrafactives are scarce. We propose that this asymmetry is partly due to a difference in learnability. The meaning of contrafactives is significantly harder to learn than that of factives. We tested our hypothesis by conducting a computational experiment using an artificial neural (...) network. The results of this experiment support our hypothesis. (shrink)

This thesis defends egalitarianism about knowledge and belief, on which neither is understood in terms of the other, from what I call the abductive argument. This argument is meant to favour views opposed to egalitarianism: doxasticism, on which knowledge is understood in terms of belief, and epistemicism, on which belief is understood in terms of knowledge. The abductive argument turns on the idea that doxasticism and epistemicism, by contrast with egalitarianism, explain certain data about knowledge and belief. I argue, however, (...) that no versions of doxasticism and epistemicism currently on offer are preferable to egalitarianism on abductive grounds. As part of my argument, I also defend the claim that knowledge, by contrast with belief, is an attitude to a fact and explore the implications of this claim for doxasticism and epistemicism. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come apart.

Can knowledge be defined? We expound an argument of John Cook Wilson's that it cannot. Cook Wilson's argument connects knowing with having the power to inquire. We suggest that if he is right about that connection, then knowledge is, indeed, indefinable.

Aristotle is widely regarded as the greatest of all philosophers; indeed, he is traditionally referred to simply as `the philosopher'. Today, after more than two millennia, his arguments and ideas continue to stimulate philosophers and provoke them to controversy. In this book J.L. Ackrill conveys the force and excitement of Aristotle's philosophical investigations, thereby showing why contemporary philosophers still draw from him and return to him. He quotes extensively from Aristotle's works in his own notably clear English translation, and a (...) picture emerges of a lucid, lively, subtle and tough-minded thinker of astonishing range and penetration. Professor Ackrill identifies many striking connections between Aristotle's ideas and ideas in recent philosophy; he also raises philosophical questions of his own, and exemplifies the way in which Aristotle can still be argued with and learned from. (shrink)

A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.