\textit{Begriffsschrift}'s logic

DOI10.1215/00294527-2020-0014MaRDI QIDQ2656211zbMATH OpenOpenAlexFDO

Authors Calixto Badesa, Joan Bertran-San Millán

Publication date 10 March 2021

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1599638410

zbMATH Keywords

\textit{Begriffsschrift}concept-scriptFregesecond-order logicsubstitution rule

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Recommendations

• scientific article; zbMATH DE number 7084939
• scientific article; zbMATH DE number 7139943
• On Frege's \textit{Begriffsschrift} notation for propositional logic: design principles and trade-offs
• Logical form, mathematical practice, and Frege's \textit{Begriffsschrift}
• Diagrammatic reasoning in Frege's \textit{Begriffsschrift}
• scientific article; zbMATH DE number 1195915
• scientific article; zbMATH DE number 1550346
• Definitions in \textit{Begriffsschrift} and \textit{Grundgesetze}
• scientific article; zbMATH DE number 3304884
• scientific article; zbMATH DE number 1464431

Cites work

• Banishing the rule of substitution for functional variables
• Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Translated and edited by Philip A. Ebert and Marcus Rossberg. With a foreword by Crispin Wright and an appendix by Roy T. Cook
• Formal Arithmetic Before Grundgesetze
• Frege's conception of logic
• Function and argument in \textit{Begriffsschrift}
• scientific article; zbMATH DE number 6111395 (Why is no real title available?)
• scientific article; zbMATH DE number 4063046 (Why is no real title available?)
• scientific article; zbMATH DE number 3767619 (Why is no real title available?)
• scientific article; zbMATH DE number 3531332 (Why is no real title available?)
• scientific article; zbMATH DE number 6745036 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3294529 (Why is no real title available?)
• scientific article; zbMATH DE number 3307462 (Why is no real title available?)
• On an alleged contradiction lurking in Frege's Begriffsschrift
• On Frege's \textit{Begriffsschrift} notation for propositional logic: design principles and trade-offs
• On the brink of a paradox?
• The Oxford handbook of the history of physics
• The rise of modern logic: from Leibniz to Frege

Cited in

(10)

• Functions in Begriffsschrift
• Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic
• scientific article; zbMATH DE number 4150117 (Why is no real title available?)
• Diagrammatic reasoning in Frege's \textit{Begriffsschrift}
• Function and argument in \textit{Begriffsschrift}
• Frege's \textit{Begriffsschrift} is indeed first-order complete
• scientific article; zbMATH DE number 2121572 (Why is no real title available?)
• scientific article; zbMATH DE number 7568222 (Why is no real title available?)
• Definitions in \textit{Begriffsschrift} and \textit{Grundgesetze}
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem

This page was built for publication: \textit{Begriffsschrift}'s logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2656211)