On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs

DOI10.1080/01445340.2017.1317429zbMath1436.03011OpenAlexW2614123977WikidataQ58345335 ScholiaQ58345335MaRDI QIDQ4608221

Dirk Schlimm

Publication date: 16 March 2018

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2017.1317429

Mathematics Subject Classification ID

Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (8)

\textit{Begriffsschrift}'s logic ⋮ THE GENEALOGY OF ‘’ ⋮ Lewis Carroll’s Almost Diagrammatic Logic Notation ⋮ Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus ⋮ Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic ⋮ What is a Symbol? ⋮ Permanence as a principle of practice ⋮ Book review of: J. Dejnožka, The concept of relevance and the logic diagram tradition

Cites Work

• Diagrammatic reasoning in Frege's \textit{Begriffsschrift}
• Logic: a history of its central concepts
• The reception of Frege's \textit{Begriffsschrift}
• Metaphors for Mathematics from Pasch to Hilbert
• Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
• Vorlesungen ü bergriffsschrift
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs