Hi PM, I am not a logician but here's my take: short story, the answers are (a) and (d). I think you are confusing propositions with entities. A proposition is, by definition, something that entails a truth value.
P is a proposition. "P is false" is also a proposition, usually written ~P. "P exists" is also a proposition, but I would say it's meaningless. Consider the proposition A = "my dog is a german shepard". What does it mean to say that A exists? On the other hand, the proposition B = "my dog exists" can be true or false. Cheers Telmo. On Tue, Sep 23, 2014 at 5:28 AM, Piaget Modeler via AGI <[email protected]> wrote: > Logic seems to conflate many notions. I'm trying to disentagle these > meanings. > > Two statements: > > P #1 > (not P) #2 > > What does statement #1 mean? > > P is true (a) > P exists (b) > something else (c) > > > What does statement #2 mean? > > P is false (d) > P does not exist (e) > something else (f) > > > Aren't these statements along two different dimensions (viz. truth, > existence)? > If (c) or (f) then what is the something else? > > > Kindly advise. > > ~PM > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/25129130-ee4f7d55> | > Modify > <https://www.listbox.com/member/?&;> > Your Subscription <http://www.listbox.com> > ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
