- The foundations of mathematics from a historical viewpoint.Antonino Drago - 2015 - Epistemologia 38 (1):133-151.details
|
|
Immanuel Kant: Kritik der reinen Vernunft.Georg Mohr & Marcus Willaschek (eds.) - 2024 - De Gruyter.details
|
|
Systemic materialism.Gustavo E. Romero - 2022 - In Gustavo E. Romero, Javier Pérez-Jara & Lino Camprubí (eds.), Contemporary Materialism: Its Ontology and Epistemology. Springer. pp. 79-107.details
|
|
22 Die Disziplin der reinen Vernunft, 1. Abschnitt.Peter Rohs - 2024 - In Georg Mohr & Marcus Willaschek (eds.), Immanuel Kant: Kritik der reinen Vernunft. De Gruyter. pp. 437-454.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
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
|
|
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
|
|
The Cognitive Relation in a Formal Setting.Jan Woleński - 2007 - Studia Logica 86 (3):479-497.details
|
|
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.details
|
|
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
|
|
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
|
|
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
|
|
Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.details
|
|
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
On A Neglected Path to Intuitionism.Ian Rumfitt - 2012 - Topoi 31 (1):101-109.details
|
|
A note on an unpublished manuscript by Erik Stenius.Giuseppina Ronzitti - 2010 - Theoria 76 (1):91-96.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
|
|
Peirce, frege, the logic of relations, and church's theorem.Randall R. Dipert - 1984 - History and Philosophy of Logic 5 (1):49-66.details
|
|
Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte.Shahid Rahman - 1997 - History and Philosophy of Logic 18 (3):165-183.details
|
|
Intuitionistic truth.Wlodzimierz Rabinowicz - 1985 - Journal of Philosophical Logic 14 (2):191 - 228.details
|
|
Beth's tableau-method.J. J. F. Nieland - 1966 - Synthese 16 (1):7 - 26.details
|
|
Reflections on the revolution at Stanford.F. A. Muller - 2011 - Synthese 183 (1):87-114.details
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
On meaningfulness and truth.BrianEdison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433-482.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
The phenonenological idealism controversy in light of possible worlds semantics.Wojciech Krysztofiak - 2007 - Axiomathes 17 (1):75-97.details
|
|
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
|
|
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.Beata Konikowska - 1993 - Journal of Applied Non-Classical Logics 3 (1):39-71.details
|
|
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
|
|
Systematic realism.C. A. Hooker - 1974 - Synthese 26 (3-4):409 - 497.details
|
|
Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.details
|
|
Nonsense logics and their algebraic properties.Victor K. Finn & Revaz Grigolia - 1993 - Theoria 59 (1-3):207-273.details
|
|
Category theory and concrete universals.David P. Ellerman - 1988 - Erkenntnis 28 (3):409 - 429.details
|
|
Descartes on Mathematical Reasoning and the Truth Principle.John H. Dreher - 2020 - Open Journal of Philosophy 10 (3):388-410.details
|
|
Information science as a paradigmatic instance of a problem‐based theory.Antonino Drago & Emanuele Drago - 1997 - World Futures 49 (3):251-273.details
|
|
A multimodal logic for reasoning about complementarity.Ivo Düntsch & Beata Konikowska - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):273-301.details
|
|
On a theorem of Feferman.Michael Detlefsen - 1980 - Philosophical Studies 38 (2):129 - 140.details
|
|
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
|
|
Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.details
|
|
Russell and Kant.J. Alberto Coffa - 1981 - Synthese 46 (2):247 - 263.details
|
|
Essay review.Carl J. Posy - 1983 - History and Philosophy of Logic 4 (1-2):83-90.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
|
|