In a ground-breaking essay Nagel contended that the controversy over impossible numbers influenced the development of modern logic. I maintain that Nagel was correct in outline only. He overlooked the fact that the controversy engendered a new account of reasoning, one in which the concept of a well-made language played a decisive role. Focusing on the new account of reasoning changes the story considerably and reveals important but unnoticed similarities between the development of algebraic logic and quantificational logic.

The editor’s General Introduction is divided into two parts. The first part, ‘Context’, discusses Locke’s analysis of the nature of error, the causes of error and the prevention and cure of error in the Conduct. His enquiry is placed in the context of his way of ideas as given in his Essay concerning Human Understanding. Locke’s two-stage way of ideas, his occupation with our mental faculties and with method form the interrelated main ingredients of his logic of ideas. There is (...) a complicated relation of continuity and change between the content and the structure of this new logic on the one hand and the content and structure of works by both scholastic predecessors and novel philosophers on the other hand. Once this context is taken into account, the Conduct can be understood as work that has a function within the structure of Locke’s logic of ideas that runs parallel to the function of the De sophisticis elenchis in the Aristotelian Organon. The second part of the General Introduction, ‘Text’, gives a description of the relevant MSS, an overview of references to the Conduct in Locke’s correspondence, a history of the genesis of the Conduct until its first publication in 1706 in the Posthumous Works, an analysis of the evidence provided by the MSS on how the Conduct grew out of the Essay, and a statement of the principles that underlie the present editon. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of logical (...) extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

This article presents a novel reading of Descartes’s critique of the traditional syllogistic. The reading differs from those previously presented by scholars who regard Descartes’s critique as a version of a well-known argument: that syllogisms are circular or non-ampliative and thus trivial. It is argued that Descartes did not see syllogisms as defective in themselves. For him the problem was rather that anyone considering a valid and informative syllogism must already know, by an intuition wholly independent of the syllogism, that (...) the conclusion follows from the premises. Moreover, without such an intuition the syllogistic on its own is incapable of determining whether the consequence truly holds. Thus the syllogistic is useless unless accompanied by an intuition that renders it otiose. This reading of Descartes’s view is supported and explained by examples drawn from Descartes’s writing and from the Port-Royal Logic—one of the first attempts to develop a logical system on Cartesian principles. (shrink)