Showing posts with label reasoning. Show all posts
Showing posts with label reasoning. Show all posts

Monday, September 7, 2009

The Justification for Induction--Or Lack of It

‘If we demand a proof for everything, he [Aristotle] had said, ‘we shall never be able to prove anything, since we shall not have a starting point for any proof. Certain things are obviously true and do not require proof.’

‘Prove it,’ his nephew Callisthenes had said. Aristotle was glad Callisthenes had gone off with Alexander. He was not sorry to learn he’d been killed.

Obviously, Aristotle saw, it is impossible to prove that anything is obviously true.

Even that.

He enjoyed the paradox. [Joseph Heller, Picture This, 1988, p. 288]
In my first post, I said that I had two misgivings about whether a theory or method of induction could be successfully presented; the point of this post is to discuss one of these misgivings.

The issue is: does induction need a justification?

A “justification” is a conclusive reason (or a number of such reasons) for believing that something is proper or warranted. So, if there are conclusive reasons for believing that induction (as a cognitive process employed by us) is proper/warranted, does the process of induction need such reasons? Presently, I don’t think that induction needs justification, and will now explain why.

Perhaps the best way to make my point is through analogy. With that thought in mind, let’s look at a few examples, starting with Aristotle’s “Principle of Non-contradiction.” (Hereafter, “Principle of Non-contradiction” is shortened to PNC.)

Aristotle’s “Principle of Non-Contradiction”

The PNC has several features, among them is that it states that two opposite assertions cannot be true at the same time: that this is impossible. (See Metaphysics Book 4, Chapter 6, 1011b13-20) For instance, one can state that “this bird is looking at me,” and alternatively state that “this bird is not looking at me,” but cannot state both assertions as happening at the same time in some way as to make it true. The combination of both claims would be ascribing a predicate (“looking at a particular person, that is, ‘me’”) and ascribing the very opposite of that predicate (“not looking at me”) to the same subject (the bird) at the same time, which is no different from ascribing nothing at all to a subject; cognitively, it is no different from refraining from making any assertion at all.

Someone, perhaps a skeptic of knowledge or someone unacquainted with Aristotle’s metaphysics or theory of logic, could ask the question: what justifies the PNC? Why is it the case that two contradictory assertions cannot be true at the same time? The attempt to then justify why this is would lead to predicating certain features as belonging to the PNC, like some noteworthy point about “contradictions,” or some facts about the human mind or reason. At the same time, however, in the very attempt of asserting these predicates of the PNC, the person is utilizing the PNC (perhaps unknowingly): in using these predicates to justify the PNC, he does not intend to assert that these predicates are true of the PNC and do not belong to the PNC at the same and in the same respect.

Aristotle regarded the PNC as axiomatic (as a starting point) for our very thoughts, as inescapable for anyone who chooses to think or use reasoning; as he says it, it is a principle which “is necessary for anyone to have who knows any of the things that are.” (Metaphysics Book 4, Chapter 3, 1005b15) Accordingly, he held that we can’t even engage in an argument without first accepting and relying on the PNC (if only tacitly if not explicitly). This reasoning, I’d like to point out, would apply to our purported justification for the PNC, since it, too, would be an argument.

The Justification of Perception

Another helpful example may be perception, whether or not our senses convey anything about reality, specifically about the external world. (Whether seeing, for instance, gives us awareness of objects being seen, such as dogs, trees, or houses.)

A justification of perception would amount to a defense of our particular sense organs and sense-activities like seeing, hearing, and feeling. While someone could presumably try this, the resulting defense would contain an underlying fraud: it would assume the validity of the senses, even as it tries to justify them. The defense would argue that we should form our ideas of “touch,” “smell,” etc., from particular cases of touching and smelling, but the point at issue is whether we “touch” or “smell” anything at all.

The reason why a justification would be needed is that, for whatever reason, someone is unsure of whether they even have these senses. What the skeptical person needs is not a conceptual argument, which would be circular reasoning as I explained earlier, but perception. Nothing shows us that our senses are valid, besides the fact that they allow us to perceive; in losing senses, we also lose our ability to perceive, as people with normally functioning eyes discover when their eyes are damaged (through disease or some accident) and they become blind.

Now, let’s return to induction.

Can We Justify Induction?

To answer the question proposed by this section’s title, we need to turn once again to Aristotle. It was Aristotle who once aptly remarked that there are principally two ways of coming to have convictions (beliefs), two ways of reasoning or of argumentation: induction and deduction. If we were to suppose that induction required a justification, then the only two ways to provide such would be through inductive or deductive arguments.

The problem with the first approach--an inductive argument--is that it would consist of building from particular observations to piecemeal generalizations, presumably resulting in a universal, general account of induction. But the very issue at hand is whether such generalizing from particulars is valid in the first place. To utilize inductions to justify induction generally is to commit the “petitio principii,” the fallacy of “begging the question.”

On the other hand, defending induction by means of a deductive argument is impermissible because deductions can only justify non-ampliative inferences. Ampliation is our mental power of extending knowledge we already have to new cases, beyond the ones we originally used to gain that knowledge and often leads to our possessing universal knowledge about some subject. A non-ampliative inference is one that doesn’t extend our knowledge, so to speak, but merely applies it to a new case or makes explicit something that was implicit in our argument’s premises (or thoughts).

An induction is principally an ampliative inference, and the supposed need to justify induction stems from this ampliative character; what justifies our purported knowledge of the future by means of our past knowledge, or our knowledge of the whole by means of our knowledge of some parts? What is the process of ampliation going on here, and how does it allow us to properly reason from observed cases to unobserved cases, from the past to the future, from particular areas of the world to the entirety of the universe? There is no general account of generalizing or of a universal kind of thinking from which one could produce a deductive argument about ampliation and induction--most likely because an account of induction would have to explain the role of “generalization,” “universal thinking,” and “ampliation” before deductions could be produced, and so would be just as questionable as induction, in this context.

So then what are we supposed to conclude?

I’ve maintained that induction can’t be justified through argument or reasoning, whether inductive or deductive. Rather than becoming an inductive skeptic, I ask that we return to Aristotle, specifically his point that our two ways of gaining conviction and reasoning are done by either induction or deduction. Inductions and deductions, we should come to realize, are our methods of justifying things, of coming to reach conclusions about things. By their peculiar nature, they can’t prove or justify themselves; they can’t be used to prove each other, and they can’t prove themselves (except in a trivial manner, such as “This is a man, therefore this is a man”). Rather, they are the starting points of the whole notion of justification: justification assumes the validity of induction and deduction, as these are the principal ways by which things can be justified at all, and this notion cannot be applied to them without sophistic results, such as circular reasoning. (Indeed, any attempt to prove a starting point or axiom must end in a trivial statement or circular reasoning, as Aristotle was the first to notice, see Posterior Analytics, Book 1, Chapter 3.)

I don’t think this reveals any problems with induction. It is not as if the lack of justification reveals some hidden, underlying arbitrariness at the heart of inductive thinking. I’ve reached the conclusion that this isn’t the kind of thing that can be justified. To make the attempt results in either failing miserably or in assuming that which one is attempting to prove, which amounts to the same thing as failing.

Conclusion

That said, I obviously don’t think that any and all inductions are therefore valid as a result, just as Aristotle’s thinking that there were “first principles” (starting points) of deductions didn’t lead him to conclude that all deductions were valid. There were proper and improper forms of deductions, and of using the syllogistic forms of demonstrations. Believing this, he carried out the Herculean task of explicating proper deductive thinking. There are proper and improper forms of inductions, of reaching generalizations, and of conducting the process of ampliation and abstraction, I hold. What we need is not a justification for induction, but a full-scale explication of what exactly induction is.

Sunday, July 12, 2009

Bacon's "More Certain and Guarded Method" of Induction

"[...]our determination is that of trying, whether we can lay a firmer foundation, and extend to a greater distance the boundaries of human power and dignity."[Bacon, New Instrument, Book 1, Aphorism 116]
"Our only hope, then, is in genuine induction."[ibid., Aphorism 14. See here: The Ideas that Have Influenced Civilization, in the Original Documents]
Sir Francis Bacon (1561–1626) was the first modern philosopher of science, and was instrumental in the development of what we now call the “scientific method.” Here are the essentials of his method of induction, which unfortunately was never completed.

Aristotle on Induction

According to Aristotle, Socrates is the first person known to discuss induction and general definitions:
...for two things may be fairly ascribed to Socrates—inductive arguments and universal definition, both of which are concerned with the starting-point of science [knowledge])...[Aristotle, Metaphysics, Book XIII, Chapter 4, 1078b25-30]
Induction is the foundational reasoning activity and is built upon sense-perception. More specifically, induction is (following Socrates's practice) reasoning from particular cases or individuals to general or universal knowledge.

An example would be forming the concept "animal": we can observe with our senses the similarities among individual species (humans, dogs, mules, etc.) and how different they are from both inanimate objects and other life-forms which don't seem to be conscious (plants would largely be our data for this conclusion)--all of this could eventually lead to forming the concept "animal" through induction. (Also, it might lead to concepts such as "consciousness," "awareness" "life," "mobility" and concepts of particular animal species.)

Relatedly, he thought that induction is part of the means of forming general concepts ("genus") and, from there, building even more generalized concepts utilizing the knowledge gained from the earlier-formed ones. An example Aristotle gives is the inductive forming of the genus "animal" from the various animal species, and this kind of reasoning is the first lead to the formation of an even wider generalization; in our present context, we can integrate plants and microscopic lifeforms with our knowledge of the "animal" genus into a wider genus "organism." Regarding induction and concept-formation, Dr. Edwin Locke summarizes Aristotle's position this way:

His view was that one groups entities according to their perceived similarities and identifies their essential characteristics, the essence of a kind ... [t]his included the formulation of definitions based on genus and differentia [a genus--integrating the concept into a wider category—and a differentia—differentiating the concept from other existents in that genus, namely, man is the rational animal—meaning he is the animal who has the capacity to reason].
[Dr. Edwin Locke, The Case for Inductive Theory Building, Journal of Management, Vol. 33, No. 6, page 870 and 881 in brackets (2007)]

Lastly, as I noted earlier, Aristotle believed that induction was the basic or founding rational activity; the other main reasoning process, deductive thinking, was held to be a product of inductive thinking. Induction was thus logically antecedent to deduction, as it supplies the premises from which one can deduce.

References


On perception as validly giving knowledge/experience of reality:
On the Soul
(Latin: De Anima), Book II, Chapters 6-12, and Book III, chapter 3, 427b27-428a18.
In the latter chapter, Aristotle even notes: "for perception of the special objects of sense [like "color" for the sense of sight] is always free from error, and is found in all animals..." (427b11-13) Also, his biological treatises, such as
History of Animals (Historia Animalium) and Parts of Animals (De Partibus Animalium), are filled with evidence that he affirmed sense-perception as a means of knowing reality.

Induction as the foundational form of reasoning:
Rhetoric
(Ars Rhetorica), Book II, chapter 20, 1939a25-27.

Induction as based on sense-perception, and as reasoning from "particulars" to "general":
Topics
(Topica), Book I, chapter 12.

Induction and concept-formation:
Posterior Analytics
(Analytica Posteriora), Book II, chapter 19, 100b1-5.

Dr. Edwin Locke, "The Case for Inductive Theory Building," Journal of Management, Vol. 33, No. 6, (2007).
Induction, as supplying premises used in deductive thinking and argument:
Posterior Analytics
, Book 2, chapter 19, 100b3-5, when compared with Book I, chapter 3, 72b23-29.

On Socrates being the originator of the study of induction:
Aristotle, Metaphysics, Book XIII, Chapter 4, 1078b25-30.

P.S. Chapter 1 of McCaskey's dissertation goes in-depth into Aristotle's conception of induction, so my summary here may be expanded in the future if I learn of anything significant in this different account.