TY - JOUR
T1 - Defeasible Reasoning + Partial Models
T2 - A Formal Framework for the Methodology of Research Programs
AU - Tohmé, Fernando
AU - Delrieux, Claudio
AU - Bueno, Otávio
N1 - Funding Information:
Fernando Tohmé is Professor of Mathematical Economics at the Universidad Nacional del Sur (Argentina) and Independent Researcher in the National Research Council (CONICET) of Argentina. Tohmé has been a Visiting Associate Professor in the Washington University in Saint Louis and Fulbright Scholar at the University of California, Berkeley. He has published articles in academic journals like Artificial Intelligence, Journal of Logic and Computation, Mathematical and Computational Modelling, Social Choice and Welfare, Theory and Decision, Mathematical Social Sciences, Journal of Development Economics, Annals of Mathematics and
PY - 2011/2
Y1 - 2011/2
N2 - 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.
AB - 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.
KW - Cosmology
KW - Defeasible reasoning
KW - Lakatos
KW - Partial structures
UR - http://www.scopus.com/inward/record.url?scp=78751606735&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78751606735&partnerID=8YFLogxK
U2 - 10.1007/s10699-010-9200-0
DO - 10.1007/s10699-010-9200-0
M3 - Article
AN - SCOPUS:78751606735
VL - 16
SP - 47
EP - 65
JO - Foundations of Science
JF - Foundations of Science
SN - 1233-1821
IS - 1
ER -