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

On 4/2/2025 4:20 AM, Mikko wrote:

On 2025-04-01 17:51:29 +0000, olcott said:
 

>
All we have to do is make a C program that does this
with pairs of finite strings then it becomes self-evidently
correct needing no proof.

 There already are programs that check proofs. But you can make your own
if you think the logic used by the existing ones is not correct.
 If the your logic system is sufficiently weak there may also be a way to
make a C program that can construct the proof or determine that there is
none.
 

When we define a system that cannot possibly be inconsistent
then a proof of consistency not needed.
A system entirely comprised of Basic Facts and Semantic logical entailment cannot possibly be inconsistent.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer