Path: ...!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,sci.logic
Subject: Re: Can there be a truth without a truthmaker?
Date: Sat, 6 Apr 2024 05:40:17 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <uuqn80$1tlro$1@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>
	<uuqk07$1t1rv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 06 Apr 2024 05:40:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9c4b8ade0cfa29f0e8cec442ac1d5e3b";
	logging-data="2021240"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ci6ZOwZFWn0bpwTTZVwq8"
User-Agent: Pan/0.155 (Kherson; fc5a80b8)
Cancel-Lock: sha1:hablL5zOvr/viPQRIA99pb+Yr5c=
Bytes: 1899

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?