On Tue, Sep 23, 2014 at 4:08 PM, Piaget Modeler via AGI <[email protected]> wrote:
> 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? > Not at all, I agree with Anastasios. It's just a label. A = "Telmo owns a house in planet Mars" B = "Telmo is green" A -> B, A |- B > > > What is your notion of truth? > This might be the trickiest question you could possibly ask :) At first sight, a platonic ideal. So I think that truth can be obtained in mathematics (1 + 1 = 2) by means of proof, and some underlaying truth can be approximated (but never attained) by science. A bit like how you can sculpt an approximation of a sphere, but you can't really build a perfect one. Even in the purely abstract worlds though, it's problematic because of Gödel's incompleteness theorems. I'll steal a short passage from wikipedia: "no consistent system of axioms whose theorems can be listed by an "effective procedure <http://en.wikipedia.org/wiki/Effective_procedure>" (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers <http://en.wikipedia.org/wiki/Natural_numbers> (arithmetic <http://en.wikipedia.org/wiki/Arithmetic>). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system." Telmo. > > 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/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
