A Computational Model Of Lakatos-style Reasoning

Philosophy of Mathematics Education Journal 27 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.
Computational discovery of communicable scientific knowledge.Pat Langley, Jeff Shrager & Kazumi Saito - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 201--225.
Reasoning about Models of Nonlinear Systems.Reinhard Stolle, Matthew Easley & Elizabeth Bradley - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 249--271.
A case study of the design and implementation of heterogeneous reasoning systems.Nik Swoboda & Gerard Allwein - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 3--20.
Computational Dialogic Defeasible Reasoning.Robert L. Causey - 2003 - Argumentation 17 (4):421-450.
A computational model of argumentation in agreement negotiation processes.Mare Koit & Haldur Õim - 2015 - Argument and Computation 6 (2):101-129.
Model-guided proof planning.Seungyeob Choi & Manfred Kerber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 143--162.
‘The happy thought of a single man’: On the legendary beginnings of a style of reasoning.Jeremy Wanderer - 2012 - Studies in History and Philosophy of Science Part A 43 (4):640-648.
A Model of Lakatos's Philosophy of Mathematics Alison Pease, Simon Colton, Alan Smaill, and.John Lee - 2005 - In L. Magnani & R. Dossena (eds.), Computing, Philosophy and Cognition. pp. 4--57.
Adaptive logics for non-explanatory and explanatory diagnostic reasoning.Dagmar Provijn & Erik Weber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 117--142.
Structural Counterfactuals: A Brief Introduction.Judea Pearl - 2013 - Cognitive Science 37 (6):977-985.
Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs. [REVIEW]Fernando Tohmé, Claudio Delrieux & Otávio Bueno - 2011 - Foundations of Science 16 (1):47-65.
An hungarian tragedy.Jerome R. Ravetz - 2004 - Inquiry: An Interdisciplinary Journal of Philosophy 47 (4):413 – 422.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.

Add more citations

References found in this work

No references found.

Add more references