Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 16. Nov 2024, 00:49:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vh8mlt$3l333$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
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-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer