Click Here ">
Make your own free website on Tripod.com
« April 2005 »
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
You are not logged in. Log in
Entries by Topic
All topics  «
Counterfactuals
defl@tionism
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Monday, 11 April 2005

Topic: HUMAN SEMANTICS

Strict Identity with No Overlap


By Achille C. Varzi

It is natural to think that a standard, Kripke-style semantics for quantified modal logic (QML) is incompatible with the view that no individual can exist in more than one possible world, a view that seems to require a Lewis-style, counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. A standard semantics regards a modal statement such as ?I might have been fat? as true only if I am in the extension of ?is fat? at some other possible world, whereas counterpart theory regards it as true only if a counterpart of mine is in the extension of ?is fat?. But just as the truth conditions of counterpart theory are in principle compatible with the possibility (rejected by Lewis) that some individuals qualify as their own other-wordly counterparts, the truth conditions of a standard semantics are in principle compatible with the possibility (dismissed by Kripke) that all individuals are world-bound. Here is how.
Source: Online Papers in Philosophy

Posted by Tony Marmo at 15:34 BST
Updated: Monday, 11 April 2005 15:35 BST

View Latest Entries