more from this thinker
|
more from this text
Single Idea 18753
[filed under theme 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
]
Full Idea
We can get a less ontologically perilous presentation of the semantics of the predicate calculus by using sets instead of concepts.
Gist of Idea
An ontologically secure semantics for predicate calculus relies on sets
Source
Vann McGee (Logical Consequence [2014], 4)
Book Ref
'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.36
A Reaction
The perilous versions rely on Fregean concepts, and notably Russell's 'concept that does not fall under itself'. The sets, of course, have to be ontologically secure, and so will involve the iterative conception, rather than naive set theory.
Related Idea
Idea 18752
'The concept "horse"' denotes a concept, yet seems also to denote an object [Frege, by McGee]
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]
|
10284
|
There are three different standard presentations of semantics
[Hodges,W]
|
10283
|
A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables
[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]
|