Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #137149

Re: A new foundation for correct reasoning +++

From Mikko <mikko.levanto@iki.fi>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: A new foundation for correct reasoning +++
Date 2025-12-03 13:17 +0200
Organization A noiseless patient Spider
Message-ID <10gp682$388ss$1@dont-email.me> (permalink)
References (7 earlier) <10gemv2$30us$2@news.muc.de> <10gjqps$17qul$1@dont-email.me> <10gk15a$1a8nv$1@dont-email.me> <10gmd3v$262sn$1@dont-email.me> <10gmrqp$2bqbf$1@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

olcott kirjoitti 2.12.2025 klo 16.07:
> On 12/2/2025 3:56 AM, Mikko wrote:
>> olcott kirjoitti 1.12.2025 klo 14.19:
>>> On 12/1/2025 4:31 AM, Mikko wrote:
>>>> Alan Mackenzie kirjoitti 29.11.2025 klo 13.55:
>>>>> [ Followup-To: set ]
>>>>>
>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/28/2025 4:54 PM, Alan Mackenzie wrote:
>>>>>
>>>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>>>>> On 11/28/2025 3:08 PM, Alan Mackenzie wrote:
>>>>>>>>> dart200 <user7160@newsgrouper.org.invalid> wrote:
>>>>>
>>>>> [ .... ]
>>>>>
>>>>>>>> *Within A new foundation for correct reasoning*
>>>>>
>>>>>>>> (a) Every element of the body of knowledge that can
>>>>>>>>       be expressed in language is entirely composed of
>>>>>>>>     (1) A finite set of atomic facts
>>>>>>>>     (2) Every expression of language that is semantically
>>>>>>>>         entailed by (1)
>>>>>>>> (b) a formal language based on Rudolf Carnap Meaning
>>>>>>>>       Postulates combined with The Kurt Gödel definition
>>>>>>>>       of the "theory of simple types"
>>>>>>>>       https://en.wikipedia.org/wiki/ 
>>>>>>>> History_of_type_theory#G%C3%B6del_1944
>>>>>>>>       Where every semantic meaning is fully encoded syntactically
>>>>>>>>       as one fully integrated whole not needing model theory
>>>>>
>>>>>>>> We have now totally overcome Gödel Incompleteness
>>>>>>>> and Tarski Undefinability for the entire body if
>>>>>>>> knowledge that can be expressed in language. It
>>>>>>>> is now a giant semantic tautology.
>>>>>
>>>>>>> You can't "overcome" these theorems, since they're not obstacles.
>>>>>>> They're fundamental truths.
>>>>>
>>>>>> I just showed the detailed steps making both of
>>>>>> them impossible in the system that I just specified.
>>>>>> A counter-example is categorically impossible.
>>>>>
>>>>> Your construction is impossible, as proven by Gödel's Incompleteness
>>>>> Theorem.
>>>>
>>>> Doesn't a theory that has no theorems satisfy all above stated
>>>> requriements?
>>>
>>> Every element of the body of knowledge
>>> is not such a formal system.
>>
>> That's right, the body of knowledge is irrelevant here.
> 
> If we are not talking about elements of the body
> of knowledge that are missing or unknown truths
> then there is no notion of actual incompleteness
> that remains.

The body of knowledge includes that certain quesstions have answers
but doesn't include now what those answers are. For example, we
know that North Sentinel Island is population but we don't know
what language is spoken there. This and other examples show that
the body of knowledge is incomplete.

-- 
Mikko

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

on deciding this sentence is false dart200 <user7160@newsgrouper.org.invalid> - 2025-11-27 00:53 -0800
  Re: on deciding this sentence is false Alan Mackenzie <acm@muc.de> - 2025-11-28 17:36 +0000
    Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-28 12:20 -0600
      Re: on deciding this sentence is false Richard Damon <Richard@Damon-Family.org> - 2025-11-28 13:31 -0500
      Re: on deciding this sentence is false Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:51 +0200
        Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-29 10:59 -0600
          Re: on deciding this sentence is false Mikko <mikko.levanto@iki.fi> - 2025-12-01 11:42 +0200
            Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-12-01 06:43 -0600
    Re: on deciding this sentence is false dart200 <user7160@newsgrouper.org.invalid> - 2025-11-28 12:42 -0800
      Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-28 14:45 -0600
        Re: on deciding this sentence is false Richard Damon <Richard@Damon-Family.org> - 2025-11-28 16:51 -0500
        Re: on deciding this sentence is false Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-28 23:40 +0000
      Re: on deciding this sentence is false Alan Mackenzie <acm@muc.de> - 2025-11-28 21:08 +0000
        A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-28 16:03 -0600
          Re: A new foundation for correct reasoning +++ Richard Damon <Richard@Damon-Family.org> - 2025-11-28 17:33 -0500
          Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-11-28 22:54 +0000
            Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-28 17:14 -0600
              Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-11-29 11:55 +0000
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-29 09:18 -0600
                Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-11-29 20:48 +0000
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-29 15:31 -0600
                Re: A new foundation for correct reasoning +++ Richard Damon <Richard@Damon-Family.org> - 2025-11-29 17:04 -0500
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-01 12:31 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-01 06:19 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-02 11:56 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-02 08:07 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-03 13:17 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-03 10:13 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-04 11:29 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-04 08:18 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-05 11:03 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-05 11:31 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:39 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-06 06:53 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:08 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-08 13:56 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-14 13:05 +0200
                Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-12-01 13:28 +0000
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-02 11:30 +0200
        Re: on deciding this sentence is false dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 10:48 -0800
          Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-29 12:54 -0600
          Re: on deciding this sentence is false Alan Mackenzie <acm@muc.de> - 2025-11-29 20:00 +0000
            Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-29 14:08 -0600
            Re: on deciding this sentence is false dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 12:43 -0800
              Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-29 14:58 -0600
              Re: on deciding this sentence is false Alan Mackenzie <acm@muc.de> - 2025-11-29 21:24 +0000
                Re: on deciding this sentence is false olcott <polcott333@gmail.com> - 2025-11-29 15:46 -0600
                Re: on deciding this sentence is false Alan Mackenzie <acm@muc.de> - 2025-11-30 14:17 +0000
                The entire body of general knowledge that can be expressed in language olcott <polcott333@gmail.com> - 2025-11-30 09:58 -0600
                Re: The entire body of general knowledge that can be expressed in language Alan Mackenzie <acm@muc.de> - 2025-11-30 16:41 +0000
                Re: The entire body of general knowledge that can be expressed in language olcott <polcott333@gmail.com> - 2025-11-30 11:35 -0600
                Re: The entire body of general knowledge that can be expressed in language dbush <dbush.mobile@gmail.com> - 2025-11-30 12:37 -0500
                Re: The entire body of general knowledge that can be expressed in language Alan Mackenzie <acm@muc.de> - 2025-11-30 18:17 +0000
                Re: The entire body of general knowledge that can be expressed in language olcott <polcott333@gmail.com> - 2025-11-30 15:19 -0600
                Re: The entire body of general knowledge that can be expressed in language Richard Damon <Richard@Damon-Family.org> - 2025-11-30 16:58 -0500
                Re: The entire body of general knowledge that can be expressed in language Alan Mackenzie <acm@muc.de> - 2025-11-30 22:10 +0000
                Re: The entire body of general knowledge that can be expressed in language olcott <polcott333@gmail.com> - 2025-11-30 17:30 -0600
                Re: The entire body of general knowledge that can be expressed in language Richard Damon <Richard@Damon-Family.org> - 2025-11-30 21:39 -0500
                Re: The entire body of general knowledge that can be expressed in language Richard Damon <Richard@Damon-Family.org> - 2025-11-30 14:41 -0500
                Re: on deciding this sentence is false Richard Damon <Richard@Damon-Family.org> - 2025-11-30 14:37 -0500
                Re: on deciding this sentence is false dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 22:55 -0800
                Re: on deciding this sentence is false Dude <user2891@newsgrouper.org.invalid> - 2025-11-30 17:36 +0000
              Re: on deciding this sentence is false "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-29 15:00 -0800

csiph-web