This would be an appropriate assessment for Boolean logic. Thus, a context is needed.
In particular, (not P) *may* differ value under Three-valued logic - which is used in relational databases. Check out the wiki article if necessary. On Tue, Sep 23, 2014 at 5:03 AM, Telmo Menezes via AGI <[email protected]> wrote: > 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> > <https://www.listbox.com/member/archive/rss/303/18488709-8cf25195> | > 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
