•  20
    Assertive graphs
    Journal 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
  •  17
    The Sign of Consequence
    The 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.
  •  26
    Signs and demonstration in Aristotle
    British 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.
  •  65
    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
  •  235
    The Sign of Consequence
    The 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.
  •  42
    Introduction: History and Philosophy of Logical Notation
    History 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
  •  30
    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
  •  11
    _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
  •  36
    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
  •  20
    Neat, Swine, Sheep, and Deer: Mill and Peirce on Natural Kinds
    British 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
  •  31
    Peirce’s Logic
    Internet 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 →.
  •  80
    New Light on Peirce's Conceptions of Retroduction, Deduction, and Scientific Reasoning
    International 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
  •  32
    From Mitchell to Carus: Fourteen Years of Logical Graphs in the Making
    Transactions 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
  •  20
    Peirce's Continuous Predicates
    Transactions of the Charles S. Peirce Society 49 (2): 52. 2013.
  •  6
    Comment
    Sign Systems Studies 43 (4): 433-437. 2015.
  •  33
    Inferences 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
  •  21
    Peirce, Leibniz, and the threshold of pragmatism
    Semiotica 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
  •  32
    Charles S. Peirce and the Medieval Doctrine of consequentiae
    History 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.