- The On to log i cal Sta tus of the prin ci ple of the ex cluded mid dle.Daniël F. M. Strauss - forthcoming - Philosophia Mathematica.details
|
|
The Logical and Philosophical Foundations for the Possibility of True Contradictions.Ben Martin - 2014 - Dissertation, University College Londondetails
|
|
Evidence in Logic.Ben Martin & Ole Thomassen Hjortland - 2019 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. Routledge.details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
|
|
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.details
|
|
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.details
|
|
The ontological status of the principle of the excluded middle.Daniël F. M. Strauss - 1991 - Philosophia Mathematica (1):73-90.details
|
|
L’interaction sociale comme fondement de la signification logique.Adjoua Bernadette Dango - 2017 - Revista de Humanidades de Valparaíso 9:121-142.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
Semigroups with apartness.Siniša Crvenković, Melanija Mitrović & Daniel Abraham Romano - 2013 - Mathematical Logic Quarterly 59 (6):407-414.details
|
|
Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.details
|
|
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.W. Carnielli & Abilio Rodrigues - forthcoming - Logic Journal of the IGPL.details
|
|
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
Formal Ontology and Mathematics. A Case Study on the Identity of Proofs.Matteo Bianchetti & Giorgio Venturi - 2023 - Topoi 42 (1):307-321.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.details
|
|
The Formal and the Informal.William Berkson - 1978 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978 (2):296-308.details
|
|
Some measurement-theoretic concerns about Hale's ‘reals by abstraction';.Vadim Batitsky - 2002 - Philosophia Mathematica 10 (3):286-303.details
|
|
Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - 2023 - Philosophy of Science 90 (3):580–602.details
|
|
Validity as a thick concept.Sophia Arbeiter - 2023 - Philosophical Studies 180 (10):2937-2953.details
|
|
Styled Morphogeometry.Liliana Albertazzi - 2020 - Axiomathes 30 (3):227-250.details
|
|
Type Theory with Opposite Types: A Paraconsistent Type Theory.Juan C. Agudelo-Agudelo & Andrés Sicard-Ramírez - 2022 - Logic Journal of the IGPL 30 (5):777-806.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
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
Debunking, supervenience, and Hume’s Principle.Mary Leng - 2019 - Canadian Journal of Philosophy 49 (8):1083-1103.details
|
|
Languages and Other Abstract Structures.Ryan Mark Nefdt - 2018 - In Martin Neef & Christina Behme (eds.), Essays on Linguistic Realism. Philadelphia: John Benjamins Publishing Company. pp. 139-184.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Nāgārjuna’s Catuṣkoṭi.Jan Westerhoff - 2006 - Journal of Indian Philosophy 34 (4):367-395.details
|
|
Reducibilities in intuitionistic topology.Dirk Van Dalen - 1968 - Journal of Symbolic Logic 33 (3):412-417.details
|
|
The significance of a non-reductionist ontology for the discipline of mathematics: A historical and systematic analysis. [REVIEW]D. F. M. Strauss - 2010 - Axiomathes 20 (1):19-52.details
|
|
Competitive equilibrium with intuitionistic agents.Jack Douglas Stecher - 2011 - Synthese 181 (S1):49 - 63.details
|
|
Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.details
|
|
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.details
|
|
Mathematics and reality.Stewart Shapiro - 1983 - Philosophy of Science 50 (4):523-548.details
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.details
|
|
On the Coherence of Wittgensteinian Constructivism.Amit Saad - 2016 - Acta Analytica 31 (4):455-462.details
|
|
Reply to Øystein Linnebo and Stewart Shapiro.Ian Rumfitt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):842-858.details
|
|
The Seeming Interdependence Between the Concepts of Valid Inference and Proof.Dag Prawitz - 2019 - Topoi 38 (3):493-503.details
|
|
What is Intuitionistic Arithmetic?V. Alexis Peluce - forthcoming - Erkenntnis:1-26.details
|
|
Pragmatism, intuitionism, and formalism.Henry A. Patin - 1957 - Philosophy of Science 24 (3):243-252.details
|
|
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.details
|
|
Epistemic logic: All knowledge is based on our experience, and epistemic logic is the cognitive representation of our experiential confrontation in reality.Dan Nesher - 2021 - Semiotica 2021 (238):153-179.details
|
|
A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.details
|
|
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.details
|
|
Pedagogy as a Framework for a Proper Dialogue between Science and Literature.Arto Mutanen - 2016 - Philosophia 44 (1):167-180.details
|
|
Penser la négation: une introduction. [REVIEW]Denis Miéville - 1992 - Argumentation 6 (1):1-6.details
|
|
Sur Une Extension Simple du Calcul Intuitionniste Des Predicats du Premier Ordre Appliquee a L'Analyse.Maurice Margenstern - 1984 - Mathematical Logic Quarterly 30 (19-24):317-324.details
|
|
An informational interpretation of weak relevant logic and relevant property theory.Edwin Mares - 2017 - Synthese 199 (Suppl 3):547-569.details
|
|