Since a proposition, by most any logic that can do something, can be integrated within a system of propositions, this implies that the 'meaning' of the proposition must go beyond simply being 'true' or 'false'. So this is "something else" but I am not sure how it should be worded. If you were to try to specify every quality of a proposition in a meta-system of rules you would have to specify that.
Jim Bromer On Wed, Sep 24, 2014 at 7:34 AM, Jim Bromer <[email protected]> wrote: > (a) and (d). > However: > If a proposition concerns a real world object then then most people would > assume that it implied that the object existed - unless the proposition was > specifically about the existence of the object (or otherwise implied by > some system of propositions something about that existence). > If a proposition concerned an abstraction from the real world then, > unless specifically referring to the 'existence' or 'validity' of the > abstraction, the assumption would be made that it implied that the > abstraction referred to a real quality. > If the proposition concerned an imaginary world then the assumption would > be that it made sense for that imaginary world (for example it existed > within that imaginary world) . > Finally it could refer to something that was real contingent on some other > condition. > The proposition does not "mean" these things but they are necessary for > applying the proposition to some tangible idea. > > Jim Bromer > > On Mon, Sep 22, 2014 at 11:28 PM, 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/24379807-653794b5> | >> 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
