Realism or Idealism?

Copyright 2017 Graham Berrisford. One of about 300 papers at Last updated 11/02/2018 17:29


This paper is an aside to the main path followed in related papers.

It pursues the debate as to whether types (or at least, some types) are universals.

Meaning that they exist in an ethereal and eternal form, independently of human thought.


The problem of universals (recap and abstract) 1

“Critical realism” (after Bhaskar, 1997) 1

Do descriptions exist before we make them?. 1

Do types exist before we make them?. 2

Some arguments for realism.. 2

One more argument – the objectivity of logical reasoning. 2

Which if any types exist before we make them?. 3

Is the circle type a valid scientific conjecture/hypothesis/theory?. 3

Conclusions and remarks. 3


The problem of universals (recap and abstract)

The debate here is not about whether reality exists independently of description (of course it does).

Or whether we can describe a given reality in one ideal or perfect way (of course we cannot).

The debate is only about whether some or all descriptive types exist as “universals.”

Does any type exist in an eternal ethereal form, outside of space and time, independently of life, thought and record of it?


The Stanford encyclopedia entry says “types are usually thought to be universals”.

This is clearly questionable in some examples (e.g. surely most would say “yellow” and “beauty” are psychological phenomena).

However, other examples (e.g. “even number” and “circle”) seem more convincing.


The “problem of universals” relates to the debate between idealist, realist and other philosophical positions.

Wikipedia (in 2017) referred to the “problem of universals” thus:

“Taking "beauty" as example, three positions are:

Platonic realism: beauty is a property that exists in an ideal form independently of any mind or description.

Aristotelian realism: beauty is a property that exists only when beautiful things exist.

Idealism: beauty is a property constructed in the mind, so exists only in descriptions of things.”


Others draw the idealism/realism distinction in other ways.

There seems little difference between idealism and what Bhaskar (1997) called “critical realism” (see below).


The Stanford encyclopedia entry presents the problem of universals thus:

“Since types are usually thought to be universals, the debate over whether they exist [independently of thought and life] is as longstanding as the debate over universals, and debaters fall into the same camps.

Realists say they do [universal exist independently of thought and life].

Nominalists who renounce universals and abstract objects, say they don't.

Conceptualists argued that there are no general things such as the species homo sapiens; there are only general ideas—that is, ideas that apply to more than one thing.”


The encyclopedia entry swiftly dismisses conceptualism (aka idealism) and ignores it thereafter.

But let us explore the idealist position here.

Idealism is not so much a philosophy as the stance taken by a psycho-biologist regarding semiotics and epistemology.

It is has no use for a type (concept or quality) that is not symbolised somewhere in space and time.

And since the notion of a “Platonic ideal” is not needed, it can be cut out using Occam’s razor with no loss to science.

“Critical realism” (after Bhaskar, 1997)

Critical realists are a mixed bunch, mostly people working in the social sciences.

There is no single framework, set of beliefs, methodology, or dogma that unites them

They draw from a pool of ideas each shared by some but not all who call themselves critical realists.

However, at the heart of critical realism is realism about the nature of things.

This “ontological realism” asserts that much of reality exists and operates independently of our awareness, description or knowledge of it.

And the realities we describe do not wholly answer to logical analysis or empirical research.


So, critical realists believe that things can exist before they are described.

And that our attempts to describe things are partial and flawed models of those things.

Which is exactly the same as the idealist position.


An idealist believes the type “circle” was created by an intelligence and is readily created anew if forgotten.

However, the concepts of circle and circumference could not exist before they were conceived.

And they will not exist after conceivers and all their records are destroyed.

Else we have to give a metaphysical meaning to "exist" which requires that all of the infinite types potentially created by man must exist forever.

Do descriptions exist before we make them?

Generally speaking, one description can be realised by many entities.

And one entity can be idealised in many descriptions.

But there is more to the relationship of description to reality than that.


Many natural systems we describe, such as the solar system, existed before life.

Or rather, the matter and energy they are made of existed.

Imagine you noticed Venus in the night sky before the type “planet” was conceived, named and defined

Then, you could describe it as a light in the sky, but could not describe it as an instance of the type “planet”.

Or else you could say, in a ridiculously redundant way:

·         “That light in the sky already instantiates all as-yet-undefined types that might be created or used to describe it in future.”


Before life, the structures and behaviors of the solar system were not named or typified.

Star gazers selected observable bodies that orbit the sun, named them.

They called them “wandering stars”, then “planets”, and gradually firmed up the properties that qualify a body as a planet.

Later, astronomers defined planetary orbits in mathematical equations – at first crudely and later more accurately.


Biology drives animals to remember, monitor and predict reality, but only just well enough to survive and reproduce.

Psychology drives humans to go beyond that, to model reality more accurately using types and laws that have been formalised and documented.

But even Newton’s laws of motion are not perfectly accurate.

And the planets’ orbits may not perfectly match current equations - there may be fuzziness in the matching.


You may envisage a final/ideal set of equations that will describe a planet’s orbit perfectly. (Cf. Charles Peirce’s “final interpretant”).

And envisage that refinement of current equations will bring us ever closer to that ideal.

However, every sun and solar system is continually changing.

Every planet’s orbit must be slightly different from the last – and may be disturbed by bodies surprisingly arriving from outer space.

Even for the duration of one orbit, could we ever devise equations that perfectly describe reality?

And by the way, where is the start and end of one orbit?

Do you still hold to the notion that the final/ideal set of equations you envisage already exists in some sense?

Do types exist before we make them?

Generally speaking, one type can be realised in many things.

And one thing can be idealised in many types.

But there is more to the relationship of types to things than that.


The type name “circle” is a signifier of a two-dimensional type that you know very well.

But there are no circles in the universe, because there are no two-dimensional things.

And considering those real-world things we call “circular” it seems probable that none are perfect circles – not a single one.


Despite the absence of any perfect instantiation, the “circle” type clearly does exist in our mental and documented models.

So, was it always there, waiting to be discovered?

Did it exist before people first abstracted the type from observing the sun and moon and drawing circles?

Before they derived the type from other mathematical types (plane, line, space, distance, point, equality)?


Many philosophical debates come down to arguments about what words mean.

In the text above, the words “type” and “exist” can both be interpreted in various ways – to be discussed.


It feels right that no concept can exist without a conceiver to conceive it; there can be no description without a describer to make it.

Yet it also feels right that concepts which are natural and important to us (like “circle”) are eternal.

Platonic realism can be characterised as the belief that types/concepts exist before they are conceived humans, or by any life form.

For example, a type like “beauty” or “circle” has always existed and will always exist, regardless of animal thought, communication or documentation.


Some mathematicians and philosophers like Roger Penrose have felt the need for a category of thing that might be called “objective non-physical”

This category, which includes concepts like “circle”, might be called neo-Platonic, and is discussed below.

Some arguments for realism


“Circle” exists because circular things are useful

Nothing in the real world is a strict instantiation of the “circle” type.

By contrast, there are countless things that are fuzzy instantiations of the "circle" type in the real world.

And many circular things – like the wheels of a car - are engineered into technological systems.

OK but, things that instantiate the types “hexagon”, “football” and “sandwich” are also useful.

It doesn’t logically follow that any of those types existed before they were conceived by mankind.


“Circle” exists because the type itself is useful

The “circle” type is certainly a simple and useful model of many realities.

OK but, the types “football” and “sandwich” are also useful.

It doesn’t logically follow that any of those types existed before they were conceived by mankind.


“Circle” exists because it has been created many times

The “circle” type is readily invented and reinvented by reasonably intelligent people. 

Presumably because roughly circular things are observable in nature, and the “circle” type is simple and useful

OK but there are many other types that pop up many times and in many places; including “good”, “evil” and “paradise”.

It doesn’t logically follow that any those types existed before they were conceived by mankind.


“Circle” exists because it is widely shared

School teachers spread the notion of the “circle” type.

Each teacher translates their mental model into a communicable model.

Each student translates that communicable model into their own mental model. 

OK but, many types, including cultural ones, and fake news, are widely shared knowledge through communication.

It doesn’t logically follow that any of those types existed before they were conceived by mankind.


“Circle” exists because it is so obvious it must have been out there waiting to be discovered.

OK but types like “beauty” are perhaps even more obvious.

And the universe contain many structures and behaviors that we perceive to be repetitions of a type.

Recognising similarities between things – and typifying them – has been vital to the success of the human race.

It doesn’t logically follow that the types that humans create existed before life, awaiting discovery.


“Circle” exists because we believe it; and we don’t need to see things to believe they exist

OK but still, to say something existed before life, we’d like some kind of evidence of its usefulness or existence then.

One more argument – the objectivity of logical reasoning

You surely doubt cultural types like “football”, “sandwich” and “unicorn” existed before human life.

You may doubt “beauty” existed before organisms evolved to find things attractive and repulsive.

But you may well believe a type can be regarded as objective and eternal if it can be presented as a result of mathematical analysis.


To be sure, we can not only define types using types, but we can derive one type from other types.

We can derive the “circle” type by combining logically related types (plane, line, space, distance, point, equality).


So, does “Circle” exist because it is objective rather than subjective?

This seems a circular argument, since it depends not only on other types also existing before life, but also logical reasoning.


What is logical reasoning?

I have struggled both to define and to place logic in the philosophy here.

You can read “Knowledge and Truth” for a little on the three “laws of abstract description, logic or thought.”

Even those laws are nowadays questioned. It may be proposed that all truths have a degree uncertainty.


What else can we say about logic?

A process flow chart is a logical type.

A person may instantiate that process type by performing the process instructions, step by step.

The performer starts with given instructions and variable types (axioms if you like).

Then proceeds by following the rules in the process flow chart.

The results of performing the process can be predicted from analysis of and reasoning about its logic.


All logical reasoning starts from axioms, considered obvious by somebody.

Then proceeds by following rules, also defined by somebody.

Does “objective” knowledge” exist only as a result of “logical reasoning”?

If yes, does that mean neither of them could exist before life? That does seem a plausible conclusion.

And does that mean both are products of Darwinian evolution? I think so. 

Which if any types exist before we make them?

There are several possible objections to the notion of a type being an ethereal or Platonic ideal.


Surely these are not eternal Platonic types?

·         “Unicorn”. To presume this type always existed is to presume an infinity of imaginary types have always existed.

·         “Pink”. Roses were pink before anybody saw them; but that does not mean "pink" existed before life, because it is an arbitrary label for a chosen range of colours.

·         “Beauty”. People disagree what qualifies as “beauty” and how to measure it.

·         “Planet”. Having typified Pluto as a planet, astronomers changed their type definition, and declassified it.


So, let us exclude types that can bring evolutionary advantage to organisms like “friend” and “beauty”, and cultural types like “football” and even “planet”.

That probably leaves us with the seemingly eternal types of pure mathematics, where not only types but also things are abstract.

E.g. The values of C (the total number of circles in the universe today) and pi are both abstract descriptions.


Consider these hypotheses.

·         The type “ratio” has existed for eternity in an ethereal or Platonic form.

·         The value of pi has existed for eternity in an ethereal or Platonic form.


Occam and Popper have given us two useful tools to examine either hypothesis.

·         Occam's razor: is this hypothesis necessary or practically useful? No, it is redundant.

·         Popper's principle: could this hypothesis ever be disproved by measure or experiment? No, so it is not a scientific concept.


Yes, “circle” and pi are so readily created, so widely understood and so useful that they are unavoidable in practice.

We can reasonably conclude these types do accurately represent or encode something that is inevitably repeated in reality.

But however accurately a type models reality, it is an abstraction from some structure or behaviour that is repeated.


There is no reason to presume an abstraction has a concrete existence – until it is described.

Or else, we have to invent a new definition of “exists”; and why (Occam’s razor) should we?

The idea advanced here is that the roots of typification are in biological evolution rather that mathematics.

And the only useful meaning of “to exist” is to be found in physical matter/energy, including physical biology.

Is the circle type a valid scientific conjecture/hypothesis/theory?

In “Curd and Cover” check out the first article by Karl Popper starting on Page 3 and then the following one by Kuhn.


Popper’s demarcation principle may be expressed thus: “anything not even potentially falsifiable is not a scientific conjecture / hypothesis / theory.”

We cannot falsify the name of a type or thing on its own; we need a proposition we can evaluate.


Unfalsifiable propositions:


·         “The circumference of this circle <equals> its diameter * pi.”

·         This seems self-referential, since if the result is not equal, we simply declare the thing not to be a circle after all.


·         A unicorn <is a> horse <with> a single horn.”

·         This cannot be disproved, because it is unclear if the reference is to a real or mythical beast.


Falsifiable propositions:


·         Real world animals <exclude> unicorns.”

·         We can test that by research; if we find a unicorn, it is disproved.


·         The formula e=mc2  <was invented> by Einstein.

·         We can test that by research; if we find a carbon-dated record of it before Einstein, it is disproved.


·         “This particular thing <is> an instance of this defined type.” E.g. “This circus ring <is> circular.”

·         We can measure the property values of the thing against the property types of the circle type.


So what to conclude?

Consider again: “The circle type <existed> before life.”

Occam and Popper lead us to the view that this proposition should be discounted.

The hypothesis is not potentially falsifiable; so is not a scientific conjecture / hypothesis / theory.  

But then, neither is the hypothesis that the “circle” type is constructed in the mind, and so exists only in description.

Conclusions and remarks

Humans naturally presume that types they share (if not “yellow” then “even number”) are eternal.

True, some types have been reinvented many times by many people because they are helpful models of reality.

And we may validate shared types by logical reasoning or verify them by empirical test cases.

But those are not reasons to suppose a type is eternal and independent of thought, memory and record.


The proposal here is that types emerged from bio-chemical symbolisations of things that recur and are important to an organism’s survival.

Tokens are appearances of types and signs.

Animals communicate with each by translating tokens in memory into and out of tokens in messages.

To communicate, animals must share an understanding (inherited, learnt or negotiated in discussion) of the tokens they use in messages.


Moreover, all types are concrete tokens of some form or another.

Somehow, animals remember general ideas, which apply to more than one thing.

The form taken by types in memory (and our stream of conscious) is mysterious biochemistry.

The form taken by types in communication (sounds, gestures, images, built structures) is evident to message senders and receivers.


In short, tokens are psychological phenomena that first emerged during biological evolution.

We promote some tokens to be types – meaning the pre-eminent and definitive token – likely of use to many.

But what if all life forms and records made by them disappear from the universe?

Then there will be no types or tokens.


This article concludes that conceptualism/idealism (or hybrid of that with nominalism) is the philosophy most compatible with Darwinian evolution and modern science.

The idealist position is not so much a philosophy as the stance taken by a psycho-biologist regarding semiotics and epistemology.


Many philosophical debates come down to arguments about what words mean.

In the realism/idealism debate, the words “type” and “exist” can both be interpreted in various ways.

Suppose we agree there is indeed a Platonic ideal “type”, which “exists” in an ethereal and eternal form.

OK, but surely this is a deeply mysterious thing, very unlike a type of the kind defined above?

And that definition is itself a description created by mankind, which can be erased from the universe.


I don't feel the need to escape the philosophical maze entirely; I just want to tell a consistent story.

And escape the opprobrium heaped on me for daring to take an idealist rather than realist position!

This paper cannot disprove realism or prove idealism (and neither are essential to understanding system theory).

But I do think it counters arguments by realists that idealism is plainly wrong-headed.

And shows idealism is compatible the viewpoint of a modern system theorist or scientist.



All free-to-read materials on the http://avancier,web site are paid for out of income from Avancier’s training courses and methods licences.

If you find them helpful, please spread the word and link to the site in whichever social media you use.