Groups | Search | Server Info | Login | Register

Groups > sci.logic > #251360

Re: Why is model theory needed?

Newsgroups sci.logic
Date 2023-04-10 00:02 -0700
References (2 earlier) <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> <fafaaa46-33ed-4530-9716-9e7fc88b0ff9n@googlegroups.com>
Message-ID <2d6d76e3-a299-465f-8001-e16be607cfc5n@googlegroups.com> (permalink)
Subject Re: Why is model theory needed?
From Mostowski Collapse <bursejan@gmail.com>

Show all headers | View raw

Currently it seems Model Theory and Algebraic Logic gets
replaced by Truth Maker Theory? Not sure. There is a little
surge in papers right now, isn't it?

"Truthmaker semantics is a novel formal semantic framework
which has been recently developed in a series of publications
((Fine, forthcoming), (Fine, 2017), (Fine, 2016)) by Kit Fine
starting from the work done by Van Fraassen’s in (Van Fraassen, 1969)

Or its just a combination of Model Theory and Algebraic Logic?
In this paper see Theorem 1, the link is made. If you watch
it carefully, you can see both:

A Truthmaker Semantics Approach to Modal Logic
Giuliano Rosella - 28. April 2021
https://eprints.illc.uva.nl/id/eprint/1792/1/MoL-2019-28.text.pdf

Mostowski Collapse schrieb am Montag, 10. April 2023 um 08:40:33 UTC+2:
> 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