- Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.details
|
|
Kant, Frege, and the normativity of logic: MacFarlane 's argument for common ground.Tyke Nunez - 2021 - European Journal of Philosophy 29 (4):988-1009.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
The later Wittgenstein’s guide to contradictions.Alessio Persichetti - 2019 - Synthese 198 (4):3783-3799.details
|
|
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):673-708.details
|
|
A Set Theoretic Approach to the Simple Theory of Types.Michael D. Resnik - 1969 - Theoria 35 (3):239-258.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
Epsilon substitution method for theories of jump hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.details
|
|