Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Foundations of Science 16 (1):47-65 (2011)
In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic
|Keywords||Partial structures Defeasible reasoning Lakatos Cosmology|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Otavio Bueno & Edelcio de Souza (1996). The Concept of Quasi-Truth. Logique Et Analyse 153 (154):183-199.
Newton C. A. Da Costa, Otávio Bueno & Steven French (1998). The Logic of Pragmatic Truth. Journal of Philosophical Logic 27 (6):603-620.
Newton C. A. Da Costa & Steven French (1989). Pragmatic Truth and the Logic of Induction. British Journal for the Philosophy of Science 40 (3):333-356.
Newton C. A. da Costa & Steven French (1990). The Model-Theoretic Approach in the Philosophy of Science. Philosophy of Science 57 (2):248 - 265.
John Earman & Jesus Mosterin (1999). A Critical Look at Inflationary Cosmology. Philosophy of Science 66 (1):1-49.
Citations of this work BETA
Fernando Tohmé & Ricardo Crespo (2013). Abduction in Economics: A Conceptual Framework and its Model. Synthese 190 (18):4215-4237.
Similar books and articles
Douglas Walton (2011). Defeasible Reasoning and Informal Fallacies. Synthese 179 (3):377 - 407.
John L. Pollock (1991). Self-Defeating Arguments. Minds and Machines 1 (4):367-392.
G. Aldo Antonelli (2005). Grounded Consequence for Defeasible Logic. Cambridge University Press.
Lawrence Cavedon (1998). Default Reasoning as Situated Monotonic Inference. Minds and Machines 8 (4):509-531.
G. Aldo Antonelli (1996). Defeasible Reasoning as a Cognitive Model. In Krister Segerberg (ed.), The Parikh Project. Seven Papers in Honour of Rohit. Uppsala Prints & Preprints in Philosophy.
Robert L. Causey (2003). Computational Dialogic Defeasible Reasoning. Argumentation 17 (4):421-450.
Robert L. Causey (1991). The Epistemic Basis of Defeasible Reasoning. Minds and Machines 1 (4):437-458.
Timothy R. Colburn (1991). Program Verification, Defeasible Reasoning, and Two Views of Computer Science. Minds and Machines 1 (1):97-116.
Solomon Feferman (1995). Definedness. Erkenntnis 43 (3):295 - 320.
Henry Prakken & Marek Sergot (1996). Contrary-to-Duty Obligations. Studia Logica 57 (1):91 - 115.
John F. Horty (2001). Argument Construction and Reinstatement in Logics for Defeasible Reasoning. Artificial Intelligence and Law 9 (1):1-28.
Rachel A. Ankeny (2001). Model Organisms as Models: Understanding the 'Lingua Franca' of the Human Genome Project. Proceedings of the Philosophy of Science Association 2001 (3):S251-.
Floris Bex, Henry Prakken, Chris Reed & Douglas Walton (2003). Towards a Formal Account of Reasoning About Evidence: Argumentation Schemes and Generalisations. [REVIEW] Artificial Intelligence and Law 11 (2-3):125-165.
Added to index2010-11-18
Total downloads24 ( #85,444 of 1,692,524 )
Recent downloads (6 months)3 ( #75,638 of 1,692,524 )
How can I increase my downloads?