- (1 other version)Part 2: Theoretical equivalence in physics.James Owen Weatherall - 2019 - Philosophy Compass 14 (5):e12591.details
|
|
(1 other version)Part 1: Theoretical equivalence in physics.James Owen Weatherall - 2019 - Philosophy Compass 14 (5):e12592.details
|
|
The gap-two cardinal problem for uncountable languages.Luis Miguel Villegas Silva - 2018 - Mathematical Logic Quarterly 64 (4-5):262-285.details
|
|
On complex exponentiation restricted to the integers.Carlo Toffalori & Kathryn Vozoris - 2010 - Journal of Symbolic Logic 75 (3):955-970.details
|
|
The Mathematical Universe.Max Tegmark - 2007 - Foundations of Physics 38 (2):101-150.details
|
|
Institution-Independent Model Theory.Razvan Diaconescu - 2008 - Basel, Switzerland: Birkhäuser.details
|
|
Effective algebraicity.Rebecca M. Steiner - 2013 - Archive for Mathematical Logic 52 (1-2):91-112.details
|
|
Thicket density.Siddharth Bhaskar - 2021 - Journal of Symbolic Logic 86 (1):110-127.details
|
|
Linear orderings and powers of characterizable cardinals.Ioannis Souldatos - 2012 - Annals of Pure and Applied Logic 163 (3):225-237.details
|
|
The Empirical Under-Determination Argument Against Scientific Realism for Dual Theories.Sebastian De Haro - 2021 - Erkenntnis 88 (1):117-145.details
|
|
Computable axiomatizability of elementary classes.Peter Sinclair - 2016 - Mathematical Logic Quarterly 62 (1-2):46-51.details
|
|
Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –I.Stewart Shapiro - 2008 - Philosophia Mathematica 16 (3):285-309.details
|
|
Coding true arithmetic in the Medvedev and Muchnik degrees.Paul Shafer - 2011 - Journal of Symbolic Logic 76 (1):267 - 288.details
|
|
An “I” for an I: Singular terms, uniqueness, and reference.Stewart Shapiro - 2012 - Review of Symbolic Logic 5 (3):380-415.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
|
|
Fraïssé’s theorem for logics of formal inconsistency.Bruno R. Mendonça & Walter A. Carnielli - 2020 - Logic Journal of the IGPL 28 (5):1060-1072.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
(1 other version)Models of HoTT and the Constructive View of Theories.Andrei Rodin - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.details
|
|
Possible Patterns.Jeffrey Sanford Russell & John Hawthorne - 2018 - Oxford Studies in Metaphysics 11.details
|
|
Indexicals, context-sensitivity and the failure of implication.Gillian Russell - 2011 - Synthese 183 (2):143 - 160.details
|
|
Ramsey Equivalence.Neil Dewar - 2019 - Erkenntnis 84 (1):77-99.details
|
|
Divine necessity.Einar Duenger Bohn - 2017 - Philosophy Compass 12 (11):e12457.details
|
|
Automatic continuity of group homomorphisms.Christian Rosendal - 2009 - Bulletin of Symbolic Logic 15 (2):184-214.details
|
|
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.details
|
|
What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.details
|
|
Logics for propositional contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.details
|
|
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.details
|
|
(1 other version)The logic and topology of kant’s temporal continuum.Riccardo Pinosio & Michiel van Lambalgen - 2018 - Review of Symbolic Logic 11 (1):160-206.details
|
|
Varieties of misrepresentation and homomorphism.Francesca Pero & Mauricio Suárez - 2016 - European Journal for Philosophy of Science 6 (1):71-90.details
|
|
Towards a Ryll‐Nardzewski‐type theorem for weakly oligomorphic structures.Christian Pech & Maja Pech - 2016 - Mathematical Logic Quarterly 62 (1-2):25-34.details
|
|
Resemblance theories of properties.Alexander Paseau - 2012 - Philosophical Studies 157 (3):361-382.details
|
|
Mathematics is not the only language in the book of nature.James Nguyen & Roman Frigg - 2017 - Synthese 198 (Suppl 24):1-22.details
|
|
Computable structures in generic extensions.Julia Knight, Antonio Montalbán & Noah Schweber - 2016 - Journal of Symbolic Logic 81 (3):814-832.details
|
|
Sophistication about Symmetries.Neil Dewar - 2019 - British Journal for the Philosophy of Science 70 (2):485-521.details
|
|
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.details
|
|
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.details
|
|
How Arithmetic is about Numbers. A Wittgenestinian Perspective.Felix Mühlhölzer - 2014 - Grazer Philosophische Studien 89 (1):39-59.details
|
|
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.George Metcalfe & Luca Reggio - 2023 - Journal of Symbolic Logic 88 (1):381-417.details
|
|
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.details
|
|
Reducts of the Random Bipartite Graph.Yun Lu - 2013 - Notre Dame Journal of Formal Logic 54 (1):33-46.details
|
|
Hintikka and the Functions of Logic.Montgomery Link - 2019 - Logica Universalis 13 (2):203-217.details
|
|
Mereological Bimodal Logics.Li Dazhu & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (4):823-858.details
|
|
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.details
|
|
On Generalization of Definitional Equivalence to Non-Disjoint Languages.Koen Lefever & Gergely Székely - 2019 - Journal of Philosophical Logic 48 (4):709-729.details
|
|
Identity and discernibility in philosophy and logic.James Ladyman, Øystein Linnebo & Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (1):162-186.details
|
|
Games and Bisimulations for Intuitionistic First-Order Kripke Models.Małgorzata Kruszelnicka - 2021 - Studia Logica 109 (5):903-916.details
|
|
Integration and cell decomposition in p-minimal structures.Pablo Cubides Kovacsics & Eva Leenknegt - 2016 - Journal of Symbolic Logic 81 (3):1124-1141.details
|
|
Parallel interpolation, splitting, and relevance in belief change.George Kourousias & David Makinson - 2007 - Journal of Symbolic Logic 72 (3):994-1002.details
|
|