Combining Texts

All the ideas for 'Necessary Existents', 'Fragments' and 'Barcan Formulae'

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.
19. Language / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]
     Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist?
     From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions
     A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done?
25. Social Practice / E. Policies / 5. Education / d. Study of history
Dividing history books into separate chapters is disastrous [Weil]
     Full Idea: The division of history textbooks into chapters will cost us many disastrous mistakes.
     From: Simone Weil (Fragments [1936], p.131)
     A reaction: Nice observation. The point is that we fail to grasp what really happened if we draw sharp lines across history.