- The Practice-Based Approach to the Philosophy of Logic.Ben Martin - forthcoming - In Oxford Handbook for the Philosophy of Logic. Oxford University Press.details
|
|
(1 other version)Recalcitrant Disagreement in Mathematics: An “Endless and Depressing Controversy” in the History of Italian Algebraic Geometry.Silvia De Toffoli & Claudio Fontanari - 2023 - Global Philosophy 33 (38):1-29.details
|
|
What is Mathematical Rigor?John Burgess & Silvia De Toffoli - 2022 - Aphex 25:1-17.details
|
|
The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.details
|
|
Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - 2023 - Episteme 20 (2):281-307.details
|
|
Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.details
|
|
Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society.Deborah Kant & Deniz Sarikaya - 2020 - Synthese 199 (1-2):3405-3429.details
|
|
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.details
|
|
Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.details
|
|
Many-valued logic of informal provability: A non-deterministic strategy.Pawel Pawlowski & Rafal Urbaniak - 2018 - Review of Symbolic Logic 11 (2):207-223.details
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - Boston: De Gruyter.details
|
|
Audience role in mathematical proof development.Zoe Ashton - 2020 - Synthese 198 (Suppl 26):6251-6275.details
|
|
Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.details
|
|
Measuring the Agreement of Mathematical Peer Reviewers.Benedikt Löwe - forthcoming - Axiomathes:1-15.details
|
|
Philosophy of mathematical practice: A primer for mathematics educators.Yacin Hamami & Rebecca Morris - 2020 - ZDM Mathematics Education 52:1113–1126.details
|
|
The role of syntactic representations in set theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
Philosophical Assumptions Behind the Rejection of Computer-Based Proofs.Katia Parshina - 2023 - Kriterion – Journal of Philosophy 37 (2-4):105-122.details
|
|
Informal provability and dialetheism.Pawel Pawlowski & Rafal Urbaniak - 2023 - Theoria 89 (2):204-215.details
|
|
Argumentation Theory for Mathematical Argument.Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin & Alison Pease - 2019 - Argumentation 33 (2):173-214.details
|
|
Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.details
|
|
Instructions and constructions in set theory proofs.Keith Weber - 2023 - Synthese 202 (2):1-17.details
|
|
Introduction: An Incomplete Guide to Ontology of Divinity.Mirosław Szatkowski - 2024 - In Ontology of Divinity. Boston: De Gruyter. pp. 1-36.details
|
|
Proof systems for BAT consequence relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.details
|
|
Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge.Brendan Larvor - 2016 - Philosophia Mathematica 24 (3):401-404.details
|
|
Role of Imagination and Anticipation in the Acceptance of Computability Proofs: A Challenge to the Standard Account of Rigor.Keith Weber - 2022 - Philosophia Mathematica 30 (3):343-368.details
|
|
Non-deterministic Logic of Informal Provability has no Finite Characterization.Pawel Pawlowski - 2021 - Journal of Logic, Language and Information 30 (4):805-817.details
|
|
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.details
|
|
(1 other version)From Euclidean geometry to knots and nets.Brendan Larvor - 2017 - Synthese:1-22.details
|
|
Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?Simon Weisgerber - 2022 - In Giardino V., Linker S., Burns R., Bellucci F., Boucheix J.-M. & Viana P. (eds.), Diagrammatic Representation and Inference. 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. Springer, Cham. pp. 37-53.details
|
|
Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability.Pawel Pawlowski & Rafal Urbaniak - forthcoming - Logic and Logical Philosophy:1-27.details
|
|
On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.details
|
|
(1 other version)From Euclidean geometry to knots and nets.Brendan Larvor - 2019 - Synthese 196 (7):2715-2736.details
|
|