Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

The first sign of maturity is the discovery that the volume knob also turns to the left.


tech / sci.logic / Re: A Paradox of Equality?

SubjectAuthor
* Re: A Paradox of Equality?Ross Finlayson
+- Re: A Paradox of Equality?Ross Finlayson
`- Re: A Paradox of Equality?Ross Finlayson

1
Re: A Paradox of Equality?

<lN2dnXgUU6UjFEj4nZ2dnZfqn_WdnZ2d@giganews.com>

  copy mid

http://novabbs.i2p/tech/article-flat.php?id=3502&group=sci.logic#3502

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!news.chmurka.net!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 05:27:26 +0000
Subject: Re: A Paradox of Equality?
Newsgroups: sci.logic
References: <77d5dd37-e474-426f-b536-9ee66b2b7232n@googlegroups.com>
<dcef026b-a934-4268-b2d2-ffd75b64b1b8n@googlegroups.com>
<6b966521-5fbd-4674-a94a-10c2686df31dn@googlegroups.com>
<u5g3bb$r3h4$1@solani.org>
<abf04955-35c6-4967-a332-0fe4a2ca2967n@googlegroups.com>
<u5g51j$sb77$2@solani.org>
<bee217b6-b2b4-4e07-9285-457e803b94e3n@googlegroups.com>
<u5g6hg$r4vl$1@solani.org>
<d4872593-9a25-4ab8-8c94-1d31d328586cn@googlegroups.com>
<0a3c1c44-1dfb-4c95-8135-de6b33984451n@googlegroups.com>
<b20fab3e-3256-4fb5-87da-459884d9f2e3n@googlegroups.com>
<6f769c26-e42f-4fdb-a6d8-72181dccad25n@googlegroups.com>
<969f397f-1805-4123-b9e5-5710e1ab4d7fn@googlegroups.com>
<f04c72cd-f980-4214-bc54-b8d4825fea7en@googlegroups.com>
<u5ic57$tf1l$2@solani.org>
<5bea35b7-2366-45aa-8898-26f3d1186ce7n@googlegroups.com>
<073dfec5-0ed2-4116-8461-967554d0a9b7n@googlegroups.com>
From: ross.a.finlayson@gmail.com (Ross Finlayson)
Date: Tue, 20 Feb 2024 21:27: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: <073dfec5-0ed2-4116-8461-967554d0a9b7n@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lN2dnXgUU6UjFEj4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 14
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-0f72ze9O4bD0ZrixpzAYYkRMDrahdTbhNPb/z4g3R9kKo+K69c2h9trjSAr73Kaa4a87yC793lCcR9N!IjEeBiZLYdZGdlQx14KyPBf3uL5xn7FtblMM1Mg9qGUrGjV85ZX+JaDoejlDtxrQ4Szct5P8Vh5z
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:27 UTC

See, these sorts things help make it so
that LEM/PEM/TND just result a class.

It helps a lot for tautology and as for
identity and equality, and same-ness and
difference, and the transitive, in intensionality
and extensionality, that indeed most people's
common sense about the indisputable notion
of equality, for example as identity, does
indeed have a way to make it match the
common definition of the copula and
regular and naive understanding of what "is", is.

Re: A Paradox of Equality?

<r4ednYoj9-QEp0v4nZ2dnZfqn_WdnZ2d@giganews.com>

  copy mid

http://novabbs.i2p/tech/article-flat.php?id=3544&group=sci.logic#3544

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.netnews.com!news.alt.net!us1.netnews.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!69.80.99.22.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:02:01 +0000
Subject: Re: A Paradox of Equality?
Newsgroups: sci.logic
References: <77d5dd37-e474-426f-b536-9ee66b2b7232n@googlegroups.com> <dcef026b-a934-4268-b2d2-ffd75b64b1b8n@googlegroups.com> <6b966521-5fbd-4674-a94a-10c2686df31dn@googlegroups.com> <u5g3bb$r3h4$1@solani.org> <abf04955-35c6-4967-a332-0fe4a2ca2967n@googlegroups.com> <u5g51j$sb77$2@solani.org> <bee217b6-b2b4-4e07-9285-457e803b94e3n@googlegroups.com> <u5g6hg$r4vl$1@solani.org> <d4872593-9a25-4ab8-8c94-1d31d328586cn@googlegroups.com> <0a3c1c44-1dfb-4c95-8135-de6b33984451n@googlegroups.com> <b20fab3e-3256-4fb5-87da-459884d9f2e3n@googlegroups.com> <6f769c26-e42f-4fdb-a6d8-72181dccad25n@googlegroups.com> <969f397f-1805-4123-b9e5-5710e1ab4d7fn@googlegroups.com> <f04c72cd-f980-4214-bc54-b8d4825fea7en@googlegroups.com> <u5ic57$tf1l$2@solani.org> <5bea35b7-2366-45aa-8898-26f3d1186ce7n@googlegroups.com> <073dfec5-0ed2-4116-8461-967554d0a9b7n@googlegroups.com> <lN2dnXgUU6UjFEj4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.finlayson@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 10:02:02 -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: <lN2dnXgUU6UjFEj4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <r4ednYoj9-QEp0v4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 8
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-EtARDqSowyKkyk1vuir+O2Cd6Fzrv8e4/G+hIFgXcJnOJ+qmOiHQOxSdtp3b1RJ65X1QbIbPR9svELU!p5Rk+l4CzUBETpsh+RGyWkZLN1EPUkoVWxRgHQbSjiG05qKkY10tanCRamEmPtew+jcx45E5Ve0k
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: 2424
 by: Ross Finlayson - Wed, 21 Feb 2024 18:02 UTC

The model-theory and proof-theory are really
equi-interpretable, the mountains the one
the map the other, foundations is properly
of a model, of a theory, its objects, for proofs.

I.e. "foundations results building a model theory anyways".

Re: A Paradox of Equality?

<WFGdnTCieIymc0X4nZ2dnZfqn_WdnZ2d@giganews.com>

  copy mid

http://novabbs.i2p/tech/article-flat.php?id=3663&group=sci.logic#3663

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!69.80.99.22.MISMATCH!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 23 Feb 2024 19:12:58 +0000
Subject: Re: A Paradox of Equality?
Newsgroups: sci.logic
References: <77d5dd37-e474-426f-b536-9ee66b2b7232n@googlegroups.com> <dcef026b-a934-4268-b2d2-ffd75b64b1b8n@googlegroups.com> <6b966521-5fbd-4674-a94a-10c2686df31dn@googlegroups.com> <u5g3bb$r3h4$1@solani.org> <abf04955-35c6-4967-a332-0fe4a2ca2967n@googlegroups.com> <u5g51j$sb77$2@solani.org> <bee217b6-b2b4-4e07-9285-457e803b94e3n@googlegroups.com> <u5g6hg$r4vl$1@solani.org> <d4872593-9a25-4ab8-8c94-1d31d328586cn@googlegroups.com> <0a3c1c44-1dfb-4c95-8135-de6b33984451n@googlegroups.com> <b20fab3e-3256-4fb5-87da-459884d9f2e3n@googlegroups.com> <6f769c26-e42f-4fdb-a6d8-72181dccad25n@googlegroups.com> <969f397f-1805-4123-b9e5-5710e1ab4d7fn@googlegroups.com> <f04c72cd-f980-4214-bc54-b8d4825fea7en@googlegroups.com> <u5ic57$tf1l$2@solani.org> <5bea35b7-2366-45aa-8898-26f3d1186ce7n@googlegroups.com> <073dfec5-0ed2-4116-8461-967554d0a9b7n@googlegroups.com> <lN2dnXgUU6UjFEj4nZ2dnZfqn_WdnZ2d@giganews.com>
From: ross.a.finlayson@gmail.com (Ross Finlayson)
Date: Fri, 23 Feb 2024 11:13:01 -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: <lN2dnXgUU6UjFEj4nZ2dnZfqn_WdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <WFGdnTCieIymc0X4nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 21
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-nclA+HFIZA+m/TsnyXzl7Ir2MVbYNKSgg1G3RwHgdZjPWxCzJoiVFM6QVN9uEiGmAiI8ZYypeU8en5M!L8fSZxunMEjzXxq0IbjqIIa6tvtQQxwUi5GU2NdWmsH3+zlBP/YI6qbNF4IXMwLogJL/18BIVOn9!Ig==
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 - Fri, 23 Feb 2024 19:13 UTC

On 02/20/2024 09:27 PM, Ross Finlayson wrote:
> See, these sorts things help make it so
> that LEM/PEM/TND just result a class.
>
> It helps a lot for tautology and as for
> identity and equality, and same-ness and
> difference, and the transitive, in intensionality
> and extensionality, that indeed most people's
> common sense about the indisputable notion
> of equality, for example as identity, does
> indeed have a way to make it match the
> common definition of the copula and
> regular and naive understanding of what "is", is.
>
>

It can help a lot, when writing a logic,
that it's always among all the other logics,
what are derivations and inference rules,
what results they check each other.


tech / sci.logic / Re: A Paradox of Equality?

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor