7

"The difference between me and a madman is the madman thinks that he is sane. I know that I am mad." ~ Salvador Dalí

There are many terms defined in a recursive manner, e.g.:

  • A person A is sane if another sane person B considers A's thoughts/actions rational.
  • A deity is almighty if it can make anything, including something it can't make.

It is confirmed by the methodology of verifying: e.g., psychological tests are made by groups of respected persons who are presumably sane.

However, a recursive definition has its flaws, e.g. there's no guarantee there is any "bootstrap" object to roll up the induction loop. In terms of sanity, if everyone is insane, they may consider each other sane, with no offense to the definition. It will just roll an empty set of sane people.

What criteria of recursive definitions should a rational person accept as valid? For example, should I accept a recursive definition if it has an empty proven base?

0

2 Answers 2

5

What you are noting is that the definition of "sane" (also "intelligent", "athletic", "reasonable", etc.) are not so much defined recursively as they are questions of social comparisons of behaviour.

Some of these are defined in terms of being similar to a perceived norm (where 'norm' is interpreted in a vaguely statistical sense, i.e. what one can expect on average) without too much variation from it; others are defined in terms of some single dimension of ordered comparison, in which one substantially exceeds the norm. Sanity would consist of similarity to average behaviour in certain respects, and in particular denotes some sort of standard of predictability. "Mad", being the opposite of "sane", would naturally represent behaviour which is at substantial variance from the norm; especially if it is a mode of behaviour which is potentially dangerous to themself or others.

Dalí's ironic quote (in which he implies that he is not mad by virtue of believing that he is mad) points out one common idea of madness; that someone whose behaviour is very much at odds with what is normal, and who is not aware of this deviation (or who claims superiority from this deviation according to an obscure code of ethics), is that much harder to predict and therefore possibly dangerous to be around; whereas someone like Dalí, who is very self-conscious of his deviation from the norm, behaves in a way which is unusual but (because he is conscious of his behaviour and his role in society) is not dangerous.

(Note also that dangerousness alone is not sufficient to define madness. In many countries, police are often dangerous people — but only under certain circumstances, and usually you can expect any given officer to be dangerous under those same circumstances. For instance, if you kill another police officer, you can expect to be in mortal peril. The circumstances under which you are in danger of police action will vary from location to location, but within a location there is usually some roughly-understood range of behaviour that can be expected of the police. Therefore, people will rarely be inclined to describe the entire police force as 'mad' on the basis of their potential dangerousness.)

Your example of omnipotence is not so much a matter of recursive definition as it is an example of a precise definition in a domain of discourse where the notion of possible actions or properties of objects is impredicative, as in naïve set theory. The real question for omnipotence is what other properties of objects are well-formed and admit discussion as the subject of the actions of an omnipotent creature. For instance, consider a creator who made an 'immovable' rock: is 'immovability' a property an object can have in itself, when motion is described relative to some frame of reference? Furthermore, if you resolved that puzzle and then the creator then moved that rock, wouldn't this be tantamount to first removing the rock's property of immovability (which surely an omnipotent being could do) and then moving it? Perhaps the crux is whether an omnipotent creator could make a rock that she could not unmake — but is 'unmakability' a property of the object? What we're noticing here is that what omnipotence means depends on the other properties which lie in the domain of discourse; this doesn't make it recursively defined, but whether or not it is logically consistent depends on what properties you suppose are logically coherent in the universe that the omnipotent being inhabits, in the same way that the notion of an "odd number" (and the associations normally made to it) much more sense in the integers than in the real numbers.

2

Here is the question:

What criteria of recursive definitions should a rational person accept as valid? For example, should I accept a recursive definition if it has an empty proven base?

Wikipedia describes recursion as follows:

In mathematics and computer science, a class of objects or methods exhibits recursive behavior when it can be defined by two properties:

  1. A simple base case (or cases)—a terminating scenario that does not use recursion to produce an answer
  2. A set of rules that reduces all other cases toward the base case

A rational person should accept a recursive definition if it has both of these properties.

Two examples were provided.

A person A is sane if another sane person B considers A's thoughts/actions rational

This example lacks both properties. There is no simple base case upon which one can determine sanity without reference to someone else. And the reference to others does not reduce to anything that could be used to define a base case. What makes the reduction possible for natural numbers is their ordering on a finite set of natural numbers less that the one being considered.

A deity is almighty if it can make anything, including something it can't make;

This example also lacks both properties and so it is not a recursive definition. It contains an inconsistent definition of "making" which is easy to fix. Define "almighty", at least provisionally until another inconsistency is observed, as being able to make anything makable. Even this is not a recursive definition because it does not rely on a "simple base case" nor a "set of rules that reduces all other cases toward the base case".


Wikipedia contributors. (2019, June 10). Recursion. In Wikipedia, The Free Encyclopedia. Retrieved 17:11, July 10, 2019, from https://en.wikipedia.org/w/index.php?title=Recursion&oldid=901212161

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .