Matthias Schirn

Available identifiers

zbMath Open schirn.matthiasMaRDI QIDQ551222

List of research outcomes

Publication	Date of Publication	Type
Identity and the cognitive value of logical equations in Frege's foundational project	2024-04-08	Paper
Finitist consistency proofs and the impact of Gödel's incompleteness theorems on Hilbert's metamathematics	2022-09-28	Paper
Frege's philosophy of geometry	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5116437	2020-08-25	Paper
Second-order abstraction before and after Russell's paradox	2020-08-19	Paper
The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems	2020-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5204597	2019-12-04	Paper
The semantics of value-range names and Frege's proof of referentiality	2018-08-07	Paper
Frege on quantities and real numbers in consideration of the theories of Cantor, Russell and others	2015-11-18	Paper
Frege's Approach to the Foundations of Analysis (1874–1903)	2015-03-25	Paper
Consistency, models, and soundness	2011-07-14	Paper
On Translating Frege'sDie Grundlagen der Arithmetik	2010-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q5488257	2006-09-14	Paper
Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters	2006-08-18	Paper
Fregean abstraction, referential indeterminacy and the logical foundations of arithmetic	2004-05-27	Paper
Extensions of the Finitist Point of View	2003-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4234975	1999-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4258427	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4258424	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4227556	1999-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4227545	1999-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4033731	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3684100	1984-01-01	Paper
Begriff und begriffsumfang. zu freges anzahldefinition in dengrundlagen der arithmetik	1983-01-01	Paper

Research outcomes over time

This page was built for person: Matthias Schirn