The completion of the emergence of modern logic from Boole's \textit{The mathematical analysis of logic} to Frege's \textit{Begriffsschrift}

DOI10.1007/978-3-642-18026-2_10MaRDI QIDQ3063974zbMATH OpenOpenAlexFDO

Authors Priyedarshi Jetli

Publication date 17 December 2010

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18026-2_10

zbMATH Keywords

axiomsBooleconditionalFregefunction and argumentmodus ponenspropositional calculusquantifiers

Mathematics Subject Classification ID

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

Recommendations

• Boole
• scientific article; zbMATH DE number 6380796
• Jean van Heijenoort's conception of modern logic, in historical perspective
• Frege
• scientific article; zbMATH DE number 5832443

Cited in

(3)

• scientific article; zbMATH DE number 6380796 (Why is no real title available?)
• Frege and the resolution calculus
• Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic

This page was built for publication: The completion of the emergence of modern logic from Boole's \textit{The mathematical analysis of logic} to Frege's \textit{Begriffsschrift}

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