Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct

On 11/16/24 9:21 AM, olcott wrote:

On 11/16/2024 3:11 AM, Mikko wrote:

On 2024-11-15 23:49:17 +0000, olcott said:
>

On 11/15/2024 3:03 AM, Mikko wrote:

On 2024-11-14 23:40:19 +0000, olcott said:
>

When you start with truth and only apply truth preserving
operations then you necessarily end up with truth.

>
And if you don't you prove nothing.
>

>
That is the basic model of all correct proofs.
https://en.wikipedia.org/wiki/Syllogism#Basic_structure

>
No, it is not. There are truth preserving transformations that do
not follow that pattern.

 There are zero truth preserving operations that are not truth
preserving operations. The principle of explosion is not a
truth preserving operation. The full semantics of natural
can be extended to only apply truth preserving operations
to its own statement of basic fact.

But Syllogism is not the only form of "Truth Preserving Operations".
IF that is all you accept, then be prepared for a very limited logic system.

 

For example, the reduction rule: if A,
B, and C are formulas, the recution rule permits that from
A ∨ B and ¬A ∨ C can be inferred B ∨ C.
>

 That is the way the contradiction is supposed to work
A ∧ ¬A cancel each other out leaving B ∨ C.
A ∧ ¬A ∴ Trump is the Christ is proven (is nuts)
 

Just shows you are the one that is NUTS.
Your problem is it seems you only understand the most elementary of logic, but presume everyone one else is just using that most elementary of logic.
Yes, With the most restricted set of rules, you can't get to incompleteness, but that is because you can't create the system with the power needed for the proof.
The problem is that having the fullness of the logic of Natual Numbers is enough to cross the line, so your "Complete" Logic system can't have that, but you just are too stupid to undetstand that limit, because you don't know how any of your tools actually work.