ontac-forum
[Top] [All Lists]

Re: [ontac-forum] Re: owl:Class and owl:Thing

To: "Chris Menzel" <cmenzel@xxxxxxxx>, "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
Cc:
From: "Azamat" <abdoul@xxxxxxxxxxxxxx>
Date: Thu, 6 Apr 2006 23:42:24 +0300
Message-id: <004f01c659ba$a5228590$e053960a@homepc>
Bertrand Russell, The Problems of Philosophy, in Great Books of the Western 
Worl, V.55    (01)

''Speaking generally, adjectives and common nouns express qualities or 
properties of single things, whereas prepositions and verbs tend to express 
relations between two or more things. Thus the neglect of prepositions and 
verbs led to belief that [every proposition] can be regarded as attributing 
a property to a single thing, rather than [expressing a relation between two 
or more things]''. ''...we can prove that there must be relations, i.e., the 
sort of universals generally represented by verbs and prepositions''. ''it 
seems plain that the relation subsists independently of our knowledge of 
it''. p.272    (02)

----- Original Message ----- 
From: "Chris Menzel" <cmenzel@xxxxxxxx>
To: "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
Cc: "Hans Teijgeler" <hans.teijgeler@xxxxxxxxxxx>
Sent: Wednesday, April 05, 2006 9:28 PM
Subject: Re: [ontac-forum] Re: owl:Class and owl:Thing    (03)


> On Mon, Apr 03, 2006 at 06:37:45PM +0300, Azamat wrote:
>> ''What exactly did you have in mind when you referred to "n-relational
>> ontology of things"? <HT/>
>>
>> Hans:
>>
>> Relations should be analyzed not only with respect to the number of terms
>> they connect and formal properties as cardinality, symmetry, 
>> transitivity,
>> reflexivity. This is all the subject of a formal relational logic. As old
>> as Russell statement that 'every proposition should be regarded as
>> expressing a relation between two and more things', like in the from R(x,
>> y, z,...).
>
> It's hard to believe Russell ever said any such thing, as he (with
> Whitehead) wrote Principia Mathematica, the language of which includes
> not only atomic (relational) statements but boolean and quantified
> statements as well.
>
> Chris Menzel
>
>
> _________________________________________________________________
> Message Archives: http://colab.cim3.net/forum/ontac-forum/
> To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
> Subscribe/Unsubscribe/Config: 
> http://colab.cim3.net/mailman/listinfo/ontac-forum/
> Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
> Community Wiki: 
> http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG
>     (04)



_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: 
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (05)
<Prev in Thread] Current Thread [Next in Thread>