Switch to: References

Add citations

You must login to add citations.
  1. Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.
    Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Truth-Seeking by Abduction.Ilkka Niiniluoto - 2018 - Cham, Switzerland: Springer.
    This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • On ceteris paribus laws in economics (and elsewhere): why do social sciences matter to each other?Menno Rol - 2012 - Erasmus Journal for Philosophy and Economics 5 (2):27.
    Stipulating universal propositions with a ceteris paribus clause is normal practice in science and especially in economics. Yet there are several problems associated with the use of ceteris paribus clauses in theorising and in policy matters. This paper first investigates three questions: how can ceteris paribus clauses be non-vacuous? How can ceteris paribus laws be true? And how can they help in formulating successful policy interventions in a diversity of contexts? It turns out that ceteris paribus clauses are not always (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Critical realism in progress: Reflections on Ilkka Niiniluoto's philosophy of science. [REVIEW]David Pearce - 1987 - Erkenntnis 27 (2):147 - 171.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Approximative explanation is deductive-nomological.David Pearce & Veikko Rantala - 1985 - Philosophy of Science 52 (1):126-140.
    We revive the idea that a deductive-nomological explanation of a scientific theory by its successor may be defensible, even in those common and troublesome cases where the theories concerned are mutually incompatible; and limiting, approximating and counterfactual assumptions may be required in order to define a logical relation between them. Our solution is based on a general characterization of limiting relations between physical theories using the method of nonstandard analysis.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Survey article. Verisimilitude: the third period.Ilkka Niiniluoto - 1998 - British Journal for the Philosophy of Science 49 (1):1-29.
    The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trichý published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Approximations, idealizations, and models in statistical mechanics.Chuang Liu - 2004 - Erkenntnis 60 (2):235-263.
    In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Approximation, idealization, and laws of nature.Chang Liu - 1999 - Synthese 118 (2):229-256.
    Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • The poznań school methodology of idealization and concretization from the point of view of a revised structuralist theory conception.Martti Kuokkanen - 1988 - Erkenntnis 28 (1):97 - 115.
    My thesis is that some methodological ideas of the Pozna school, i.e., the principles of idealization and concretization (factualization), and the correspondence principle can be represented rather successfully using the relations of theoretization and specialization of revised structuralism.Let n(i), t(j)> (i=1,...m, j=1,...k) denote the conceptual apparatus of a theory T, and a class M={} (i=1,...m, j=1,...k) the models of T. The n-components refer to the values of dependent variables and t-components to the values of independent variables of the theory. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The threshold model of scientific change and the continuity of scientific knowledge.Martti Kuokkanen & Timo Tuomivaara - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (2):327 - 335.
    The continuity thesis of the Poznań school threshold model of the growth of scientific knowledge is considered in the light of the example of Van der Waals' and Boyle-Mariotte's laws. It is argued - using both traditional logical means and the structuralist reconstruction of the example - that the continuity thesis does not hold. A distinction between 'a historical and a systematic point of view' is introduced and it is argued that the continuity thesis of the threshold model presupposes the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • From Instrumentalism to Constructive Realism: On Some Relations Between Confirmation, Empirical Progress, and Truth Approximation.Theodorus Antonius Franciscus Kuipers - 2000 - Dordrecht, Netherland: Springer.
    Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...)
    Download  
     
    Export citation  
     
    Bookmark   154 citations  
  • Naive and refined truth approximation.Theo A. F. Kuipers - 1992 - Synthese 93 (3):299 - 341.
    The naive structuralist definition of truthlikeness is an idealization in the sense that it assumes that all mistaken models of a theory are equally bad. The natural concretization is a refined definition based on an underlying notion of structurelikeness.In Section 1 the naive definition of truthlikeness of theories is presented, using a new conceptual justification, in terms of instantial and explanatory mistakes.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • General relativity and the standard model: Why evidence for one does not disconfirm the other.Nicholaos Jones - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 40 (2):124-132.
    General Relativity and the Standard Model often are touted as the most rigorously and extensively confirmed scientific hypotheses of all time. Nonetheless, these theories appear to have consequences that are inconsistent with evidence about phenomena for which, respectively, quantum effects and gravity matter. This paper suggests an explanation for why the theories are not disconfirmed by such evidence. The key to this explanation is an approach to scientific hypotheses that allows their actual content to differ from their apparent content. This (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • General Relativity and the Standard Model: Why evidence for one does not disconfirm the other.Nicholaos Jones - 2009 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 40 (2):124-132.
    General Relativity and the Standard Model often are touted as the most rigorously and extensively confirmed scientific hypotheses of all time. Nonetheless, these theories appear to have consequences that are inconsistent with evidence about phenomena for which, respectively, quantum effects and gravity matter. This paper suggests an explanation for why the theories are not disconfirmed by such evidence. The key to this explanation is an approach to scientific hypotheses that allows their actual content to differ from their apparent content. This (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • False models as explanatory engines.Frank Hindriks - 2008 - Philosophy of the Social Sciences 38 (3):334-360.
    Many models in economics are very unrealistic. At the same time, economists put a lot of effort into making their models more realistic. I argue that in many cases, including the Modigliani-Miller irrelevance theorem investigated in this paper, the purpose of this process of concretization is explanatory. When evaluated in combination with their assumptions, a highly unrealistic model may well be true. The purpose of relaxing an unrealistic assumption, then, need not be to move from a false model to a (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Sneed versus Nowak: An illustration in economics. [REVIEW]Bert Hamminga - 1989 - Erkenntnis 30 (1-2):247 - 265.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Truthlikeness for probabilistic laws.Alfonso García-Lapeña - 2021 - Synthese 199 (3-4):9359-9389.
    Truthlikeness is a property of a theory or a proposition that represents its closeness to the truth. We start by summarizing Niiniluoto’s proposal of truthlikeness for deterministic laws, which defines truthlikeness as a function of accuracy, and García-Lapeña’s expanded version, which defines truthlikeness for DL as a function of two factors, accuracy and nomicity. Then, we move to develop an appropriate definition of truthlikeness for probabilistic laws based on Niiniluoto’s suggestion to use the Kullback–Leibler divergence to define the distance between (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Truthlikeness for Quantitative Deterministic Laws.Alfonso García-Lapeña - 2023 - British Journal for the Philosophy of Science 74 (3):649-679.
    Truthlikeness is a property of a theory or a proposition that represents its closeness to the truth. According to Niiniluoto, truthlikeness for quantitative deterministic laws can be defined by the Minkowski metric. I present some counterexamples to the definition and argue that it fails because it considers truthlikeness for quantitative deterministic laws to be just a function of accuracy, but an accurate law can be wrong about the actual ‘structure’ or ‘behaviour’ of the system it intends to describe. I develop (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A measure for the distance between an interval hypothesis and the truth.Roberto Festa - 1986 - Synthese 67 (2):273 - 320.
    The problem of distance from the truth, and more generally distance between hypotheses, is considered here with respect to the case of quantitative hypotheses concerning the value of a given scientific quantity.Our main goal consists in the explication of the concept of distance D(I, ) between an interval hypothesis I and a point hypothesis . In particular, we attempt to give an axiomatic foundation of this notion on the basis of a small number of adequacy conditions.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Counterfactuals and Scientific Realism.Michael J. Shaffer - 2012 - London and Basingstoke: Palgrave MacMillan.
    This book is a sustained defense of the compatibility of the presence of idealizations in the sciences and scientific realism. So, the book is essentially a detailed response to the infamous arguments raised by Nancy Cartwright to the effect that idealization and scientific realism are incompatible.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Between abstraction and idealization: Scientific practice and philosophical awareness.Francesco Coniglione - 2004 - Poznan Studies in the Philosophy of the Sciences and the Humanities 82 (1):59-110.
    The aim of this essay is to emphasize a number of important points that will provide a better understanding of the history of philosophical thought concerning scientific knowledge. The main points made are: (a) that the principal way of viewing abstraction which has dominated the history of thought and epistemology up to the present is influenced by the original Aristotelian position; (b) that with the birth of modern science a new way of conceiving abstraction came into being which is better (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Eschewing Entities: Outlining a Biology Based Form of Structural Realism.Steven French - 2013 - In Vassilios Karakostas & Dennis Dieks (eds.), Epsa11 Perspectives and Foundational Problems in Philosophy of Science. Springer. pp. 371--381.
    Download  
     
    Export citation  
     
    Bookmark  
  • Idealización: concepción estructuralista y generalización modelo-teórica.Xavier de Donato Rodríguez & Marek Polanski - 2015 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 5:45--55.
    Download  
     
    Export citation  
     
    Bookmark  
  • Confirming idealized theories and scientific realism.Chuang Liu - unknown
    Two types of idealization in theory construction are distinguished, and the distinction is used to give a critique of Ron Laymon's account of confirming idealized theories and his argument for scientific realism.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Resolving the bayesian problem of idealization.Nicholaos Jones - unknown
    In "Bayesian Confirmation of Theories that Incorporate Idealizations", Michael Shaffer argues that, in order to show how idealized hypotheses can be confirmed, Bayesians must develop a coherent proposal for how to assign prior probabilities to counterfactual conditionals. This paper develops a Bayesian reply to Shaffer's challenge that avoids the issue of how to assign prior probabilities to counterfactuals by treating idealized hypotheses as abstract descriptions. The reply allows Bayesians to assign non-zero degrees of confirmation to idealized hypotheses and to capture (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations