```Date: Mar 22, 2013 6:08 PM
Author: fom
Subject: Re: Matheology § 224

On 3/22/2013 4:24 PM, WM wrote:> On 22 Mrz., 21:54, William Hughes <wpihug...@gmail.com> wrote:>> On Mar 22, 7:24 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> On 22 Mrz., 16:24, William Hughes <wpihug...@gmail.com> wrote:>>>> <snip>>>>>>>>>>> Infinite sets are different from finite sets>>>> but they do not contain anything>>>> "beyond any finite set".>>>>> Of course.>>>> We have now established that there>> are sets that do not contain anything>> "beyond any finite set" but>> are different from finite sets.>> That is potential infinity.> Actually infinite sets, however, contain something beyond any finite> set.> Consider the decimal representation of pi. It is an actually infinite> sequence beyond any finite sequence.There is nothing "beyond".There is only the complete informational content neededto refer to pi singularly that relies on a completedinfinity for the specification of the expansion.If you read Leibniz, his logic was intensional.  Thisis in contrast to the extensional logic of the Scholasticthinkers who preceded him.  For Leibniz, the genus hadbeen prior to the species in terms of information content.(Aristotle also followed this directionality of order).The reason for Leibniz' position had been that the specificationof a species required a more complex explanation of distinguishingfeatures.In case you have not noticed, the Peano axioms include:(m+1)=(n+1) -> m=nwhich is consistent with this directionality -- theextensionally greater genus is prior to theextensionally lesser species.And, when one acknowledges what Leibnizactually wrote concerning the principleof identity of indiscernibles: > "What St. Thomas affirms on this point > about angels or intelligences ('that > here every individual is a lowest > species') is true of all substances, > provided one takes the specific > difference in the way that geometers > take it with regard to their figures." > > Leibniz >Then Cantor's intersection theorem, > > "If m_1, m_2, ..., m_v, ... is any > countable infinite set of elements > of [the linear point manifold] M of > such a nature that [for closed > intervals given by a positive > distance]: > > lim [m_(v+u), m_v] = 0 for v=oo > > then there is always one and only one > element m of M such that > > lim [m_(v+u), m_v] = 0 for v=oo" > > Cantor to Dedekind >characterizes the fact that infinity isrequired for the identifiability ofsingular reference.
```