ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Conceptual objects (WAS: NULLs and 3+1 vs. 4D ontolo

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Mon, 28 Jan 2013 17:27:13 -0500
Message-id: <5e49fcabbc4f7b16ac6fcc0e715c74ff.squirrel@xxxxxxxxxxxxxxxxx>
On Mon, January 28, 2013 13:06, Matthew West wrote:    (01)

> See below.
> Matthew    (02)

>> >> >MW: An good example of this are Fictional people (in worlds in which
>> >> >> they are fictional, *not in their fictional worlds*).
>> >> >> These entities have a temporal extent, but assigning them to a
>> >> >> spacial location is problematic.    (03)

>> >>df: Agreed.  Is there a need for assigning a location to a shared mental
>> >> concept?    (04)

>> > MW: A mental concept is (I would argue) a representation of some
>> > thing.
>> > Presumably, a shared mental concept are metal concepts of different
>> > people that represent the same thing, so it is the location of the
>> > thing that is relevant, because that is how you know that the mental
>> > concepts are shared representations.    (05)

>> >>df: There are various representations of different portions of such
>> >> concept (in brains, books, films, digital memory objects, and actions
>> >> (performances, showings, broadcasts) which themselves have
>> >> locations.   I'd prefer to call
>> >> them aspatial, but if you must assign a location, i'd suggest Earth
>> >> plus whatever range broadcasts may have reached outside of Earth.
>> >> Sherlock Holmes, the character, certainly existed on the Moon when
>> >> Buzz Aldrin was there.    (06)

>> > MW: Representations are things in their own right, and must have a
>> > location of some sort.    (07)

>>df: Agreed.    (08)

>> You are arguing that a "mental concept" is a representation and a
>> "shared mental concept" is what? --
>> a group of representations? If it is a set of representations,
>> then it is aspatial, but if it is a group, then it has
>> the mereological spatial sum of its group members.  If it is a
>> group of events and physical objects, then it would have (at any given
>> time) a mass equal to the sum of all the group members.  So the
>> mass of the character, Sherlock Holmes, would be the mass of all
>> physical representations of him (at any given time) ...    (09)

>> It seems to me that such a meaning for the "shared mental concept"
>> would have a lot of properties that i would not expect for the
>> character.    (010)

> MW: Quite, so we are almost certainly interested in the set, which would
> have the properties common to each Sherlock Holmes, rather than the
> aggregate.    (011)

However, sets are timeless, but the "shared mental concept" is not.  It
started at a certain time.  It has a creator, and other properties that
would not apply to a set.    (012)

>> >> >> MW: I don't see a problem. There simply is a possible world in
>> >> >> which they do exist and have a location,
>>
>> >>df: That is not the question.  The question is a location for conceptual
>> >> artifacts in the "real" world.    (013)

>> > MW: As I said above, what you have in the real world are
>> > representations of what "conceptual artifacts" are about.    (014)

>>df: Such objects, whether artifacts, or representations in people's brains
>> certainly do exist.  But i would distinguish the collection of
>> representations from the concept.    (015)

> MW: In which case I have to ask what you think a concept is if it is
> something different from the set of all things that exemplify the concept?    (016)

I would define a "shared mental concept" as a temporal massless entity
which can have an unlimited number of physical objects and events
representing it, such representations may be more or less accurate and
precise.  Some representations may only represent part of the concept;
others may incorrectly represent certain parts of the concept.
Representations may be of different forms: physical objects to be read;
physical objects to be projected by physical devices, events of people
acting out events which are part of the "shared mental concept", events
of people reading text of the "shared mental concept", etc.    (017)

A "shared mental concept" would have subtypes such as accounts,
agreements, obligations, laws, and games (such as Chess).  Each of
these subtypes of "shared mental concept" would have a number of
different relations which apply to them and rules for such relations.    (018)

These various features (partial representation, incorrect representation,
...) do not seem to me to be possible features of sets.    (019)

-- doug foxvog    (020)

>>...    (021)

> Regards
>
> Matthew West
> Information  Junction
> Tel: +44 1489 880185
> Mobile: +44 750 3385279
> Skype: dr.matthew.west
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> http://www.informationjunction.co.uk/
> http://www.matthew-west.org.uk/
>
> This email originates from Information Junction Ltd. Registered in England
> and Wales No. 6632177.
> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> Hertfordshire, SG6 3JE.
>
>
>
>> >> > (3) In our world, the fictional character of Holmes was partially
>> >> > inspired by the actual person Joseph Bell, who was a Doctor.
>>
>> >> inMt: PeopleDataMt.
>> >> (holdsSometimeDuring
>> >>    (TimeIntervalBetweenFn (YearFn 1800) (YearFn 1886))
>> >>    (and
>> >>       (isa JosephBell HumanAdultMale)
>> >>       (firstName JosephBell "Joseph")
>> >>       (lastName JosephBell "Bell")
>> >>       (occupation JosephBell Doctor))) (<wasPartiallyInspiredByFor>
>>
>> > MW: Strings like this do not really mean anything at all.
>>
>> The angle brackets were to indicate that such a predicate does not
> currently
>> exist in OpenCyc.  The predicate would have to be defined before it had
>> a
>> meaning, if that's what you mean.
>>
>> I did not take the time to define the predicate for the purpose of
>> showing
> an
>> example of encoding the sentences.  Most other examples of ontology
> snippets
>> i've seen in the Ontolog Forum do not restrict themselves to previously
>> defined terms.
>>
>> There were several other questions, which i failed to answer earlier, of
> the
>> form:
>> >> > Is the fictional character in (1) the same fictional character as
>> >> > in (4)?
>>
>> These are asking whether two things are "the same" in different
>> contexts.
>> Inter-contextual reasoning depends upon clearly stating what contexts
>> are
>> being asked about, and from what context the answer is being sought.
>>
>> The context of (1) is "In our world" and refers to the creation of a
> fictional
>> character.  The fictional character has properties (of having a creator,
> of
>> having a name, of having a creation date, and of being a character in a
>> specified fictional context.
>>
>> The context of (4) is also "In our world" and refers to additional
> fictional
>> contexts in which the fictional character is a character.
>> (1) specifies properties about the fictional character at time T1, while
> (4)
>> specifies properties about the fictional character at time T2, both
> properties
>> "in our world".
>>
>> The question whether the two described fictional characters are "the
>> same"
>> seems to be similar to a question whether whether the baby Arthur Conan
> Doyle
>> of 1860 was "the same" as the novelist who wrote <i>A Study in
>> Scarlet</i>
> in
>> 1886.  I would accept one meaning of "the same" that would allow these
>> two
>> things to be equal, and another meaning (represented by another
>> predicate) which would allow these things to be different.
>>
>> I would say that the answer to the question to whether the two Sherlock
>> Holmeses are the same the same would be the same as the answer to
>> whether
> the
>> two Arthur Conan Doyles are the same.
>>
>> I'd like to use a predicate for "the same" that would allow the answer
>> to
> both
>> of these to be "yes".
>>
>> The question
>> >> > Is the fictional character in (5) the same fictional character as
>> >> > in (6)?
>> relates (5)'s "fictional world ... which ... Conan Doyle conceived" to a
>> "possible real world" in which Conan Doyle "conceived of [another]
> fictional
>> world".
>>
>> In the context of (5), there is no fictional character; Holmes is a
> detective.
>> In (6), there is a fictional character with different properties than in
> (1),
>> and a fictional context (6') in which Holmes is a baker.  The real
>> person,
>> Sherlock Holmes, in (5) is different from the real person, Sherlock
>> Holmes
> in
>> (6'), and different from the fictional characters named Sherlock Holmes
>> in
>> both (1) and (6).  The fictional characters named Sherlock Holmes in
>> (1) and (6) have different properties and so are different.
>>
>> >> > Is the fictional character in (1) the same fictional character as
>> >> > in (7)?
>>
>> In the fictional context (7), the character Sherlock Holmes was created
>> by
> a
>> different person than in context (1), and thus is a different fictional
>> character.  However, the Sherlock Holmes world created in fictional
> context
>> (7) is the same as the Sherlock Holmes world created in context
>> (1) -- which we have previously identified as context (5).  This means
> that
>> the detective Sherlock Holmes in (5) is the same as the detective
>> Sherlock
>> Holmes in (7') -- everything true about one is true about the other.
>>
>> -- doug foxvog
>>
>> > Regards
>> >
>> > Matthew West
>> > Information  Junction
>> > Tel: +44 1489 880185
>> > Mobile: +44 750 3385279
>> > Skype: dr.matthew.west
>> > matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>> > http://www.informationjunction.co.uk/
>> > http://www.matthew-west.org.uk/
>> >
>> > This email originates from Information Junction Ltd. Registered in
>> > England and Wales No. 6632177.
>> > Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
>> > Hertfordshire, SG6 3JE.
>>
>> >>       ArthurCannonDoyle JosephBell SherlockHolmes))
>> >>
>> >> > (4) In our world, the BBC commissioned a number of films featuring
>> >> > modern  reinterpretations of the Conan Doyle stories,  featuring a
>> >> > Holmes who in the worlds of those movies differed in some respects
>> >> > from the original source.  [Written by Stephen Moffat, who isn't a
>> >> > Doctor, but writes one on TV]
>> >>
>> >> inMt: MassMediaDataMt.
>> >> (thereExists ?FILM
>> >>   (and
>> >>     (isa ?FILM Movie-CW)
>> >>     (thereExists ?COMMISSIONING
>> >>       (and
>> >>          (isa ?COMMISSIONING CommissioningSomething)
>> >>          (<objectCommissioned>  ?COMMISSIONING ?FILM)
>> >>          (ist (ContextOfPCWFn ?FILM)
>> >>             (isa SherlockHolmes AdultMaleHuman))))))
>> >>
>> >> > (5) In the fictional world  in which our Conan Doyle conceived,
>> >> > Holmes was a detective, who resided at 221B Baker St.
>> >>
>> >> inMt: SherlockHolmesWorld.
>> >> (isa SherlockHolmes AdultMaleHuman)
>> >> (occupation SherlockHolmes Detective)
>> >>
>> >> (isa TwoTwoOneBBakerSt HumanResidence) (streetAddressText
>> >> TwoTwoOneBBakerSt "212B Baker St.") (<residesAt> SherlockHolmes
>> >> TwoTwoOneBBakerSt)
>> >>
>> >> > (6) In a  possible real world, that Conan Doyle may have conceived
>> >> > of a fictional world in which Holmes was a baker, who lived at 221B
>> >> > Detective St.
>> >>
>> >> inMt: UniversalVocabularyMt.
>> >> (ist PossibleRealWorld1324 DataMicrotheory) (genlMt
>> >> PossibleRealWorld1324
>> >> PeopleDataMt)
>> >>
>> >> inMt: CurrentWorldDataCollectorMt-NonDualist.
>> >> (ist PossibleRealWorld1324 FictionalContext)
>> >>
>> >> inMt: PossibleRealWorld1324.
>> >> (isa ConceivingOfSherlockHolmes CWCreation) (performedBy
>> >> ConceivingOfSherlockHolmes ArthurConanDoyle) (dateOfEvent
>> >> ConceivingOfSherlockHolmes (YearFn 1886)) (outputsCreated
>> >> ConceivingOfSherlockHolmes SherlockHolmesWorld2) (holdsAfter
>> >> ConceivingOfSherlockHolmes
>> >>   (isa SherlockHolmesWorld2 FictionalContext)) (outputsCreated
>> >> ConceivingOfSherlockHolmes SherlockHolmes) (holdsAfter
>> >> ConceivingOfSherlockHolmes
>> >>   (isa SherlockHolmes FictionalCharacter))
>> >>
>> >> inMt: SherlockHolmesWorld2.
>> >> (isa SherlockHolmes AdultMaleHuman)
>> >> (occupation SherlockHolmes Baker)
>> >>
>> >> (isa TwoTwoOneBBakerSt HumanResidence) (streetAddressText
>> >> TwoTwoOneBBakerSt "212B Detective St.") (<residesAt> SherlockHolmes
>> >> TwoTwoOneBBakerSt)
>>
>> >> > (7) In yet another possible world, Bell may have been partially
>> >> > inspired by Conan Doyle to conceive of a Holmes and write fictional
>> >> > stories featuring that character word-for-word identical with the
>> >> > ones in our Conan Doyle wrote.
>>
>> >> > Is the fictional character in (1) the same fictional character as
>> >> > in (4)?
>> >> > Is the fictional character in (5) the same fictional character as
>> >> > in (6)?
>> >> > Is the fictional character in (1) the same fictional character as
>> >> > in (7)?
>>
>> >> > In our  world could two people in the year 1700 discuss  the
>> >> > character Sherlock Holmes?
>> >>
>> >> I'm having problems with the tense, here.
>>
>> >> In our world, no one can do anything in the year 1700 -- what
>> >> happened, happened (Shroedinger's cat notwithstanding).
>>
>> >> Are you asking if it is possible that two people in the year 1700
>> >> could have discussed the character Sherlock Holmes -- even though no
>> >> one did?
>>
>> >> I figure that the possibility would have been greater than one in a
>> >> googleplex, (10^-(10^100) ) in that year.  Two people could have
>> >> hypothesized an author who created a fictional detective with the
>> >> name "Sherlock Holmes".
>> >> The odds drop as things that they discuss about Holmes happen to
>> >> match up with features of the conceptual work.
>>
>> >> > In our world, could two people in 2013 discuss real properties of
>> >> > the character Sherlock Holmes (e.g. the street address where the
>> >> > character was conceived).
>> >>
>> >> Yes.  One can ask:
>> >> inMt: CurrentWorldDataCollectorMt-NonDualist
>> >> (thereExists ?RESIDENCE
>> >>   (and
>> >>     (eventOccursAt ConceivingOfSherlockHolmes ?RESIDENCE)
>> >>     (holdsIn ConceivingOfSherlockHolmes
>> >>       (streetAddressText ?RESIDENCE ?ADDRESS)))
>> >>
>> >> -- doug f
>> >>
>> >> > Simon
>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>> Shared Files: http://ontolog.cim3.net/file/ Community Wiki:
>> http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-
>> bin/wiki.pl?WikiHomePage#nid1J
>>
>
>    (022)



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (023)

<Prev in Thread] Current Thread [Next in Thread>