Online research in philosophy

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth-values do not supervene on semantic information, and misinformation (that is, false semantic information) is not a type of semantic information, but pseudo-information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo-information. As a consequence, SDI is revised to include a necessary truth-condition. The last section summarises the main results of the paper and indicates some interesting areas of application of the revised definition.

On this conception, the semantic types of its primitive terms and their mode of combination determine the logical form of a sentence as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed by a (canonical) proof of its T-sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that of identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well grounded.

The central concern of this paper is whether the Semantic Approach to theories has the resources to appropriately capture the core tenets of structural realism. Chakravartty, for example, has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component which undermines the Approach itself. We suggest first of all, that this worry can be addressed by an appropriate understanding of the role of language with respect to the Semantic Approach. Secondly, we argue that an appropriately structuralist account of representation can serve the structural realist’s needs. However, the real challenge, we feel, is whether a core notion of ‘explanatory approximate truth’ can be incorporated into this account and in such a way that the emphasis on structure is retained. The extent to which this challenge can be met is something on which even the authors are divided!

For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue that it is the truth theory which correctly characterises the notion of truth, per se. When we take into account the considerations required to bring model theory into harmony with truth theory, those considerations undermine the arguments standardly used to motivate supervaluational model theories designed to validate classical logic. But those considerations also show that celebration would be premature for advocates of the most frequently encountered rival approach – many-valued model theory.

Karl Popper introduced the idea of verisimilitude to explicate the intuitive idea that a theory T2, even though it is strictly speaking false, may be closer to the truth than a competitor T1. However, as is now well known, the results of Pavel Tichý, John Harris and David Miller establish that on Popper’s qualitative theory of verisimilitude, a theory T2 could be closer to the truth than another theory T1 only if T2 contains no false sentences. This result has been taken universally to show the inadequacy of Popper’s original account of verisimilitude, since the Miller-Tichý-Harris Theorem conflicts with the very basic intuition which first led Popper to formulate his theory.In this paper I shall first review the Miller-Tichý-Harris Theorem and examine a number of attempts to salvage the concept of verisimilitude. It will be argued that none of these attempts is successful. Finally an alternative, simple and intuitively satisfactory account of verisimilitude will be offered. This account will be along the lines first suggested by Popper, but it is not subject to any known limitation theorem. Further, the account is capable of giving verisimilitude orderings between not only scientific theories, but philosophical theories as well. This will be achieved without the use of the excessive formalism which dominates the contemporary verisimilitude research programs.

Michael Dummett’s realism debate is a semantic dispute about the kind of truth conditions had by a given class of sentences. According to his semantic realist, the truth conditions are potentially verification-transcendent in that they may obtain (or not) despite the fact that we may be forever unable to recognize whether they obtain. According to Dummett’s semantic anti-realist, the truth conditions are of a different sort. Essentially, for the anti-realist, that the truth conditions obtain (whenever they do) is a matter that is always recognizable by us in principle. On this view, truth cannot outrun all possible human knowledge. Unsurprisingly, the outcome of the debate is sometimes said to hinge on whether all truths are knowable.1 More carefully the point of contention is the following..

Science progresses if we succeed in rendering the objects of scientific inquiry more comprehensively or more precisely. Popper tries to formalize this venerable idea. According to him the most comprehensive and most precise description of the world is given by the set T of all true statements. A hypothesis comes the closer to T, or has the more verisimilitude, the more true consequences and the fewer false consequences it implies. Popper proposes to order hypotheses by the inclusion relations between the sets of their true and of their false consequences ("truth contents" and "falsity contents"). A partial ordering would permit one to decide whether the substitution of theory t 1 by t 2 represents scientific progress. But because of the logical relations between the elements of the sets of logical consequences, or contents, false hypotheses cannot be compared. As our theories usually turn out to be false sooner or later, they can seldom be compared as to their verisimilitude and when they can, the result depends only on which theory implies the other and on their truth-values. Popper even tries to define a measure of verisimilitude on the partial ordering. It has to fail for the same reason. In addition he tries to relativize the concept of a content and fails. What is more, any attempt at defining a measure of better or worse correspondence to the whole truth must fail, as there is no justification for saying that any true primitive sentence asserts as much about reality as some other primitive sentence, or more.

Truth is the aim of inquiry. Nevertheless, some falsehoods seem to realize this aim better than others. Some truths better realize the aim than other truths. And perhaps even some falsehoods realize the aim better than some truths do. The dichotomy of the class of propositions into truths and falsehoods should thus be supplemented with a more fine-grained ordering — one which classifies propositions according to their closeness to the truth, their degree of truthlikeness or verisimilitude. The logical problem of truthlikeness is to give an adequate account of the concept and to explore its logical properties. Of course, the logical problem intersects with problems in both epistemology and value theory.

In this paper, an attempt is made to solve various problems posed to current theories of verisimilitude: (1) the (Miller's) problem of linguistic variance; (2) the problem of which are the best scientific methods for getting the most verisimilar theories; and (3) the question of the ontological commitment in scientific theories. As a result of my solution ot these problems, and with the help of other considerations of epistemological character, I conclude that the notion of Tarskian truth is dispensable in a rational (and realist) interpretation of the scientific enterprise. As a logical result, however, falsificationism will be vindicated. ... and in brief, a speaker must always aim at verisimilitude, and send the truth packing.

J. P. Z. Bonilla's methodological approach to truthlikeness is evaluated critically. On a more general level, various senses in which the theory of truthlikeness could be seen as a theory concerned with methodology are distinguished, and it is argued that providing speical sciences with methodological tools is unrealistic as an aim of the theory of verisimilitude. Rather, when developing this theory, one should rest contnet with the more modest aim of conceptual analysis, or of providing explications for the relational concept of being closer to the truth. In addition, some remarks will be made on the difficulties which the similarity approach to truthlikeness has in realizing this aim and which are caused by the important role that Hintikka's constituents have in it.