- Mathematical and Moral Disagreement.Silvia Jonas - 2020 - Philosophical Quarterly 70 (279):302-327.details
|
|
Possibilities, models, and intuitionistic logic: Ian Rumfitt’s The boundary stones of thought.Stewart Shapiro - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):812-825.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
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
An Objection to Naturalism and Atheism from Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy (ed.), A Companion to Atheism and Philosophy. Hoboken: Blackwell. pp. 451-475.details
|
|
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.details
|
|
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.details
|
|
Feng Ye. Strict Finitism and the Logic of Mathematical Applications.Nigel Vinckier & Jean Paul Van Bendegem - 2016 - Philosophia Mathematica 24 (2):247-256.details
|
|
A Criterion for Compactness in Metric Spaces?Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (7-12):97-98.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):25-40.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Steadfast intentions.Keith K. Niall - 1990 - Behavioral and Brain Sciences 13 (4):679-680.details
|
|
Systematic, unconscious thought is the place to anchor quantum mechanics in the mind.Thomas Roeper - 1990 - Behavioral and Brain Sciences 13 (4):681-682.details
|
|
Computability, consciousness, and algorithms.Robert Wilensky - 1990 - Behavioral and Brain Sciences 13 (4):690-691.details
|
|
On “seeing” the truth of the Gödel sentence.George Boolos - 1990 - Behavioral and Brain Sciences 13 (4):655-656.details
|
|
Algorithms and physical laws.Franklin Boyle - 1990 - Behavioral and Brain Sciences 13 (4):656-657.details
|
|
Is mathematical insight algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.details
|
|
Why you'll never know whether Roger Penrose is a computer.Clark Glymour & Kevin Kelly - 1990 - Behavioral and Brain Sciences 13 (4):666-667.details
|
|
Selecting for the con in consciousness.Deborah Hodgkin & Alasdair I. Houston - 1990 - Behavioral and Brain Sciences 13 (4):668-669.details
|
|
Time-delays in conscious processes.Benjamin Libet - 1990 - Behavioral and Brain Sciences 13 (4):672-672.details
|
|
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.details
|
|
Finitary sequence spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):416-430.details
|
|
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.details
|
|
Construction of An Equality Relation on a Set with Coequality Relation.Daniel A. Romano - 1989 - Mathematical Logic Quarterly 35 (6):515-516.details
|
|
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.details
|
|
Mathematical Knowledge and Pattern Cognition.Michael D. Resnik - 1975 - Canadian Journal of Philosophy 5 (1):25 - 39.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
Building infinite machines.E. B. Davies - 2001 - British Journal for the Philosophy of Science 52 (4):671-682.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
Real analysis without classes.Geoffrey Hellman - 1994 - Philosophia Mathematica 2 (3):228-250.details
|
|
A general formulation of simultaneous inductive-recursive definitions in type theory.Peter Dybjer - 2000 - Journal of Symbolic Logic 65 (2):525-549.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|
Bishop's Lemma.Hannes Diener & Matthew Hendtlass - 2018 - Mathematical Logic Quarterly 64 (1-2):49-54.details
|
|
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.details
|
|
Geometric Intuition and Elementary Constructive Analysis.Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (33):521-523.details
|
|
A New Approach to Constructive Topology and Measure Theory.A. K. Khalifa - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):539-550.details
|
|
Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.details
|
|
Penrose's grand unified mystery.David Waltz & James Pustejovsky - 1990 - Behavioral and Brain Sciences 13 (4):688-690.details
|
|
Minds beyond brains and algorithms.Jan M. Zytkow - 1990 - Behavioral and Brain Sciences 13 (4):691-692.details
|
|
Betting your life on an algorithm.Daniel C. Dennett - 1990 - Behavioral and Brain Sciences 13 (4):660-661.details
|
|
Noncomputability, unpredictability, undecidability, and unsolvability in economic and finance theories.Ying-Fang Kao, V. Ragupathy, K. Vela Velupillai & Stefano Zambelli - 2013 - Complexity 18 (1):51-55.details
|
|
Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace.Miklós Erdélyi-Szabó - 1997 - Mathematical Logic Quarterly 43 (3):343-354.details
|
|
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.details
|
|
An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.details
|
|