On 13 March 2014 04:33, Bruno Marchal <marc...@ulb.ac.be> wrote: > Hello Terren, > > On 12 Mar 2014, at 04:34, Terren Suydam wrote: > > Hi Bruno, > > Thanks, that helps. Can you expand a bit on <>t? Unfortunately I haven't > had the time to follow the modal logic threads, so please forgive me but I > don't understand how you could represent reality with <>t. > > Shortly, "<>A" most "general" meaning is that the proposition A is > possible. > > Modal logician uses the word "world" in a very general sense, it can mean > "situation", "state", and actually it can mean anything. > > To argue for example that it is possible that a dog is dangerous, would > consist in showing a situation, or a world, or a reality in which a dog is > dangerous. > > so you can read "<>A", as "A is possible", or possible(A), with the idea > that this means that there is a reality in which A is true. > > Reality is not represented by "<>A", it is more "the existence of a > reality verifying a proposition". > > In particular, <>t, which is "t is possible", where t is the constant > true, or "1=1" in arithmetic, simply means that there is a reality. >
You mean <>t asserts there is a reality in which the relevant proposition is true (e.g. one in which the dog is dangerous) ? -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
