Online research in philosophy

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 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.

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?

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).

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.

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.