Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-05-31 16:46 -0700 |
| References | (14 earlier) <45d79c26-0b1a-4820-8fee-505eaa2b4fd9n@googlegroups.com> <5f1b8132-f508-436e-bdab-c62054233312n@googlegroups.com> <b5e26c17-a99d-4db9-b890-d0363820acacn@googlegroups.com> <711cfc2c-880d-4c81-987f-fde372ca62b5n@googlegroups.com> <d8bc5fd0-f793-47ca-8109-3627f7207e8cn@googlegroups.com> |
| Message-ID | <688b29b0-d21b-4907-b7c2-d79190a5787en@googlegroups.com> (permalink) |
| Subject | Re: Why is model theory needed? |
| From | Mild Shock <bursejan@gmail.com> |
Its getting more and more generalized the more stuff you add. First you have nothing added: ∃x(Dx → ∀yDy) is valid. https://www.umsu.de/trees/#~7x(Dx~5~6yDy) Then you add Set(_) and change D into a set s, and you get already STGeneralizedDrinkerParadox: 9 ALL(s):[Set(s) => EXIST(x):[x e s => ALL(x):x e s]] 4 Conclusion, 2 http://www.dcproof.com/STGeneralizedDrinkersThm.htm Then you add x e ℝ and replace Set(s) by s ⊊ ℝ and you get the RAGeneralizedGeneralizedDrinkerParadox: ALL(s):[s ⊊ ℝ => EXIST(x):[x e ℝ & (x e s => Q(x,s))]] The more you add the more general it gets. Ad infinitum. Whats so difficult to understand. Dan Christensen schrieb am Donnerstag, 1. Juni 2023 um 00:57:17 UTC+2: > On Wednesday, May 31, 2023 at 4:58:40 PM UTC-4, Mild Shock (aka Mr. Collapse) wrote: > > > Dan Christensen schrieb am Mittwoch, 31. Mai 2023 um 22:53:56 UTC+2: > > > On Wednesday, May 31, 2023 at 4:18:29 PM UTC-4, Mild Shock (aka Mr. Collapse) (wrote: > > > > > > > Dan Christensen schrieb am Mittwoch, 31. Mai 2023 um 21:52:22 UTC+2: > > > > > > They are more special, and hence you can prove the following, > > > > > > for an arbitrary formula A: > > > > > > > > > > > > ∃x ∈ ℝ (x ∈ ℚ => A) > > > > Its the analysis version of your "generalized drinker paradox". > > > > > > > Wrong. You have: > > > > > > EXIST(x):[x in R & [x in Q => A]] for any sets R and Q, and proposition A. > > > > > > The generalized set-theoretic drinking principle : > > > > > > EXIST(x):[x in D => A] for any set D and proposition A. > > > > > > Sorry, not the same thing at all, Mr. Collapse. > > I "generalized" it to R. > > > You have not generalized DP. You have NOT applied an existential quantifier to a CONDITIONAL here, the whole point of this exercise. Your supposed "generalization" above is the application of an existential quantifier to a CONJUCTION: EXIST(x):[x in R & [...]] > > Deal with it, Mr. Collapse. Just admit your were wrong. > Dan > > Download my DC Proof 2.0 freeware at http://www.dcproof.com > Visit my Math Blog at http://www.dcproof.wordpress.com
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
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? 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? 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