Combining Texts

All the ideas for 'talk', 'Barcan Formulae' and 'Adverbial Theory'

unexpand these ideas     |    start again     |     specify just one area for these texts


3 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem]
     Full Idea: Intuitively, the Barcan formula says that nothing comes into existence when moving from a possible world to an alternative world. The converse says that nothing goes out of existence. Together they say the domain of quantification is fixed for all worlds.
     From: Koen Vervloesem (Barcan Formulae [2010])
     A reaction: Stated so clearly, they sound absurd. The sensible idea, I suppose, is that you can refer to all the things from any world, but that doesn't mean they are possible. Shades of Meinong. 'Square circles' are not possible.
12. Knowledge Sources / B. Perception / 4. Sense Data / b. Nature of sense-data
Are sense-data independent, with identity, substance and location? [Tye]
     Full Idea: Can sense-data exist unsensed? Can two persons experience numerically identical sense-data? Do sense-data have surfaces which are not sensed? What are sense-data made of? Are they located?
     From: Michael Tye (Adverbial Theory [1995], p.7)
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]
     Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature.
     From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8