Foundations of Science

, Volume 16, Issue 1, pp 47–65

Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs


DOI: 10.1007/s10699-010-9200-0

Cite this article as:
Tohmé, F., Delrieux, C. & Bueno, O. Found Sci (2011) 16: 47. doi:10.1007/s10699-010-9200-0


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.


Partial structuresDefeasible reasoningLakatosCosmology

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  • Fernando Tohmé
    • 1
  • Claudio Delrieux
    • 2
  • Otávio Bueno
    • 3
  1. 1.Departamento de EconomíaUniversidad Nacional del Sur, CONICETBahía, BlancaArgentina
  2. 2.Departamento de Ingeniería Eléctrica y de ComputadorasUniversidad Nacional del SurBahía, BlancaArgentina
  3. 3.Department of PhilosophyUniversity of MiamiCoral GablesUSA