Sujet : Re: Can there be a truth without a truthmaker?
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory sci.logicDate : 06. Apr 2024, 10:16:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uur0dc$1vii7$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
Op 06.apr.2024 om 07:40 schreef Lawrence D'Oliveiro:
On Fri, 5 Apr 2024 23:44:55 -0500, olcott wrote:
On 4/5/2024 8:26 PM, Lawrence D'Oliveiro wrote:
On Thu, 4 Apr 2024 18:57:44 -0500, olcott wrote:
>
There are only two kinds of truth:
(a) Analytic truth where expressions of language are true on the basis
of their meaning. Example: "All dogs are animals."
>
(b) Empirical truth, expressions of language that rely on sense data
from the sense organs. Example: "There is a dog in my living room
right now."
>
Which kind of truth is that statement?
>
Everything that can be encoded using language is analytic.
You said “There are only two kinds of truth”. If that is true, then which
kind of “truth” is it?
I have similar questions. It seems to be an axiom. Do axioms have a truth value? Are they true by definition, but only within a certain analytical system? Could they be false/untrue in other systems? If so, about which system is olcott talking?
Can there be a truth without a truthmaker?
Re: Can there be a truth without a truthmaker?
