- 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
|
|
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
|
|
Fading Foundations: Probability and the Regress Problem.Jeanne Peijnenburg - 2017 - Cham, Switzerland: Springer. Edited by Jeanne Peijnenburg.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 Golden Age of Polish Philosophy. Kaziemierz Twardowski’s philosophical legacy.Sandra Lapointe, Jan Wolenski, Mathieu Marion & Wioletta Miskiewicz (eds.) - 2009 - 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
|
|
Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.details
|
|
The foundations of mathematics from a historical viewpoint.Antonino Drago - 2015 - Epistemologia 38 (1):133-151.details
|
|
EINSTEINS 1905 REVOLUTIONARY PAPER ON QUANTA AS A MANIFEST AND DETAILED EXAMPLE OF A PRINCIPLE THEORY.Drago Antonino - 2014 - Advances in Historical Studies (No.3).details
|
|
The logic of brouwer and heyting.Joan Rand Moschovakis - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125.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
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.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
|
|
On A Neglected Path to Intuitionism.Ian Rumfitt - 2012 - Topoi 31 (1):101-109.details
|
|
Nonsense logics and their algebraic properties.Victor K. Finn & Revaz Grigolia - 1993 - Theoria 59 (1-3):207-273.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
|
|
Reflections on the revolution at Stanford.F. A. Muller - 2011 - Synthese 183 (1):87-114.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
|
|
Adventures of abstraction.Ignacio Angelelli - 2004 - Poznan Studies in the Philosophy of the Sciences and the Humanities 82 (1):11-35.details
|
|
Intuitionistic truth.Wlodzimierz Rabinowicz - 1985 - Journal of Philosophical Logic 14 (2):191 - 228.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
|
|
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
|
|
Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.details
|
|
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
|
|
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
Information science as a paradigmatic instance of a problem‐based theory.Antonino Drago & Emanuele Drago - 1997 - World Futures 49 (3):251-273.details
|
|
Essay review.Carl J. Posy - 1983 - History and Philosophy of Logic 4 (1-2):83-90.details
|
|
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.details
|
|
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
A note on an unpublished manuscript by Erik Stenius.Giuseppina Ronzitti - 2010 - Theoria 76 (1):91-96.details
|
|
Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.details
|
|
Beth's tableau-method.J. J. F. Nieland - 1966 - Synthese 16 (1):7 - 26.details
|
|
Category theory and concrete universals.David P. Ellerman - 1988 - Erkenntnis 28 (3):409 - 429.details
|
|
Russell and Kant.J. Alberto Coffa - 1981 - Synthese 46 (2):247 - 263.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
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
Logics in scientific discovery.Atocha Aliseda - 2004 - Foundations of Science 9 (3):339-363.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
|
|
Descartes on Mathematical Reasoning and the Truth Principle.John H. Dreher - 2020 - Open Journal of Philosophy 10 (3):388-410.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
|
|
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
|
|
A new field: Empirical logic bioprograms, logemes and logics as institutions.E. M. Barth - 1984 - Synthese 58 (2):375 - 388.details
|
|
A new field: Empirical logic bioprograms, logemes and logics as institutions.E. M. Barth - 1985 - Synthese 63 (3):375 - 388.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
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|