'For the person or persons that hold dominion, can no more combine with the keeping up of majesty the running with harlots drunk or naked about the streets, or the performances of a stage player, or the open violation or contempt of laws passed by themselves than they can combine existence with non-existence'.

- Benedict de Spinoza. Political Treatise. 1677.




Sunday, November 16, 2008

Russell on mathematics XVI

Russell: introduction to mathematical philosophy:
descriptions


Russell begins by saying there are basically two kinds of descriptions – definite and indefinite

a definite description is a phrase of the form ‘a so-and-so’

an indefinite description a phrase of the form ‘the so-and-so’ – in the singular

we begin with the former –

consider the description – ‘I met a man’

what do I really assert?

it is clear that what I assert is not – ‘I met Jones’?

Russell says that in such a case – not only Jones – but no actual man enters into the statement

and he says the statement would remain significant if there were no man at all – as in ‘I met a unicorn’

he argues – it is only the concept that enters into the proposition

in the case of unicorn – there is only the concept

this he says has led some logicians to believe in unreal objects

probably the same lot that bang on about infinite numbers and classes

Meinong argued that we can speak about ‘the golden mountain’ and ‘the round square’ – and hence that they must have some kind of logical being

Russell’s view is that to say unicorns must have existence in heraldry or literature or the imagination is to make a pitiful evasion of the issue

he says –

‘In obedience to the feeling of reality, we shall insist that, that in the analysis of proposition, nothing “unreal” shall be admitted. But after all, if there is nothing unreal, how it may be asked could we admit anything unreal?’

his answer is that with propositions we are dealing firstly with symbols – and if we attribute meaning to groups of symbols that have no meaning we will end up with unrealities – in the sense of objects described

the first point I would like to make here is that it is rather artificial and frankly a little stupid to think that a sentence or proposition can be taken in isolation from its context and use – and regarded as significant

we do not operate with individual sentences in some kind of metaphysical void

to understand ‘I met a man’ or ‘I met a unicorn’ – or for that matter ‘I met Jones’ – one needs a lot more information

or one needs to assume a lot more than what is contained in the proposition

one could go so far as to say that to understand Tammy when she says ‘I met Jones’ you would need a complete analysis of Tammy’s use of that statement at that time –

and such of course would be to call for a complete understanding of the inherent metaphysics or world view of the speaker – at that time

now that is not about to happen – it is not even theoretically feasible

unless you think you have some indubitable like principles as the basis of your analysis

and to claim such I would submit is to talk rot

nevertheless when propositions are uttered by a speaker and received by a hearer much is assumed

you could say to cut to the quick - reality is assumed and within that any number of other secondary assumptions come into play

now what this actually means is that what is assumed is technically unknown – in the sense of a definitive analysis

but as I argued in the previous post in relation to propositional functions – this is the actual reality we are in and that we deal with –

we operate in the unknown

when I speak I assume some degree of definitiveness

when you hear me speak you assume some degree of definitiveness

this is not because I have logical grounds for definitiveness – or because you do

it is rather that without the assumption of definitiveness – we would not be able to assert
anything at all

and therefore not be able to communicate in language

so what I am saying is that in order to act propositionally – the assumption of defintiveness (of some degree) is necessary

and this necessity is no more than a practical necessity – the necessity to act

on this view all propositions are technically indefinite – but their form in practise is definite

one could be cynical and say well this suggests all language is fraudulent – or in common slang parlance say – every one is talking shit

strictly speaking this is correct

but given that there actually is no alternative – it becomes the gold standard

what I am saying is that ‘I met a man’ or ‘I met Jones’ or ‘I met a unicorn’ are all indefinite propositions – even when understood in some wider context of the user and the usage

it is just that I assume you understand what I am saying – and you assume that what I say is understandable

it is an assumption based on ignorance – but a necessary one

Russell it seems slips in and out of what he calls ‘unreality’ quite seamlessly and indeed elegantly

he has no scruples it appears in basing his philosophy of mathematics on the unreality of infinite numbers and classes – but baulks at unicorns

unicorns I would suggest have a better chance of making it

we need to get the bottom of all this -

we describe in order – and only to deal with – to get a handle on – the unknown

and if you accept this you will see that any description is no more than a shot in the dark

but that is where we are – and that is what we have to do

so that’s Kansas Toto

Russell seems to think that because we have as the first cab off the rank – objective language – language that refers to objects

an object world is what we have – and there is no where else to go

and this for Russell is the object world of common sense and perhaps science

the object language is the starting point simply because it has proved to be so successful

and by this I mean humans have been enabled by such a platform

nevertheless though – it is only a platform – and it is not successful or useful in all circumstances

we ask ‘what do you mean by that? when the simplicity of object language seems not to be up to the job

and here – it is not the nature of things that is being questioned – rather the appropriateness of the description – in a particular context

the nature of things for human beings is a function of description – which of course is a function of need

clearly ‘I met a unicorn’ – is a statement that though it appears to be an assertion describing an object in the physical world – is a statement describing something else

and it is all very well for Russell to dismiss other ways of describing as ‘pitiful’ and ‘paltry’

but what is behind Russell’s view is that there is only one way to describe the world – and further that language can be taken out of its context and use and regarded as some kind of specimen under a microscope

the ‘pitiful and paltry evasion argument’ – is actually no argument at all

it’s the kind of comment that might be made when some one doesn’t like a point of view – but doesn’t want to address it – just in case it might turn out to be on the money

and there goes the neighborhood

Russell doesn’t actually address the possibility of the indefiniteness of all description

and he doesn’t seem to get that we have developed alternative ontologies simply because the starting point – is just that – a starting point

objective – as in physical object description is most useful – and clearly we couldn’t get on without it – but the actual reality of human behaviour shows it is not taken as universally applicable – never has been

because physical object language has been so useful – the fact is we often describe in its terms – when even a preliminary analysis shows it is not what is required

which is to say physical object language cast a long shadow – and most of the time we are quite happy to play in the shadow – knowing full well that other players understand this

I think the hidden truth of human beings is that they know that their humanity is based on not knowing

human beings have developed alternative ways of seeing the world and of describing it because they have needed to – and that’s the end of it

if you are going to operate ‘in obedience to the feeling of reality’ – then you ought to have a look at what’s going on – and has been since the beginning of recorded history

still I don’t want to be too hard on the old boy – at the time he was trying to ‘describe descriptions’ – he was doing a stretch at Brixton

prison can do that to you

Russell goes on to consider definite descriptions

‘We have two things to compare: (1) a name, which is a simple symbol, designating an individual which is its meaning, and having this meaning in its own right independently of the meaning of all other words; (2) a description, which consists of several words, whose meanings are already fixed, and from which results whatever is to be taken as the “meaning” of the description.’

a name does identify – it is an identification act

a description – makes known the identification – it is an act on the act of identification

we operate in description –

the world as known is the world described

our descriptions are the platform for our actions

descriptions are in that sense meta-actions

they are what enable us to proceed – to act on –

in propositions where names occur – as in ‘Scott is the author of Waverley’ – you have a neat example of the logic of descriptive behaviour

for essentially what you have here is an identification (‘Scott’) described (‘is the author of Waverley’)

Russell says the name designates an individual – which is its meaning – and that it is a simple symbol

a name does designate – true – but what does it designate?

in my view what it designates is a particular unknown

it is an act that is designed to focus attention – focus consciousness on a particular

or you could even say it is an act that particularizes

granted as a matter of course we are aware – conscious of particulars –

and in general we operate in a world already – and well described – so in most cases our particulars come with description

but to get to the bottom of this we need to look at the logic of the situation – and this requires that we make a step back from the obvious

I would suggest that the act of naming singles out a particular

and it singles it out for description –

in the proposition ‘Scott is the author of Waverley’ – we have the name described

that is to say a bare particular is singled out and then given some clothes

Russell argues the meaning of the name is the individual designated

the view I put is that the name is empty

and what I mean by that is that the name is a description place

that the name identifies an unknown – and is then the place for description –

it is the name that is then described – or if you like – made known

the act of description – gives the name meaning

which is really just to say – it makes the name functional – that is it makes it active

so when we talk about meaning – what we are talking about is not some inherent quality that some propositions have and others do not –

rather what it amounts to is making symbols functional

meaning is about ‘getting on with it’

you could then say well what you have is symbols (words) making symbols operational

yes – this is essentially it

and the symbolic platform so created - becomes a basis for physical / mental action

you might ask how is it exactly that symbols make symbols functional?

in the case of ‘Scott is the author of Waverley’ what you essentially have is a decision to make one set of symbols ‘is the author of Waverley’ function in place of ‘Scott’

in principle this substitution could go on indefinitely

the point of all such propositions is to make the original identification functional (known)

one might be tempted to argue that there is a logical relation between any such set of propositions – i.e. that the last proposition in the series ‘contains’ or entails all that came before

no doubt with a bit of patience it could be written up like that

but no –

the point is that each proposition serves its own purpose

and each purpose would or could itself be the subject of indefinite description

there is no doubt that we seek definite descriptions

however the reality is not that we find them

it is rather that we make constructions that appear to be definite

and the appearance is what we run with

for in non-reflective action we need the illusion of the definite

and we need non-reflective action to function and survive

language is a very functional platform – and the fact that it creates or enables the illusion of definitiveness is its principle function

‘Scott is the author of Waverley’ is a proposition which analysed correctly shows that a particular is identified and given a description

a particular is only made known through description – through some description

‘Scott’ identifies the particular – or to be more precise – it marks the particular for description

and the whole point of description is just to make the unknown – supposedly known

which means setting up a structure so that the particular named or described can be functional

just because the particular in itself – the original state of things is in itself unknown - (which is the reason for description) there cannot be a definite description of it –

there is no definite description of any feature of the world or our experience of it

nevertheless we must and do proceed as if there is

we operate in illusion – and this is necessary given the reality we face

it is the fact of consciousness in the world - consciousness facing the unknown



© greg. t. charlton. 2008.

Russell on mathematics XV

Russell: introduction to mathematical philosophy:
propositional functions


Russell begins here with a definition of ‘proposition’-

he says ‘proposition’ should be limited to symbols – and such symbols as give expression to truth and falsehood –

much would depend here on the definition of symbol – and one’s basic idea of truth and falsehood

by symbol – could we not mean any descriptive act?

of course such would include the propositions of ordinary language – but would it not by definition include other artistic creations – poetic expression – and any act of visual art i.e. painting – sculpture architecture etc.– and perhaps even acts of gesture? etc.

so it depends how much you want to let into ‘symbol’ –

and ‘truth’ – to cut quickly to the chase I see it as assent – and falsehood – as dissent –

really just a jump to the left or a jump to the right

and of course acts of assent and dissent can take on any number of forms – any number of expressions

I favour the idea that a proposition is a proposal – of whatever kind or form

and in the most general sense it is a proposal ‘of a state of affairs’

now any observer of such a proposal can give their assent to the proposal – or can dissent from it

that is they can affirm it – or deny it

so a proposition is a proposal that can be affirmed or denied –

is capable of being affirmed or denied

in normal parlance – it would seem to be of the nature of a proposition (proposal) that it can be affirmed or denied in some manner of speaking

a visitor to an art gallery whose response to a work of abstract art is broadly speaking one of approval – has affirmed the proposal

the same proposition in the shape of abstract expressionism can be ‘denied’ by the very next observer

perhaps if analysed such a response would mean something like ‘I don’t agree with how the world is portrayed in this painting’

anyway

‘propositional function’ is defined by Russell as an expression containing one or more undetermined constituents – such that when the values are assigned – the expression becomes a proposition

it is a function –whose values are propositions

or as he also describes it – ‘a mere schema, a mere shell, an empty receptacle for meaning, not something already significant.’

an example –

‘x is human’ is a propositional function

as long as x remains undetermined it is a propositional function – it is neither true nor false

but when a value is assigned to x it becomes a true or false proposition

I like propositional functions – but I think for reasons quite different to Russell

the beauty of a propositional function in my terms is just that it is a function with undetermined values

‘undetermined values’ here means unknown values

and the point of the propositional function is that it shows that function is not dependent on determination – on knowing

which is to suggest that function is quite independent of knowledge

I think it is even possible that Russell might agree to this view of things – in a limited way

I think that the propositional function really points to the basis of logic in scepticism – and much as Russell was known for his sceptical frame of mind – I doubt that he would have ever conceived of such a notion

the propositional function is a proposal – in the absence of determination – of knowledge –

nevertheless a proposal

Russell wants to distinguish sharply between a propositional function and a proposition

and this is where the definition of – or one’s understanding of - the nature of proposition is relevant

if as I have put – a proposition is any proposal that can be asserted or denied – what then of a propositional function?

Russell as I noted distinguishes proposition and propositional function – in terms of truth function

the proposition can be regarded as true or false – but not the propositional function?

is that so?

that is in the example above ‘x is human’ – while x is left undetermined – as an unknown – a proposal is put –

and it is the proposal that there is something that can be described as human –

and it is a proposal that can be regarded as true or false -

now you might wonder how could it be rationally denied?

under what conditions could such a statement be false?

this matter only depends on one’s definition of ‘human’

i.e. it is conceivable for instance that in the future with developments in genetic engineering and or bio-technology that the classification ‘human’ could be regarded as obsolete

in such a circumstance it could well make sense to regard the statement ‘x is human’ as no straightforward matter – and quite possibly false - either in general or in relation to certain classifications of ‘species’

so in such a case even though x is undefined – ‘human’ is up for grabs

this is not perhaps the best example to take of propositional functions

a more interesting case is one Russell goes on to consider ‘all A is B’

Russell says ‘A and B’ have to be determined as definite classes before such expressions becomes true or false

but is that so?

‘all A is B’ is a proposal for identity

such a principle or a version of such is required for arithmetic – calculation depends on the assumption that the left and right hand sides of the ‘=’ sign are equivalent

however in other contexts it is not so straightforward -

can you i.e. apply it in philosophy of mind?

i.e. are all sensations brain processes?

so the question is really about the appropriate application of such a propositional function –

it is clear that in some contexts such a propositional function – does function – has value

in other contexts – its status is uncertain

the point is – it is a proposal for relating one class to another in a certain manner

even that ‘certain manner’ can be a question – that is the ‘is’ in ‘all A is B’ is not uncontroversial – it can have a number of meanings

the propositional function even though its values are indeterminate – is not a statement without meaning or significance

one needs to accept it as a proposition – for the determined propositions to follow

so it can be regarded as true or false

it is quite extraordinary that in the twentieth century – and I suspect even in this century – logicians have seriously put that the propositions of their activity are not subject to truth conditions –

the absurdity of it is quite staggering

do they seriously suggest that the propositions with truth value are derived from propositions with no value?

a more cynical view might be to suggest that they find security in not subjecting their own propositions to the question of truth value

perhaps it is just that logic – main stream logic has never got past Plato

anyway such a view of logic of propositional functions is deluded nonsense


my overall point is that the propositional function is a proposal – is a proposition

the issue is really all about function

in my view a propositional function – asserts function

and the proposition (in Russell’s terms) – is a function asserted – meaning the values are declared – the ‘variables’ determined

now as I have just argued – the propositional function does not exist in metaphysical empty space – its validity depends on its epistemological context

so it is true or false – but to see this you need to be able to look to its use – and the context of its use

both the propositional function and the functioning proposition are proposals

and in an even more general sense they are propositional acts

to understand an act you need to understand its context – or at least make start in that direction – get an idea of it


so finally in relation to propositional functions -

the variable in a propositional function is an unknown value

the fact of the propositional function shows us quite clearly that we can and do function with unknowns

that is the fact of the unknown value does not prohibit function

the function in a propositional function – is the act proposed – and the value of the act is unknown

it is on this foundation – the unknown – that all ‘determined’ propositions rest – it is their ground and source

if to be is to be the value of a variable

and the variable qua variable is unknown

to be is to be the value of the unknown


© greg. t. charlton. 2008.

Russell on mathematics XIII

Russell: introduction to mathematical philosophy:
the axiom of infinity and logical types


infinity is made axiomatic for there is no natural ground for it

an infinite operation is not performable

and it follows from this that there are no infinite entities –

for from a mathematical point of view – an ‘entity exists’ if it is countable

any other conception of infinity is of no interest to mathematics

a class or classification is an action of determination

the idea of infinite classes – that is classes that have the property of reflexivity – is not reconcilable with determination

I don’t think reflexivity makes any sense –

but if you were to entertain the idea – as it is put – for the argument’s sake –

you have the idea of a class reflexing into itself – infinitely

it becomes an endless action

or action with no terminus

so in that sense it is not a genuine action

but at the same time there is the idea that this reflexion – generates classes

as if in the one class – there is a constant generation of classes –

a kind of continual creation –

once you see this you see also its theological basis

a kind of equivalent in mathematical theory – to the current theological fashion of modern physics – namely the big bang theory – for which Stephen Hawkings was quite rightly given a papal medal –

quite apart from this though –

the idea that an act of classifying – in some sense has a self that it reflexes into – is quite absurd

even if you are to accept the argument that a class is some ideal entity with this endless potential to find itself in itself

you have to ask at what point are we talking about any kind of defined entity?

in Greek terms it is always in the state of becoming itself –

which is to say it is always in the state of not-being

and to get back to Kansas –

a thing either is or it ain’t

enough of my ramblings


Russell begins his discussion –

‘The axiom of infinity is an assumption which may be enunciated as follows: –

if n be any inductive cardinal number, there is at least one class of individuals having n terms’


the point here is that the above assumes the existence of an infinite cardinal number

if that assumption is accepted then it follows there will be a class of individuals having that number

so the axiom effectively just asserts the reality of infinite classes


Russell continues –

‘The axiom of infinity assures us (whether truly or falsely) that there are classes having n members – and thus enables us to assert that n is not equal to n + 1’


the essential issue here is with regard to the status of n

hate to break up the party but the real question is whether we can rationally speak of an infinite number at all –

what this comes down to is reflexive classes – for the infinite number per se is just a name or tag for such

the idea is that a reflexive class is based on the idea that a class is defined by its internal relations -

as distinct from i.e. its relation to other classes –

which would be to define a class in term of relations outside of itself –

that is in terms of external relations

so – the internal relations of a class –

this by the way is not to ask what is the relation between the members of a class

the class as class is a unity

the idea is that within an infinite class there are classes within classes and that this internal relation of ‘classes within classes’ has no terminus

such a class is defined by the fact that it does not have a logical end

now the issue here is internal relations – or internality

now in my view there are no grounds for asserting the internality of classes

internality is a dimension –

now this might upset some but I would say the internal / external relation only applies in relation to conscious entities

for on my definition internality is consciousness

but even putting this aside – you can legitimately ask in what sense can it be that a classification has an internal dimension –

and I mean here in the sense that Russell puts forward – of a class reflexing into itself

clearly on such a view we are not speaking of what is inside a classification – that is what is bound by the classification – its members –

we are talking about something else

we are talking about the class itself – independent of its membership

now I have a rather simple straightforward argument here – and it is that there is no sense in speaking of a class as in some sense independent of its membership

for in general terms it is its membership that defines a class

so what is in a class is its members

we can speak of the inside of a class – but this is not the same as the internality of a class

and it is internality that is required for reflexivity – for infinity

so it is obvious I think that Russell and those who are for infinite classes – confuse the fact of the inside of a class – its membership – with internality

the membership of a class – what it brings together – if the question should arise – is the external world –

and further there is no additional ghostly dimension to the act of making a classification

true – you can make a general classification – i.e. all Australians – and within that classification – create further endless classifications

but this is not setting up some infinite class –

in any such process what we are doing - to use a modern computer term is ‘drilling down’ –

that is what we are doing is offering further descriptions of the subject at hand

now the class of all Australians – is just where you start – or can start

any description ‘within’ this starting point is another description –

which in logical terms may or may not be seen as being connected to the original descriptions – ‘all Australians’

the descriptions can be related – but one is not internal to the other – they are quite logically independent

that you might relate them – as one being included in the other – is simply a decision to organize –

hate to upset the logical fraternity – but such is really an artistic issue

ummh – who would have thought?


so my point in essence is that we cannot establish n – as infinite number – and as a consequence there is no issue with n + 1

Russell says without this axiom we should be left with the possibility that n and n + 1 might both be the null class


well I have been arguing that there is no sense to n – so perhaps n is the null class

but this would be to say the null class is the class that makes no sense

and this is not what is usually understood or meant by null class


I cannot for the life of me understand how this concept of null class came about – by any mathematician or logician – with any sense

a classification – a class – is an action defined by its membership

a class with no membership – is no class

in such a case there is no act of classification

that is the idea of a null class is essentially a grammatical error – a misuse of terms

or to put it another way - an act of classification – presumes the existence of a world – and rightly so -

here we are in New South Wales

Russell goes on –

‘It would be natural to suppose – as I supposed myself in former days – that, by means of constructions, such as we have been considering, the axiom of infinity can be proved. It may be said: Let us assume that the number of individuals is n, where n may be 0 without spoiling our argument: then if we form the complete set of individuals, classes and classes of classes, etc., all taken together, the number of terms in our whole set will be

n + 2ⁿ + 2²ⁿ…….ad inf.,

which is אₒ . Thus taking all kinds of objects together, and not confining ourselves to objects of any one type, we shall certainly obtain an infinite class, and we shall not need the axiom of infinity. So it might be said.

Now, before going into this argument, the first thing to observe is that there is an air of hocus-pocus about it: something reminds one of the conjuror we who brings things out of a hat………So the reader if he has a robust sense of reality, will feel convinced that it is impossible to manufacture an infinite collection out of a finite collection of individuals, though he may not be unable to say where the flaw is in the above construction.’

the point is that a selection of individuals may be classified – in any number of ways

that is to say there is no definite description of anything

are we then to say there is an infinity of classes?

which is to say – an infinity of descriptions?

we might well be tempted to adopt such terminology –

therefore the question is – if there is no definite description is there an infinite number of descriptions - of any one thing – of any collection of things?

you see the trick here – and its crucial – its crucial to the whole of mathematics – to logic – to life itself – is to recognize what you don’t know

we cannot say in advance whether there is or there is not a limit to description

we just cannot say

the answer to such a question presumes a Spinozistic axiom – sub specie aeternitatis

that is the point of view of infinity – or as some have called it the ‘God’s eye view’

no amount of clever theoretical construction will get us to this height

but the result is not that we can therefore assume endlessness or infinity

it is that we cannot say

we cannot say because we do not have the vantage point required – and I would say such is logically impossible

the point being you cannot be inside reality and outside of it at the same time –

and there is no sense at all to the idea of being outside of reality

we may wish to know if there is a limit or not to things -

and for some the argument that we cannot is a source of woe

for me it is the ground of all wonder and creativity – I like it

be that as it may –

my argument is that the object of knowledge is the unknown

that the very reason for knowledge is the fact that reality is unknown

we make it known via our description and we do this in order to operate with it effectively

as there is no gold stand in human affairs – the issue is always alive

and for this reason we must continually describe and re-describe the world we live in

this does mean that the world is ‘infinite’ – or that it is finite – it is rather that it is undetermined


what is clear is that at the basis of this infinity argument of Russell’s is a confusion between the indeterminacy of description – which is the reality – and this fantasy of infinity – which is really just a misunderstanding of the unknown

and coming up behind this confusion is the mistaken belief that the class is some kind of ideal – real entity that reflexes infinitely into itself – therefore continually creates (infinite) reality

a class is an act –

any act is determinate – in the sense that its purpose is to determine –

the indeterminate

there is a natural end to this action – it’s called death

Russell goes on to introduce the issue of logical types

the necessity for some such theory he says results for example from the ‘contradiction of the greatest cardinal’

he argues that the number of classes contained in a given class is always greater than the number of members of a class

but if we could – as argued above – add together into one class the individuals, classes of classes of individuals etc

we should obtain a class of which its own sub-classes would be members

the class of all objects that can be counted – must if there be such a class – have a cardinal number which is the greatest possible –

since its subclasses will be members of it – there cannot be more of them – than there are members

hence we arrive at a contradiction


my view is there is no greatest cardinal – for there is no one classification that covers all possibilities – in which all possibilities are contained

the idea of such is really just the extension of the idea of order – to cover all possibilities

in real terms we only ever deal with parts of reality – sections – sequences

in a world with a greatest cardinal there would be no movement – no action – no mathematics

cardinals are class dependent – a cardinal is a description of a class –


there is no real sense to the idea of the class of all classes –

that is a classification of all classifications

such an idea is a misuse of class


another way of looking at it would be to say the class of all classes – is really a description of all descriptions

which is to say what? – that they describe

that is that a description is a kind of action

and in describing all descriptions – all you are doing is describing

or more technically – describing describing

which is simply – to describe

that is the description of all descriptions is an empty exercise


Russell goes on to say in considering this he came upon a new and simpler contradiction –

if the comprehensive class we are considering is to embrace everything – it must embrace itself as one of its members

if there is such a thing as ‘everything’ – then ‘everything’ is something and a member of the class of ‘everything’

but normally a class is not a member of itself

if we then consider the class of all classes that is not a member of itself –

is it a member of itself or not?

if it is – it is not a member of itself

if it is not – it is a member of itself


now in my opinion – this is the kind of mess you get into when you reify classes –

that is when you forget what you are doing is classifying – performing an action – the point of which is to bring things together – to create some order

even if you are to go with Russell’s metaphysics of classes –

the solution is obvious – a class is not a member of itself

which is to say the class is not one of the things classified – in the act of classification

this needn’t be put as another axiom of set theory – it is plainly obvious – if you understand – that is correctly describe what you are doing when you make a classification

the act is not that acted upon

to suggest so does result in incoherence


ok

Russell began this argument – in connection with the concept of ‘everything’

the class of everything is a member of itself

what is clear is that the description ‘everything’ – if is it is a description – is not closed

that is to use Russell’s terms – it does not ‘embrace’

it is of necessity an open concept

or if you like it is a non-definitive description

or in Russell’s terms it is an open class

which if it be so - is a different type of class – even a unique class

it is easy to see how some would say it is not a class – a classification at all –

just because it is a non-closed description

and the whole point of description as with class one would think is that it is closed

the other way to go is to say – well ‘everything’ – is not a class – is not a subject of description

that is everything but everything is –

the simplest point here is to say – well it’s a grammatical issue

we have a word here – which is as common as patty’s pigs – but it actually has no meaning

it refers basically to what cannot be classified or described

one thing is clear though – and this should be no shock to anyone – we do indeed need such a word

and if everyone who used it recognized that it is a word without meaning – then the world might be a better place

there’d be more dancing in the streets

what I am getting at really is that ‘everything’ and any other word of a similar logic – refers to the unknown

it is if you like a somewhat more interesting – perhaps more vital – description of the mystery

there really is no drama in including yourself as part of the greater unknown

the problem only occurs if you think you have a special place and a special status –
that you can in some sense stand apart –

and in response to this King Solomon was heard to say – all is vanity –

which if my analysis is right – is just to say the issue is open and never closed

everything is without bounds

after further discussion Russell has this to say –

‘If they are valid, it follows there is no empirical reason for believing the number of particulars in the world to be infinite, and that there never can be; also there is no empirical reason to believe the number to be finite, though it is theoretically conceivable that some day there might be evidence pointing, though not conclusively, in that direction.

From the fact that the infinite is not self-contradictory, but is also not demonstrable logically, we must conclude that nothing can be known a priori as whether the number of things in the world is finite or infinite. The conclusion is therefore to adopt a Leibnitzian phraseology, that some of the possible worlds are finite, some infinite, and we have no means of knowing to which of these two kinds of possible worlds our actual world belongs. The axiom of infinity will be true in some possible worlds and false in others; whether it is true or false in this world, we cannot tell.’


in essence this is the line of my argument – that we cannot know if the world is finite or infinite

after all the rubbish that has preceded in this book – I was more than surprised to come upon the above statement

as to the Leibnitzian argument of possible worlds – there is nothing to be gained by the attempt to give imaginative fiction the status of high logic

possibility in this context and its bastard children – possible worlds – are really no more than the attempt to dress up the unknown - and present it as something it is not –


© greg. t. charlton. 2008

Russell on mathematics XIV

Russell: introduction to mathematical philosophy:
incompatibility and the theory of deduction


by ‘incompatibility’ Russell means that if one proposition is true the other is false

this is obviously a form of inference

it is the incompatibility of truth values

he notes that it is common to regard ‘implication’ as the primitive fundamental relation that must hold between p and q if we are to infer the truth of q from the truth of p – but says for technical reasons this is not the best primitive idea to choose

before coming to a view on the primitive idea behind inference he considers various functions of propositions

in this connection he mentions five: negation, disjunction, conjunction, incompatibility and implication

first he puts forward negation – ‘~p’

this is the function of p which is true when p is false and false when p is true

the truth of a proposition or its falsehood is its truth value

next he considers disjunction – ‘p or q’

this is a function whose truth value is true when p is true and when q is true – false when both p and q are false

conjunction – ‘p and q’ – its value is true when both propositions are true – otherwise it is false

incompatibility – i.e. when p and q are not both true – this is the negation of conjunction

it is also the disjunction of the negations of p and q i.e. ~p or ~q

its truth value is true when p is false and when q is false – it is false when p and q are true

implication i.e. ‘p implies q’ or ‘if p then q’ – that is we can infer the truth of q if we know the truth of p

all five have this in common – their truth value depends upon that of the propositions which are their arguments

a function that has this property is a truth function

he says it is clear that the above five truth functions are not independent – that we can define some in terms of others

Russell chooses incompatibility as the indefinable

incompatibility is denoted by p/q

the next step is to define negation as the incompatibility of a proposition with itself – i.e. ~p is defined as p/p

he then goes on to define disjunction implication and disjunction in this manner

but the first step needs to be looked at carefully

that is negation as p/p

now Russell has put the idea that negation is the incompatibility of a proposition with itself

clearly what this presumes is that incompatibility is a relation –

and clearly this is so

the point though is that a relation here holds between propositions – it is propositions that are incompatible

and this is what is put forward in connection with disjunction implication and conjunction

for clearly disjunction implication and conjunction – are relations between propositions

so the idea of incompatibility on the face of it can be applied to these relations – just because they are relations

but negation?

negation is not a relation between propositions

and more to the point – negation is not a relation

secondly propositions have relations with other propositions

that is the only way in which a relation can exist – between propositions

a proposition does not have a relation with itself

it is not possible for a proposition to ‘have a relation’ with ‘itself’

for there is no ‘itself’ to a proposition

a proposition does not have a self – that it can relate to

God knows what the ‘self’ of a proposition is supposed to be

this idea of a proposition having a relation with itself is just nonsense

a proposition in the broadest sense of the term is a proposal

and as to proposal – in the broadest sense of the term again – it is an action

to negate a proposition is to deny it

that it is to say ‘it is not the case that p’

it is to determine the proposition negatively

if you begin in an argument with p

and then assert ~p

the assertion of p is one action

the assertion of the negation of p is another

yes these two propositions can be related

but the second one – the negated proposition

does not have a relation with itself

it is in every sense a separate proposition

the assertion of a proposition and the negation of a proposition are two different logical acts

the upshot of this that Russel’s theory of incompatibility collapses

incompatibility cannot be applied in the manner he wishes to apply it

and for this reason his account of incompatibility as the primitive idea of inference cannot go forward

Russell says of incompatibility it will be denoted by p/q

negation is p/p – disjunction is the incompatibility of ~p and ~q i.e. (p/p) / (q/q)

implication is the incompatibility of p and ~q i.e. p / (q/q)

and conjunction the negation of incompatibility i.e. (p/q) / (p/q)

so in all but conjunction propositions are rendered incompatible with themselves

and in the case of conjunction what you effectively have is the incompatibility of incompatibility

i.e. – incompatibility is incompatible with itself

this rendering of the various types of inference in terms of incompatibility makes the notion of inference incomprehensible

it brings inference to a dead halt

why incompatibility?

Russell italicizes ‘truth’ in his statement ‘…..it seems natural to take “implication’ as the primitive fundamental relation, since this is the relation that must hold between p and q, if we are able to infer the truth of q from the truth of p.’

now he rejects implication as the primitive

is this because he thinks that implication only applies when the truth value is true?

that is he rejects it on the grounds that it does not apply when the value is false?

it does seems clear that he regards implication proper as only applying in the case of where the issue is truth

and yet at the same time he calls for the ‘widest sense’ of the term.

now the problem with this view is that it ties implication – it ties inference - to truth value

it says only given these truth conditions does this inference occur – or can occur

this to my mind confuses and conflates truth conditions and inference

or to put it another way an inference is a logical act – that is made or can be made regardless of the truth conditions of the propositions involved

and so I would put that we can use implication just as well when the subject is falsity as when it is veracity

there is not a problem with if p is false q is true or if q is true p is false

the general point is that inference – the logical act of inference – is independent of the question of truth value

Russell’s mistake with implication was to limit it to inferences where the only value is truth

to account for falsity in implication he came up with incompatibility

now as I have argued the idea of a proposition being incompatible with itself makes no sense

and furthermore it is not necessary to entertain this concept if truth value is not tied to inference

this is not to say the two cannot be formally related – for this is the issue of validity or invalidity

there is also a more general point to be made about Russell’s incompatibility thesis –

the idea is to find a primitive truth function in terms of which the other truth functions can be derived

the fact of it is though that incompatibility is not on the same logical level as conjunction disjunction and implication

it is clearly a derived truth function

the use of negation in its formulation indicates it is a secondary construction

now straight up – a secondary construction by definition will not serve as a primitive

that is it will always be shown to be reducible – and for that reason fail as a primitive

the question then - is implication the primitive that Russell was seeking?

now that we have removed incompatibility from the equation does implication do the job?

that is can we translate conjunction – disjunction and incompatibility into implication?

we can indeed –

conjunction - if p and q are true the inference is true – if either p or q is false the inference is false

disjunction – if p or q is true then the inference is true – but if p or q are false – the inference is false

incompatibility – if p or q is false the inference is true – if p and q are true – it is false

and the great advantage of the form of implication is just that it really does make clear the separation of inference and truth value

that is it quite literally leaves the question of truth value up in the air

and there is a real intellectual honesty built into implication – the issue of truth and falsity is in the inference left undecided

that is we can make the inference without necessarily knowing the values

it is beautiful in the sense that we can infer without hesitation in a state of uncertainty

in fact the state of uncertainty becomes and is the ground of inference

in logical terms this action demands that it is performed without prejudice

on this view – what is primitive to inference is uncertainty

that is once you make the move to implication as the general form of inference – uncertainty is revealed as the ground of inference

this I think injects health into logic – puts life into it

certainty is a corpse

however it must be remarked that such a view is at odds with standard or given view of deductive inference

Russell says:

‘In order to be able validly to infer the truth of a proposition, we must know that some other proposition is true, and that there is a between the two a relation of the sort called “implication”, i.e. that (we say) the premise “implies” the conclusion.’

my argument is that in implication the truth values of the propositions are conditional and are conditional in relation to each other

and the real point of this is that in implication per se nothing is decided in terms of truth value

when we imply we are effectively leaving open the question of truth

Russell’s argument above is that to infer the truth of a proposition we must know that some other proposition is true

but this I think is wrong

it is not that we must know – it is rather if p is true – then q is true

here the truth of p is an open question

now if you accept the view that deductive inference is implication – and that all forms of deductive inference can be seen as instances of implication

then deductive inference does not depend at all on the truth value of the propositions

rather it only depends on the possibility of truth value

now on such a view of deductive inference – it would seem that validity is never at issue

or to put it another way a conditional argument is neither valid or invalid

what I am getting at in general is that what logic does is not provide us with knowledge – what is does is spell out the conditions for knowledge

and the basis of conditional arguments is uncertainty


© greg.t. charlton. 2008.

Russell on mathematics XII

Russell: introduction to mathematical philosophy:
selections and the multiplicative axiom


Russell argues –

the problem of multiplication when the number of factors may be infinite arises in this way -

suppose we have a class k consisting of classes

suppose the number of terms in each of these classes is given

how shall we define the product of all these numbers?

if we frame the definition generally enough – it will be applicable whether k is finite or infinite

the problem is to deal with the case where k is infinite – not with case where its members are

it is the case where k is infinite even when its members may be finite that must be dealt with

to begin let us suppose that k is a class of classes – in which no two classes overlap

say e.g. electorates in a country where there is no plural voting

here each electorate is considered to be a class of voters

now we choose one term out of each class to be its representative – as i.e. – when a member of parliament is elected

in this case with the proviso that the representative is a member of the electorate

we arrive at a class of representatives who make up the parliament

how many possible ways are there to choose a parliament?

each electorate can select any one of its voters – and if there are u voters in an electorate - it can make u choices

the choices of the different electorates are independent

when the total number of electorates is finite – the number of possible parliaments is obtained by multiplying together the numbers of voters in the various electorates

when we do not know whether the number of electorates is finite or infinite –

we may take the number of possible parliaments as defining the product of the numbers of the separate electorates

this is the method by which infinite products are defined


my thoughts are –


if we don’t know whether the number of classes (electorates) is finite or infinite – then quite simply and straight up we don’t know

whether they are infinite or not is not the issue – the issue is that we don’t know the number

now in such a case we cannot know the number of possible parliaments –

for in terms of the above argument – the number of possible parliaments depends of the number of electorates


the fact is you cannot multiply the unknown and expect its product to be known


Russell introduces possibility here as a something like a ‘known unknown’

it’s a trick to get past the fact that there are no infinite classes

the fall back position appears to be possible classes – and the idea is that possibles have numbers

which is really no more than to say the unknown has a number

if Russell was to accept this argument he would have to accept that mathematics is right back to square one – where you start – with the unknown


Russell goes on –


let k be the class of classes – and no two members overlap

we shall call a class a ‘selection’ from k when it consists of just one term of each member of k

i.e. u is a ‘selection’ from k if every member of u belongs to some member of k and if 'a' be a member of k – u and k have exactly one member in common

the class of all ‘selections’ from k we call ‘the multiplicative class’ of k

the number of terms in the multiplicative class of k - i.e. the number of possible selections from k is defined as the product of the members of the members of k

the definition is equally applicable whether k is finite or infinite


in response –

the first point is that this notion of class of classes -

a classification of all classifications

is what?

it is nothing -

we can ask – is the class of classes – a member of itself?

as many have –

my point though is that there is no sense to the idea of being – a member of itself

a classification is an action – you can represent it as an enclosed entity – but this is logically speaking a misrepresentation

something of the picture theory of the proposition seems to operate here


anyway –

to this notion of ‘selection’

this is a purely arbitrary devise designed to give the impression that we can operate with infinite classes

that is that we can make a selection – and operate with it as if it is definitive

my general argument is that there is no such thing as an infinite classification

a classification is closed – infinity is not – the two concepts cannot go together – without contradiction

and really – the truth be known a ‘selection’ cannot be made – for what is there to distinguish in infinite classes?

and if there is no distinction – there is no ground for ‘selection’ -


‘the product of the members of the members of k’ – is the multiplicative class of k

what you have here is a statement of the multiplication principle in a context where it cannot make any sense

the statement of the principle is ok – but it has no application in the world of infinite classes

this is no argument against the principle

rather it is an argument against its misapplication


the point that comes out most clearly for me is that the attempt to apply the multiplication principle in the (imaginary) context of infinite classes – shows quite clearly just how useless the is whole idea of infinite mathematics is -

it doesn’t work – and using various devises to prop it up – only results in demonstrating its impotence – and showing that it is not worthy of genuine mathematical intelligence



© greg. t. charlton. 2008.

Russell on mathematics XI

Russell: introduction to mathematical philosophy:
limits and continuity of functions


Russell is here concerned with the limit of a function (if any) as the argument approaches a given value

and also what is meant by continuous function

the reason for their consideration is that through the so-called infinitesimal calculus – wrong views have been advanced

it has been thought ever since Leibnitz that differential and integral calculus required infinitesimal quantities

Weierstrauss proved that this is an error

limits and continuity of functions are usually defined involving number

this is not essential as Whitehead has shown

consider the ordinary mathematical function fx – where x and fx are both real numbers – and fx is one-valued –i.e. – when x is given there is only one value that fx can have

we call x the argument – and fx the value for the argument of x

when a function is ‘continuous’ we are seeking a definition for when small differences in x – correspond to small differences in fx

and if we make the differences in x small enough – we can make the differences in fx fall below any assigned amount

the ordinary simple functions of mathematics have this property - it belongs to x², x³,…….log x, sin x, and so on

for discontinuous functions consider the example – ‘the place of birth of the youngest person living at time t’

this is a function of t - its value is constant from the time of one person’s birth to the time of the next birth

and then the value of t changes suddenly from one birthplace to another

a mathematical example would be ‘the integer next below x’ – where x is a real number


Russell’s argument is that there is nothing in the notions of the limit of a function or the continuity of a function that essentially involves number

both can be defined generally

and many propositions about them can be proved for any two series – one being the argument series – and the other the value series

the definitions do not involve infinitesimals

they involve infinite classes of intervals – growing shorter without any limit short of zero

but they do not involve any limits that are not finite

this is analogous to the fact that if a line an inch long is halved – then halved again – and so on indefinitely

we never reach infinitesimals this way

after n bisections – the length of our bit is ½n of an inch – and this is finite – whatever finite number n may be

infinitesimals are not to be found this way


ok – just a few thoughts -


infinite classes of intervals?

what you have is repetitive action that is progressive – in the case of a continuous function – the progression is continuous – in the case of a discontinuous function – it is discontinuous

hence – as Russell goes to quite a lot of effort to show – continuity (and discontinuity) are attributes or descriptions which are determined by the relations within a function

his definitions of continuity are really no more than second order descriptions of what occurs in various types of continuous function

the limit of such progressions is an issue of contingency – that is the possibility of performance

such a limit cannot be set in advance – or in concrete as it were –

the question of operation is an open question

it will depend on the state of the science of the day – in practise this means the theory of technology and its practise

so we cannot in advance assume that an operation is finite in the sense that it comes to a natural end of action –

you just have to see in practices what happens – and what in a predictive sense is possible

we can discount infinite operations as such - just in terms of the finite capabilities of human beings

infinity here – or the infinite performance of an operation – is really no more than keeping an open mind on contingent possibilities –

in general we can say the limit of a function and /or the continuity of a function is in any final sense unknown

practise determines these conceptions and the matter is finally undetermined

the point of contingency is just that it is undetermined – that its possibility is unknown


Russell is correct in dismissing infinitesimals

however his argument of infinite classes of intervals is wrong headed

first up the idea of infinite classes is based on a logical error

a class is a classification – it is an action – it is not an ideal entity – despite the fact that we characteristically speak of it in substantial terms –

this is no more really than a problem of grammar

the argument for infinity in this context is the argument of reflexivity –

the idea that a class can ‘reflex into’ itself

and such an idea presumes that a class has a dimension that is ‘itself’

what is to be meant by ‘self’ in this context?

clearly - a class x¹ within a class x – that is identical to x

this presumes the relation of identity

a relation exists if it exists between unique – that is distinct entities

there is no such thing as the relation of identity

an entity is not identical with itself – and not identical with an other thing

identity is a false relation

this is not to say that we can’t speak of equivalence in a mathematical sense

a classification of entities which has 10 members – can be regarded as equivalent to another classification that has 10 members – in terms that is of its membership number

but in such a case there is no question of the identity of entities

as I see it the great beauty of mathematics is that it enables a simple an elegant language of relations via number theory - that it completely dispenses with such questions as that of the substance of entities -


mathematics has really nothing at all to do with substance issues - it is the language of activity

and to my mind the theory of classes – and of infinite classes and numbers that Russell endorses and develops – brings the activity to a dead halt –

the reason being that such a theory of mathematics is really based on scholastic metaphysics – i.e. notions such as identity and self identity – which to my mind have no place in mathematics to begin with


a classification being an action – even if we were to hold with some metaphysical theory of identity – it is hard to see how it could be applied to classes

also let’s be clear about reflexivity –

reflexivity – if it is to mean anything is an action –

the idea that anything reflexes into itself presumes that the entity is active

that is that it performs actions

a class is an action – but it is as it must be an action performed

the result of such an action – i.e. the collecting of things together – does not go on to perform actions

which is just to say that an action – to be an action has a natural terminus

reflexivity is supposed to be the action that enables infinity – it presumes ‘self’ –and is apparently an action that no one actually performs

and further is not performable

not really a good bases for a theory of mathematics


so to get back to Russell – there are no infinite classes – and therefore no infinite classes of intervals


© greg. t. charlton. 2008.

Tuesday, November 11, 2008

Russell on mathematics X

Russell: introduction to mathematical philosophy:
limits and continuity


Russell says –

the notion of ‘limit’ is a purely ordinal notion – not involving quantity

what makes אₒ the limit of finite numbers is the fact that in the series it comes immediately after them – which is an ordinal fact – not a quantitative fact


an ordinal issue yes – but what is missing from Russell’s analysis here is the fact that any limit is a fact of action and decision

there is a sense in which this issue of limits gains some prominence in mathematics – once the argument for infinite classes / series and numbers goes through

the reality is an infinite series is not one that qua infinite can be dealt with

for an infinite series to be functional – its infinity has to be effectively denied in an operational sense

and so some account of limit must be advanced – just to make any operation feasible

limits are drawn in order for operations to take place – (or for them to be conceptually valid)

given that this is the day to day business of mathematics – you might ask the question – what value the idea of the infinite – in any of its manifestations?

and it is worth pointing out that its foundation is a rather bizarre notion – the idea of reflexivity

reflexivity is not an action that anyone actually performs

it is an attribute of a class

to understand this you need to think of a class as something other than an action of classification – you need to regard it as an ideal entity – and one that ‘reflexes’

yes reflexes – has the potency to reflex into ‘itself’ – endlessly or infinitely

this is the idea

quite a lovely notion from the point of view of imaginative fiction – worlds within worlds

but one that has no relevance for the action of mathematics

the idea that we can speak of a class – and the class has having a ‘self’ (itself) that it in some magical manner reflexes into – is a ridiculous notion – that has its origin in the reification of classification

that is in the idea that a class is a thing of some kind

a class – let’s not get hoodwinked by grammar – is an action

ordering is a kind of action

and the marking of any such ordering is a primitive set of actions

it is mathematics

understanding mathematics is essentially the same as understanding the markings and the symbols of a primitive tribe

that is understanding the use of ‘special’ syntax – in this case primitive syntax – that is logical syntax

my argument against infinity mathematics is that it is just verbosity – that has no actual – practical value

it is in fact a whole branch of mathematics based on a logical mistake – or series of mistakes


anyway back to limits – and Russell’s arguments here –

he says there are various forms of the notion of ‘limit’ of increasing complexity –

the definitions are as follows –

the ‘minima’ of a class a with respect to a relation P are those members of a and the field of P (if any) to which no member of a has the relation P

the ‘maxima’ with respect to P are the minima with respect to the converse of P

the sequents of a class a with respect to a relation P are the minima of the
‘successors’ of a – and the ‘successors’ of a are those members of the field of P to which every member of the common part of a and the field of P has the relation P

the minima maxima and the sequents are simply descriptions of the boundaries of a class – what is included in it and its range

the making of a class is an action of classification – we can as it were describe the class after the fact of its making in terms of its boundaries – in relation to a (greater) field

such a description is effectively a description of the action of the classification

the action of making the class in a given field


in terms of Russell’s view of things these descriptions (minima, maxima, sequent) are basically ‘logical underpinning’ to the idea of class –

they are there to give the appearance of some kind of basis to this conception of class – the idea that the concept has logical foundation

and this logical foundation is to be found in the theory of limits

you see Russell as with Cantor and Frege thinks of the class as an ideal entity

if you understand it as an act – then the act of classification itself defines the collection – the class

and in such a case there is no point to the discussion of limits

unless of course there is a question of relation - of one class to another –

and in such a case the limits of one and the limits of the other will be apparent – as in obvious

there is in such a case no need for ‘after the fact’ descriptions and analyses

it just strikes me that this theory of limits is really just non-operational baggage


any class will be a limiting of a greater class - or put it this way – it can be seen in this light

the point being that it is all quite relative – it all depends finally on the reason for the class – for the classification –

one description will fit one purpose – and another purpose will demand another description – or indeed descriptions - if there is any demand for description at all

it is the purpose that determines the description – and in that sense the limits

on such a view there is no definite description of limits

any mathematical action will presume a field of discourse to begin with

how relevant that field is to the action will depend on the problem being addressed – and where it leads to

what I am getting at is that there is no field independent description of any class

a classification is an action in context – always

and generally speaking for the action to be performed the context is understood – if not entirely – in part

if it is understood that the act of classifying is primitive and necessary – there is little to be gained by speaking of it in a non-contextual manner – i.e. – so called ‘objectively’

on continuity –

continuity in my view is not a ‘natural’ attribute of mathematical entities in the way that ancestry might be regarded in families

continuity – is really a serial attribute – an attribute or characteristic of the making of a series

an attribute that is of a kind of action

there are going to be in this connection questions of the point of the series – and questions of its form – whether in fact it is a well formed series – but the general assumption in any rational series is that there is continuity

and I say this regardless of whether there are what Russell calls gaps

gaps just may be defining characteristics of certain kinds of continuous series

Russell says that our ordinary intuition regarding continuity is that a series should have ‘compactness’

well yes – this might be where one would naturally start – but this can easily be shown to have holes in it – as indeed Russell points out

continuity is determined – not by compactness – placement in relation to – but rather – reason for –

that is the act of placing in a series creates the continuity – assumes it –

the making of a series and the making of a continuity are effectively one in the same – though continuity is a broader concept – more general than series

and of course there can be argument about just whether the continuity argument of a series actually stands up – but that’s really another matter

once this is understood we don’t need to resort to the fiction of Dedekind cuts

I guess my point is that continuity is a characteristic – and essential characteristic of the series

we presume continuity in order for a series to ‘operate’ – to be

Cantor defines a series as ‘closed’ when every progression or regression has a limit in the series –

and a series is ‘perfect’ – when it is condensed in itself and closed – i.e. when every term is the limit of a progression or regression – and every progression or regression contained in the series has a limit in the series

in seeking a definition of continuity what Cantor is after is a definition that will apply to the series of real numbers – and to any series similar to it

in other words after Cantor needs a way of ‘defining’ real numbers so that they can function in a rational series

to my mind – shutting the gate after the horse has bolted – or perhaps trying to breed a new horse

Cantor’s closed and perfect series – really come from the shock discovery that our number systems need to work in the physical world – quite independently of their other - worldly qualities –

following on from this -

Cantor argues we need to distinguish between two classes of real numbers – rational and irrational

and the idea is that though the number of irrationals is greater than the number of rationals – there are rationals between any two real numbers – however little the two may differ

Cantor’s argument is that the number of rationals is אₒ

(אₒ in my view is something that means nothing – Cantor really is a master at making it look like something that means everything – when the occasion requires it)

the argument is אₒ gives a further property which he thinks characterizes continuity completely – namely the property of containing a class of אₒ members in such a way that some of this class occur between any two terms of the series – however close together –

the idea is that this property – added to perfection defines a class of series which are all similar and are in fact a serial number

this class Cantor defines as a continuous series

none of this actually establishes continuity – all it does is establish and define a series – or indeed a class of series –

and yes there is continuity in the series – but it is only because it is presumed that with a sequence of rationals – you have continuity

I am not against this assumption – in fact I am sure it is all that continuity is

Russell ends off with a shot at the man in the street and the philosopher –

‘They conceive continuity as an absence of separateness, the general obliteration of distinctions which characterizes a thick fog. A fog gives the impression of vastness without definite multiplicity or division. It is the sort of thing a metaphysician means by ‘continuity’, declaring it, very truly, to be a characteristic of his metal life and of that of children and animals.’

I take it Russell is referring here to substance theories where at the cost of continuity – discreteness is sacrificed

what gets me though is that at the same time he can with a straight face suppose that reflexivity is a logically coherent notion – enough to base a whole mathematics on

the idea that a class can ‘reflex’ itself into itself infinitely

the point is once you accept such a notion – class in fact has no definition

and the reason being – it is never complete – it is never well formed

you have no class – at the end or even at the beginning of such a process

as with the fog theorists – there is no particularity – no discreteness – with reflexivity it is destroyed from the inside

the point being reflexivity it is not a process – logical or not

hard to say what it is – perhaps it has a theological origin

continuity is away of seeing things

it is the assumption that the objects chosen for view are connected in a continuous manner

to understand this – you need to know when – under what circumstances there is a need for such a view

my point being – continuity is a conception – the very same things regarded as continuous for one purpose – may indeed be regarded as discontinuous for another

neither numbers (serial marks) or material objects are continuous or discontinuous

strictly speaking the best you can say is that their ‘natural relation’ is unknown

there are tasks that require us to regard their relation as continuous (or discontinuous)

to understand continuity – you have to understand its reason - its task



I will return to Russell's view of mathematics at another time


© greg. t. charlton. 2008.

Friday, November 07, 2008

Russell on mathematics IX

Russell: introduction to mathematical philosophy:
infinite series and ordinals


an infinite ordinal in Cantor’s and Russell’s sense is one which is reflexive

and a reflexive class we will remember from the discussion in the previous post is one which is similar to a proper part of itself

now my argument has been – and still is that there is no sense in this notion of a class being similar to itself

and this idea is the origin of the infinite class – and the infinite in mathematics

the reason it makes no sense is that – a class has no ‘self’ to be similar to

in the case where a class is ‘similar’– whatever this is supposed to mean – to another class – we are dealing with two classes – two classifications

a classification is just an operation of organization – of collecting

there is no entity as such that is a class – what is referred to as a class is in fact an action

granted we may represent the action diagrammatically – but this does make it something it is not

too much of the Cantor-Frege-Russell mathematics is buggered up by a substance theory of mathematical entities

numbers are not things – and classes and sets are not ideal entities

mathematics is simply a kind of action

as too the issue at hand – ordinals – as with cardinals it makes no sense at all to speak of infinite ordinals


in general we can say an ordinal number is defined as the order type of a well ordered set

and an order type is the set of all sets similar to a given set

sets are ordinally similar iff they can be put into a one to one correspondence that preserves their ordering


the question – is an order type a number – or rather a pattern?

the argument that it is a number comes from Russell’s argument that we can say one ordinal is ‘greater’ than another – if any series having the first number contains a part having the second number – but no series having the second number – contains a part having the first

the problem with this is that it really just identifies different collections

the fact that a sequence is common to two different collections – is irrelevant in terms of the character of the collections – that is the collections as whole collections

if you give a pattern a number – then you can give another pattern another number –

if one pattern is given the number 1 i.e. and another the number 2 – yes in terms of number theory – one is greater than the other –

this is all I think this idea of ordinal numbers as Russell puts it really comes down to – applying number theory to series and orderings –

and to my mind it is not a natural fit in the case of ordinals – that is patterns and pattern identification

(I will continue to use the terminology ‘ordinal number’ – with the understanding that what we are referring to is ordinal patterns)


a serial number is the name of a series – a mark for a series

a mark of the order of a series –

and yes we generalize this – to refer to any such ordering

this becomes the ordinal number –

it is important to realise that an ordinal number is only a number for an operation –that is the identification of such an ordered series


the ordinal number strictly speaking refers to a pattern

any number of patterns can be created – and named – thus given an identification

the question – is there a limit to the number of patterns (ordinal numbers) that can be made?

are we to say there are an infinite number of ordinal numbers?

what we can say is that there is an exhaustive number of ordinal numbers

that is to say the limit of ordinal numbers is a question of human endurance and purpose

this is not infinity

and the reality is that patterns will be identified for practical – that is real purposes

and in that sense then ordinal numbers are valid only for the purposes they serve

ordinal numbers that is must be seen as contingent –

that is as operations performed and identified for specific purposes

the fact that these patterns identified may in fact endure – is a fact of nature – in the fullest sense

that is how the world is

an enduring ordinal number is one that has high utility value


Russell says that cardinals are essentially simpler than ordinals – and on the face of it he has a point –

the cardinal identifies the number of a set – the number of its members

this would seem to be a simpler matter than identifying a pattern in an ordering

but once the identification is made – the result is the same –

separate classifications are given a common definition –

what we are dealing with here is different purposes – or different classes of purpose

cardinality is an identification of number of the membership

ordinality – can we say – the ‘character’ of the membership?


the idea of cardinal ‘number’ fits ok – but it is limited in its scope – the cardinal only identifies membership-number

ordinal numbers on the other hand open up the whole field of pattern mathematics

in this sense the ordinal is more significant


there is an argument too – that cardinals are in fact a subset of ordinals – in that the cardinal identifies a basic pattern in different classes

also it is worth asking the question – do ordinals put an end to number theory?

one gets the impression with Russell that the idea of the number must be maintained at any cost – any logical cost

the fact that he is even prepared to consider the notion of infinite numbers suggests a rather desperate hanging on – the full result of which is really the generation of a mathematics of irrelevance

after ordinals I see no reason to keep up the deception – ordinals are patterns – and we don’t need to continue to imagine they are numbers –

ordinals represent a post-number field of mathematics –


what is clear too is that we do not need to presume infinite classes to operate with ordinals

and in fact – the idea of infinite classes and infinite numbers – when you get the hang of ordinals – seems to be entirely irrelevant

the two subjects are best separated

the one ordinality - has a place in the real world of operating and defining –

the other - infinite classifications and numbers - has no utility value – and is best placed in the realm of imaginative fiction


© greg. t. charlton. 2008.

Monday, October 27, 2008

Russell on mathematics VIII

Russell: introduction to mathematical philosophy:
infinite cardinal numbers


the cardinal number as constructed is not a member of any series

therefore it is not ‘inductive’ in Russell’s sense of this term

the notion of series I would argue is by definition definitive

that is the idea of a series that doesn’t begin or end is senseless

the series of natural numbers – just simply is – ‘that series counted’

the point being the action of counting defines the series

or when the counting stops – for whatever reason –

the series is complete for that operation

the cardinal number of a given class is the set of all those sets that are similar to the given class

as I have argued this idea of ‘similarity’ depends on number – and therefore is not an explanation of number

the set of those classes that are similar to the given class – just is the number of those classes

i.e. if all the classes contain 10 members (and this is something we discover in the action of counting) then the cardinal number of the collections – is 10

Russell says –

‘This most noteworthy and astonishing difference between an inductive number and this new number is that this new number is unchanged by adding 1, or subtracting 1…….The fact of not being altered by the addition of 1 is used by Cantor for the definition of what he calls ‘transitive’ cardinal numbers, but for various reasons……….
it is better to define an infinite cardinal number as…….as one which is not an inductive number.’

on the face of it this is quite a bizarre definition

a cardinal number is not a series number

that is it is not a number in a series

the purpose of a cardinal number is not serial

the function of the cardinal number is to identify the number common to a set of classes

common that is to the collections in considerations

so – there just is – or there just would be no point at all in adding 1 or subtracting 1 – to or from this number

it is trivially true that it can’t be done – but the point is there is no reason to – there is nothing to add or subtract to or from a cardinal number

it is not a member of a series – on which such operations are to be performed

addition and substraction only make sense in terms of a series – of numbers in a series

the cardinal number is not such a number

now to go from this to the argument – therefore it is infinite

therefore it is an infinite number is absurd

and the point is this and it is crucial

there are no finite or infinite numbers

finity and infinity are not attributes of numbers

numbers are simply the markings of operations

in a repetitive series such as that of natural numbers you have a progressive operation and marks that identify such

we call such a series finite – because the action of marking cannot go on for ever

the idea that it might go on forever – as I have argued above makes no sense – for a series must if it is to be a series – be defined

what you have with a cardinal number is a non-serial number

it gets its sense from the fact that it refers to a class of series (plural)

it is an essential or ‘identifying number’ – that is its function

at the basis of Cantor and Russell’s argument is the Platonic like notion of the reality of numbers –

and as if this is not bad enough – then comes the epidemic of classes and then the pandemic of sets – that have been imagined to somehow – and not at all in a successful manner – to give reality to number

the class idea as I have argued depends on number – it doesn’t establish it –

but these fantasies of class set and number are adopted ‘in re’ as you might say –

and so it might seem that there are different kinds of these things - numbers – just as there are different kinds of objects in the real world – the unimagined world –

the point I would also wish to make is that the properties of a number are determined by its function – what it is designed for – or determined to do – what function it is to fulfil

seen this way the notion of ‘infinite number’ – Cardinal or whatever – makes no sense

that is what sense an infinite operation?

as any ‘properties of numbers’ are in fact properties of use

so on such a view the issue of aligning the so called properties of natural numbers – with i.e. cardinal numbers – does not arise

an operation by its very nature is a defined action

and mathematics the primitive marking of such action

at this level – for all intents and purposes – there is no difference between action and its marking

the action of numbering is the making of numbers

we have if you like descriptions of ‘natural usage’ and descriptions of cardinal usage

it is thus clear that where there are different usages there will be different numbers

to understand the difference you need to see what different operations are being performed

i.e. – on this view Peano’s axioms do not define ‘natural number’ in the sense Peano intended – which is that there are these things ‘numbers’ that ‘have’ these properties

I argued above that ‘0’ is not a number – that Peano does not actually define number – rather he assumes it – really as an unknown and that ‘successor’ depends for its coherence on the presumption of number

so I have an argument with Peano

but yes in the series of natural numbers we do have succession

my point here is that ‘the successor of’ is not a characterization of a number –

it is a characterization of the operation – or action with numbers

it is a characterization of a certain usage

a characterization that is not present in – not required by cardinal usage

different task – different number

you can say any mathematical act is an act of ordering

and in this lies the unity of mathematics

but clearly there are different possibilities in the action of ordering – different ways to order

these different ways are responses to different needs – different objectives

you can define ordering – mathematics – in terms of different kinds of order

e.g – you can say – to order is to relate

my view is that ordering and the act of mathematics is primitive

that is to say it has no explanation

we know what we do when we order – when we act mathematically

we ‘see’ it in the marks made – and the operations they represent

these acts are the basis of mathematics

any so called ‘meta’ descriptions of such activity have the epistemological status of metaphor

that is – poetry

the best example of this is Russell’s argument that class defines number when number is used to define class

poetry – though Milton it’s not

any way back to Russell -


a reflective class is one which is similar to a proper part of itself

this notion is based on the idea that x can have a relation to itself

so it is the view that a relation need not be between different entities –

a relation can exist ‘between’ an entity…….

naturally we want to say here ‘…….and itself’

for even in the argument that there is such a thing as a relation ‘to itself’ –

we can’t avoid referring to the entity as something else

the reason being of course that a relation is ‘between’ and for there to be a relation between you must have at least two entities – that are distinguished – as particulars – as individuals

so what I am saying here is that the idea of a relation between x and itself – makes no sense

x if it is to be placed in a relation – is placed in a relation to ~x – whatever that might be

so as I have put before this ‘similarity’ argument is - really just a con – and not a particularly clever one either – that comes from bad thinking

and its origin is in taking the idea of class - way too seriously – giving it an importance and status in logic – it just doesn’t have –

and as a result misunderstanding it – as a logical entity – when in fact all it is – is an action of collection – a form of ordering

when understood for what it is – it is clear that there is no sense in saying that an action (of classifying) is similar to itself

you might argue it is similar to something else – i.e. – some other action of ordering – but to itself – that is just gibberish

there is no relation between a thing and itself

so I argue right from the get go that the notion of a reflexive class –

as that which is ‘similar to a proper part of itself’ – is just bad thinking

it’s garbage

a collection of things cannot be similar to a member ‘of itself’ –

for the entity (the member) is only a member in virtue of the fact that it ‘has been collected’

outside of the action of the collection – the collecting

there is no class –

the action of collecting – of classifying – ontologically is in an entirely different category – to the subjects of the act

a class is not an entity – it is an action

an action on entities

for this reason the idea of a reflexive class – has no coherence at all

and with the end of the reflexive class – comes too – the end of the idea of reflexive cardinal number – as the cardinal number of such a class

Russell refers to Royce’s illustration of the map in this connection –

consider e.g. – a map of England upon a part of the surface of England –

the map contains a map of the map

which in turn contains a map of the map – of the map

ad infinitum

this is a delightful little argument – but it is rubbish

the map is only as good as its markings - as its syntax

if the map of the map is not actually in the map – its not there

that is the first point

and the thing is the map is not a representation of itself

in this case it is a representation of England

and further – the idea of a map of a map –

true this is an example of reflexivity

of apparently ‘creating a relation’ of an entity with itself

it is a version of the idea that x is included in x

(its amazing how much verbosity there is in a subject like pure logic)

and as such a misuse of the concept of inclusion

the real clear point is that there is no reason for a map of a map

what is the purpose?

and further – what would such a thing look like?

it would be a duplication of the map - verbosity

it could not be anything else

in that case you have – not a map of the map in Royce’s sense – rather a copy

Russell goes on to say -

‘Whenever we can ‘reflect’, a class into a part of itself, the same relation will necessarily reflect that part into a smaller part, and so on ad infinitum. For example, we can reflect, as we have just seen, all the inductive numbers into the even numbers; and we can, by the same relation (that of n to 2n) reflect the even numbers into the multiples of 4, these into the multiples of 8, and so on. This is an abstract analogue of Royce’s problem of the map. The even numbers are a ‘map’ of all the inductive numbers; the multiples of 4 are a map of the map; the multiples of 8 are a map of the map of the map; and so on.’

first up we cannot reflect a class into part of itself – a class may be included in another class – and this the proper use of inclusion – but a class is not a member of itself

and my general point is that nothing is included in itself –

for there to be inclusion – there must be distinction and difference – at the first post

inclusion is a relation between things

this idea of a class and ‘itself’ – has no place in logic

a class – a classification is just that – an operation of ordering

it has no ‘self’

there is no entity residing in it

and this is obvious even if you do not accept my operational analysis of class

to suggest that there is ‘a self’ to class is to confuse it with consciousness

all we are talking about here is operations performed

and at some point it is worthwhile to ask – is this operation performable?

that is does it make any functional sense to think of an operation as an operation within itself?

the idea – the notion is absurd – an operation has no self – an operation is an action directed to – or out – not in

there is no ‘in’

this theory of class that Russell runs with is some kind of hangover from his Hegelian days I think


so a reflexive class as I have argued above is not a legitimate concept

a class that is ‘similar’ to part of itself

look all you can say here is that you have two classes – two classifications – and they have the same number of members

this is not one class ‘similar’ to itself

this is two classifications with the same number

the fact you can make any number of such classifications – that have the same number

does not mean in any way – that that number is infinite –

it is to imply the same numerical classification – repeated in different orderings

this is all Russell’s ‘abstract analogue of Royce’s problem of the map’ can amount to – different classifications with same number

repetition is the key concept here

not in any way as ‘sexy’ as they say these days – as infinite - but that is the end of it

again – mathematics – just is about operations

and to cut a long story short – there are no infinite operations

there are only genuine operations – and failed operations

the so called infinite operation – is a non-operation

so perhaps 0 is the only ‘infinite’ number?

for the idea of infinite numbers – or infinite reflexivity to go forward

given the fact that there are no infinite operations

you need to give a ‘theoretical’ account of infinite operation

that is something that can go on in some sense without actually being performed

and to the service of this issue the idea of progression is brought to bear

the infinite ‘operation’ that no one performs – that is without end

what number do you give such a progression?

the unknown number –

the number that is not a number

that is not a member of any genuine series

for if it was a mark in a real series – it would be a number – and known

my view is that progression is a linear serial action of repetition in time – and the marking of such an action

such an action can be progressive or retrogressive

that is you move from 0 in either a positive or negative direction

positive is defined as right of 0 – negative left of 0

markings to the right – positive numbers – and each number – its syntax – must be distinct

markings to the left – negative numbers

progression and retrogression are just basic linear (special ) orderings of repetitive action in time

a series is defined by its action

so a progressive series ends when its operation is complete – that is when the action stops

and the same of course is true of a retrogressive series

Russell I think imagines that mathematical induction somehow enables automatic infinite generation of numbers

this just is what happens when you de-operationalize mathematics and place it in some theoretical no man’s land

where actually nothing happens - but the imagination can run wild – based as it happens on the operational model – but not in any real world

this is mathematics adrift from nature – nature as action

but the essential point is this – any progression is an action in a series of actions in space and time

in the world we live in – the world we know

we do not need to imagine an alternative reality – to do mathematics

the permanence and universality of mathematics comes from the syntax – the markings - the fact that they have a reality beyond their thought – and more to the point – the culture that ‘holds’ such knowledge as stable

and this amounts to – cultural repetition

and perhaps all this is backed up too by myth

the mythology of mathematics – which really originates from Pythagoras – the ideality – the transcendence of numbers

perhaps too to really understand the origin of this kind of thinking you would need to have a good look at the stability of the culture and society out of which it came

that is ask what social and cultural purpose did such thinking serve?

and most importantly what were the political and economic circumstances it was a response to?

in my view the psychological source of any transcendent argument is anxiety

anyway – but to Russell –who on the face of it seems to be anything but a victim of anxiety


Russell goes on to consider the definition of the number which is that of the cardinals

the first step he says is to define the series exemplified by the inductive cardinals in order of magnitude –

the kind of series which is called a progression

it is a series that can be generated by a relation of consectiveness

every number is to have a successor – but there is to be one with no predecessor – and every member of the series is to be the posterity of this term – with respect to the relation ‘immediate predecessor’

these characteristics may be summed up in the following definition: -

‘a progression is a one-one relation such that there is just one term belonging to the domain but not to the converse domain, and the domain is identical with the posterity of this term’

Russell’s concern here is with cardinal numbers –

since two progressions are similar relations

it follows their domains are similar classes

the domains of progressions form a cardinal number –

since every class which is similar to the domain of a progression –

is easily shown to be itself the domain of a progression

this cardinal number is the smallest of the infinite cardinal numbers - אₒ

to say that a class has אₒ terms is the same thing as to say that it is a member of אₒ -

and this is the same as to say -

that the members of the class can be arranged in a progression


my view here is that אₒ simply ‘defines’ the ‘fact’ of infinite progression

but can it really be called a number?

when all it is – is a symbol of the infinite progression - any infinite progression

it identifies the ‘idea’ of infinite progression

yes – you could say – therefore the number of infinite progressions - is a number

this is the idea

but really what you are talking about here is an infinite operation (though this is not what Russell or Cantor would say) –

and some kind of tag for it – ‘אₒ’

it’s an operation that cannot be performed –

a progression that in fact never progresses

still they want to describe it - as a number

as אₒ - aleph null –

actually the name is spot on

mathematicians spruiking the reality of reflexive classes infinite cardinal numbers and the like need to be reminded of the first commandment

and also perhaps to consider that they are in the wrong department –

perhaps there are some places left in the creative arts course 101 – imaginative fiction and abstract art


as far as infinite numbers – infinite classes go –

the simple truth is

the members of an infinite class cannot be counted

so they are by definition – uncountable numbers

infinity – the introduction of it into number theory results in the paradox – that infinite numbers are not countable

so they are numbers – that are not numbers

as far as the cardinal number אₒ goes – first up it is not a number – let alone the smallest of infinite cardinals

not only does infinity destroy numbers –

it makes class impossible

a classification for it to be valid must be closed

otherwise there is no class

the point being you cannot have an open class – an ‘infinite’ class

the idea of infinity in number theory results in non-classes – whose members are non-members

it’s a lot of nothing – an infinity of it – as it happens


Russell goes on to say –

‘It is obvious that any progression remains a progression if we omit a finite number of terms from it……These methods of thinning out a progression do not make it cease to be a progression, and therefore do not diminish the number of its terms, which remain אₒ……Conversely we can add terms to the inductive numbers without increasing their number.’

the brutal fact is the reason that the number of terms remains אₒ - is because there are no terms – you add or subtract to nothing – there is no change – nothing is nothing

אₒ represents – nothing –

there is no progression here – there are no numbers – there is no class –

there is just a collection of logical mistakes –

the first is that there are such things as numbers that are not countable

that there is a series (of numbers) – the members of which – though not countable – have a number

that we can call this - undermining of number theory – the making of – infinite numbers

there is no infinite number – for there is no infinite operation

if you persist with this talk of the infinite – of infinite numbers – it is an easy step to theology

in fact this is really where all this garbage belongs

and could it not be asked – well is not God the infinite number – the infinite operation?

or in a related manner – in terms of Spinoza’s idea of substance – could it not be asked – is not reality itself – infinite – and its operations rightly given a number?

as you can see – in basics – no different really to the line of Cantor and Russell

but the answer to this question is that beyond what actually happens – we don’t know

and the thing is that any talk of God as the infinite or as substance as the infinite - is no more than human vanity writ large – or just the refusal to accept that beyond our knowledge is the unknown – and the unknown is just that – without characterization – description – or number

the concept of infinity is really just the attempt to defy the reality of human limitation


Russell goes on to say –

it is not the case that all infinite collections have אₒ terms

the number of real numbers for example is greater than אₒ - it is in fact 2 to the power of אₒ

the domains of progressions from the cardinal אₒ

where אₒ represents the domains of progressions of inductive numbers

then yes the number of real numbers (any number represented as a non-terminating decimal) is relative to the progressions of inductive numbers – greater

this is really no more than to say that the number of real numbers is greater than that of inductive numbers

so really what is being argued here is that if you were to place real numbers as the domains of progressions – that is as an infinite cardinal - against inductive numbers as domains of progressions – as an infinite cardinal – then the infinite cardinal of the real numbers – is necessarily greater than the infinite cardinal of the inductive numbers

that is to say one group is greater than the other – therefore one cardinal is greater than the other

the argument here is that ‘greater than’ is a relation between classes – in this case inductive and real numbers

that is the class of real numbers is greater than the class of inductive numbers

the fact that these classes are infinite – is on this view – not relevant – to the issue of ‘greater than’

infinity is not relevant because it is not a discriminating factor – or a discriminating property – because both classes possess this property

therefore it is not what distinguishes them –

the distinction is between type of number – (real or inductive) – not to do with cardinality

cardinality here – it seems is not really – as might be thought – a matter of magnitude (greater than) – it is rather to do with the characteristic of reflexivity

my point is this - that if you hold with Russell and Cantor’s argument here – then infinity is not numerical – and infinite progression is best seen as something like an internal property – that real or natural numbers can have

it is like an internal repetition – but one that has no number

if that is the case you can say yes – the real cardinal is greater than the inductive cardinal – just simply because cardinality has nothing to do with it –

but if we want to go down this track – the cost is that there are no cardinal numbers

and certainly no relation of one cardinal being greater than another

if on the other hand you want to say an infinite progression or progressions can be given a number –

then you need to see that counting won’t do the trick

and then what is left?

to straight up argue that an infinite number – is not like any other number – countable – it is in fact uncountable – and this property of uncountablity – or would Russell say – non-inductiveness – is its essential property –

this I think would be an improvement on the argument Russell is offering

but the result is – still you cannot say any one instance of such - of the infinite number – is greater than another

for on the view I am putting there is only one infinite number

and if so – there can be no comparison of infinite numbers

so the idea of a mark that marks infinity – and we call this a number?

starting to get mystical in my old age –


Russell goes on to say –

'In fact, we shall see later, 2 to the power of אₒ, is a very important number, namely the number of terms in a series that has “continuity” in the sense in which this word is used by Cantor. Assuming space and time to be continuous in this sense (as we commonly do in analytical geometry and kinematics), this will be the number of points in space or of instants in time; it will also be the number of points in any finite portion of space, whether line area or volume. After אₒ 2 to the power of אₒ is the most important and interesting of infinite cardinal numbers.'

it just strikes me that infinity and the attempt to attach it to numbers – i.e. cardinal numbers results in the complete defunctionalization of mathematics

it really is all about pretending mathematics has a substance – and in this sense it is very similar to Spinoza’s idea of substance as the foundation of everything

Spinoza’s substance is – without substance – it is really just a term that refers to the unknown – but has the appearance of ‘substance’ – it’s an intellectual devise designed to give a foundation where there is none

and this idea that 2 to the power of אₒ has value in relation to the calculation of points in space is quite the sham

as soon as you introduce the notion of infinity – of infinite points – you forgo any possibility of calculation

as if this is not bad enough – the result is to make space into something it is not – that is something that we cannot – by definition define

and here I mean define in an operational sense

the infinite cardinal number is a dead number – it has no action and it refers to nothing

all you have with this Cantor–Russell view here is mysticism

it surprises me that Russell’s thinking in mathematics – is without any critical dimension

it’s as if his theory of mathematics is just a composition – with a tweak here and a tweak there – so that everything hangs together - reasonably well

there seems to no genuine questioning of the content of mathematical theory

very disappointing


Russell goes onto say –

‘Although addition and multiplication are always possible with infinite cardinals, subtraction and division no longer give definite results, and therefore cannot be employed as they are in elementary arithmetic’

contrary to what Russell asserts here the operations of addition and multiplication on infinite collections does not increase their sum

it is only with finite collections that there is any genuine increase as a result of the operations of addition and multiplication

an infinite collection if you believe that such exists is without limit – addition and multiplication can only be performed – with any genuine outcome - if the there are distinct finite collections

this does raise the question whether it is valid to speak of infinite collections – plural

the identity of indiscernibles is crystal clear here –

if there is nothing to distinguish two collections – there is only one collection

and of course at this point in the argument it is realized there is nothing actually being proposed

for in a case where there is only one infinite collection - it is clearly of no operational use – unless your are a Trappist monk

anyway Russell goes on to mention subtraction and division

subtracting 0 from 0 – leaves you with 0

and the same with division of 0 and 0

the point being there is nothing to subtract from – or nothing to divide in a infinite collection

that is there is nothing that you can take from an infinite collection – that leaves it wanting

and here if nowhere else the utter absurdity of this mathematics of infinity is patently obvious

there is no mathematics – no operations can be performed if you give up any sense of definition

and it is just that which is discarded with this rubbish of infinite numbers


reflexivity is based on a logical howler –

the idea that a something can be a member of itself

something – can only be a member of something else

Russell of all people should have known better


© greg. t. charlton. 2008.