Frege's new science

DOI10.1305/ndjfl/1038336844zbMath1009.03004OpenAlexW1993744830WikidataQ56814181 ScholiaQ56814181MaRDI QIDQ1860968

Yanyan Li

Publication date: 27 April 2003

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1038336844

zbMATH Keywords

HilbertFregelogicismfoundations of geometrylogical constantsindependence proofslogical truthmetatheory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of geometry (51-03)

Related Items

The Composition of Thoughts, Identity and the cognitive value of logical equations in Frege's foundational project, Frege and the origins of model theory in nineteenth century geometry, How to be a structuralist all the way down, Consistency, models, and soundness, Frege's other program, Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters, Frege's \textit{Begriffsschrift} as a lingua characteristica, The applicability of mathematics as a philosophical problem: mathematization as exploration, Group interest versus self-interest in smallpox vaccination policy, Vaccination and the theory of games, Remarks on Independence Proofs and Indirect Reference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and paradox
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Logic as calculus and logic as language
• What are logical notions?
• Logic in the twenties: the nature of the quantifier
• Frege, hilbert, and the conceptual structure of model theory
• Logic, logics, and logicism
• Logical operations