[Top] [All Lists]

Re: [ontolog-forum] {Disarmed} Reality and Truth

To: Pat Hayes <phayes@xxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Ingvar Johansson <ingvar.johansson@xxxxxxxxxxxxxxxxxxxxxx>
Date: Mon, 21 May 2007 09:23:50 +0200
Message-id: <46514906.2010204@xxxxxxxxxxxxxxxxxxxxxx>
Pat Hayes schrieb:
>> KCliffer@xxxxxxx schrieb:
>>>  Paola,
>>>  I'm trying to restrain myself, because I think we're coming to a basic
>>>  agreement in this line of thought.
>> I am happy to join what I take to be your agreement on the concept of
>> truth. Let me just test my understanding.
>> In one of her mails, Paola wrote: "Truth (like falseness) is a quality
>> of a statement or assertion about reality." In philosophicl ontology, it
>> is sometimes necessary to distinguish between *monadic qualities* and
>> *relational qualities*. The quality of "being a sphere" is monadic; 
>> when there is an instance of sphericity it simply inheres in a thing.
>> The quality of "being more spherelike than the Earth", on the other
>> hand, is a relational quality. If we claim "Venus is more spherelike
>> than the Earth", then we claim not only that Venus has a certain shape,
>> we also claim that this shape stands in a certain *relationship* to
>> another shape. Now, what has this distinction with the truth concept 
>> to do?
>> In my understanding of Ken's nice exposition, truth as a "quality of a
>> statement" cannot possibly be a monadic quality, it has to be a
>> *relational quality*; it must bring in a relation of correspondence
>> between the statement and something that ought to be called a
>> *truthmaker*. To claim that a statement is completely true is to claim
>> that it has a relation of complete correspondence to a truthmaker; to
>> claim that it is truthlike is to claim that it has a relation of partial
>> correspondence to a truthmaker.
>> Do you (at least Ken and Paola) agree?
> I agree. Although I am slightly puzzled by your use of the indefinite 
> article. Do you think there can be many truthmakers?    (01)

Yes, since I think that reality is structured (even processes are 
structured) and that assertions can pick out and be about only a tiny 
little bit of Reality as a whole.    (02)

Ingvar    (03)

> Pat Hayes
>    (04)

Ingvar Johansson
IFOMIS, Saarland University
     home site: http://ifomis.org/
     personal home site:
     http://hem.passagen.se/ijohansson/index.html      (05)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)

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