- Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.details
|
|
Is Hume’s Principle analytic?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - Synthese 198 (1):169-185.details
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
|
|
(1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
(1 other version)Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.details
|
|
How Fine-Grained is Reality?Peter Fritz - 2017 - Filosofisk Supplement 13 (2):52-57.details
|
|
Empiricism, scientific change and mathematical change.Otávio Bueno - 2000 - Studies in History and Philosophy of Science Part A 31 (2):269-296.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Gottlob Frege, One More Time1.Claude Imbert - 2000 - Hypatia 15 (4):156-173.details
|
|
Aristote et la « logique formelle moderne » : sur quelques paradoxes de l’interprétation de Łukasiewicz.Jean-Baptiste Gourinat - 2011 - Philosophia Scientiae 15:69-101.details
|
|
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
International Handbook of Research in History, Philosophy and Science Teaching.Michael R. Matthews (ed.) - 2014 - Springer.details
|
|
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.details
|
|
La Mannigfaltigkeitslehre de Husserl.Claire Hill - 2009 - Philosophiques 36 (2):447-465.details
|
|
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.details
|
|
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
(1 other version)The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
Klassinen matematiikka ja logiikka.Panu Raatikainen - 1996 - In Christoffer Gefwert (ed.), Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Finnish Artificial Intelligence Society.details
|
|
Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited.Volker Peckhaus - 2004 - History and Philosophy of Logic 25 (1):3-14.details
|
|
Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
Horwich's minimalist conception of truth: some logical difficulties.Sten Lindström - 2001 - Logic and Logical Philosophy 9:161-181.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Tarski's conceptual analysis of semantical notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 72.details
|
|
(1 other version)Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.details
|
|
Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Schema.John Corcoran - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.details
|
|
Axiomatic quantum theory.Storrs McCall - 2001 - Journal of Philosophical Logic 30 (5):465-477.details
|
|
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.details
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
Towards a theory of mathematical research programmes (II).Michael Hallett - 1979 - British Journal for the Philosophy of Science 30 (2):135-159.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
The Logical Square and the Table of Oppositions.Wolfgang Kienzler - 2012 - History of Philosophy & Logical Analysis 15 (1):400-416.details
|
|
(1 other version)Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.), One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle.Maria Carla Galavotti (ed.) - 2004 - Dordrecht: Springer Verlag.details
|
|