Groups | Search | Server Info | Login | Register

Groups > sci.logic > #251250

Why is model theory needed?

From olcott <polcott2@gmail.com>
Newsgroups sci.logic
Subject Why is model theory needed?
Date 2023-04-08 14:16 -0500
Organization A noiseless patient Spider
Message-ID <u0sejc$1cb2d$1@dont-email.me> (permalink)

Show all headers | View raw

Well-formed formulas have meaning only when an interpretation is given
for the symbols. Mendelson

No one seems to know why model theory is needed.
A ∧ B → A is known to be true on the basis of the meaning of the 
symbols, no model theory needed.

-- 
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to sci.logic | Previous | Next — 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

csiph-web