 The Uses of Argument.Stephen E. Toulmin  1958  Philosophy 34 (130):244245.details


Why Do We Prove Theorems?Yehuda Rav  1998  Philosophia Mathematica 6 (3):541.details


Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin  2013  Review of Symbolic Logic 6 (1):87128.details


Knowledge of Mathematics without Proof.Alexander Paseau  2015  British Journal for the Philosophy of Science 66 (4):775799.details


Intuition.Elijah Chudnoff  2013  New York, NY: Oxford University Press.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. 714.details


Mathematical Wit and Mathematical Cognition.Andrew Aberdein  2013  Topics in Cognitive Science 5 (2):231250.details


Five theories of reasoning: Interconnections and applications to mathematics.Alison Pease & Andrew Aberdein  2011  Logic and Logical Philosophy 20 (12):757.details


Mathematics and argumentation.Andrew Aberdein  2009  Foundations of Science 14 (12):18.details


Nondeductive logic in mathematics.James Franklin  1987  British Journal for the Philosophy of Science 38 (1):118.details


The Epistemic Status of Probabilistic Proof.Don Fallis  1997  Journal of Philosophy 94 (4):165186.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. 243255.details


Argumentation Schemes.Douglas Walton, Christopher Reed & Fabrizio Macagno  2008  Cambridge and New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.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):137160.details


Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge.Brendan Larvor  2016  Philosophia Mathematica 24 (3):401404.details


What Students' Arguments Can Tell Us: Using Argumentation Schemes in Science Education.Fabrizio Macagno & Aikaterini Konstantinidou  2013  Argumentation 27 (3):225243.details


The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis  2012  Metaphilosophy 43 (4):480498.details


Is there a problem of induction for mathematics?Alan Baker  2007  In Mary Leng, Alexander Paseau & Michael D. Potter (eds.), Mathematical Knowledge. Oxford, England: Oxford University Press. pp. 5771.details


Understanding Students’ Reasoning: Argumentation Schemes as an Interpretation Method in Science Education.Aikaterini Konstantinidou & Fabrizio Macagno  2013  Science & Education 22 (5):10691087.details


Why Do We Prove Theorems?Yehuda Rav  1999  Philosophia Mathematica 7 (1):541.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):157169.details


The Art of Logic: How to Make Sense in a World That Doesn't.Eugenia Cheng  2018  London, England: Profile Books.details


Manyvalued logic of informal provability: A nondeterministic strategy.Pawel Pawlowski & Rafal Urbaniak  2018  Review of Symbolic Logic 11 (2):207223.details


The Web as A Tool For Proving.Ioannis M. Vandoulakis Petros Stefaneas  2012  Metaphilosophy 43 (4):480498.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):157169.details


Mathematics, Form and Function.Saunders MacLane  1986  Journal of Philosophy 84 (1):3337.details


Mathematics: Form and Function.Saunders Mac Lane  1990  Studia Logica 49 (3):424426.details


Proof and proving.Oswaldo Chateaubriand  2003  O Que Nos Faz Pensar:4156.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. WileyBlackwell. pp. 149167.details


Is There a “Hilbert Thesis”?Reinhard Kahle  2019  Studia Logica 107 (1):145165.details


The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni  2013  Philosophia Mathematica 21 (2):247254.details


Lakatosstyle collaborative mathematics through dialectical, structured and abstract argumentation.Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli & Chris Reed  2017  Artificial Intelligence 246 (C):181219.details


Argumentation Theory for Mathematical Argument.Joseph Corneli, Ursula Martin, Dave MurrayRust, Gabriela Rino Nesin & Alison Pease  2019  Argumentation 33 (2):173214.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. Dordrecht, Netherland: Springer. pp. 119146.details


“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm  2012  Synthese 187 (3):943956.details


Mathematics as the art of abstraction.Richard L. Epstein  2013  In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 257289.details

