Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs [Book Review]
Graduate studies at Western
Foundations of Science 16 (1):47-65 (2011)
|Abstract||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)|
|Through your library||Configure|
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 downloads9 ( #122,769 of 751,826 )
Recent downloads (6 months)1 ( #62,995 of 751,826 )
How can I increase my downloads?