more from this thinker
|
more from this text
Single Idea 10285
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
]
Full Idea
I |= φ means that the formula φ is true in the interpretation I.
Gist of Idea
I |= φ means that the formula φ is true in the interpretation I
Source
Wilfrid Hodges (First-Order Logic [2001], 1.5)
Book Ref
'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.17
A Reaction
[There should be no space between the vertical and the two horizontals!] This contrasts with |-, which means 'is proved in'. That is a syntactic or proof-theoretic symbol, whereas |= is a semantic symbol (involving truth).
The
23 ideas
with the same theme
[logic when interpreted, rather than mere formal systems]:
|
13335
|
Semantics is the concepts of connections of language to reality, such as denotation, definition and truth
[Tarski]
|
|
13336
|
A language containing its own semantics is inconsistent - but we can use a second language
[Tarski]
|
|
18756
|
Tarski built a compositional semantics for predicate logic, from dependent satisfactions
[Tarski, by McGee]
|
|
19313
|
Tarksi invented the first semantics for predicate logic, using this conception of truth
[Tarski, by Kirkham]
|
|
19059
|
In standard views you could replace 'true' and 'false' with mere 0 and 1
[Dummett]
|
|
19062
|
Classical two-valued semantics implies that meaning is grasped through truth-conditions
[Dummett]
|
|
19063
|
Beth trees show semantics for intuitionistic logic, in terms of how truth has been established
[Dummett]
|
|
3810
|
In real reasoning semantics gives validity, not syntax
[Searle]
|
|
13364
|
Interpretation by assigning objects to names, or assigning them to variables first
[Bostock, by PG]
|
|
10283
|
A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables
[Hodges,W]
|
|
10284
|
There are three different standard presentations of semantics
[Hodges,W]
|
|
10285
|
I |= φ means that the formula φ is true in the interpretation I
[Hodges,W]
|
|
10016
|
When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense'
[Hodes]
|
|
10570
|
Assigning an entity to each predicate in semantics is largely a technical convenience
[Fine,K]
|
|
23539
|
Classical semantics has referents for names, extensions for predicates, and T or F for sentences
[Fine,K]
|
|
6653
|
Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth
[Lowe]
|
|
10898
|
The semantics shows how truth values depend on instantiations of properties and relations
[Zalabardo]
|
|
10902
|
We can do semantics by looking at given propositions, or by building new ones
[Zalabardo]
|
|
13697
|
Valuations in PC assign truth values to formulas relative to variable assignments
[Sider]
|
|
18792
|
Situation semantics for logics: not possible worlds, but information in situations
[Mares]
|
|
18753
|
An ontologically secure semantics for predicate calculus relies on sets
[McGee]
|
|
23447
|
In classical semantics singular terms refer, and quantifiers range over domains
[Linnebo]
|
|
15349
|
It is easier to imagine truth-value gaps (for the Liar, say) than for truth-value gluts (both T and F)
[Horsten]
|