- Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.details
|
|
Modal Pluralism and Higher‐Order Logic.Justin Clarke-Doane & William McCarthy - 2022 - Philosophical Perspectives 36 (1):31-58.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
On Logical and Scientific Strength.Luca Incurvati & Carlo Nicolai - forthcoming - Erkenntnis.details
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.details
|
|
Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.details
|
|
Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.details
|
|
(1 other version)Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.details
|
|
Alan Turing and the origins of complexity.Miguel Angel Martin-Delgado - 2013 - Arbor 189 (764):a083.details
|
|
(1 other version)Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.details
|
|
(1 other version)Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Mathematical Logic Quarterly 18 (4‐6):93-96.details
|
|
(1 other version)Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21‐24):329-334.details
|
|
(1 other version)Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21-24):329-334.details
|
|
(1 other version)Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Mathematical Logic Quarterly 9 (12‐15):235-241.details
|
|
(1 other version)Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):235-241.details
|
|
(1 other version)Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (1):57-70.details
|
|
(1 other version)Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (1):57-70.details
|
|
(1 other version)Vers une analyse sémiotique de la théorie des ensembles : hiérarchies et réflexivité.Alain Herreman - 2005 - Philosophia Scientiae 9 (2):165-187.details
|
|
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.details
|
|
The Concept of Testimony.Nicola Mößner - 2007 - In Christoph Jäger & Winfried Löffler (eds.), Epistemology: Contexts, Values, Disagreement. Papers of the 34th International Ludwig Wittgenstein-Symposium in Kirchberg, 2011. The Austrian Ludwig Wittgenstein Society. pp. 207-209.details
|
|
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Supervaluational anti-realism and logic.Stig Alstrup Rasmussen - 1990 - Synthese 84 (1):97 - 138.details
|
|
The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.details
|
|
Individuals enough for classes.Daniel Nolan - 2004details
|
|
(2 other versions)Ramseyfication and structural realism.Elie G. Zahar - 2004 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 19 (1):5-30.details
|
|
Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.details
|
|
Introduction to Axiomatic Set Theory.Jean-Louis Krivine - 1971 - Dordrecht, Netherland: Springer.details
|
|
Philosophy in Reality: Scientific Discovery and Logical Recovery.Joseph E. Brenner & Abir U. Igamberdiev - 2019 - Philosophies 4 (2):22.details
|
|
Towards a unified framework for developing ethical and practical Turing tests.Balaji Srinivasan & Kushal Shah - 2019 - AI and Society 34 (1):145-152.details
|
|
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.details
|
|
Life on the Range.G. Aldo Antonelli - 2015 - In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 171-189.details
|
|
(1 other version)Reviews. [REVIEW]W. von Leyden - 1975 - British Journal for the Philosophy of Science 26 (2):174-180.details
|
|
Is the Continuum Hypothesis a definite mathematical problem?Solomon Feferman - manuscriptdetails
|
|
Recombination unbound.Daniel Nolan - 1996 - Philosophical Studies 84 (2-3):239-262.details
|
|
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.details
|
|
(1 other version)Reviews. [REVIEW]M. F. Hallett - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.details
|
|
The conceptual foundations and the philosophical aspects of renormalization theory.Tian Yu Cao & Silvan S. Schweber - 1993 - Synthese 97 (1):33 - 108.details
|
|
What's in a function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.details
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
A metalogical theory of natural language semantics.Michael Mccord & Arendse Bernth - 2004 - Linguistics and Philosophy 28 (1):73 - 116.details
|
|
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.details
|
|
Levy and set theory.Akihiro Kanamori - 2006 - Annals of Pure and Applied Logic 140 (1):233-252.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
|
|
Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose. [REVIEW]John Mccarthy - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.details
|
|
Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians might hope to meet it hereafter. On this Gödel commented: Concerning my “unadulterated” Platonism, it is no more unadulter.Solomon Feferman, John Dawson, Warren Goldfarb & Robert Solovay - 1995 - Bulletin of Symbolic Logic 1 (1).details
|
|
Die Relative Konsistenz Axiomatischer Mengentheorien.Martin Kühnrich - 1968 - Mathematical Logic Quarterly 14 (1-5):1-38.details
|
|