- Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.details
|
|
Intuition.Elijah Chudnoff - 2013 - New York, NY: Oxford University Press.details
|
|
Impact of Informatics on Mathematics and Its Teaching.Simon Modeste - 2016 - In F. Gadducci & M. Tavosanis (eds.), History and Philosophy of Computing. HaPoC 2015. IFIP Advances in Information and Communication Technology, vol 487. Springer. pp. 243-255.details
|
|
The Art of Logic: How to Make Sense in a World That Doesn't.Eugenia Cheng - 2018 - London, England: Profile Books.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2012 - Metaphilosophy 43 (4):480-498.details
|
|
The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell. pp. 149-167.details
|
|
The Argument Web: an Online Ecosystem of Tools, Systems and Services for Argumentation.Mark Snaith, Alison Pease, John Lawrence, Barbara Konat, Mathilde Janier, Rory Duthie, Katarzyna Budzynska & Chris Reed - 2017 - Philosophy and Technology 30 (2):137-160.details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
The Web as A Tool For Proving.Ioannis M. Vandoulakis Petros Stefaneas - 2012 - Metaphilosophy 43 (4):480-498.details
|
|
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation.Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli & Chris Reed - 2017 - Artificial Intelligence 246 (C):181-219.details
|
|
Five theories of reasoning: Interconnections and applications to mathematics.Alison Pease & Andrew Aberdein - 2011 - Logic and Logical Philosophy 20 (1-2):7-57.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
|
|
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.details
|
|
What Students' Arguments Can Tell Us: Using Argumentation Schemes in Science Education.Fabrizio Macagno & Aikaterini Konstantinidou - 2013 - Argumentation 27 (3):225-243.details
|
|
Mathematics, Form and Function.Saunders MacLane - 1986 - Journal of Philosophy 84 (1):33-37.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
|
|
Understanding Students’ Reasoning: Argumentation Schemes as an Interpretation Method in Science Education.Aikaterini Konstantinidou & Fabrizio Macagno - 2013 - Science & Education 22 (5):1069-1087.details
|
|
Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.details
|
|
Non-deductive logic in mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.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
|
|
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.details
|
|
Mathematical Wit and Mathematical Cognition.Andrew Aberdein - 2013 - Topics in Cognitive Science 5 (2):231-250.details
|
|
Mathematics and argumentation.Andrew Aberdein - 2009 - Foundations of Science 14 (1-2):1-8.details
|
|
Argumentation Schemes.Douglas Walton, Christopher Reed & Fabrizio Macagno - 2008 - Cambridge and New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.details
|
|
Is there a problem of induction for mathematics?Alan Baker - 2007 - In M. Potter (ed.), Mathematical Knowledge. Oxford University Press. pp. 57-71.details
|
|
The Epistemic Status of Probabilistic Proof.Don Fallis - 1997 - Journal of Philosophy 94 (4):165-186.details
|
|
Proof and proving.Oswaldo Chateaubriand - 2003 - O Que Nos Faz Pensar:41-56.details
|
|
Revealing Structures of Argumentations in Classroom Proving Processes.Christine Knipping & David Reid - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 119--146.details
|
|
The parallel structure of mathematical reasoning.Andrew Aberdein - 2012 - In Alison Pease & Brendan Larvor (eds.), Proceedings of the Symposium on Mathematical Practice and Cognition Ii: A Symposium at the Aisb/Iacap World Congress 2012. Society for the Study of Artificial Intelligence and the Simulation of Behaviour. pp. 7--14.details
|
|
Mathematics as the art of abstraction.Richard L. Epstein - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 257--289.details
|
|
The Uses of Argument.Stephen E. Toulmin - 1958 - Philosophy 34 (130):244-245.details
|
|
Proofs and Arguments: The Special Case of Mathematics.Jean van BendegemPaul - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.details
|
|
Proofs and arguments: The special case of mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.details
|
|
Mathematics: Form and Function.Saunders Mac Lane - 1990 - Studia Logica 49 (3):424-426.details
|
|