more from this thinker
|
more from this text
Single Idea 13364
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
]
Full Idea
There are two approaches to an 'interpretation' of a logic: the first method assigns objects to names, and then defines connectives and quantifiers, focusing on truth; the second assigns objects to variables, then variables to names, using satisfaction.
Gist of Idea
Interpretation by assigning objects to names, or assigning them to variables first
Source
report of David Bostock (Intermediate Logic [1997], 3.4) by PG - Db (lexicon)
Book Ref
Bostock,David: 'Intermediate Logic' [OUP 1997], p.82
A Reaction
[a summary of nine elusive pages in Bostock] He says he prefers the first method, but the second method is more popular because it handles open formulas, by treating free variables as if they were names.
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]
|