Re: How a True(X) predicate can be defined for the set of analytic knowledge

On 4/1/2025 1:33 AM, Mikko wrote:

On 2025-03-31 18:33:26 +0000, olcott said:
 

>
Anything the contradicts basic facts or expressions
semantically entailed from these basic facts is proven
false.

 Anything that follows from true sentences by a truth preserving
transformations is true. If you can prove that a true sentence
is false your system is unsound.
 

Ah so we finally agree on something.
What about the "proof" that detecting inconsistent
axioms is impossible? (I thought that I remebered this).
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer