\textit{Begriffsschrift}'s logic

DOI10.1215/00294527-2020-0014zbMath1485.03006OpenAlexW3084331769MaRDI QIDQ2656211

Joan Bertran-San Millán, Calixto Badesa

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

Fregesecond-order logicsubstitution rule\textit{Begriffsschrift}concept-script

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the brink of a paradox?
• The rise of modern logic: from Leibniz to Frege
• On an alleged contradiction lurking in Frege's Begriffsschrift
• Frege’s Conception of Logic
• Function and Argument inBegriffsschrift
• On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs
• Formal Arithmetic Before Grundgesetze
• Banishing the rule of substitution for functional variables

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