-
25Assertive graphsJournal of Applied Non-Classical Logics 28 (1): 72-91. 2018.Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic c…Read more
-
39Reprint of: Assertion and denial: A contribution from logical notationsJournal of Applied Logic 25. 2017.
-
19The Sign of ConsequenceThe Commens Encyclopedia: The Digital Encyclopedia of Peirce Studies. 2016.The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.
-
29Signs and demonstration in AristotleBritish Journal for the History of Philosophy 26 (3): 410-428. 2018.ABSTRACTIn this paper, I explore the contrast drawn by Aristotle in two parallel passages of the Posterior Analytics between ‘signs’ and ‘demonstration’. I argue that while at APo. I.6 Aristotle contrasts demonstration proper with a deductively valid sign-syllogism, at APo. II.17 the contrast is rather between a demonstration proper and a deductively invalid sign-syllogism.
-
26Assertion and denial: A contribution from logical notationsJournal of Applied Logic 25 1-22. 2017.
-
86Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of LogicHistory and Philosophy of Logic 39 (1): 80-95. 2018.We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. We conclude that Frege, …Read more
-
256The Sign of ConsequenceThe Digital Encyclopedia of Peirce Studies 1 1-5. 2016.The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.
-
47Introduction: History and Philosophy of Logical NotationHistory and Philosophy of Logic 39 (1): 1-2. 2018.We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. We conclude that Frege, …Read more
-
36Existential graphs as an instrument of logical analysis: Part I. alphaReview of Symbolic Logic 9 (2): 209-237. 2016.Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that …Read more
-
37Peirce, Leibniz, and the threshold of pragmatismSemiotica 2013 (195): 331-355. 2013.Journal Name: Semiotica - Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique Volume: 2013 Issue: 195 Pages: 331-355
-
36Charles S. Peirce and the Medieval Doctrine of consequentiaeHistory and Philosophy of Logic 37 (3): 244-268. 2016.In 1898 C. S. Peirce declares that the medieval doctrine of consequences had been the starting point of his logical investigations in the 1860s. This paper shows that Peirce studied the scholastic theory of consequentiae as early as 1866–67, that he adopted the scholastics’ terminology, and that that theory constituted a source of logical doctrine that sustained Peirce for a lifetime of creative and original work.
-
28Logic, Psychology, and Apperception: Charles S. Peirce and Johann F. HerbartJournal of the History of Ideas 76 (1): 69-91. 2015.
-
15Peirce’s Speculative Grammar: Logic as SemioticsRoutledge. 2017._Peirce’s Speculative Grammar: Logic as Semiotics _offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce’s theory of speculative grammar. The book traces the evolution of Peirce’s grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history …Read more
-
47Diagrammatic Reasoning: Some Notes on Charles S. Peirce and Friedrich A. LangeHistory and Philosophy of Logic 34 (4). 2013.According to the received view, Charles S. Peirce's theory of diagrammatic reasoning is derived from Kant's philosophy of mathematics. For Kant, only mathematics is constructive/synthetic, logic being instead discursive/analytic, while for Peirce, the entire domain of necessary reasoning, comprising mathematics and deductive logic, is diagrammatic, i.e. constructive in the Kantian sense. This shift was stimulated, as Peirce himself acknowledged, by the doctrines contained in Friedrich Albert Lan…Read more
-
26Neat, Swine, Sheep, and Deer: Mill and Peirce on Natural KindsBritish Journal for the History of Philosophy 23 (5): 911-932. 2015.In the earliest phase of his logical investigations, Peirce adopts Mill's doctrine of real Kinds as discussed in the System of Logic and adapts it to the logical conceptions he was then developing. In Peirce's definition of natural class, a crucial role is played by the notion of information: a natural class is a class of which some non-analytical proposition is true. In Peirce's hands, Mill's distinction between connotative and non-connotative terms becomes a distinction between symbolic and in…Read more
-
31Peirce’s LogicInternet Encyclopedia of Philosophy. 2015.Charles Sanders Peirce: Logic Charles Sanders Peirce was an accomplished scientist, philosopher, and mathematician, who considered himself primarily a logician. His contributions to the development of modern logic at the turn of the 20th century were colossal, original and influential. Formal, or deductive, logic was just one of the branches in which he exercized … Continue reading Peirce’s Logic →.
-
86New Light on Peirce's Conceptions of Retroduction, Deduction, and Scientific ReasoningInternational Studies in the Philosophy of Science 28 (4): 353-373. 2014.We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings. We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stand…Read more
-
41From Mitchell to Carus: Fourteen Years of Logical Graphs in the MakingTransactions of the Charles S. Peirce Society 52 (4): 539. 2016.It is well-known that by 1882, Peirce, influenced by Cayley’s, Clifford’s and Sylvester’s works on algebraic invariants and by the chemical analogy, had already achieved something like a diagrammatic treatment of quantificational logic of relatives. The details of that discovery and its implications to some wider issues in logical theory merit further investigation, however. This paper provides a reconstruction of the genesis of Peirce’s logical graphs from the early 1880s until 1896, covering t…Read more
-
38Inferences from Signs: Peirce and the Recovery of the σημεῖονTransactions of the Charles S. Peirce Society 52 (2): 259. 2016.According to an established reconstruction,1 Augustine of Hippo in the fourth century CE was the first to perform a complete fusion between the theory of signs and the theory of language. Before Augustine, these were considered separate fields of investigation. Aristotle had presented his theory of language in the De Interpretatione, in which the “things in the voice” are said to be “symbols” of the “affections of the soul”, and his theory of inference from signs in the Analytics, where a σημεῖο…Read more
-
University of BolognaAssistant Professor