more on this theme | more from this thinker
Full Idea
Extensional semantics is blatantly circular. For 'Fa' to be interpreted as true, we must know that object a belongs to the extension of the predicate F, so we must already know which objects belong to the extension.
Gist of Idea
Extensionalist semantics is circular, as we must know the extension before assessing 'Fa'
Source
Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)
Book Ref
'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.5
A Reaction
I'm delighted to read this, because it was the first thought that occurred to me when I encountered the theory. Presumably this leads Quine to take predication as basic, because you can't break into the circle. Or, vote for intensionalism?
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |