Logic and Language

Logic and Language

Copyright © James R Meyer 2012 - 2018 https://www.jamesrmeyer.com

This page is keyboard accessible:

• Use**Tab**, **Shift + Tab **keys to traverse the main menu. To enter a sub-menu use the **Right Arrow** key. To leave a sub-menu use the **Left Arrow** or the **Escape** key.

• The**Enter** or the **Space** key opens the active menu item.

• To skip the menu and move to the main content, press**Tab** after the page loads to reveal a skip button.

• To get back to the top of the page anytime, press the**Home** key.

• For more information, click here: Accessibility Close this tip.

• Use

• The

• To skip the menu and move to the main content, press

• To get back to the top of the page anytime, press the

• For more information, click here: Accessibility Close this tip.

Note: Full functionality of this web page requires JavaScript to be enabled in your browser.

Descartes, a French philosopher and mathematician, (1596 – 1650) was a Platonist, although his ideas were somewhat more complex than Plato’s. He wrote his Meditations on First Philosophy in 1641, and in it he sets out his beliefs on mathematical entities with respect to human understanding. Here he analyzes the concept of a triangle:

“*And what I believe to be more important here is that I find in myself an infinity of ideas of certain things which cannot be assumed to be pure nothingness, even though they may perhaps have no existence outside of my thought. These things are not figments of my imagination, even though it is within my power to think of them or not to think of them; on the contrary, they have their own true and immutable natures. Thus, for example, when I imagine a triangle, even though there may perhaps be no such figure anywhere in the world outside of my thought, nor ever have been nevertheless the figure cannot help having a certain determinate nature of form, or essence, which is immutable and eternal, which I have not invented and which does not in any way depend upon my mind. This is evidenced by the fact that we can demonstrate various properties of this triangle, namely, that its three angles are equal to two right angles, that the greatest angle subtends the longest side, and other similar properties. Whether I wish it or not, I recognize clearly that these are properties of the triangle, even though I had never previously thought of them in any way when I first imagined one. And therefore it cannot be said that I have invented them.*”

Is Descartes’ argument convincing? I don’t think so. Although on the one hand, he says that things such as triangles might not have any existence outside of his thoughts, on the other hand, he is arguing that its *properties* have an ‘*existence*’ which is independent of the human mind.

But the reality is simply that if some other person (or some other being or machine) comes up with the same set of definitions of a triangle (or a set of definitions, while not identical, that are effectively the same), then obviously the properties of the defined thing - the triangle - will be the same for Descartes and for the other person. That simple fact provides no logical implication that such properties have some sort of ‘*existence*’ that is independent of the definitions of Descartes and the other person.

I could have a triangular piece of wood, and I could note that it has the property that its angles are equal to two right angles, within the limits of my capability of measuring them. But such a property depends on there being a triangle for it to be applied to; in my case, it is a physical object. In Descartes’ case, the triangle is a concept in his mind. When one talks about the properties of a triangle, one must be clear as to whether one is referring to a physical thing that approximates a triangle, or whether it is the concept of a triangle as defined by a human mind.

But what is the essential difference between the concept in a human mind of a triangle and the concept in a human mind of, for example, some mythical creature?

Surely the only difference is the amount of information required for the description. To define the mythical creature so precisely that every minute detail of that creature is completely captured would require an extraordinary amount of definition. By comparison, to define a triangle is a simple task. But in the same way as there can be more than one triangle, there can be more than one mythical creature. As defined, a triangle in general has variable properties: the lengths of the sides, and the angles between them. On the other hand, a specific triangle will have these lengths and angles fully defined. In the same way, the generalization of a mythical creature also has variable properties, but a great many more of them. And a specific mythical creature will have each one of these variable properties fully defined. Any general definition of a triangle or mythical creature must take into account these variable properties.

Although the task of a precise definition of every detail of a mythical creature (both the general and the specific) would be horrendous, in principle there is no reason why it could not be tied down so exactly so that the definition would be as precise of that of a triangle. And when seen in this way, it can be seen that there is no essential difference in the concept of a triangle and the concept of a mythical creature – the difference is merely the complexity of the definition. So why should it be that the properties of a concept that can be described in simple terms, such as a triangle, are claimed to be ‘real’, ‘actual’ Platonist properties, while the properties of a concept that requires a more complex definition are not, and are simply human inventions?

So why do we not describe an abstract perfect triangle as being mythical in the same way as we describe an abstract mythical creature?

Once the mythical creature is precisely defined, then, in the same way as for a triangle, there will be many things that can be said about the mythical creature that are not explicitly stated in the definition, and which are not immediately obvious from the definition. Various deductions could be made from its properties, for example, about how high the creature could jump – as long as the physical laws pertaining to the creature and the physical construction of the creature are all precisely defined. So we could make deductions about the mythical creature in the same way as we can make deductions about a triangle. So why should anyone say that these deductions about a mythical creature are in some way essentially different from deductions regarding mathematical entities such as triangles? The only difference is the amount of complexity involved.

It might be argued that a triangle need not have any physical description, whilst our mythical creature must have some such description. Normally we would assume that our mythical creature, if it could be actually constructed, could interact with other physical objects in our real world, whereas a triangle could not. But a mythical creature need not have physical properties that are the same as those of the real world that we inhabit. While we would normally assume that we will attribute physical properties to the mythical creature that are in some way commensurate with our real world, this does not have to be the case. There is no reason why the mythical creature could not have physical properties that are completely incompatible with the physical proprieties of our real world.

Appeals might be made regarding the fact that many people can independently arrive at the concept of triangle, whereas the chances of two people arriving at the same definition of the same mythical creature would be very remote. But this is simply a probability result that follows directly from the difference in complexity – of course more people will come up with the idea of a triangle than a given mythical creature. But given enough time, by sheer chance, two people would eventually come up with the same description of a mythical creature, quite independently (although this would take far longer than our universe is predicted to survive). And today, with computer graphics, we can have descriptions of mythical creatures sufficiently defined so as to enable rendering of them on a screen. The laws governing their actual appearance may be subject to change, but provided that is completely defined also, why are the properties of the definition of a mythical creature from which a computer graphic is constructed to be considered simply a human invention, while the properties of the definition of a triangle from which a computer graphic of a triangle is constructed are considered to be properties that ‘exist’ independently of human minds?

*Other Blog Posts*

Nov 2018

Jun 2018:

Aug 2017:

Dec 2017:

Feb 2017:

Jan 2017:

Apr 2016:

May 2015:

Mar 2015:

Feb 2015:

Mar 2015:

Apr 2015:

Diverse opinions and criticisms are welcome, but messages that are frivolous, irrelevant or devoid of logical basis will be blocked. Difficulties in understanding the site content are usually best addressed by contacting me by e-mail. Note: you will be asked to provide an e-mail address - any address will do, it does not require verification. Your e-mail will only be used to notify you of replies to your comments - it will never be used for any other purpose and will not be displayed. If you cannot see any comments below, see Why isn’t the comment box loading?.

There is now a paper that deals with the matter of language and the diagonal proof, see On Considerations of Language in the Diagonal Proof.

There is now a new page on a contradiction in Lebesgue measure theory.

I found that making, adding or deleting footnotes in the traditional manner proved to be a major pain. So I developed a different system for footnotes which makes inserting or changing footnotes a doddle. You can check it out at Easy Footnotes for Web Pages (Accessibility friendly).

I have now added a new section to my paper on Russell O’Connor’s claim of a computer verified incompleteness proof. This shows that the flaw in the proof arises from a reliance on definitions that include unacceptable assumptions - assumptions that are not actually checked by the computer code. See also the new page Representability.

For convenience, there are now two pages on this site with links to various material relating to Gödel and the Incompleteness Theorem

– a page with general links:

– and a page relating specifically to the Gödel mind-machine debate:

All pages on this website are printer friendly, and will print the main content in a convenient format. Note that the margins are set by your browser print settings.

Note: for some browsers JavaScript must be enabled for this to operate correctly.

Comments on this site are welcome, please see the comment section.

Please note that this web site, like any other is a collection of various statements. Not all of this web site is intended to be factual. Some of it is personal opinion or interpretation.

If you prefer to ask me directly about the material on this site, please send me an e-mail with your query, and I will attempt to reply promptly.

Feedback about site design would also be appreciated so that I can improve the site.

Copyright © James R Meyer 2012 - 2018

https://www.jamesrmeyer.com