more from this thinker
|
more from this text
Single Idea 10902
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
]
Full Idea
We can look at semantics from the point of view of how truth values are determined by instantiations of properties and relations, or by asking how we can build, using the resources of the language, a proposition corresponding to a given semantic pattern.
Gist of Idea
We can do semantics by looking at given propositions, or by building new ones
Source
José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.6)
Book Ref
Zalabardo,José L.: 'Introduction to the Theory of Logic' [Westview 2000], p.109
A Reaction
The second version of semantics is model theory.
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]
|