Groups | Search | Server Info | Login | Register

Groups > sci.logic > #251359

Re: Why is model theory needed?

Newsgroups sci.logic
Date 2023-04-09 23:40 -0700
References (1 earlier) <8cd83c97-2e16-4fa9-8d6a-cd95195ffa04n@googlegroups.com> <7c6b1210-51e4-4b99-874c-a4d80d6fae6cn@googlegroups.com> <07bb8271-be61-4da3-b26e-048255ab059bn@googlegroups.com> <0a37e2de-e793-44e2-872e-d9581812bf29n@googlegroups.com> <19bfbed9-e7c7-40bd-a818-353216387d57n@googlegroups.com>
Message-ID <fafaaa46-33ed-4530-9716-9e7fc88b0ff9n@googlegroups.com> (permalink)
Subject Re: Why is model theory needed?
From Mostowski Collapse <bursejan@gmail.com>

Show all headers | View raw

Strictly speaking Algebraic Logic is not the same as Model Theory.
Thats quite a fallacy to identify Model Theory with Algebraic Logic.
I hope you don't commit this fallacy?

Some times this fallacy is based on the confusion of the word 
"algebra". The word "algebra" in "Universal Algebra" has not the same
meaning as the word "Algebraic" in "Algebraic Logic".

You can think about it in terms of "truth makers":
- Algebraic Logic: Algebra of truth values of the truth makers
- Model Theory: Algebra of situations the truth makers refer to

But you can combine the two, there is no doubt. And you can
obtain currious results, like in Set Theory and the Continuum Problem,
by Smullyan and Fitting.

Mitchell Smith schrieb am Montag, 10. April 2023 um 04:16:36 UTC+2:
> If I open Chang and Keisler, there is much more than first-order logic. In fact, they describe model theory as universal algebra combined with logic. One cannot only look at the logic component. Skolem's contribution pushes foundational studies back to the algebraic perspective.

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] Mostowski Collapse <bursejan@gmail.com> - 2023-04-17 07:53 -0700
                Re: Why is model theory needed? [true] olcott <polcott2@gmail.com> - 2023-04-17 10:13 -0500
                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