Liste des Groupes | Revenir à c theory |
On 11/16/24 9:21 AM, olcott wrote:It is the foundation of necessarily correct reasoning.On 11/16/2024 3:11 AM, Mikko wrote:But Syllogism is not the only form of "Truth Preserving Operations".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.
IF that is all you accept, then be prepared for a very limited logic system.When True(L,x) and False(L,x) are defined as above then
>Just shows you are the one that is NUTS.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)
>
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.
Les messages affichés proviennent d'usenet.