Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Re: distinguishability - in context, according to definitions
Posted:
Feb 22, 2013 10:04 AM
|
|
In <C-2dnY1u28kdULvMnZ2dnUVZ_jWdnZ2d@giganews.com>, on 02/21/2013
at 07:44 PM, fom <fomJUNK@nyms.net> said:
>My point is that the very syntax of a first-order language can be
>recognized as a minimal Hausdorff topology as soon as one places a
>mutually exclusive bivalent truth functionality onto its symbols.
Only in the context of another system for which you have developed all
of the machinery.
>Moreover, you cannot divorce this structure from a logic intended
>as a deductive calculus because what makes it interpretable as a
>deductive calculus is its relationship to the truth-conditions of
>interpretations.
We have no choice; we need a deductive calculus to derive the theorems
of Topology. Only once we have done so can we apply Topology to a
different deductive calculus.
--
Shmuel (Seymour J.) Metz, SysProg and JOAT <http://patriot.net/~shmuel>
Unsolicited bulk E-mail subject to legal action. I reserve the
right to publicly post or ridicule any abusive E-mail. Reply to
domain Patriot dot net user shmuel+news to contact me. Do not
reply to spamtrap@library.lspace.org
|
|
|
|
