- Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
(1 other version)The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences (2nd edition).Bhupinder Singh Anand - 2024 - Mumbai: DBA Publishing (Second Edition).details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
(1 other version)The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
A challenge to the new metaphysics: deRosset, Priority, and explanation.David Fisher, Hao Hong & Timothy Perrine - 2021 - Synthese 198 (7):6403-6433.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.details
|
|
The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.details
|
|
(1 other version)Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.details
|
|
Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, 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
|
|
(1 other version)Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.details
|
|
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.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
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.details
|
|
Um panorama da teoria aristotélica do silogismo categórico.Evandro Luís Gomes & Itala Maria L. D'Ottaviano - 2010 - CLE E-Prints 10 (4):1-22.details
|
|
Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.details
|
|
(1 other version)Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.details
|
|
(1 other version)Superclasses in a Finite Extension of Zermelo Set Theory.Martin Kühnrich - 1978 - Mathematical Logic Quarterly 24 (31-36):539-552.details
|
|
A Measurement Theoretic Account of Propositions.Eli Dresner - 2006 - Synthese 153 (1):1-22.details
|
|
Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - Erkenntnis 69 (3):363-376.details
|
|
A Theorem about Computationalism and “Absolute” Truth.Arthur Charlesworth - 2016 - Minds and Machines 26 (3):205-226.details
|
|
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Elementare ma complessa: la prospettiva della complessità computazionale attraverso il caso studio della geometria di Tarski.Pierluigi Graziani - 2012 - In Vincenzo Fano, Enrico Giannetto, Giulia Giannini & Pierluigi Graziani (eds.), Complessità e Riduzionismo. ISONOMIA - Epistemologica Series Editor. pp. 66-81.details
|
|
Artificial Intelligence as a Possible Tool for Discovering Laws of Logic.David Isles - 1978 - Cognitive Science 2 (4):329-360.details
|
|
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.details
|
|
(2 other versions)Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.details
|
|
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.details
|
|
(1 other version)Interpreting First-Order Theories into a Logic of Records.Marcel van De Vel - 2002 - Studia Logica 72 (3):411 - 432.details
|
|
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
(1 other version)Why Popper's basic statements are not falsifiable. some paradoxes in Popper's “logic of scientific discovery”.Gerhard Schurz & Georg J. W. Dorn - 1988 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 19 (1):124-143.details
|
|
On interpreting Chaitin's incompleteness theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.details
|
|
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.details
|
|
A metalogical theory of natural language semantics.Michael Mccord & Arendse Bernth - 2004 - Linguistics and Philosophy 28 (1):73 - 116.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
Generalized logical consequence: Making room for induction in the logic of science. [REVIEW]Samir Chopra & Eric Martin - 2002 - Journal of Philosophical Logic 31 (3):245-280.details
|
|
Burgess's ‘scientific’ arguments for the existence of mathematical objects.Chihara Charles - 2006 - Philosophia Mathematica 14 (3):318-337.details
|
|
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah.Andrés Villaveces - 2021 - Theoria 87 (4):1001-1012.details
|
|
Newman’s Objection is Dead; Long Live Newman’s Objection!Sebastian Lutz - manuscriptdetails
|
|
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.details
|
|
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.details
|
|