Kunskapsteori.se
   
 
 
 

Contents

 
  Start  
  Background  
     Knowledge  
     Credibility  
     Perception  
  Scepticism  
  Rationalism  
     Definition of
   "knowledge"
 
     a priori  
  Scientific
methodology
 
  Reasoning  
     Synthesis  
        Concepts  
        Induction  
        Syllogism  
     Analysis  
        Abstraction  
        Interpret  
  Thinking  
     
  About k-teori.se  


 

a priori

Rationalists claim existence of propositions that are "absolutely certain", or (created) a priori. They hence propose that "knowledge" can be formed before, prior, or after, posterior, perception.

 

Not perception

Discussions that try to demonstrate existence of knowledge a priori meet a great problem: they cannot be supported by perception. If they could, they would not be a priori. The discussions therefore become complex, without connection to our reality, and often evidently illogical.

This was known by Plato, and Kant:

... the sources of metaphysical cognition ... cannot be empirical. The principles of such cognition ... must therefore never be taken from experience; for the cognition is supposed to be not physical but metaphysical, i.e., lying beyond experience.

Kant (1783) Prolegomena, Preamble $1, 4:265, (transl. Hatfield, Cambridge), p.15.
 

Undefined terms

A proposition a priori hence must be created through some process other than perception, e.g. that is has reach a human before its conception, revealed by a god or by some process named by some undefined term like "transcendental" or that it is "given" or simply "revealed". Such processes have never been clearly described but are sometimes stated by some worldly authority:

Socrates:
So then, Simmias, our souls also existed apart from the body before they took on human form, and they had intelligence.

Plato - Phaedo, 76c.

It is not polite to ask about the authority's source.

 

The term "if"

While reading discussions about "absolutely certain" arguments one must watch the expressions closely. A common technique is to apparently claim something, but not to actually claim this by using the term if.

A rationalist claim as a founding thesis:

      IF "absolutely certain" arguments exist, they are created a priori.

This founding thesis is logically correct because arguments that are ultimately based on perception may be erroneous, even if they often are very probable.

Another sentence that is also logically correct reads:

      IF elephants can fly, they can sleep at the top of large trees.

It is hence not only logic that ensures whether a reasoning is interesting or not, but also the premises of the logic argument.

A common and logically correct argument about deduction reads:

      IF the premises in a logically correct deduction are true ("absolutely certain") the conclusion becomes true.

This is called "truth preservation" [e.g. Bergmann] and has by some philosophers been taken as evidence of that conclusions of syllogisms, which are then erroneously called "analytic arguments" becomes "absolutely certain".

But as no premise ever has been shown to be "absolutely certain", such evidence may be questioned. Because the premises ultimately are based on perception, no logical syllogism can result in "absolute certainty" but, at best, increased probability.

 

Proposals of a priori

The literature contains many claims about existence of a priori. Those that have not been evidently illogical are ususally based on one of these two mistakes:

- Concept formation through abstraction. The suggestions are built on that it may be hard to understand that abstractions ultimately are formed from perception.

- The opinion that an "absolutely certain" argument can be formed only through logically correct reasoning . The error lies in that also the premises of the reasoning must be "absolutely certain" in order to form such a conclusion

Examples of errors during attempts to demonstrate a priori are demonstrated below:

 

Abstraction

In the citation below, Plato's Socrates wants to infer that the concept "equal" is a "Form", i.e. something that our soul has learnt before we were born.

- we say that there is something that is equal. I do not mean a stick equal to a stick or a stone to a stone, or anything of that kind, but something else beyond all these, the Equal itself. Shall we say that this exists or not?
- Indeed we shall, by Zeus, said Simmias, most definitely.
...
- do not equal stones and sticks sometimes, while remaining the same, appear to one to be equal and to another to be unequal?
- Certainly they do.
- But what of the equals themselves? Have they ever appeared unequal to you, or Equality to be Inequality?
- Never, Socrates.

Plato - Phaedo 74a-b [Plato]

Socrates states that the abstraction contains a meaning "in itself" and that it has not been created through synthesis of perceptions.

An unprejudiced discussion about abstraction shows that this is erroneous.

Forms

Plato argued that if "absolutely certain" argument exist, they must have been created through existing phenomena, "Forms", that our soul remember from an earlier non-worldly existence. His arguments read approximately like this:

- He agreed with earlier philosophers that perception may be erroneous. Hence "absolutely certain" arguments are not possible to form through reasoning that is ultimately based on perception.

- Because all experience about our world is ultimately based on perception, "absolutely certain" arguments must be created during existence outside of our world.

- He proposed that abstracted concepts, or "Forms", hence are formed outside of our world and therefore may imply "absolutely certain" arguments.

As for Plato, it may be hard, but not impossible, for us to realise that abstracted concepts are ultimately formed by perception.

 

God

Rationalists have claimed that an universal god is a proper starting point for reasoning that were "absolutely certain".

They tried to prove its existence:

- René Descartes claimed that his belief about the perfection of God must result in the idea of God as absolutely certain [Descartes]. His argument resembles:

If God is perfect, God must exist

- Leibniz elaborated that if the concept God is created from all desirable properties, God must exist, because existence is one of all these properties.

 

Attempts using logic relations

Reasoning

The conclusion of an argument will never become "absolutely certain" if the premises are not so, and this probably implies never because the premises are probably always probability arguments.

This is discussed at the page syllogism.

Frege

Gottlob Frege claimed, with verbosity but without plausible arguments, some kind of authority and claimed that arithmetic, i.e. chains of syllogisms or deductions, should be absolutely certain [Frege].

Three times he cover himself against possible critic:

I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgements and consequently a priori.

Frege 1884 - Foundations of Arithmetic 2Ed, ch.1-4 och ch.5: Conclusion.

The error in his arguments is summarised in the section "The devil is in the premises" below. The credibility of a conclusion is determined not only by that a deduction is logically correct, but also by the credibility of the premsises.

And the ultimate arithmetic premise is the quantity "one", that we create from repeated perception of separate objects.

Audi

Also Robert Audi (which otherwise is relatively readable) confused credibility of deductions and premises:

... that if the spruce is taller than the maple and the maple is taller than the apple tree then the spruce is taller than the apple. /.../
Clearly, this a priori belief is also justified, and it constitutes knowledge.

Audi 2011 - Epistemology, A Contemporary Introduction to the Theory of Knowledge 3Ed, s.380-381.

Putnam

Hillary Putnam argued that just one statement created a priori is enough as demonstration of that a priori really exists (which of course is correct). He then claimed that the phrase below is "an absolutely, unconditionally, truly, actually a priori truth":

not every statement is both true and false

Putnam 1978 - There is at least one a priori truth, Erkenntnis 13, s.153-170.

The phrase is an expansion of the Law of contradiction: "A statement cannot be both true and false at the same time".

In order to judge whether the phrase is a priori or not, we may investigate why we consider the phrase as credible. Does it describe a gesture with one hand? No, we have experience (ultimately built on perception) of what a statement is, whether something exists or not, when something "is true", which implies that it agrees with our experience, and when something "is false".

The phrase hence describes a relation between abstracted phenomena that ultimately are created from perception, and is consequently not created a priori.

This discussion illustrates that a claim of a priori cannot derive support from something in out experienced reality, which was discussed above.

Popper

Karl Popper claimed that verification cannot create knowledge. This is correct for "absolutely certain" arguments, which Popper tried to promote. But he then claimed that an argument that is possible to falsify may lead to knowledge, i.e. may give "absolutely certain" arguments [Popper].

His reasoning was logically erroneous because "to falsify a statement" is identical with "to verify the negation of this statement" [vetenskapsteori.se]. In case verification cannot lead to "knowledge", falsification cannot do that either.

On this website it is claimed that neither verification nor falsification can lead to "absolutely certain" arguments, or the type of knowledge that Popper tried to promote. It simply does not exist.

Additional theses from Popper are discussed at vetenskapsteori.se.

 

Mixed colours

Several philosophers [Schlick, Putnam, Bonjour] have reproduced that the statement below must be a priori:

Nothing can be completely covered by red and green at the same time

Rationalistic epistemologists love to discuss colours, in spite of the note above that a priori never may be verified through perception. Some details of this example are:

- the brain create the experience of colour from pulses that come from visual cells in the eyes [e.g. Goldstein]. The experience of colour is hence an extremely clear example of perception.
- many children know that when they cover a surface using blue followed by yellow water colour (small coloured particles in thin glue) the brain interpret tha signals from the eyes as green colour.
- the error in these types of arguments were discussed by Leibniz already during the 15:th century:

So when, after having mixed yellow powder with blue we perceive a green color, we perceive nothing but the yellow and blue minutely mixed, although we do not notice it, or rather imagine that we perceive some new entity

Leibniz 1684 - Thoughts on Knowledge, Truth and Ideas (Acta eruditorum), in Philosophical Works of Leibnitz 2Ed, transl. GM Duncan, New Haven 1908, p.33).
 

Experience from earlier life

Some adherents of religions that believe in incarnation claim that they can remember events from an earlier life. This is a very vast claim as it suggests that something from an individual in a nonmaterial manner may be transported to another individual.

Because it is very vast it should be supported by very vast verification in order to be credible, e.g. that adherents are able to reveal new controllable facts from the earlier existence. The thought swindles about how our history books would be rewritten!

But regardless of the extent of such claims, they do not influence the epistemological thesis that knowledge ultimately is created through perception. If reincarnation with memory would exist, the memories would have been created from perception during an earlier existence.

 

Immanuel Kant

Immanuel Kant (public domain)

Kant was such a clever, apparently logical, verbose, and often cited philosopher that he gets his own section.

A critical study of Kant's writings is demanding and the reader has to focus not only on what is said, but also on what is not said.

 

Requirement

He opened with the statement that his theses must be followed in case a priori should be credible. I estimate this to be correct, and at the same time estimate the theses to be erroneous.

... there can be no such science /metaphysics/ unless the requirements expressed here, on which its possibility rests, are met,

Kant 1783 - Prolegomena 4:257 (Hatfield, Cambridge 2004, p.6).

Metaphysics implies philosophy that is not deal with physical phenomena. It hence does not deal with things that ultimately are based on perception.

 

What must be claimed?

Kant then listed what rationalistic philosophers had to claim in order to justify their philosophy:

First, concerning the sources of metaphysical cognition, it already lies in the concept of metaphysics that they cannot be empirical:

the cognition is supposed to be not physical but metaphysical, i.e., lying beyond experience.

It is therefore cognition a priori, or from pure understanding and pure reason.

Kant 1783 - Prolegomena (Hatfield, Cambridge 2004), 4:265, s.15.

As seen above, Kant uses the terms "a priori" och "pure" without positive definition.

 

The principle of contradiction

Kant wanted to persuade the reader that metaphysical cognition is valid.

He made the mistake discussed above in the section above "Attempts using logic relations" when using a rule known within logic to evaluate whether a relation is logically correct.

All analytic judgments rest entirely on the principle of contradiction and are by their nature a priori cognitions, whether the concepts that serve for their material be empirical or not.

Kant 1783 - Prolegomena (Hatfield, Cambridge 2004), 4:267, s.17.
 

"The principle of contradiction" implies that an argument from premises to conclusion is logically correct if it results in a contradiction when one premise is substituted by its negation.

Kant hence, erroneously, claimed that it is exclusively the logically correct relation, and not also its premises, that determine whether the conclusion represents an 2absolutely certain" argument. This is further discussed on the page Syllogism.

"The principle of contradiction", examples:

The shortest logical argument is a direct tautology. The connecting term, or copula, "is" is then expressing "is identical with":

   /premise/ "this apple" is /conclusion/ "this apple".

The premise is exchanged for its negation:

   "not this apple" is "this apple".

The contradiction in the changed statement demonstrates that the argument was logically correct.

But, this alone tells nothing about how credible the conclusion is:

  /premise/ "this flying lion" is /conclusion/ "this flying lion"

Negation of the premise:

   "not this flying lion" is "this flying lion".

The contradiction in the altered argument demonstrates that the argument was logically correct. But, as the premise described something that was not credible, the conclusion also becomes not credible.

"The principle of contradiction" hence evaluates the form of the argument, but not the credibility of the premises or the conclusion.

 

Analysis of "absolutely certain" concept

He then misleadingly stated:

IF a concept "belongs" to metaphysics (but no such concept has ever been shown to exist) a dissection or analysis of this concept will also "belong" to it.

...if concepts belong to metaphysics, ... then the judgments arising from their mere analysis necessarily belong to metaphysics as well,

Kant 1783 - Prolegomena (Hatfield, Cambridge 2004), 4:267, s.17.
 

"Examples" of a priori

Kant tried to give examples of concepts that "belong" to metaphysics.

At this website, such concepts (if they should exist) are called "absolutely certain".

... some pure synthetic cognition a priori is actual and given, namely, pure mathematics and pure natural science; for both contain propositions that are fully acknowledged

Kant 1783 - Prolegomena (Hatfield, Cambridge 2004), 4:275, s.25.

He hence claimed that something may be "given":

- Relations within mathematics (but it is not only the logic relation that determines the conclusion's credibility).

- "Pure" observations within natural science.

But every premise, irrespective of area and credibility is, as far as we know, a probability argument.

 

Definition

Kant knew this, but in his attempts to justify metaphysics he claimed that every definition (which he below calls "my concept") should be considered as "absolutely certain" or a priori:

 

... all analytic propositions are still a priori judgments even if their concepts are empirical, as in: Gold is a yellow metal ... .
I need no further experience outside my concept of gold, which includes that this body is yellow and a metal

Kant 1783 - Prolegomena (Hatfield, Cambridge 2004), §2.b, s.17.

He followed Plato, but used the term "transcendent" instead of Plato's more understandable "created during an non-worldly existence"

A definition is a concept or an abstraction that lists describing and distinguishing properties of the defined phenomenon. It is always ultimately based on perception.

Kant also claimed that when a conclusion is inferred from a definition (which he claimed was a priori), it must be regarded as a priori.

It is easy to detect that the citation above abut gold is absolutely erroneous.

 

"Synthetic a priori"

Oddly enough, many philosophers' Kant-discussions do not consider existence of a priori arguments, but considers whether synthesis of such arguments (synthetic a priori, synthetic analytic) is possible.

The conclusion from such discussions ought to become "Yes" or "No", and both of these conclusions are according to my opinion, reasonable when evaluated from their premises:

- IF a priori arguments should exist, some of them could be synthesised, i.e. combined, with each other. Hence "Yes".

- BUT as a priori does not exist at all, the conclusion becomes "No". Synthetic a priori does not exist.

 

The devil is in the premises

It is hence the premises, and not only that the argument is logically correct, that determine the credibility of a logical argument.

So if all you know about an argument is that it is valid, that alone tells you nothing about whether the premises or the conclusion is in fact true.

Hausman 2010 - Logic and Philosophy 11Ed, p.8.

The ultimate premises are always formed, as far as we know until now, by probability arguments. The conclusion of an argument hence always implies such an argument.

Reasoning may increase the credibility of a conclusion when they include additional premises. A clear example of such reasoning is given by induction. But still the conclusion will never become "absolutely certain".

 
 
References
Bergmann 2004 - The Logic Book, 6Ed, p.1-2.
Bonjour 1998 - In defense of pure reason, p.2.
Descartes 1642 - Meditations on First Philosophy, Meditation 3.
Duncan 1908 - Philosophical works of. Leibniz, 2Ed, p.33.
Goldstein 2010 - Encyclopedia of Perception, article "Color Perception", p.266-270
Plato (about 390-370 BCE) - Complete Works, Cooper (ed.), Hackett 1977.
Popper 2002 - The Logic of Scientific Discovery section 1.6.
Putnam 1956 - Reds, Greens, and Logical Analysis, Philosophical Review 65, p.206-217.
Schlick 1931 - Is There a Factual a Priori? in Feigl 1949 - Readings in Philosophical Analysis (Appleton), p.283.
 
 
 
     
2021-02-26