Re: At least 100 people kept denying the easily verified fact -- closure

On 6/8/24 3:31 AM, Mikko wrote:

On 2024-06-07 22:35:24 +0000, olcott said:
 

On 6/7/2024 5:22 PM, joes wrote:

Am Fri, 07 Jun 2024 17:11:00 -0500 schrieb olcott:

That it is literally impossible to prove that the following is false
conclusively proves that it is true and the proof really need not be
wrapped in any tuxedo.

If you consider it unfalsifiable, why do you care?
>

>
The entire body of truth is unfalsifiable.
https://en.wikipedia.org/wiki/Falsifiability
>
That "cats" <are> "animals" is unfalsifiable because
it is inherently true.
>
You are conflating empirical with analytical truth.

 The distinction is not that clear. How do whe know what is the right
way to identify an analytical truth? Why do we consider certain ways
right and other wrong? Why do we apply the word "truth" to both
empirical and analitical truth?
 

This is actual one of the telling parts of his arguement.
The analytical / empirical distinction is part of the philosophy of logic, where the base definitions of what is truth get fuzzier.
In Formal Systems, technically ALL truth is Analytic (except for the axioms of the system). Sometimes in formal system will talk about things being empirical-like if we are asking if there exists or doesn't exist an element with a property, and we determine that by examining each element to find one, verse working with logic on the property itself.
Thus the list of prime numbers would be sort of an empirical truth.
That he focuses so much on this shows that he doesn't have a formal logic background, but a philosophical background (and not that good of one at that) which shows in his other problems, like writing proofs.