> > > > All of this is not suggesting that existence suffers from epistemological > banality either :) >
Indeed, existence is quite the rabbit hole :) Telmo. > > AT > > On 23.09.2014, at 16:21, Piaget Modeler via AGI <[email protected]> wrote: > > In addition if we are dealing with a knowledge base, then we have two > operations: *assert *and *retract*. > > When we assert P, or assert (not P), we are asserting that P is true, or > (not P) is true. > > When we retract P, or retract (not P), what is the meaning there? (Use > either closed or open world assumptions?) > > Kindly advise. > > ~PM > > ------------------------------ > From: [email protected] > To: [email protected] > Subject: RE: [agi] Logical Conflation > Date: Tue, 23 Sep 2014 07:08:26 -0700 > > Someone else proposed (a) (b) and (d) as the case. > > If only (a) and (d) are correct in your opinion, do you also subscribe to > the correspondence theory of truth, > that the truth of a proposition means the proposition corresponds to some > state of affairs in reality? > > What is your notion of truth? > > Michael. > > ------------------------------ > Date: Tue, 23 Sep 2014 12:03:34 +0200 > Subject: Re: [agi] Logical Conflation > From: [email protected] > To: [email protected] > > 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/19999924-4a978ccc> | > 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/19999924-4a978ccc> | > 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/14050631-7d925eb1> | > 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/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
