On 13 March 2014 04:33, Bruno Marchal <[email protected]> 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
