- Nonstandard models for arithmetic and analysis.Alexander Abian - 1974 - Studia Logica 33 (1):11 - 22.details
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
A Logical Analysis of the Main Argument in Chapter 2 of the Proslogion by Anselm of Canterbury.Peter Hinst - 2014 - History of Philosophy & Logical Analysis 17 (1):22-44.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
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
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.details
|
|
Traditional Logic, Modern Logic and Natural Language.Wilfrid Hodges - 2009 - Journal of Philosophical Logic 38 (6):589-606.details
|
|
Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - Erkenntnis 69 (3):363-376.details
|
|
(1 other version)Searching for pragmatism in the philosophy of mathematics: Critical Studies / Book Reviews.Steven J. Wagner - 2001 - Philosophia Mathematica 9 (3):355-376.details
|
|
(1 other version)The hilbert type axiomatization of some three‐valued propositional logic.Andrzej Zbrzezny - 1990 - Mathematical Logic Quarterly 36 (5):415-421.details
|
|
(1 other version)Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.details
|
|
On the axiom of union.Greg Oman - 2010 - Archive for Mathematical Logic 49 (3):283-289.details
|
|
(1 other version)A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7‐12):135-162.details
|
|
Abduction in economics: a conceptual framework and its model.Fernando Tohmé & Ricardo Crespo - 2013 - Synthese 190 (18):4215-4237.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.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
|
|
Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.details
|
|
Ramsey eliminability.J. F. A. K. Benthem - 1978 - Studia Logica 37 (4):321 - 336.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Contributions to the Theory of Semisets II. The theory of semisets and end-extensions in a syntactic setting.Josef Mlček & Antonín Sochor - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):407-417.details
|
|
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.details
|
|
(1 other version)Zur Axiomatik der Friedmanschen Theorie der Prädikate.Martin Kühnrich - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):97-106.details
|
|
A remark on equivalent Rosser sentences.Christopher von Bülow - 2008 - Annals of Pure and Applied Logic 151 (1):62-67.details
|
|
(1 other version)Some results on bounded truth‐table degrees.Angel V. Ditchev - 1990 - Mathematical Logic Quarterly 36 (3):263-271.details
|
|
(1 other version)Fixed points and diagonal method.Maurizio Negri - 1990 - Mathematical Logic Quarterly 36 (4):319-329.details
|
|
(1 other version)Some More Remarks on Expandability of Initial Segments.Roman Murawski - 1986 - Mathematical Logic Quarterly 32 (25‐30):445-450.details
|
|
On the theory of exponential fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.details
|
|
(1 other version)On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.details
|
|
(1 other version)Contributions to the Theory of Semisets II. The theory of semisets and end‐extensions in a syntactic setting.Josef Mlček & Antonín Sochor - 1972 - Mathematical Logic Quarterly 18 (25‐30):407-417.details
|
|
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.details
|
|
(1 other version)Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Mathematical Logic Quarterly 28 (4‐7):75-81.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
Burgess's ‘scientific’ arguments for the existence of mathematical objects.Chihara Charles - 2006 - Philosophia Mathematica 14 (3):318-337.details
|
|
(1 other version)The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.details
|
|
Definability in the class of all -frames – computability and complexity.D. T. Georgiev - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):1-26.details
|
|
(1 other version)Some results on bounded truth-table degrees.Angel V. Ditchev - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):263-271.details
|
|
(1 other version)Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):537-546.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
|
|
Thinking may be more than computing.Peter Kugel - 1986 - Cognition 22 (2):137-198.details
|
|
(1 other version)Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.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
|
|
Ramsey eliminability and the testability of scientific theories.Herbert A. Simon & Guy J. Groen - 1973 - British Journal for the Philosophy of Science 24 (4):367-380.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|