Re: universal quantification, because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how

On 5/9/2024 9:45 PM, Ross Finlayson wrote:

On 05/09/2024 03:55 PM, Jim Burns wrote:

On 5/9/2024 3:56 PM, Ross Finlayson wrote:

On 05/08/2024 02:14 PM, Jim Burns wrote:

Consider
| ∀x:B(x) ⇒ B(t)
| ∀x:(B⇒C(x)) ⇒ (B⇒∀x:C(x))
| B(x)  ⊢  ∀x:B(x)
| ∃x:B(x) ⇔ ¬∀x:¬B(x)
>
Is it possible that
several centuries of polishing and perfecting
have given us, in 2024, something which
François Viète had only set out in search of?
>
I am not a giant.
However, I can stand on giants' shoulders.
Since I can, why shouldn't I?

>
Sort of, I suppose.

>
| I beseech you, in the bowels of Christ,
| think it possible that
| I cannot read your mind.
|
<pseudo.Cromwell>
>

Like Russell stood on Frege and Peirce,
and von Neumann and Zermelo stood on Mirimanoff,
and Cantor stood on duBois-Reymond, well,
Newton of course is very well-known for
his quote "I stood on people left and right".

>
| If I have seen further
| it is by standing on ye sholders of Giants.
|
<Newton>
>

Here it's still "Amicus Plato"

>
| Amicus Plato — amicus Aristoteles — magis amica veritas
<Newton>
==
| Plato is my friend -- Aristotle is my friend --
| but my best friend is truth.
|
<Newton>
>

Here it's still "Amicus Plato"
and it's very old-fashioned,
yet every few hundred years at least
it comes back around,
unsurprisingly much the same.
>
So, ye adherents of Russell's retro-thesis and
semi-Aristotleans of
the "I say" logical positivist variety,
too often thinking that
circa-20'th-century-classical quasi-modal logic
is either classical or full for DeMorgan:
can you get down?
>
Not.first.false?  Largest.number.ever.

>
Compare
finite sequences of only not.first.false claims
to
logarithmic slide rules.
>
When used correctly,
they both give what they're advertised to give.
>
Doubts that they give that,
to the extent that there are doubts that they give that,
originate from it being less.than.immediately.obvious
that they give what they're advertised to give.
>
But they do give that,
and it can be shown that they give that,
even if it is challenge and more.than.a.challenge
to _immediately_ show that they give that.

>
Ah, good sir, it's certainly to be appreciated rising
to a higher level of rhetoric.

It seems to be a distinctive part of your style
to remove as many clues to what you mean as you can.
Who is appreciating?
Who or what is rising?

Thanks, I've heard that one before. Here it's
also "Amicus Plato, fini".

?== "Dear Plato, finish it"
What would you intend to be conveyed by that, here?

Please don't see my yet not writing terms as for
SX a set and #X an ordinal, while also SX a usual
notation for an ordinal in succession, with regards
to counting, and numbering, where it is so in some
theory that PX, the powerset of X, is, SX.

Are you still talking about quantifiers, here?

As well, please don't see that as a lack of cooperation,
for all the times in all the threads whereas after a
large amount of my proper presentation of correct
reasoning, that you've balked and clammed up,

I doubt that I can haul from my memory
every instance in which I've balked and clammed up,
but I can haul a fair sample.
Broadly speaking,
when I have balked and clammed up,
I have failed at using as an explanation
that which you seem to have intended for me
to use as an explanation.
I have, at times, requested help from you,
such as your using ∀? ∀+ ∀* ∀$ in sentences,
but you seem to be unable to see these requests,
and I have made them less and less often.
I have a few different explanations for
your responses being how they are.
The one you'd dislike least, I think, is that
your intended readers are a group of people
which does not include me, Jim Burns.
The upshot of that and also the other explanations
is that I'll not be getting any farther toward
understanding what you're saying.
Therefore, I balk and clam up.

as what even for a fair-weather formalist and
dreamy intuitionist, must eventually see that
flowing the threads, or arguments as it were,
rhetorically, forensically, here is that I've gotten
around to it.
>
So, this idea of a proper distinguished syntax for
universal quantifiers as with regards to how they
apply to the various relations, where in a given theory
we may aver that all predicates are relations and as
for vice-versa, that relations are primary, then these
schemes, of quantification, become higher order,
if only an order or so, than the usual syntax where
terms are primary, that it so effects to reflect the
relations as primary, why it is so that these refined
universal quantifiers, are elements of a syntax,
irreducibly.
 Formally, ....
   Hundreds and hundreds of threads on sci.math and sci.logic,
many last words, ....