- Carnap’s Problem, Definability and Compositionality.Pedro del Valle-Inclán - forthcoming - Journal of Philosophical Logic:1-26.details
|
|
A metaphysical foundation for mathematical philosophy.Wójtowicz Krzysztof & Skowron Bartłomiej - 2022 - Synthese 200 (4):1-28.details
|
|
Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2021 - Mind 131 (523):863-891.details
|
|
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.details
|
|
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Supercover Semantics for Deontic Action Logic.Karl Nygren - 2019 - Journal of Logic, Language and Information 28 (3):427-458.details
|
|
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Newman’s Objection is Dead; Long Live Newman’s Objection!Sebastian Lutz - manuscriptdetails
|
|
Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.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
|
|
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.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
|
|
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.details
|
|
Modality and axiomatic theories of truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.details
|
|
Thinking may be more than computing.Peter Kugel - 1986 - Cognition 22 (2):137-198.details
|
|
Fixed points and diagonal method.Maurizio Negri - 1990 - Mathematical Logic Quarterly 36 (4):319-329.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
|
|
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.details
|
|
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|
Models and theories I: The semantic view revisited.Chuang Liu - 1997 - International Studies in the Philosophy of Science 11 (2):147 – 164.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.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
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
A characterization of companionable, universal theories.William H. Wheeler - 1978 - Journal of Symbolic Logic 43 (3):402-429.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
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
On the incompleteness theorems.Henryk Kotlarski - 1994 - Journal of Symbolic Logic 59 (4):1414-1419.details
|
|
Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1978 - Journal of Symbolic Logic 43 (3):601-612.details
|
|
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.details
|
|
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.details
|
|
Mathematics and Experience.Carlo Cellucci - forthcoming - Foundations of Science:1-15.details
|
|
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.details
|
|
Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):15-21.details
|
|
Model Theories of Set Theories and Type Theory.Robert Murray Jones - 2014 - Open Journal of Philosophy 4 (1):54-58.details
|
|
Searching for pragmatism in the philosophy of mathematics: Critical Studies / Book Reviews.Steven J. Wagner - 2001 - Philosophia Mathematica 9 (3):355-376.details
|
|
Decidability of mereological theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.details
|
|
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
Criteria of Empirical Significance: Foundations, Relations, Applications.Sebastian Lutz - 2012 - Dissertation, Utrecht Universitydetails
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
D avid B ostock . Philosophy of mathematics: An introduction.James Robert Brown - 2010 - Philosophia Mathematica 18 (1):127-129.details
|
|
Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.details
|
|
New foundations for metascience.David Pearce & Veikko Rantala - 1983 - Synthese 56 (1):1 - 26.details
|
|
Theory evolution and reference kinematics.Bernhard Lauth - 1991 - Synthese 88 (3):279 - 307.details
|
|