- Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - 2024 - Studia Logica 112 (4):805-833.details
|
|
(1 other version)The infinite, the indefinite and the critical turn: Kant via Kripke models.Carl Posy - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):743-773.details
|
|
(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
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Axiomatic Natural Philosophy and the Emergence of Biology as a Science.Hein van den Berg & Boris Demarest - 2020 - Journal of the History of Biology 53 (3):379-422.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.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
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 367-387.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
Inter-level relations in computer science, biology, and psychology.Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren de Jong, Allard Tamminga, Jan Treur, Hans Westerhoff & Wouter Wijngaards - 2002 - Philosophical Psychology 15 (4):463–471.details
|
|
Peano's axioms in their historical context.Michael Segre - 1994 - Archive for History of Exact Sciences 48 (3-4):201-342.details
|
|
(1 other version)Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
(1 other version)Wogegen wandte sich Husserl 1891?: Ein Beitrag zur neueren Rezeption des Verhältnisses von Husserl und Frege.Deodáth Zuh - 2012 - Husserl Studies 28 (2):95-120.details
|
|
Platonism, phenomenology, and interderivability.Guillermo E. Rosado Haddock - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 23--46.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
(1 other version)Reflections on the revolution at Stanford.F. A. Muller - 2011 - Synthese 183 (1):87-114.details
|
|
(1 other version)The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege.Willem R. de Jong - 2010 - Synthese 174 (2):237-261.details
|
|
Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.details
|
|
Sets of theorems with short proofs.Daniel Richardson - 1974 - Journal of Symbolic Logic 39 (2):235-242.details
|
|
Equivalence between semantics for intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.details
|
|
(1 other version)Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.details
|
|
Systems of substitutional semantics.Daniel Bonevac - 1984 - Philosophy of Science 51 (4):631-656.details
|
|
Adventures of abstraction.Ignacio Angelelli - 2004 - Poznan Studies in the Philosophy of the Sciences and the Humanities 82 (1):11-35.details
|
|
The phenonenological idealism controversy in light of possible worlds semantics.Wojciech Krysztofiak - 2007 - Axiomathes 17 (1):75-97.details
|
|
Logic and Metalogic: a Historical Sketch.Jan Woleński - 2024 - Studia Humana 13 (1):39-44.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Transgressions Are Equal, and Right Actions Are Equal: some Philosophical Reflections on Paradox III in Cicero’s Paradoxa Stoicorum.Daniel Rönnedal - 2017 - Philosophia 45 (1):317-334.details
|
|
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach.Ken Akiba - 2017 - Journal of Philosophical Logic 46 (4):419-441.details
|
|
(1 other version)A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13-17):245-254.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
(1 other version)Wogegen wandte sich Husserl 1891?: Ein Beitrag zur neueren Rezeption des Verhältnisses von Husserl und Frege.Deodáth Zuh - 2012 - Husserl Studies 28 (2):95-120.details
|
|
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.details
|
|
Trees and nest structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.details
|
|
(1 other version)Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.details
|
|
An isomorphism between monoids of external embeddings: About definability in arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.details
|
|
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
The classical model of science: A millennia-old model of scientific rationality.Willem R. de Jong & Arianna Betti - 2010 - Synthese 174 (2):185-203.details
|
|
From completeness to archimedean completenes.Philip Ehrlich - 1997 - Synthese 110 (1):57-76.details
|
|
An Approach to Abstract Structures of Logistics as a Complex Theory Unifying the Methodology of S-Modelling and the Logic of Science: Initial Steps.Boris Chendov - 2016 - Acta Baltica Historiae Et Philosophiae Scientiarum 4 (1):5-40.details
|
|
The Cognitive Relation in a Formal Setting.Jan Woleński - 2007 - Studia Logica 86 (3):479-497.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
Nominalistic systems.Rolf A. Eberle - 1970 - Dordrecht,: Reidel.details
|
|
(1 other version)An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.details
|
|
(1 other version)The infinite, the indefinite and the critical turn: Kant via Kripke models.Carl Posy - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):743-773.details
|
|
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.details
|
|
Neurath’s Congestions, Depth of Intention, and Precization: Arne Naess and His Viennese Heritage.Jan Radler - 2013 - Hopos: The Journal of the International Society for the History of Philosophy of Science 3 (1):59-90.details
|
|
On A Neglected Path to Intuitionism.Ian Rumfitt - 2012 - Topoi 31 (1):101-109.details
|
|