Groups | Search | Server Info | Login | Register

Groups > sci.logic > #251287

Re: Why is model theory needed? [superb answer]

Newsgroups sci.logic
Date 2023-04-08 16:45 -0700
References (6 earlier) <u0sr63$1e8u5$1@dont-email.me> <u0srvd$1efjp$1@dont-email.me> <u0ssrq$1ejsg$1@dont-email.me> <u0ster$1eol1$1@dont-email.me> <f354bd80-6afa-4263-8cdd-8e41784b5217n@googlegroups.com>
Message-ID <8157c5a4-e01e-4036-b15e-a2d282f545aen@googlegroups.com> (permalink)
Subject Re: Why is model theory needed? [superb answer]
From Julio Di Egidio <julio@diegidio.name>

Show all headers | View raw

On Sunday, 9 April 2023 at 01:35:03 UTC+2, Ross Finlayson wrote:
> On Saturday, April 8, 2023 at 4:30:39 PM UTC-7, André G. Isaak wrote: 

> > Syllogisms are neither true nor false. Propositions are true or false. 
> > Syllogisms are valid or invalid. 
> 
> Multi-valent logics include inner and outer products where 
> tertium-non-datur or law-of-excluded middle do not satisfy. 

Bullshit.  If you actually study Aristotle, i.e. the theory of
syllogisms, you learn that the validity is *a consequence of*
(and, post facto, is equivalent to) a specific relationship of
meaning between the terms.  Whence a proper example is
*not* "A->B" but rather "Socrates is Mortal", i.e. with what that
entails in terms of what we (need to) know about the world.

Julio

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

Thread

Why is model theory needed? olcott <polcott2@gmail.com> - 2023-04-08 14:16 -0500
  Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 12:36 -0700
    Re: Why is model theory needed? olcott <polcott2@gmail.com> - 2023-04-08 14:40 -0500
      Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 12:51 -0700
  Re: Why is model theory needed? André G. Isaak <agisaak@gm.invalid> - 2023-04-08 14:27 -0600
    Re: Why is model theory needed? olcott <polcott2@gmail.com> - 2023-04-08 15:35 -0500
    Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 16:04 -0500
      Re: Why is model theory needed? [superb answer] André G. Isaak <agisaak@gm.invalid> - 2023-04-08 15:15 -0600
        Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 16:23 -0500
          Re: Why is model theory needed? [superb answer] André G. Isaak <agisaak@gm.invalid> - 2023-04-08 15:34 -0600
            Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 14:43 -0700
            Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 17:51 -0500
              Re: Why is model theory needed? [superb answer] André G. Isaak <agisaak@gm.invalid> - 2023-04-08 17:05 -0600
                Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 18:20 -0500
                Re: Why is model theory needed? [superb answer] André G. Isaak <agisaak@gm.invalid> - 2023-04-08 17:30 -0600
                Re: Why is model theory needed? [superb answer] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 16:35 -0700
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 16:45 -0700
                Re: Why is model theory needed? [superb answer] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 17:12 -0700
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 17:17 -0700
                Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 19:25 -0500
                Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 19:21 -0500
                Re: Why is model theory needed? [superb answer] André G. Isaak <agisaak@gm.invalid> - 2023-04-08 18:46 -0600
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 17:52 -0700
                Re: Why is model theory needed? [superb answer] André G. Isaak <agisaak@gm.invalid> - 2023-04-08 18:57 -0600
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 18:00 -0700
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 18:27 -0700
                Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 20:30 -0500
                Re: Why is model theory needed? [superb answer] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 19:12 -0700
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-09 02:41 -0700
                Re: Why is model theory needed? [superb answer] olcott <polcott2@gmail.com> - 2023-04-08 20:21 -0500
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 16:23 -0700
                Re: Why is model theory needed? [superb answer] Julio Di Egidio <julio@diegidio.name> - 2023-04-08 16:25 -0700
    Re: Why is model theory needed? [superb answer][model] olcott <polcott2@gmail.com> - 2023-04-11 08:54 -0500
  Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 03:30 -0700
  Re: Why is model theory needed? Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-09 07:01 -0700
    Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 07:56 -0700
      Re: Why is model theory needed? Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-09 08:22 -0700
        Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 10:15 -0700
          Re: Why is model theory needed? Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-09 19:16 -0700
            Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 23:40 -0700
              Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 00:02 -0700
                Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 01:05 -0700
                Re: Why is model theory needed? Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-10 04:59 -0700
                Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 08:59 -0700
                Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 09:11 -0700
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-10 11:50 -0500
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-11 00:20 -0700
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-11 08:00 -0500
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-11 10:21 -0700
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-11 12:36 -0500
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-11 12:39 -0500
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-11 11:26 -0700
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-11 13:34 -0500
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-11 11:37 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-11 21:19 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-11 22:49 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 08:36 +0200
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-11 23:47 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 00:29 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 16:15 +0200
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 07:49 -0700
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 07:51 -0700
                Re: Why is model theory needed? [true] [Montague Grammar] olcott <polcott2@gmail.com> - 2023-04-12 10:22 -0500
                Re: Why is model theory needed? [true] [Montague Grammar] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 10:02 -0700
                Re: Why is model theory needed? [true] [Montague Grammar] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 10:10 -0700
                Re: Why is model theory needed? [true] [Montague Grammar] olcott <polcott2@gmail.com> - 2023-04-12 13:21 -0500
                Re: Why is model theory needed? [true] [Montague Grammar] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-12 11:56 -0700
                Re: Why is model theory needed? [true] [Montague Grammar] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 11:59 -0700
                Re: Why is model theory needed? [true] [Montague Grammar] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-12 12:13 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 19:48 +0200
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 11:11 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 11:53 -0700
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-12 14:12 -0500
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 12:17 -0700
                Re: Why is model theory needed? [true] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-11 22:35 -0700
                Re: Why is model theory needed? [true] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-12 12:28 -0700
                Re: Why is model theory needed? [true] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 12:33 -0700
                Re: Why is model theory needed? [true] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-12 13:29 -0700
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 14:04 -0700
                Re: Why is model theory needed? [true] Mostowski Collapse <bursejan@gmail.com> - 2023-04-12 14:06 -0700
                Re: Why is model theory needed? [true] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-12 14:14 -0700
                Re: Why is model theory needed? [true] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-12 14:16 -0700
              Re: Why is model theory needed? Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-10 04:16 -0700
    Re: Why is model theory needed? olcott <polcott2@gmail.com> - 2023-04-09 10:01 -0500
      Re: Why is model theory needed? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 08:15 -0700
        Re: Why is model theory needed? olcott <polcott2@gmail.com> - 2023-04-09 10:18 -0500
      Re: Why is model theory needed? Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-09 17:51 -0700
        Re: Why is model theory needed? [truth v provability] olcott <polcott2@gmail.com> - 2023-04-10 13:12 -0500
          Re: Why is model theory needed? [truth v provability] Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-12 19:15 -0700
            Re: Why is model theory needed? [truth v provability] Julio Di Egidio <julio@diegidio.name> - 2023-04-12 19:34 -0700
            Re: Why is model theory needed? [truth v provability] olcott <polcott2@gmail.com> - 2023-04-12 22:40 -0500
              Re: Why is model theory needed? [truth v provability] Mitchell Smith <mitchellsmith0860@gmail.com> - 2023-04-13 19:44 -0700
                Re: Why is model theory needed? [truth v provability] olcott <polcott2@gmail.com> - 2023-04-13 22:29 -0500
                Re: Why is model theory needed? [truth v provability] Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-14 11:17 -0700
                Re: Why is model theory needed? [truth v provability] olcott <polcott2@gmail.com> - 2023-04-15 13:43 -0500
            Re: Why is model theory needed? [truth v provability] olcott <polcott2@gmail.com> - 2023-04-15 23:22 -0500

csiph-web