- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Artificial Intelligence 246 (C):181-219 (2017)
Abstract
This article has no associated abstract. (fix it)Author Profiles
My notes
Similar books and articles
Bridging the gap between argumentation theory and the philosophy of mathematics.Alison Pease, Alan Smaill, Simon Colton & John Lee - 2009 - Foundations of Science 14 (1-2):111-135.
Five theories of reasoning: Interconnections and applications to mathematics.Alison Pease & Andrew Aberdein - 2011 - Logic and Logical Philosophy 20 (1-2):7-57.
What is dialectical philosophy of mathematics?Brendan Larvor - 2001 - Philosophia Mathematica 9 (2):212-229.
Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation.Bas van Gijzel & Henry Prakken - 2012 - Argument and Computation 3 (1):21 - 47.
Introduction to structured argumentation.Philippe Besnard, Alejandro Garcia, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Simari & Francesca Toni - 2014 - Argument and Computation 5 (1):1-4.
Lakatos’ Quasi-empiricism in the Philosophy of Mathematics.Michael J. Shaffer - 2015 - Polish Journal of Philosophy 9 (2):71-80.
A Computational Model Of Lakatos-style Reasoning.Alison Pease - 2013 - Philosophy of Mathematics Education Journal 27.
Structured Arguments and Their Aggregation: A Reply to Selinger.Chris Reed - 2014 - Argumentation 28 (3):395-399.
The legacy of Lakatos: Reconceptualising the philosophy of mathematics.Paul Ernest - 1997 - Philosophia Mathematica 5 (2):116-134.
Dialectical argumentation with argumentation schemes: An approach to legal logic. [REVIEW]Bart Verheij - 2003 - Artificial Intelligence and Law 11 (2-3):167-195.
Procedural Reasonableness and Normativity of Argumentation : Pragma-Dialectical Responses to Epistemologist Objections.Patrizio Lo Presti - unknown
Reconstructing Complex Analogy Argumentation in Judicial Decisions: A Pragma-Dialectical Perspective.Harm Kloosterhuis - 2005 - Argumentation 19 (4):471-483.
Analytics
Added to PP
2020-12-22
Downloads
9 (#1,254,142)
6 months
5 (#639,324)
2020-12-22
Downloads
9 (#1,254,142)
6 months
5 (#639,324)
Historical graph of downloads
Author Profiles
Citations of this work
Post-Turing Methodology: Breaking the Wall on the Way to Artificial General Intelligence.Albert Efimov - 2020 - Lecture Notes in Computer Science 12177.
Dialogue Types, Argumentation Schemes, and Mathematical Practice: Douglas Walton and Mathematics.Andrew Aberdein - 2021 - Journal of Applied Logics 8 (1):159-182.
Argumentation Theory for Mathematical Argument.Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin & Alison Pease - 2019 - Argumentation 33 (2):173-214.
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.
References found in this work
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
An abstract framework for argumentation with structured arguments.Henry Prakken - 2010 - Argument and Computation 1 (2):93-124.
The ASPIC+ framework for structured argumentation: a tutorial.Sanjay Modgil & Henry Prakken - 2014 - Argument and Computation 5 (1):31-62.
Contributing to Discourse.Herbert H. Clark & Edward F. Schaefer - 1989 - Cognitive Science 13 (2):259-294.
Why am and eurisko appear to work.Douglas B. Lenat & John Seely Brown - 1984 - Artificial Intelligence 23 (3):269-294.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-g9b9l uwo