Most recent discussions of John Stuart Mill’s System of Logic (1843) neglect the fifth book concerned with logical fallacies. Mill not only follows the revival of interest in the traditional Aristotelian doctrine of fallacies in Richard Whately and Augustus De Morgan, but he also develops new categories and an original analysis which enhance the study of fallacies within the context of what he calls ‘the philosophy of error’. After an exploration of this approach, the essay relates the philosophy of error (...) to the discussion of truth and error in chapter two of On Liberty (1859) concerned with freedom of thought and discussion. Drawing on Socratic and Baconian perspectives, Mill defends both the traditional study of logic against Jevons, Boole, De Morgan, and others, as well as the study of fallacies as the key to maintaining truth and its dissemination in numerous fields, such as science, morality, politics, and religion. In Mill’s view the study of fallacies also liberates ordinary people to explore the truth and falsity of ideas and, as such, to participate in society and politics and develop themselves as progressive beings. (shrink)

We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.

This paper undertakes a re-examination of Sir William Hamilton’s doctrine of the quantification of the predicate . Hamilton’s doctrine comprises two theses. First, the predicates of traditional syllogistic sentence-forms contain implicit existential quantifiers, so that, for example, All p is q is to be understood as All p is some q . Second, these implicit quantifiers can be meaningfully dualized to yield novel sentence-forms, such as, for example, All p is all q . Hamilton attempted to provide a deductive system (...) for his language, along the lines of the classical syllogisms. We show, using techniques unavailable to Hamilton, that such a system does exist, though with qualifications that distinguish it from its classical counterpart. (shrink)