Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253836

Re: Why is model theory needed?

Newsgroups sci.logic
Date 2023-06-01 14:55 -0700
References (19 earlier) <d5c007bd-7747-4106-b983-c3ccbe0e3623n@googlegroups.com> <44df0682-65e3-478c-b3b9-4e7a689b11adn@googlegroups.com> <979831cb-81c2-4c7c-abbf-9601177d5f0bn@googlegroups.com> <1826c8de-340b-4d56-baa8-dde45ab3adcen@googlegroups.com> <07a9a607-9216-4168-8a62-48e6c8213a15n@googlegroups.com>
Message-ID <50b6b54d-d2d5-4d04-b3b3-30146bbd2d62n@googlegroups.com> (permalink)
Subject Re: Why is model theory needed?
From Mild Shock <bursejan@gmail.com>

Show all headers | View raw

Today I had for some minutes a strong feeling
of obsolence, was even imagining that these could
be my last days where I write some "program code".

This happened after I saw ChatGPT doing logic.
Although was reading about "Low Code / No Code"
already for a while. So which profession gets hit first?

Profiles of the future : an inquiry into the limits of the possible
Arthur C. Clarke - 1962, Chapter 18: The Obsolence of Man
https://archive.org/details/profilesoffuture00clar/page/222/mode/2up

Arthur C. Clarke talks
A Space Odyssey and artificial intelligence, 1968
https://www.youtube.com/watch?v=zNJbUYD-pfo 

Jeffrey Rubard schrieb am Donnerstag, 1. Juni 2023 um 23:24:22 UTC+2:
> On Thursday, June 1, 2023 at 12:54:26 PM UTC-7, Mild Shock wrote: 
> > But there is not much room left for us humans. 
> > Here you see ChatGPT juggle with modal logic, 
> > and even managing to produce proofs with 
> > 
> > and without LEM. ChatGPT does: 
> > 
> > - Here's how you can translate the proof into natural deduction: 
> > - Here's an alternative proof that does not rely on LEM: 
> > - Here's the translation of the proof into Fitch-style natural deduction: 
> > - Here's the translation of the proof into Gentzen's tree-style natural deduction: 
> > - Here's the translation of the proof into sequent-style natural deduction: 
> > https://chat.openai.com/share/79ae4f02-fd07-4786-800b-305bc9eed143 
> > Mild Shock schrieb am Donnerstag, 1. Juni 2023 um 21:40:47 UTC+2: 
> > > Hi, 
> > > 
> > > My ultimate goal, because this thread is name "Why is 
> > > model theory needed?", is to have ▷ formalized, and 
> > > then see what we can find out about the drinker paradox. 
> > > 
> > > There exist some notions of ▷ , which have been lifted 
> > > from term logic à la Aristoteles, where categories 
> > > human and mortal and can form human ▷ mortal, 
> > > 
> > > to model theorem, so that the participants in ▷ 
> > > are models. But if I am not 100% mistaken, der are 
> > > a couple of options to do it, like ▷1, ▷2 or ▷3. 
> > > 
> > > Bye 
> > > 
> > > Ross Finlayson schrieb am Donnerstag, 1. Juni 2023 um 20:43:21 UTC+2: 
> > > > ... gibberish about nonsense ...
> "This is not even good hoaxing, guys."

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:05 -0700
  Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:14 -0700
    Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:57 -0700
    Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-30 18:45 -0700
      Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 01:42 -0700
        Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 01:55 -0700
          Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 02:09 -0700
            Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:21 -0700
              Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 08:28 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:39 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 11:50 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 11:58 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:10 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 21:12 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 21:35 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 11:43 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 12:40 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 12:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-01 14:24 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 14:55 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 15:18 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 08:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 09:10 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-02 08:19 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:20 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 08:27 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 08:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 13:53 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 13:57 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 14:04 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:13 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 07:47 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-04 08:26 -0700
                Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-04 17:53 +0200
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-04 15:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:21 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:30 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:39 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:49 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-05 08:20 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 10:56 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-05 13:16 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-05 13:17 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:10 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 14:07 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:09 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 17:51 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 22:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-06 18:44 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-06 21:02 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-07 11:42 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-07 13:48 -0700
                Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-07 23:43 +0200
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-08 12:14 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-08 12:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:54 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 11:35 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 11:53 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 11:58 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 11:59 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-06 18:43 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 05:18 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 05:20 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:53 -0700
                Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:28 +0200
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:28 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 15:45 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:51 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:51 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 15:57 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:03 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:09 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 16:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 16:20 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:21 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:28 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:28 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-10 08:25 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 09:08 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 09:13 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 12:52 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 13:21 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:25 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:44 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 09:06 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 10:55 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-11 11:54 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 13:12 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-11 13:59 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:26 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:34 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 08:39 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 08:56 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 09:00 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 09:07 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 09:22 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:30 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 09:37 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 09:50 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 10:13 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:27 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:35 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:40 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:48 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:29 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 16:07 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:30 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:31 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 14:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-12 14:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-12 14:33 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 18:46 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:30 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 12:51 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 15:13 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 15:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:25 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-10 08:24 -0700
              Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 13:05 -0700
        Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:15 -0700
          Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 11:41 -0700
            Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 11:48 -0700
            Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 12:52 -0700
              Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 13:06 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:28 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 18:53 -0700
              Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:18 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:53 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:58 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 14:06 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-05-31 14:08 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 15:57 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 16:46 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 17:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 02:48 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 03:02 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 08:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-01 08:42 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 07:07 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 11:03 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 11:08 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 11:14 -0700

csiph-web