Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.theory
Subject: Re: Can there be a truth without a truthmaker?
Date: Sun, 7 Apr 2024 02:08:57 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <uusv7p$2hm6p$3@dont-email.me>
References: <uuhd1a$3amnv$1@dont-email.me> <uuld7u$f73d$1@dont-email.me>
	<uulf2n$ficn$1@dont-email.me> <uulf9o$fl5c$1@dont-email.me>
	<uulgkf$ftqj$1@dont-email.me> <uune3t$ugsb$6@dont-email.me>
	<uunepo$usff$1@dont-email.me> <uuq8cp$1n20j$1@dont-email.me>
	<uuqtue$1v45r$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 07 Apr 2024 02:08:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="edc206e7c881f15813a37489a3e0be36";
	logging-data="2676953"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Sgqn3cgqTsOJZuH7mUcJ4"
User-Agent: Pan/0.155 (Kherson; fc5a80b8)
Cancel-Lock: sha1:vVSFBwc5B7MZ8BW0RrbYaZjrITE=
Bytes: 1870

On Sat, 6 Apr 2024 10:34:38 +0300, Mikko wrote:

> On 2024-04-06 01:26:49 +0000, Lawrence D'Oliveiro said:
> 
>> 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?
> 
> It is an analytic truth as it is true by the meaning of the words.

Can you offer a proof of that?