Search results for 'truth approximation' (try it on Scholar)

1000+ found
Order:
  1.  29
    Gustavo Cevolani (2014). Truth Approximation, Belief Merging, and Peer Disagreement. Synthese 191 (11):2383-2401.
    In this paper, we investigate the problem of truth approximation via belief merging, i.e., we ask whether, and under what conditions, a group of inquirers merging together their beliefs makes progress toward the truth about the underlying domain. We answer this question by proving some formal results on how belief merging operators perform with respect to the task of truth approximation, construed as increasing verisimilitude or truthlikeness. Our results shed new light on the issue of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2. Gustavo Cevolani (2013). Truth Approximation Via Abductive Belief Change. Logic Journal of the IGPL 21 (6):999-1016.
    We investigate the logical and conceptual connections between abductive reasoning construed as a process of belief change, on the one hand, and truth approximation, construed as increasing (estimated) verisimilitude, on the other. We introduce the notion of ‘(verisimilitude-guided) abductive belief change’ and discuss under what conditions abductively changing our theories or beliefs does lead them closer to the truth, and hence tracks truth approximation conceived as the main aim of inquiry. The consequences of our analysis (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  4
    Theo A. F. Kuipers (forthcoming). Models, Postulates, and Generalized Nomic Truth Approximation. Synthese:1-21.
    The qualitative theory of nomic truth approximation, presented in Kuipers in his, in which ‘the truth’ concerns the distinction between nomic, e.g. physical, possibilities and impossibilities, rests on a very restrictive assumption, viz. that theories always claim to characterize the boundary between nomic possibilities and impossibilities. Fully recognizing two different functions of theories, viz. excluding and representing, this paper drops this assumption by conceiving theories in development as tuples of postulates and models, where the postulates claim to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  24
    Theo Kuipers (2011). Basic and Refined Nomic Truth Approximation by Evidence-Guided Belief Revision in AGM-Terms. Erkenntnis 75 (2):223-236.
    Straightforward theory revision, taking into account as effectively as possible the established nomic possibilities and, on their basis induced empirical laws, is conducive for (unstratified) nomic truth approximation. The question this paper asks is: is it possible to reconstruct the relevant theory revision steps, on the basis of incoming evidence, in AGM-terms? A positive answer will be given in two rounds, first for the case in which the initial theory is compatible with the established empirical laws, then for (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  5.  2
    Theo Kuipers (2014). Empirical Progress and Nomic Truth Approximation Revisited. Studies in History and Philosophy of Science 46:64-72.
    In my From Instrumentalism to Constructive Realism I have shown how an instrumentalist account of empirical progress can be related to nomic truth approximation. However, it was assumed that a strong notion of nomic theories was needed for that analysis. In this paper it is shown, in terms of truth and falsity content, that the analysis already applies when, in line with scientific common sense, nomic theories are merely assumed to exclude certain conceptual possibilities as nomic possibilities.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  6
    Roberto Festa, Atocha Aliseda & Jeanne Peijnenburg (eds.) (2005). Confirmation, Empirical Progress and Truth Approximation: Essays in Debate with Theo Kuipers. Rodopi.
    Theo AF Kuipers THE THREEFOLD EVALUATION OF THEORIES A SYNOPSIS OF FROM INSTRUMENTALISM TO CONSTRUCTIVE REALISM. ON SOME RELATIONS BETWEEN CONFIRMATION, EMPIRICAL PROGRESS, AND TRUTH APPROXIMATION (2000) ABSTRACT.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  7. Theo A. F. Kuipers (2005). The Threefold Evaluation of Theories: A Synopsis of From Instrumentalism to Constructive Realism. On Some Relations Between Confirmation, Empirical Progress, and Truth Approximation (2000). Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):23-85.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  8. Thomas Mormann (2005). Geometry of Logic and Truth Approximation. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):431-454.
    In this paper it is argued that the theory of truth approximation should be pursued in the framework of some kind of geometry of logic. More specifically it is shown that the theory of interval structures provides a general framework for dealing with matters of truth approximation. The qualitative and the quantitative accounts of truthlikeness turn out to be special cases of the interval account. This suggests that there is no principled gap between the qualitative and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  28
    Theo A. F. Kuipers (2009). Empirical Progress and Truth Approximation by the 'Hypothetico-Probabilistic Method'. Erkenntnis 70 (3):313 - 330.
    Three related intuitions are explicated in this paper. The first is the idea that there must be some kind of probabilistic version of the HD-method, a ‘Hypothetico-Probabilistic (HP-) method’, in terms of something like probabilistic consequences, instead of deductive consequences. According to the second intuition, the comparative application of this method should also be functional for some probabilistic kind of empirical progress, and according to the third intuition this should be functional for something like probabilistic truth approximation. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  96
    Theo A. F. Kuipers (1997). The Dual Foundation of Qualitative Truth Approximation. Erkenntnis 47 (2):145-179.
    The main formal notion involved in qualitative truth approximation by the HD-method, viz. ‘more truthlike’, is shown to not only have, by its definition, an intuitively appealing ‘model foundation’, but also, at least partially, a conceptually plausible ‘consequence foundation’. Moreover, combining the relevant parts of both leads to a very appealing ‘dual foundation’, the more so since the relevant methodological notions, viz. ‘more successful’ and its ingredients provided by the HD-method, can be given a similar dual foundation. According (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  11.  17
    Theo A. F. Kuipers (2001). Epistemological Positions in the Light of Truth Approximation. The Proceedings of the Twentieth World Congress of Philosophy 2001:79-88.
    I sketch the most important epistemological positions in the instrumentalism-realism debate, viz., instrumentalism, constructive empiricism, referential realism, and theory realism. I order them according to their answers to a number of successive leading questions, where every next question presupposes an affirmative answer to the foregoing one. I include the answer to questions concerning truth, as well as the most plausible answer to questions concerning truth approximation. Restricting my survey to the natural sciences and hence to the natural (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  18
    Theo A. F. Kuipers, Theories Looking for Domains. Fact or Fiction? Reversing Structuralist Truth Approximation.
    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 (...)
    No categories
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13.  17
    Theo A. F. Kuipers (2005). Toward a Geometrical Theory of Truth Approximation: Reply to Thomas Mormann. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):455-457.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  14. Theo A. F. Kuipers (2000). From Instrumentalism to Constructive Realism: On Some Relations Between Confirmation, Empirical Progress, and Truth Approximation. Springer.
  15.  21
    Kuipers, Theo A. F., Cools, Kees & Hamminga, Bert, Truth Approximation by Concretization in Capital Structure Theory.
    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.
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16. Gustavo Cevolani & Luca Tambolo (2013). Progress as Approximation to the Truth: A Defence of the Verisimilitudinarian Approach. Erkenntnis 78 (4):921-935.
    In this paper we provide a compact presentation of the verisimilitudinarian approach to scientific progress (VS, for short) and defend it against the sustained attack recently mounted by Alexander Bird (2007). Advocated by such authors as Ilkka Niiniluoto and Theo Kuipers, VS is the view that progress can be explained in terms of the increasing verisimilitude (or, equivalently, truthlikeness, or approximation to the truth) of scientific theories. According to Bird, VS overlooks the central issue of the appropriate grounding (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  17.  43
    Igor Douven & Christoph Kelp (2011). Truth Approximation, Social Epistemology, and Opinion Dynamics. Erkenntnis 75 (2):271-283.
  18.  70
    Theo A. F. Kuipers (1992). Naive and Refined Truth Approximation. 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.
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  19.  74
    Ilkka Niiniluoto (2001). From Instrumentalism to Constructive Realism: On Some Relations Between Confirmation, Empirical Progress, and Truth Approximation. Theo A. F. Kuipers. [REVIEW] Mind 110 (439):774-777.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  20. Hinne Hettema & Theo A. F. Kuipers (1995). Sommerfeld's Atombau: A Case Study in Potential Truth Approximation. In Cognitive Patterns in Science and Common Sense: Groningen Studies in Philosophy of Science, Logic and Epistemology. Poznan 273-297.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  21.  1
    Theo A. F. Kuipers (2014). Empirical Progress and Nomic Truth Approximation Revisited. Studies in History and Philosophy of Science Part A 46:64-72.
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  12
    Thomas Mormann (1997). The Refined Qualitative Theory of Truth Approximation Does Not Deliver: Remark on Kuipers. [REVIEW] Erkenntnis 47 (2):181-185.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Theo A. F. Kuipers (2009). Empirical Progress and Truth Approximation by the ‘Hypothetico-Probabilistic Method’. Erkenntnis 70 (3):313-330.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  8
    Theo A. F. Kuipers (2005). Truth Approximation by Empirical and Aesthetic Criteria: Reply to David Miller. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):356-360.
    Polish version, see Kuipers (2002) "O dwóch rodzajach idealizcji I konkretyzacki. Przypadek aproksymacji prawdy".
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  25. J. C. Garcia-Bermejo Ochoa (1997). Realism and Truth Approximation in Economic Theory. Poznan Studies in the Philosophy of the Sciences and the Humanities 61:167-204.
     
    Export citation  
     
    My bibliography  
  26. Hinne Hettema & Theo A. F. Kuipers (1995). Sommerfeld's Atombau: A Case of Potential Truth Approximation. In Cognitive Patterns in Science and Common Sense: Groningen Studies in Philosophy of Science, Logic and Epistemology.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  27. T. A. F. Kuipers (2006). Theories Looking for Domains. Fact or Fiction? Structuralist Truth Approximation by Revision of the Domain of Intended Applications, to Appear. In L. Magnani (ed.), Model-Based Reasoning in Science and Engineering. College Publications
     
    Export citation  
     
    My bibliography  
  28.  7
    Irene Mikenberg, Newton C. A. Da Costa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201 - 221.
    There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  29.  89
    Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201-221.
  30. Jerzy Brzezinski & Leszek Nowak (1992). Idealization Iii: Approximation and Truth. Rodopi.
     
    Export citation  
     
    My bibliography   3 citations  
  31.  2
    Irene Mikenberg, Newton C. A. Da Costa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201-221.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  32.  19
    Juan Barba (1998). Construction of Truth Predicates: Approximation Versus Revision. Bulletin of Symbolic Logic 4 (4):399-417.
  33. R. H. Naylor (2006). Galileo's Law of Fall: Absolute Truth or Approximation. Annals of Science 39 (4):384-389.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Gustavo Cevolani, Vincenzo Crupi & Roberto Festa (2010). The Whole Truth About Linda: Probability, Verisimilitude and a Paradox of Conjunction. In Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications 603--615.
    We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  35. Theo A. F. Kuipers (1999). Abduction Aiming at Empirical Progress or Eventruth Approximationleading to a Challenge for Computational Modelling. Foundations of Science 4 (3):307-323.
    This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  36. Luca Tambolo (2015). A Tale of Three Theories: Feyerabend and Popper on Progress and the Aim of Science. Studies in History and Philosophy of Science Part A 51:33-41.
    In this paper, three theories of progress and the aim of science are discussed: the theory of progress as increasing explanatory power, advocated by Popper in The logic of scientific discovery ; the theory of progress as approximation to the truth, introduced by Popper in Conjectures and refutations ; the theory of progress as a steady increase of competing alternatives, which Feyerabend put forward in the essay “Reply to criticism. Comments on Smart, Sellars and Putnam” and defended as (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37. Theo A. F. Kuipers (2002). Beauty, a Road to the Truth. Synthese 131 (3):291-328.
    In this article I give a naturalistic-cum-formal analysis of therelation between beauty, empirical success, and truth. The analysis is based on the onehand on a hypothetical variant of the so-called `mere-exposure effect'' which has been more orless established in experimental psychology regarding exposure-affect relationshipsin general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989;Ye 2000). On the other hand it is based on the formal theory of truthlikeness andtruth approximation as presented in my From Instrumentalism to (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  38.  70
    Theo A. F. Kuipers (1982). Approaching Descriptive and Theoretical Truth. Erkenntnis 18 (3):343 - 378.
    In this article I give a naturalistic-cum-formal analysis of the relation between beauty, empirical success, and truth. The analysis is based on the one hand on a hypothetical variant of the so-called 'mere-exposure effect' which has been more or less established in experimental psychology regarding exposure-affect relationships in general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989; (Ye 2000). On the other hand it is based on the formal theory of truthlikeness and truth approximation (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  39.  6
    Ilkka Niiniluoto (2004). Truth-Seeking by Abduction. Vienna Circle Institute Yearbook 11:57-82.
    In a seminar with the title “Deduction and Induction in the Sciences”, it is intriguing to ask the following questions: Is there a third type of inference besides deduction and induction? Does this third type of inference play a significant role within scientific inquiry? A positive answer to both of these questions was advocated by Charles S. Peirce throughout his career, even though his opinions changed in important ways during the fifty years between 1865 and 1914. Peirce called the third (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  40.  24
    David Miller (2005). Beauty, a Road to the Truth? Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):341-355.
    Calling into service the theory of truth approximation of his (1997) and (2000), Kuipers defends the view that "beauty can be a road to the truth" and endorses the general conclusions of McAllister (1996) that aesthetic criteria reasonably play a role in theory selection in science. My comments pertain first to the general adequacy of Kuipers's theory of truth approximation; secondly to its methodological aspects; thirdly to the aetiolated role that aesthetic factors turn out to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  12
    Frank Zenker & Carlo Proietti (2014). Editors’ Introduction: Social Dynamics and Collective Rationality. Synthese 191 (11):2353-2358.
    We provide a brief introduction to this special issue on social dynamics and collective rationality, and summarize the gist of the papers collected therein.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Chang Liu (1999). Approximation, Idealization, and Laws of Nature. 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  43. Thomas Weston (1992). Approximate Truth and Scientific Realism. Philosophy of Science 59 (1):53-74.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  44. Peter Smith (1998). Approximate Truth and Dynamical Theories. British Journal for the Philosophy of Science 49 (2):253-277.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  45. Anjan Chakravartty, Truth and Representation in Science: Two Inspirations From Art.
    Realists regarding scientific knowledge – those who think that our best scientific representations truly describe both observable and unobservable aspects of the natural world – have special need of a notion of approximate truth. Since theories and models are rarely considered true simpliciter, the realist requires some means of making sense of the claim that they may be false and yet close to the truth, and increasingly so over time. In this paper, I suggest that traditional approaches to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  36
    Blake Hestir (2013). Aristotle's Conception of Truth: An Alternative View. Journal of the History of Philosophy 51 (2):193-222.
    Aristotle famously proclaims at Metaphysics Г.7, 1011b26–27: To men gar legein to on mê einai ê to mê on einai pseudos, to de to on einai kai to mê on mê einai alêthes, . . . Aristotle is inclined to think of this as a definition of truth and falsehood;1 we are inclined to wonder what he means by it. Perhaps a reasonable approximation in English would amount to something like: Tdf: For to state [of] that which is (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  47.  21
    Thomas Weston (1987). Approximate Truth. Journal of Philosophical Logic 16 (2):203 - 227.
    The technical results presented here on continuity and approximate implication are obviously incomplete. In particular, a syntactic characterization of approximate implication is highly desirable. Nevertheless, I believe the results above do show that the theory has considerable promise for application to the areas mentioned at the top of the paper.Formulation and defense of realist interpretations of science, for example, require approximate truth because we hardly ever have evidence that a particular scientific theory corresponds perfectly with a portion of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  48.  22
    Jean-Pierre Marquis (1991). Approximations and Truth Spaces. Journal of Philosophical Logic 20 (4):375 - 401.
    Approximations form an essential part of scientific activity and they come in different forms: conceptual approximations (simplifications in models), mathematical approximations of various types (e.g. linear equations instead of non-linear ones, computational approximations), experimental approximations due to limitations of the instruments and so on and so forth. In this paper, we will consider one type of approximation, namely numerical approximations involved in the comparison of two results, be they experimental or theoretical. Our goal is to lay down the conceptual (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  49.  12
    Andrea Cantini (1993). Extending the First-Order Theory of Combinators with Self-Referential Truth. Journal of Symbolic Logic 58 (2):477-513.
    The aim of this paper is to introduce a formal system STW of self-referential truth, which extends the classical first-order theory of pure combinators with a truth predicate and certain approximation axioms. STW naturally embodies the mechanisms of general predicate application/abstraction on a par with function application/abstraction; in addition, it allows non-trivial constructions, inspired by generalized recursion theory. As a consequence, STW provides a smooth inner model for Myhill's systems with levels of implication.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  3
    Stefano Predelli (2004). Think Before You Speak: Utterances and the Logic of Indexicals. [REVIEW] Argumentation 18 (4):445-463.
    This essay discusses some aspects of the logical behaviour of sentences in languages containing indexical and demonstrative expressions. After some preliminary remarks in section one, sections two and three focus on instances of logically true sentences that may be uttered falsely, and on cases of logically equivalent sentences whose utterances may have distinct truth-values. The logical and semantic problems taken into consideration include the validity of a Principle of Translation, the so-called ‘puzzle of addressing’, and examples related to measurement (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 1000