Groups | Search | Server Info | Login | Register
Groups > comp.theory > #109490
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) |
| Date | 2024-07-23 22:15 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <2e363c4050872820bdebbbb513fcb54596211440@i2pn2.org> (permalink) |
| References | (8 earlier) <v7naae$120r5$1@dont-email.me> <v7o64d$7r0l$1@solani.org> <v7ogdr$17h8r$9@dont-email.me> <v7p499$8bb2$5@solani.org> <v7p4m6$1btr0$1@dont-email.me> |
Cross-posted to 2 groups.
On 7/23/24 4:43 PM, olcott wrote: > On 7/23/2024 3:36 PM, Mild Shock wrote: >> Thats a little bit odd to abolish incompletness. >> Take p, an arbitrary propositional variable. >> Its neither the case that: >> >> True(L,p) >> >> Nor is ihe case that: >> >> True(L,~p) >> >> Because there are always at least two possible worlds. >> One possible world where p is false, making True(L,p) >> impossible, and one possible world where p is true, >> >> making True(L,~p) impossible. >> > > We are not using propositional logic we are using an extension > of Montague Semantics such that every natural language meaning > can be formalized. Then you aren't in the same system as Tarski, and prove yourself to be a liar. > > L is an actual language and p is a specific static constant > finite string expression of that language. > > There is no possible world where the living animal > of a puppy is a 15 story office building. Are you SURE about that? > > There is no possible world where this sentence or its > negation are true: "This sentence is not true". How do you know that? > >> olcott schrieb: >>> On 7/23/2024 7:02 AM, Mild Shock wrote: >>>> Little bit odd reference to mathematical logic for 2024. >>>> >>>> olcott schrieb: >>>>>>> Curry, Harkell B. 1977. Foundations of Mathematical Logic. Page:45 >>> >>> https://www.liarparadox.org/Haskell_Curry_45.pdf >>> >>> *It sustains this idea* >>> >>> L is the language of a formal mathematical system. >>> x is an expression of that language. >>> >>> When we understand that True(L,x) means that there is a finite >>> sequence of truth preserving operations in L from the semantic >>> meaning of x to x in L, then mathematical incompleteness is abolished. >>> >>> ~True(L,x) ∧ ~True(L,~x) >>> means that x is not a truth-bearer in L. >>> It does not mean that L is incomplete >>> >> >
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar
Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 11:42 -0500
""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-22 22:18 +0200
Re: ""self contradictory"" (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-22 15:32 -0500
Re: ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-22 22:46 +0200
Re: ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-22 22:49 +0200
Re: ""self contradictory"" (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-22 16:42 -0500
Re: ""self contradictory"" (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 00:49 +0200
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 20:01 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 19:11 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 20:17 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 19:44 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 21:42 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 21:12 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-22 22:56 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-22 23:07 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 07:30 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 09:55 -0500
Re: Analytic Truth-makers Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:57 +0200
"undecidable" / "unentscheidbar" (Was Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 23:02 +0200
Re: "undecidable" / "unentscheidbar" (Was Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 23:13 +0200
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 19:25 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 14:02 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-23 09:58 -0500
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:36 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-23 15:43 -0500
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:44 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-23 22:52 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-23 19:18 -0500
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-24 22:33 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) olcott <polcott333@gmail.com> - 2024-07-24 15:45 -0500
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-24 23:54 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Mild Shock <janburse@fastmail.fm> - 2024-07-24 23:54 +0200
Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers) Richard Damon <richard@damon-family.org> - 2024-07-24 19:57 -0400
Re: Analytic Truth-makers Wasell <wasell@example.com> - 2024-07-23 16:51 +0200
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 11:26 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 21:45 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 23:03 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 22:17 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-23 23:27 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-23 23:09 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-24 07:28 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-24 09:20 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-24 19:57 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-24 19:44 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-24 21:05 -0400
Re: Analytic Truth-makers olcott <polcott333@gmail.com> - 2024-07-25 09:12 -0500
Re: Analytic Truth-makers Richard Damon <richard@damon-family.org> - 2024-07-25 19:35 -0400
csiph-web