Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

The structuralist theory of truth approximation essen-tially deals with truth approximation by theory revision for a fixed domain. However, variable domains can also be taken into account, where the main changes concern domain extensions and restrictions. In this paper I will present a coherent set of definitions of “more truth-likeness”, “empirical progress” and “truth approximation” due to a revision of the domain of intended applications. This set of definitions seems to be the natural counterpart of (...) the basic definitions of similar notions as far as theory revision is concerned. The formal aspects of theory revision strongly suggest an analogy between truth approximation and design research, for example, drug research. Whereas a new drug may be better for a certain disease than an old one, a certain drug may be better for another disease than for the original target disease, a phenomenon which was nicely captured by the title of a study by Rein Vos [1991]: Drugs Looking for Diseases. Similarly, truth approximation may not only take the shape of theory revision but also of domain revision, naturally suggesting the phenomenon of “Theories looking for domains”. However, whereas Vos documented his title with a number of examples, so far, apart from plausible cases of “truth accumulation by domain extension”, I did not find clear-cut empirical instantiations of the analogy, only, as such, very interesting, non-empirical examples. (shrink)

In this paper we start from the assumption that in a metaphor, or an analogy, some terms belonging to one domain (source domain) are used to refer to objects other than their conventional referents belonging to a possibly different domain (target domain). We describe a formalism, which is based on the First Order Predicate Calculus, for representing the knowledge structure associated with a domain and then develop a theory of Constrained Semantic Transference [CST] which allows the terms and the (...) structural relationships of the source domain to be transferred coherently across to the target domain. We show how metaphors and analogies can be characterized in CST in such a way that many of their cognitive properties con be explained.We then propose a theory of Approximate Semantic Transference [AST] which is a computational version of CST and is derived from it by replacing the coherency requirement with approximate coherency. We show how AST can be used as a basis for designing models of cognitive processes involved in comprehending metaphors and analogies. (shrink)

The importance of the notion of common knowledge in sustaining cooperative outcomes in strategic situations is well appreciated. However, the systematic analysis of the extent to which small departures from common knowledge affect equilibrium in games has only recently been attempted.We review the main themes in this literature, in particular, the notion of common p-belief. We outline both the analytical issues raised, and the potential applicability of such ideas to game theory, computer science and the philosophy of language.

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that (...) this theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

This paper supplies a structuralist reconstruction of the Modigliani-Miller theory and shows that the economic literature following their results reports on research with an implicit strategy to come "closer-to-the-truth" in the modern technical sense in philosophy of science.

The paper is a sketch of a conception of approximative truth (or verisimilitude). The concepts of relative error, and degree of inadequacy are introduced. By means of them the concept of truth-content of quantitative facts-statements, laws and theories is defined. Laws and theories accepted in science have a high truth-content, i.e. they are approximately true.

The concept of approximate truth plays a prominent role in most versions of scientific realism. However, adequately conceptualizing ?approximate truth? has proved challenging. This article argues that the goal of articulating the concept of approximate truth can be advanced by first investigating the processes by which science accords theories the status of accepted or rejected. Accordingly, this article uses a path diagram model as a visual heuristic for the purpose of showing the processes in science that are involved in determining (...) a theory's status. This ?inductive realist? model of theory status then serves as a starting point for explicating an inductive realist view of approximate truth that, it is argued, can explain instances of the success of science, but does not (1) require science's theories to be strictly true in any world or (2) require a metric for measuring how close an approximately true theory is to some strictly true theory. To show the advantages of the inductive realist approach to approximate truth, an example of a major success story of science, the successful eradication of smallpox, is reviewed and then explained. (shrink)

I criticize, but uphold the conclusion of, an argument by McLarty to the effect that New Foundations style set theories don’t form a suitable foundation for category theory. McLarty’s argument is from the fact that Set and Cat are not Cartesian closed in NF-style set theories. I point out that these categories do still have a property approximating Cartesian closure, making McLarty’s argument not conclusive. After considering and attempting to address other problems with developing category theory in NF-style (...) set theories, I conclude that NF-style set theories are not a good foundation for category theory, because of numerous limitations introduced by their stratification restrictions. (shrink)

There is good reason to suppose that our best physical theories are false: In addition to its own internal problems, the standard formulation of quantum mechanics is logically incompatible with special relativity. I will also argue that we have no concrete idea what it means to claim that these theories are approximately true.

This article provides an assessment of the merits of recent theories of legal reasoning. After a quick historical aperçu a number of models of legal argumentation are presented and discussed, with an eye to their mutual connection. An initial conclusion is that universalizability and discursivity are the common features of those models. The focal question dealt with, however, is that of the impact of the argumentative paradigms of adjudication on the very concept of law. Here the contention is that an (...) argumentative style of reasoning contributes to rendering the structure of the law itself and its operations argumentative as well. By so doing the latter are—so to say—civilized and made less truculent. They will thus be able to develop more in conformity with a democratic form of life. (shrink)

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance (...) of nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

En las actividades ordinarias de nuestra vida cotidiana encontramos nuestros actos de percepción confrontados por las cosas materiales. A ellos ─actos de percepción─ les atribuimos una existencia "real" asumiéndolos de tal manera que los sumergimos y transfundimos, de forma múltiple e indefinida, dentro del entorno de realidades análogas que se unen para formar un único mundo al que yo, con mi propio cuerpo, pertenezco. Ahora bien sí frente a la cotidianidad descrita anteriormente asumimos una actitud escéptica acerca de lo que (...) es “real” en el mundo,nos descubriremos haciendo una reflexión filosófica. Bajo esta deliberación encontramos que, por ejemplo, la cualidad "verde", tiene existencia por medio de la sensación "verde"asociada a un objeto dado por la percepción, lo que nos lleva a pensar que no tiene sentido vincularla sensación como cosa en sí misma a cosas materiales existentes en sí mismos , esto nos lleva a pensar que las cualidades de los sentidostienen carácter subjetivo.A pesar de esta reflexión es conveniente acotar que esta subjetividad no interesaa las ciencias exactas ya que éstas procuran lo objetivo. -/- Desde este punto de vista,encontramos dentro de los estudios de Galileo Galilei el principio que subyace al método matemáticoconstructivo de nuestra física moderna ; de esta manera, y bajo este principio,los colores ─ por ejemplo “verde”─ son solo vibraciones en un medio repudiando de esta forma el carácter subjetivo a la vez que se mantiene la objetividad. Sin embargo, dentro del campo de la filosofía el idealismo transcendental de Kant marca un cambio de paradigma en relación a lo anterior. Kant sostiene que no solamente las cualidades de los sentidos tienen carácter subjetivo, sino que espacio y tiempo, conceptos fundacionales dentro de la física, no tienen significación absoluta; en otras palabras, espacio y tiempo son formas de nuestra percepción . Para Kant aquello que sustenta nuestra percepción y aquello que sustenta el conocimiento matemático aplicado a la experiencia son lo mismo: intuiciones puras a priori del espacio y el tiempo. De esta manera, y bajo esta perspectiva, sólo la teoría de la relatividad deja muyen claro que las dos esencias: espacio y tiempo, como formas de la intuición en términos kantianos, no tienen lugar en el mundo construido por la física matemática concebida por Galileo . -/- Según esto, los colores no son siquiera vibraciones en un medio sino simplemente una serie de valores de funciones matemáticas en las que se producen cuatro parámetros independientes que corresponden a las tres dimensiones del espacio y la del tiempo, expresado como principio general esto significa que el mundo real y cada uno de sus constituyentes con sus características sólo pueden ser, en términos husserlianos, objetos intencionales de actos de conciencia . En otras palabras: los datos inmediatos que recibo son las experiencias de la conciencia. Esto nos permite afirmar que la sensación de un objeto está presente de una forma físicamente real para mí con quien esa sensación se relaciona. Esto es lo que Brentano llama objeto intencional ;es así como al percibir un objeto, por ejemplo: veo este “libro” mi atención está totalmente dirigida hacia él. Yo "tengo" la percepción, pero sólo cuando hago de esta percepción ─ acto libre de reflexión ─algo que "conozco" con respecto a ella ─y no sólo el “libro”─ llego precisamente a un segundo acto: objetos intencionales de actos de conciencia, que son a los que referíamos antes . -/- El objeto intencional es inmanente y lo que es inmanente es absoluto ; es exactamente lo que es en la forma en que lo tengo, y puedo reducir esto, su esencia, por los actos de reflexión . En otras palabras, es un componente real de mis experiencias; contrario a lo que sucede con el acto primario de percepción, donde el objeto es trascendental , esto es, se da en una experiencia de conciencia pero no es un componente real de la misma. Por otra parte, los objetos trascendentales tienen sólo una existencia fenoménica; son apariencias que se presentan de múltiples maneras. Ninguno de estos modos de aparición puede pretender presentar aquello que percibimos – por ejemplo el libro- tal como es en sí, además en toda percepción está involucrada la tesis de la realidad del objeto que aparece en ella; este último es, de hecho, un elemento fijo y duradero de la tesis general de la realidad del mundo . En resumen, lo que interesa ver claramente es la importancia enel dato de la conciencia como punto de partida en el que debemos situarnos si queremos comprender el significado absoluto . (shrink)

Surprisingly enough, modified versions of the confirmation theory of Carnap and Hempel and the truth approximation theory of Popper turn out to be smoothly synthesizable. The glue between confirmation and truth approximation appears to be the instrumentalist methodology, rather than the falsificationist one.By evaluating theories separately and comparatively in terms of their successes and problems (hence even if they are already falsified), the instrumentalist methodology provides – both in theory and in practice – the straight (...) route for short-term empirical progress in science in the spirit of Laudan. However, it is argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamic of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (van Fraassen), referential realism (Hacking and Cartwright), and theory realism of a non-essentialist nature (Popper), here called constructive realism.In From Instrumentalism to Constructive Realism (2000) the above story is presented in great detail. The present synopsis highlights the main ways of theory evaluation presented in that book, viz. evaluation in terms of confirmation (or falsification), empirical progress and truth approximation. (shrink)

The importance of the notion of common knowledge in sustaining cooperative outcomes in strategic situations is well appreciated. However, the systematic analysis of the extent to which small departures from common knowledge affect equilibrium in games has only recently been attempted.We review the main themes in this literature, in particular, the notion of common p-belief. We outline both the analytical issues raised, and the potential applicability of such ideas to game theory, computer science and the philosophy of language.

My focus in this paper is on how the basic Bayesian model can be amended to reflect the role of idealizations and approximations in the confirmation or disconfirmation of any hypothesis. I suggest the following as a plausible way of incorporating idealizations and approximations into the Bayesian condition for incremental confirmation: Theory T is confirmed by observation P relative to background knowledge B iff Pr&B) > PrandB), where I is the conjunction of idealizations and approximations used in deriving the (...) prediction PT from T, P. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth (...) for present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, (...) referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

• Several recent Bayesian discussions make use of “approximation” – Earman on the Quantitative Old Evidence Problem – Vranas on Quantitative Approaches to the Ravens Paradox – Dorling’s Quantitative Approach to Duhem–Quine – Strevens’s Quantitative Approach to Duhem–Quine – rThere are also examples not involving confirmation: E.g.

Suppose that scientific realists believe that a successful theory is approximately true, and that constructive empiricists believe that it is empirically adequate. Whose belief is more likely to be false? The problem of underdetermination does not yield an answer to this question one way or the other, but the pessimistic induction does. The pessimistic induction, if correct, indicates that successful theories, both past and current, are empirically inadequate. It is arguable, however, that they are approximately true. Therefore, scientific realists (...) overall take less epistemic risk than constructive empiricists. (shrink)

There is good reason to suppose that our best physical theories, quantum mechanics and special relativity, are false if taken together and literally. If they are in fact false, then how should they count as providing knowledge of the physical world? One might imagine that, while strictly false, our best physical theories are nevertheless in some sense probably approximately true. This paper presents a notion of local probable approximate truth in terms of descriptive nesting relations between current and subsequent theories. (...) This notion helps explain how false physical theories might nevertheless provide physical knowledge of a variety that is particularly salient to diachronic empirical inquiry. (shrink)

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 (...) class='Hi'>theory of idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

We investigate a theory of Frege structures extended by the Myhill-Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.

This paper describes a theory of accuracy or approximate truth and applies it to problems in the realist interpretation of scientific theories. It argues not only that realism requires approximate truth, but that an adequate theory of approximation also presupposes some elements of a realist interpretation of theories. The paper distinguishes approximate truth from vagueness, probability and verisimilitude, and applies it to problems of confirmation and deduction from inaccurate premises. Basic results are cited, but details appear elsewhere. (...) Objections are surveyed, including arguments by Miller, Laymon, and Laudan. Comparison is made with Niiniluoto's theory of verisimilitude, and the utility of his theory for realism assessed. (shrink)

In this article, we offer a detailed study of two important episodes in the early history of high-energy physics, namely the development of the Chew and the Nambu-Jona-Lasinio models. Our study reveals that both models resulted from the combination of an old Hamiltonian, which had been introduced by earlier researchers, and two new approximation methods developed by Chew and by Nambu and Jona-Lasinio. These new approximation methods, furthermore, were the key component behind the models’ success. We take this (...) historical investigation to support two philosophical theses about the manner in which scientific modelling operates in high-energy physics. Both of these theses run counter to a view that is commonly accepted among philosophers of science: the view that all approximations can be embedded within an equivalent idealized system, and that whatever role the former might play in scientific modelling is therefore parasitic on the much more substantial work performed by the latter. Our first thesis, which we call “Distinctness,” states that approximation methods constitute an independent category of theoretical output from idealized systems. We thus believe that approximations and idealized systems constitute two independent types of objects, both of which are essential to the practice of modelling. Our second, more radical thesis is called “Content Determination.” Our claim here is that approximation methods can in fact be essential to assigning determinate physical content to the idealized systems with which they jointly operate. As we show, this is due to the fact that quantum field theory allows for a very thin characterization of idealized systems only, making the use of approximations necessary to supply additional content. We conclude the paper with a few reflections about the manner in which our two theses can be used to articulate David Kaiser’s views on the “vanishing of scientific theory” in physics after WWII. (shrink)