Groups | Search | Server Info | Login | Register

Groups > comp.theory > #21306

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13

Subject Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13
Newsgroups comp.theory, comp.ai.philosophy, comp.ai.nat-lang, sci.lang.semantics
References (6 earlier) <7789b630-f9e1-4faf-a1f5-aa60e4dc4814o@googlegroups.com> <7f6dnWvvKL0VNmrDnZ2dnUU7-YednZ2d@giganews.com> <935e9033-5f99-4d7d-9b52-d4a82e838586o@googlegroups.com> <osOdnSMm1oc8XmrDnZ2dnUU7-TfNnZ2d@giganews.com> <0a9a02b3-9e1e-472e-9f93-71d7a6bee121o@googlegroups.com>
From olcott <NoOne@NoWhere.com>
Date 2020-06-27 20:15 -0500
Message-ID <1qedndiqcKK-cmrDnZ2dnUU7-R3NnZ2d@giganews.com> (permalink)

Cross-posted to 4 groups.

Show all headers | View raw

On 6/27/2020 7:43 PM, David Kleinecke wrote:
> On Saturday, June 27, 2020 at 3:09:43 PM UTC-7, olcott wrote:
>> On 6/27/2020 4:52 PM, David Kleinecke wrote:
>>> On Saturday, June 27, 2020 at 1:26:54 PM UTC-7, olcott wrote:
> 
>>>> I am defining analytic knowledge as all knowledge that can be expressed
>>>> using language. If it was as trivial as you are saying then Gödel and
>>>> Tarski would have realized their mistake before they ever made it.
>>>    
>>> And I am using analytic knowledge to mean propositions
>>> whose truth value can be derived from the proposition
>>> alone without reference to other evidence.
>>
>> The proposition must be construed within the context of the formal
>> system. I broaden this to apply to the whole body of knowledge expressed
>> using natural language as well as formal language.
>   
> The proposition must be a WFF (or whatever corresponds) but
> you cannot extend the concept of WFF to natural language in
> a plausible way. 

You don't really extend the concept of a WFF to natural language.
Instead you express natural language semantics using type theory.
Natural language syntax is about 10,000-fold more complex than necessary.

> Montague hardly even tried and he was much
> cleverer than you. What I just said is an empirical fact not
> a piece of analytic reasoning.
>   
>> So then do you believe that self-contradictory statements are sound?
> 
> I have no opinion. I don't work with the concept of "sound"
> 


-- 
Copyright 2020 Pete Olcott

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

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-26 20:03 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-26 20:53 -0700
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-26 23:46 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-26 22:54 -0700
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:04 -0500
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-06-27 10:24 +0100
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:14 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 09:38 -0700
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:58 -0500
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 11:54 -0700
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 15:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 14:52 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 17:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 19:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 20:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 22:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-28 16:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-28 14:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-28 16:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 André G. Isaak <agisaak@gm.invalid> - 2020-06-28 20:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-28 21:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 21:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 21:59 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 00:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 23:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 13:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 14:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 13:52 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 15:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 14:14 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 15:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 15:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 21:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 01:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 00:24 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 16:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 16:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 18:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 18:15 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 19:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 19:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 20:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 20:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 21:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 20:54 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-01 11:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-01 10:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-01 17:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-01 22:47 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 07:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 10:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 10:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 13:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 13:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-02 08:53 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 09:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 15:06 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 10:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 22:52 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 18:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 23:48 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 18:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) David Kleinecke <dkleinecke@gmail.com> - 2020-07-02 19:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 22:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 00:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 12:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:21 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:07 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 14:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 15:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 22:54 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-04 08:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 08:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-04 10:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 09:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) olcott <NoOne@NoWhere.com> - 2020-07-04 14:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 15:17 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) olcott <NoOne@NoWhere.com> - 2020-07-04 17:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-05 13:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-05 16:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-05 23:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-06 00:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-06 10:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) David Kleinecke <dkleinecke@gmail.com> - 2020-07-06 08:33 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-06 11:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 11:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:22 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 10:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 13:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-06-30 11:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 08:44 -0500

csiph-web