more from this thinker     |     more from this text


Single Idea 18038

[filed under theme 19. Language / C. Assigning Meanings / 2. Semantics ]

Full Idea

In a formal semantics we can label two properties 't' and 'f' and suppose that some sentences have neither (or both). Such a manoeuvre shows nothing of philosophical interest. No connection has been made between 't' and 'f' and truth and falsity.

Gist of Idea

The 't' and 'f' of formal semantics has no philosophical interest, and may not refer to true and false

Source

Timothy Williamson (Vagueness [1994], 7.2)

Book Ref

Williamson,Timothy: 'Vagueness' [Routledge 1996], p.190


A Reaction

This is right, and means there is a huge gulf between 'formal' semantics (which could be implemented on a computer), and seriously interesting semantics about how language refers to and describes the world.


The 26 ideas with the same theme [general ideas about assigning meaning to symbols]:

Syntax and semantics are indeterminate, and modern 'semantics' is a bogus subject [Quine, by Lycan]
We still lack an agreed semantics for quantifiers in natural language [Stalnaker]
'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker]
English has no semantic theory, just associations between sentences and thoughts [Fodor]
Broad semantics holds that the basic semantic properties are truth and denotation [Fodor]
Semantics (esp. referential semantics) allows inferences from utterances to the world [Fodor]
Semantics relates to the world, so it is never just psychological [Fodor]
Teleosemantics equates meaning with the item the concept is intended to track [Papineau]
Semantics as theory of meaning and semantics as truth-based logical consequence are very different [Soames]
Semantics is either an assignment of semantic values, or a theory of truth [Fine,K]
Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K]
That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K]
The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K]
The standard aim of semantics is to assign a semantic value to each expression [Fine,K]
We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K]
Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K]
Fregeans approach the world through sense, Referentialists through reference [Fine,K]
How does inferentialism distinguish the patterns of inference that are essential to meaning? [Williamson]
Internalist inferentialism has trouble explaining how meaning and reference relate [Williamson]
Inferentialist semantics relies on internal inference relations, not on external references [Williamson]
The 't' and 'f' of formal semantics has no philosophical interest, and may not refer to true and false [Williamson]
In 'situation semantics' our main concepts are abstracted from situations [Mares]
Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew]
The semantics of a sentence is its potential for changing a context [Magidor]
Semantic theory assigns meanings to expressions, and metasemantics explains how this works [Schroeter]
Success semantics explains representation in terms of success in action [Jenkins]