Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic

DOI10.1007/978-3-662-45011-6zbMath1403.01004OpenAlexW4241542103MaRDI QIDQ1708702

Matthias Wille

Publication date: 26 March 2018

Published in: Klassische Texte der Wissenschaft (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45011-6

zbMATH Keywords

\textit{Begriffsschrift}axiomatization of Frege's logichistory of first-order propositional logichistory of proof theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Logic in the philosophy of science (03A10)

Related Items (1)

Existential Import and an Unnecessary Restriction on Predicate Logics

This page was built for publication: Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic