Online research in philosophy

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.

Controversy has arisen of late over the claim that deflationism about truth requires that we explain meaning in terms of something other than truth-conditions. This controversy, it is argued, is due to unclarity as to whether the basic deflationary claim that a sentence and a sentence that attributes truth to it are equivalent in meaning is intended to involve the truth-predicate of the object language for which we develop an account of meaning, or is intended to involve the truth-predicate of the metalanguage in which we develop an account of meaning. The former view is compatible with the truth-conditional theory of meaning for the object language, the latter is incompatible with it. However, the former view is also trivially true; hence we should endorse the claim that any form of deflationism worth being interested in is incompatible with understanding meaning truth-conditionally.

Meaning in philosophy, by K. Lehrer.--Meaning in linguistics, by A. Lehrer.--Theories of meaning, by W. Alston.--Of names, by J. S. Mill.--Of words, by J. Locke.--Of language, by G. Berkeley.--Signs and behavior situations, by C. Morris.--Meaning and verification, by M. Schlick.--Meaning and use, by R. Wells.--The meaning of a word, by J. Austin.--Meaning and speech acts, by J. R. Searle.--Meaning and linguistic analysis, by C. C. Fries.--The semantic compound of a linguistic description, by J. J. Katz.--Componential analysis and universal semantics, by J. Lyons.--Bibliographical essay (p. 213-216).

Paul Horwich aims to apply some the lessons of deflationism about truth to the debate about the nature of a theory of meaning. Having pacified the philosophical debate about truth to his satisfaction, he wants to use a bridge between truth and meaning to extend the same peace−making techniques into new territory. His goal is to make the debate about meaning more hospitable for an account based on use, by showing that certain apparent obstacles to such a theory are illusory, given deflationism about truth.

Over the last three decades, truth-condition theories have earned a central place in the study of linguistic meaning. But their honored position faces a threat from recent deflationism or minimalism about truth. It is thought that the appeal to truth-conditions in a theory of meaning is incompatible with deflationism about truth, and so the growing popularity of deflationism threatens truth-condition theories of meaning.

Hilary Putnam has argued against philosophical theories which tie the content of truth-claims closely to the available methods of investigation and verification. Such theories, he argues, threaten our idea of human communication, which we take to be possible between people of different cultures and across periods of time during which methods of investigation change dramatically. Putnam rejects any reading of Wittgenstein which takes him to make a close tie between meaning and method of verification. What strands in Wittgenstein's thought appear to lend support to such a reading? Can we do justice to the role which method of verification does have for Wittgenstein while retaining our hold on the idea that communication between people is possible despite substantial differences in methods of verification and investigation? Thus it is as if the proof did not determine the sense of the proposition proved; and yet as if it did determine it. But isn't it like that with any verification of any proposition?

Logical Positivism is dead. With its demise the world lost a wonderful tool for dealing with nonsense: the Logical Positivists insistence on a Universal, Verification Criterion of Meaning ('UVCM').This paper examines the, much criticised, UVCM. It discovers that there is a lot to be said for a Universal, Verification, Criterion of Meaning that is stripped of 'universal' 'verification' and 'criterion' and puts forward a replacement Localised, Falsification Diagnosis of Meaning.

Dummettian anti-realism repudiates the realist's notion of verification-transcendent truth. Perhaps the most crucial element in the Dummettian attack on realist truth is the critique of so-called realist semantics, which assigns verification-transcendent truth-conditions as the meanings of (some) sentences. The Dummettian critique charges that realist semantics cannot serve as an adequate theory of meaning for a natural language, and that, consequently, the realist conception of truth must be rejected as well. In arguing for this, Dummett and his followers have appealed to a certain conception of linguistic knowledge. This paper examines closely the appeal to speakers' knowledge of linguistic meaning, its force and limitations.

The verification theory of meaning aims to characterise what it is for a sentence to be meaningful and also what kind of abstract object the meaning of a sentence is. A brief outline is given by Rudolph Carnap, one of the theory's most prominent defenders: If we knew what it would be for a given sentence to be found true then we would know what its meaning is. [...] thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. [4: 420] In short, the verification theory of meaning claims that the meaning of a sentence is the method of its verification.