- On what Hilbert aimed at in the foundations.Besim Karakadılar - manuscriptdetails
|
|
Hilbert izlencesinin izinde adcılık adına yeni bulgular.Besim Karakadılar - manuscriptdetails
|
|
Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics.Markus Pantsar - 2021 - Minds and Machines 31 (1):75-98.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu - 2022 - Journal of Philosophical Logic 51 (2):283-296.details
|
|
(1 other version)Hintikka’s Take on the Axiom of Choice and the Constructivist Challenge.Radmila Jovanović - 2013 - Revista de Humanidades de Valparaíso 2:135-150.details
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
|
|
Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.details
|
|
Axiomatizing Relativistic Dynamics without Conservation Postulates.H. Andréka, J. X. Madarász, I. Németi & G. Székely - 2008 - Studia Logica 89 (2):163-186.details
|
|
What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
(1 other version)Second‐Order Logic and Set Theory.Jouko Väänänen - 2015 - Philosophy Compass 10 (7):463-478.details
|
|
Truth, negation and other basic notions of logic.Jaakko Hintikka - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 195--219.details
|
|
Exotic Smoothness and Noncommutative Spaces. The Model-Theoretical Approach.Jerzy Król - 2004 - Foundations of Physics 34 (5):843-869.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Is the Continuum Hypothesis a definite mathematical problem?Solomon Feferman - manuscriptdetails
|
|
What’s Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2010 - Erkenntnis (S8):1-18.details
|
|
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Second-order propositional modal logic: Expressiveness and completeness results.Francesco Belardinelli, Wiebe van der Hoek & Louwe B. Kuijer - 2018 - Artificial Intelligence 263 (C):3-45.details
|
|
(1 other version)Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2019 - Foundations of Physics:1-13.details
|
|
(1 other version)There is No Standard Model of ZFC and ZFC_2. Part I.Jaykov Foukzon - 2017 - Journal of Advances in Mathematics and Computer Science 2 (26):1-20.details
|
|
Structural-Abstraction Principles.Graham Leach-Krouse - 2015 - Philosophia Mathematica:nkv033.details
|
|
Categoricity and Consistency in Second-Order Logic.Jouko Väänänen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):20-27.details
|
|
Twin Paradox and the Logical Foundation of Relativity Theory.Judit X. Madarász, István Németi & Gergely Székely - 2006 - Foundations of Physics 36 (5):681-714.details
|
|
Towards a Coherent Theory of Physics and Mathematics: The Theory–Experiment Connection.Paul Benioff - 2005 - Foundations of Physics 35 (11):1825-1856.details
|
|
Criteria of Empirical Significance: Foundations, Relations, Applications.Sebastian Lutz - 2012 - Dissertation, Utrecht Universitydetails
|
|
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.details
|
|
What kind of logic is “Independence Friendly” logic?Solomon Feferman - unknowndetails
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.details
|
|
A Geometrical Characterization of the Twin Paradox and its Variants.Gergely Székely - 2010 - Studia Logica 95 (1-2):161 - 182.details
|
|
Number Theory and Infinity Without Mathematics.Uri Nodelman & Edward N. Zalta - forthcoming - Journal of Philosophical Logic:1-37.details
|
|
On the algebraization of Henkin‐type second‐order logic.Miklós Ferenczi - 2022 - Mathematical Logic Quarterly 68 (2):149-158.details
|
|
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication.Ahti-Viekko Pietarinen - 2006 - Dordrecht, Netherland: Springer.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.details
|
|
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
(1 other version)The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities.Ethan Brauer - 2020 - Erkenntnis:1-19.details
|
|
(1 other version)Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2020 - Foundations of Physics 50 (6):555-567.details
|
|
Axiomatizations of arithmetic and the first-order/second-order divide.Catarina Dutilh Novaes - 2019 - Synthese 196 (7):2583-2597.details
|
|
The Expressive Power of Truth.Martin Fischer & Leon Horsten - 2015 - Review of Symbolic Logic 8 (2):345-369.details
|
|
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.details
|
|
(1 other version)The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities.Ethan Brauer - 2022 - Erkenntnis 87 (5):2161-2179.details
|
|
Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.details
|
|
Background Independence in Quantum Gravity and Forcing Constructions.Jerzy Król - 2004 - Foundations of Physics 34 (3):361-403.details
|
|
Can logic be combined with probability? Probably.Colin Howson - 2009 - Journal of Applied Logic 7 (2):177-187.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Infinity and a Critical View of Logic.Charles Parsons - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):1-19.details
|
|