Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

You can be replaced by this computer.


tech / sci.logic / Re: Dana Scott fan club

SubjectAuthor
* Dana Scott fan clubRoss Finlayson
+* Re: Dana Scott fan clubMild Shock
|`* Re: Dana Scott fan clubDan Christensen
| `* Re: Dana Scott fan clubMild Shock
|  +- Re: Dana Scott fan clubMild Shock
|  `* Re: Dana Scott fan clubDan Christensen
|   `* Re: Dana Scott fan clubMild Shock
|    +- Re: Dana Scott fan clubDan Christensen
|    `* Re: Dana Scott fan clubDan Christensen
|     +* Re: Dana Scott fan clubMild Shock
|     |`* Re: Dana Scott fan clubDan Christensen
|     | +- Re: Dana Scott fan clubRoss Finlayson
|     | `* Re: Dana Scott fan clubJim Burns
|     |  `- Re: Dana Scott fan clubDan Christensen
|     `* Re: Dana Scott fan clubDan Christensen
|      `* Re: Dana Scott fan clubMild Shock
|       +- Re: Dana Scott fan clubDan Christensen
|       `* Re: Dana Scott fan clubDan Christensen
|        `* Re: Dana Scott fan clubMild Shock
|         +- Re: Dana Scott fan clubMild Shock
|         `* Re: Dana Scott fan clubDan Christensen
|          `* Re: Dana Scott fan clubMild Shock
|           +* Re: Dana Scott fan clubMild Shock
|           |+* Re: Dana Scott fan clubMild Shock
|           ||`- Re: Dana Scott fan clubDan Christensen
|           |`- Re: Dana Scott fan clubDan Christensen
|           `* Re: Dana Scott fan clubDan Christensen
|            `* Re: Dana Scott fan clubMild Shock
|             +- Re: Dana Scott fan clubMild Shock
|             `* Re: Dana Scott fan clubDan Christensen
|              `* Re: Dana Scott fan clubMild Shock
|               +* Re: Dana Scott fan clubMild Shock
|               |+* Re: Dana Scott fan clubMild Shock
|               ||`* Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDaniel Pehoushek
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +* Re: Dana Scott fan clubDan Christensen
|               || |`* Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubDan Christensen
|               || | +- Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | +- Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | +- Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | +- Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | +- Re: Dana Scott fan clubSteven Lahkmi
|               || | +- Re: Dana Scott fan clubMild Shock
|               || | +- Re: Dana Scott fan clubRoss Finlayson
|               || | `- Re: Dana Scott fan clubRoss Finlayson
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubRoss Finlayson
|               || +- Re: Dana Scott fan clubRoss Finlayson
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubRoss Finlayson
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubMild Shock
|               || +- Re: Dana Scott fan clubDan Christensen
|               || +- Re: Dana Scott fan clubRoss Finlayson
|               || `- Re: Dana Scott fan clubRoss Finlayson
|               |`* Re: Dana Scott fan clubDan Christensen
|               | `- Re: Dana Scott fan clubMild Shock
|               `- Re: Dana Scott fan clubDan Christensen
+* Re: Dana Scott fan clubRoss Finlayson
|`* Re: Dana Scott fan clubRoss Finlayson
| `* Re: Dana Scott fan clubRoss Finlayson
|  +* Re: Dana Scott fan clubRoss Finlayson
|  |`- Re: Dana Scott fan clubRoss Finlayson
|  `* Re: Dana Scott fan clubRoss Finlayson
|   `- Re: Dana Scott fan clubRoss Finlayson
`- 🎅🎁🎄 Merry Christmas 🎄🎁🎅Mild Shock

Pages:12345
Re: Dana Scott fan club

<1L6dnUiMwLPqG0j4nZ2dnZfqnPadnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=8335&group=sci.logic#8335

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!69.80.99.23.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 05:13:26 +0000
Subject: Re: Dana Scott fan club
Newsgroups: sci.logic
References: <68c6c18a-af4e-4b57-a1aa-343e9118d15bn@googlegroups.com> <34aa817a-c73c-45f6-86ec-9fb88e825374n@googlegroups.com> <8148ccb9-91a8-4124-841a-3ed41b8fa23fn@googlegroups.com> <43784816-2fee-4f43-8c4f-2895369e79c5n@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:13:38 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <43784816-2fee-4f43-8c4f-2895369e79c5n@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <1L6dnUiMwLPqG0j4nZ2dnZfqnPadnZ2d@giganews.com>
Lines: 20
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-TV6Wq3oKKiLSxpP4IPfQCwHiWMntwaNoH79j5fvJwOQTHMgMwngEMe5RoCMxhbzeaYGCeakEabe7dLW!BK4m7lZPSe0biVGVu+5E/VllmPAJMAF2s5qYUelhZmdpA8y7vXBCQXXCNQQRdumc8Djndx1zZ5EW
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
 by: Ross Finlayson - Wed, 21 Feb 2024 05:13 UTC

On 11/19/2023 06:44 PM, Ross Finlayson wrote:
>
> "In the infinitary logic", ....
>
> It's funny if you search for "countable continuous domain" nothing shows up, but "modern foundations" "set theory"
> "countable continuous domain" sort of arrives here.
>
>

Or, it was so that day.

The other day I heard that the circle and
box notations are kind of coming from linguistics,
this amused me and speaks to the confluence of
formal languages and formal languages.

Quite a fan of relevance logic.

Re: Dana Scott fan club

<mnWdne1Z_tsGoUv4nZ2dnZfqn_idnZ2d@giganews.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=8388&group=sci.logic#8388

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!gandalf.srv.welterde.de!news.mixmin.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!69.80.99.26.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 18:10:34 +0000
Subject: Re: Dana Scott fan club
Newsgroups: sci.logic
References: <68c6c18a-af4e-4b57-a1aa-343e9118d15bn@googlegroups.com> <34aa817a-c73c-45f6-86ec-9fb88e825374n@googlegroups.com> <8148ccb9-91a8-4124-841a-3ed41b8fa23fn@googlegroups.com> <43784816-2fee-4f43-8c4f-2895369e79c5n@googlegroups.com> <1L6dnUiMwLPqG0j4nZ2dnZfqnPadnZ2d@giganews.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 10:10:35 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <1L6dnUiMwLPqG0j4nZ2dnZfqnPadnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <mnWdne1Z_tsGoUv4nZ2dnZfqn_idnZ2d@giganews.com>
Lines: 12
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-GiZFgW64yHuwMm1OLPdGFJgyTtGdpZUDqizId7BFIksD0NQq6ZSgheMU0QB0kZuAZuRKwMqgYqzdHqs!oSBdhoIXuk8TQYNI+rdVhTsoDjwr/Hiq3uH6zM8swBEM6gTj9wORSTQBHk1rhRD8ckBCNGl2Hsul
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Received-Bytes: 2195
 by: Ross Finlayson - Wed, 21 Feb 2024 18:10 UTC

I think Scott should be more firm, he's contributed some great things
for modern logic, "classical relevance logic" if everything has to be
"classical" still, but he doesn't really point that out to the
"classical quasi-modal logic" people directly, figuring that people
will eventually pick his up because of thoroughnessand and correctness,
it's still involved putting them together, not just having "won"
but making a "win-win".

I.e., I think Scott should be more firm like "these collected
results for example of mine really make the quasi-modal not modal".

Pages:12345
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor