Switch to: Citations

Add references

You must login to add references.
  1. Mathematical symbols as epistemic actions.Johan De Smedt & Helen De Cruz - 2013 - Synthese 190 (1):3-19.
    Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  • The proofs of the grundgedanke in Wittgenstein's tractatus.Leo K. C. Cheung - 1999 - Synthese 120 (3):395-410.
    The Tractatus contains twodifferent proofs of the Grundgedanke, or thenonreferentiality of logical constants. In thispaper, I explicate the first proof in TLP 5.4s andreconstruct the less explicitly stated second proof. My explication of the first proof shows it to beelegant but based on an invalid inference. In myreconstruction of the second proof, the main argumentis that the sign of a logical constant does not denotebecause it possesses the punctuation-mark-nature. Andit possesses the punctuation-mark-nature because,given the analyticity thesis in TLP 5, one (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Charles S. Peirce and the Medieval Doctrine of consequentiae.Francesco Bellucci - 2016 - History and Philosophy of Logic 37 (3):244-268.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Iconic Logic of Peirce's Graphs.Sun-joo Shin - 2003 - Transactions of the Charles S. Peirce Society 39 (1):127-133.
  • Peirce's alpha graphs and propositional languages.Sun-joo Shin - 2011 - Semiotica 2011 (186):333-346.
    Many do not doubt that Peirce's Existential Graphs are diagrammatic, as opposed to symbolic. However, when we are pressured to draw a distinction between the two different forms of representation, we find ourselves at a loss and our intuition quite vague. In this paper, I locate fundamental differences between two logically equivalent systems, Peirce's Alpha system and propositional languages. Suppose we have only two sentential connectives, ¬ and ^. In spite of its truth-functional completeness, we don't want to use this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   690 citations  
  • The existential graphs of Charles S. Peirce.Don D. Roberts - 1973 - The Hague,: Mouton.
    1 INTRODUCTION Above the other titles he might justly have claimed, Charles S. Peirce prized the title 'logician'. He expressed in several places his ...
  • Peirce's axioms for propositional calculus.A. N. Prior - 1958 - Journal of Symbolic Logic 23 (2):135-136.
  • Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like.Ahti-Veikko Pietarinen - 2011 - History and Philosophy of Logic 32 (3):265-281.
    This paper examines the contemporary philosophical and cognitive relevance of Charles Peirce's diagrammatic logic of existential graphs (EGs), the ‘moving pictures of thought’. The first part brings to the fore some hitherto unknown details about the reception of EGs in the early 1900s that took place amidst the emergence of modern conceptions of symbolic logic. In the second part, philosophical aspects of EGs and their contributions to contemporary logical theory are pointed out, including the relationship between iconic logic and images, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Exploring the beta quadrant.Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):941-970.
    The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Compositionality, Relevance, and Peirce’s Logic of Existential Graphs.Ahti-Veikko Pietarinen - 2005 - Axiomathes 15 (4):513-540.
    Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Logic of Relatives.Charles S. Peirce - 1897 - The Monist 7 (2):161-217.
  • Prolegomena to an Apology for Pragmaticism.Charles S. Peirce - 1906 - The Monist 16 (4):492-546.
  • Peirce’s Propositional Logic.Randall R. Dipert - 1981 - Review of Metaphysics 34 (3):569 - 595.
    BEFORE Frege’s Begriffsschrift, propositional logic was submerged in the often murky theory of the "hypothetical syllogism." With the exception of the Stoa, a handful of astute mediaeval logicians, Leibniz, and Bolzano, one might well obtain the impression from studying the history of logic that Frege created his theory ex nihilo—which is substantially true, since Frege was apparently little influenced by previous work. One might also obtain the impression, especially by reading Frege himself, that very little was being done on propositional (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    No categories
     
    Export citation  
     
    Bookmark   1831 citations  
  • The Existential Graphs of Charles S. Peirce.Don D. Roberts - 1975 - Transactions of the Charles S. Peirce Society 11 (2):128-139.
     
    Export citation  
     
    Bookmark   55 citations  
  • Frege's Logic.Danielle Macbeth - 2006 - Bulletin of Symbolic Logic 12 (3):496-498.
     
    Export citation  
     
    Bookmark   19 citations  
  • Peirce's Graphs—The Continuity Interpretation.J. Jay Zeman - 1968 - Transactions of the Charles S. Peirce Society 4 (3):144 - 154.
  • Operational constraints in diagrammatic reasoning.Atsushi Shimojima - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations