Overview – Knowledge from Reason
This A Level philosophy topic examines whether all our knowledge comes from perception or whether there are other – a priori – sources of knowledge. There are really two separate debates in this topic, and these are:
Broadly speaking, empiricism says that all knowledge comes from experience. But innatism and rationalism are two ways we can reject the empiricist claim:
- Rationalism says that we can acquire some knowledge purely through intuition and deduction (i.e. we can acquire knowledge purely by thinking rather than through perceptual experience).
- Innatism says that we are born with some knowledge already (and innate knowledge obviously doesn’t come from perceptual experience because you haven’t had any perceptual experience when you are newly born).
A lot of the discussion (in particular rationalism vs. empiricism) draws on the following terms.
Analytic and synthetic are two different kinds of truths.
|Analytic truth||Synthetic truth|
|True in virtue of the meaning of the words||True in virtue of how the world is|
|E.g. “A bachelor is an unmarried man” or “triangles have three sides”||E.g. “Grass is green” or “water boils at 100°c”|
Analytic truths cannot be denied without resulting in a logical contradiction. To say, “not all bachelors are unmarried”, for example, is to misunderstand the word bachelor – the concept of a married bachelor does not make sense. Similarly, one cannot coherently imagine a triangle with four sides because the very idea involves a contradiction.
Denial of a synthetic truth does not lead to a logical contradiction. For example, we can coherently imagine red grass in denial of the synthetic truth “grass is green”. Though experience tells us grass is not, in fact, red, there is no logical contradiction in this idea.
A priori and a posteriori are two different kinds of knowledge:
|A priori knowledge||A posteriori knowledge|
|Knowledge that can be acquired without experience of the external world, through thought alone||Knowledge that can only be acquired from experience of the external world|
|E.g. working out what 900 divided by 7 is||E.g. doing an experiment to discover the temperature at which water boils|
Intuition and deduction are a priori methods for gaining knowledge:
- (Rational) intuition: The ability to know something is true just by thinking about it
- E.g. Descartes’ cogito argument below
- Deduction: A method of deriving true propositions from other true propositions (using reason)
- E.g. You can use deduction to deduce statement 3 from statements 1 and 2 below:
- If A is true then B is true
- A is true
- Therefore, B is true
- E.g. You can use deduction to deduce statement 3 from statements 1 and 2 below:
In the overview above, we defined rationalism as the view that we can acquire some knowledge purely through intuition and deduction. This is slightly inaccurate, though, because even an empiricist would admit there is some knowledge that can be known purely through intuition and deduction. For example, you clearly don’t need empirical experience to work out that “2×75=150” because it is an analytic truth. So actually, what empiricists say is that you can’t acquire knowledge of synthetic truths using intuition and deduction:
- Empiricism says all a priori knowledge is of analytic truths (i.e. there is no synthetic a priori knowledge)
- Rationalism says not all a priori knowledge is of analytic truths (i.e. there is at least one synthetic truth that can be known a priori using intuition and deduction)
Most of the time, empiricism holds true. If you take any synthetic truth, such as “water boils at 100°c”, it seems impossible that we could learn it without some a posteriori experience of the world (e.g. an experiment).
So, most synthetic truths are known a posteriori. But the question is whether this relationship holds true all the time or just some of the time. Rationalism says the latter: There is at least one synthetic truth that can be known a priori through intuition and deduction.
If Descartes’ arguments for these claims work and are purely a priori, then they support the rationalist claim that some synthetic truths can be known a priori.
Before seeking to establish what he can know, Descartes first seeks to doubt everything he thinks he knows. If it’s possible to doubt it, then he does.
These sceptical arguments have come to be known as the three waves of doubt. They are:
First off, Illusion. I can doubt the reliability of my sense experience as it has deceived me in the past. For example, a pencil in water may look crooked even though it isn’t.
Second, I might think I’m awake when I’m actually dreaming. I might believe I’m looking at a computer screen, but if I’m simply dreaming that I am, then my belief is mistaken.
But even if I’m dreaming, there are still basic ideas that are common to both dreams and reality. For example, that “1+1=2” – can this be doubted?
Yes, says Descartes, if I am being deceived. An evil demon may be controlling my entire experience, making me think I’m correctly adding 1 and 1 when I’m not.
So, basically anything I think I know can be doubted – an evil demon may be controlling my perception and making me have nothing but false beliefs. The evil demon scenario could be true, and there is no way I would be able to tell the difference. So, the possibility of the evil demon scenario casts doubt on everything I know.
This position of extreme doubt is known as global scepticism.
So, Descartes is currently in a position of extreme scepticism. Is there anything he can know for certain?
dubito, ergo cogito, ergo sum
This translates as:
- I doubt
- Therefore I think
- Therefore I am
The shortened version – cogito ergo sum – is probably the most famous phrase in philosophy. Descartes’ point is that even if the evil demon is trying to deceive him on just about everything, Descartes cannot doubt that he exists.
The reason for this is that even if the demon is deceiving him, there must be something for the demon to deceive in the first place! The fact that Descartes is able to doubt his own existence is proof that he does, indeed, exist, and so:
“I am, I exist, is necessarily true, every time I express it or conceive of it in my mind.”
– Descartes, Meditation 2
Upon reflection of the cogito ergo sum argument, Descartes claims that his certainty in the proposition ‘I exist’ is due to the fact that it is a clear and distinct idea. Having a clear and distinct idea is not simply a feeling of certainty, though – it is a recognition that it’s impossible for the proposition to be false. So, Descartes knows ‘I exist’ is true simply by thinking about it.
This property – where the truth of an idea presents itself clearly and distinctly – goes back to the idea of rational intuition.
Rational intuition is an a priori faculty that enables us to see truth. According to Descartes, any idea that presents itself as clear and distinct to our rational intuition can be trusted as true:
“And consequently it seems to me that I can already establish as a general rule that all the things we conceive very clearly and distinctly are true.”
– Descartes, Meditation 3
Descartes builds on these clear and distinct ideas via deduction. He gives several arguments for the existence of God using intuition and deduction:
His ontological and cosmological arguments are covered in the metaphysics of God module.
A summarised version of the trademark argument is as follows:
- I have the concept of God
- My concept of God is the concept of something infinite and perfect
- But I am a finite and imperfect being
- The cause of an effect must have at least as much reality as the effect
- So, the cause of my concept of God must have as much reality as what the concept is about
- So, the cause of my idea of God must be an infinite and perfect being
- So, God exists
This summary misses out a few steps, but you get the idea.
This argument is called the ‘trademark’ argument because Descartes argues that concept of God is like an innate ‘trademark’ placed in our minds. Descartes’ point is essentially that it’s impossible this trademark – of an infinite and perfect being – is something he could have created himself. Whatever caused Descartes’ idea of God must itself be an infinite and perfect being because of premise 4 above.
Descartes then continues his process of intuition and deduction to argue that because God exists, his perception can be trusted. These perceptions are of an external world of physical objects and, because Descartes can trust his perceptions, he can trust that the external world exists.
The key points are as follows:
- I have perceptions of an external world with physical objects
- My perceptions cannot be caused by my own mind because they are involuntary (Descartes’ argument for this is similar to e.g. Locke’s argument here)
- So, the cause of my perceptions must be something external to my mind
- God exists (see trademark argument above)
- If the cause of my perceptions is God and not the physical objects themselves, then God has created me with a tendency to form false beliefs from my perception (because premise 1)
- But God is a perfect being by definition (see e.g. Descartes’ ontological argument) and so would not create me with a tendency to form false beliefs from my perceptions
- So, I can trust my perceptions
- So, given premises 1 and 7 above, I can know that an external world of physical objects exists
We can challenge Descartes’ trademark argument by rejecting the first premise and arguing that the concept of God is not innate. If the concept of God comes from experience, as Locke argues below, then Descartes’ argument is not entirely a priori and thus fails to establish rationalism.
Further, Descartes’ argument for the existence of the external world relies on his arguments for the existence of God. So, if Descartes’ arguments for God are not a priori, then neither is his argument for the existence of the external world.
So, if Descartes’ arguments rely on a posteriori concepts, then they do not establish synthetic truths a priori and thus fail to prove rationalism is correct.
Another way to challenge Descartes’ arguments for rationalism is by applying Hume’s Fork. David Hume (1711 – 1776) was an empiricist and argued that there are only two kinds of knowledge (judgements of reason): relations of ideas and matters of fact.
|Relations of ideas||Matters of fact|
|“either intuitively or demonstratively certain” (i.e. an analytic truth)||“The contrary of every matter of fact is still possible; because it can never imply a contradiction” (i.e. a synthetic truth)|
|“discoverable by the mere operation of thought, without dependence on what is any where existent in the universe” (i.e. they are known a priori)||Can’t be established purely by thought and thus require empirical observation to establish their truth (i.e. they are known a posteriori)|
|The key feature of a relation of ideas is that it cannot be denied without a contradiction (e.g. ‘triangles do not have 3 sides’ is logically contradictory)||The key feature of a matter of fact is that there is no logical contradiction in it being false (e.g. ‘grass is not green’ is false but it is not logically contradictory)|
We can argue that Descartes’ arguments rely on matters of fact. But, according to Hume’s Fork, matters of fact are a posteriori. Thus, if Hume’s Fork is correct, then it shows that Descartes’ arguments are not entirely a priori and thus fail to establish rationalism.
Applied to the trademark argument, we could say there is no contradiction that results from denying premise 4 (“the cause of an effect must be as real as the effect”). This shows that premise 4 is a matter of fact and not a relation of ideas, and thus can only be known a posteriori. So, Descartes’ trademark argument is not entirely a priori and thus fails to establish rationalism.
Similarly, we can argue that Descartes’ argument for the existence of the external world also relies on a posteriori matters of fact. For example, premise 2 states that “my perceptions cannot be caused by my own mind because they are involuntary” but there is no contradiction that results from denying this claim. Thus, Descartes’ argument for the existence of the external world is not entirely a priori either and so fails to establish rationalism.
Innate knowledge is knowledge you’re born with and so doesn’t require experience (a posteriori) to be known. In other words, innate knowledge is a priori knowledge.
The debate between rationalism and innatism is about whether we have innate knowledge or not:
- Innatism says we have some innate knowledge
- Empiricism says we do not have any innate knowledge
It’s also important to note that the kind of knowledge we are considering in this innate knowledge discussion is innate propositional knowledge. It’s uncontroversial, for example, that babies are born with innate ability knowledge, such as knowing how to breathe.
Plato argues that all learning is a form of recalling knowledge from before we’re born. So, in other words, we’re born with innate knowledge and we just need to remember it.
To prove his theory, Plato shows how Meno’s slave – a boy who has never been taught geometry – is able to understand a geometry proof. The key facts of the argument are as follows:
- Socrates draws a square on the ground that is 2 feet x 2 feet
- Meno’s slave agrees its area is 4 square feet
- Socrates then draws another square on the ground that has an area of 8 square feet
- Socrates then asks: What are the lengths of the sides?
- Meno’s slave incorrectly guesses 4 feet initially (the area would be 16 square feet, not 8)
- But Socrates asks Meno’s slave a series of questions
- Meno’s slave answers the questions correctly and realises that the sides of a square with an area of 8 square feet will be equal to the diagonal of the original 2 feet x 2 feet square
If this doesn’t make sense, the 18 second video below is a much easier way of visualising Socrates’ proof. Notice that the green square is twice the area of the red square and that the sides of the green square are equal to the diagonal of the red square.
Again, Meno’s slave has never been taught geometry, i.e. he has no experience of geometry. Despite this, Meno’s slave is able to correctly answer Socrates’ questions (or at least correct his mistakes). Given that Meno’s slave has no experience of geometry, his correct knowledge here must be innate.
Leibniz argues that our knowledge of necessary truths must be innate.
|Contingent truth||Necessary truth|
|What is the case||What must be the case|
|Could have been false in some other possible world||True in every possible world|
|E.g. “this website exists” is true but it would be false in some other possible world where I didn’t make it||E.g. “2+2=4” is true in every possible world – it must always be true|
A posteriori experience can only tell us about specific instances. For example, experience can tell us that adding these 2 apples to these 2 two apples gives us 4 apples. But no amount of experience can tell us how things must be (because even if you add apples 100000 times, you never know what will happen the 100001st time).
And yet we do know that it must always be true that “2+2=4”. We know that there will never be an instance where you add 2 apples to 2 apples and get 5 apples because “2+2=4” is a necessary truth. This knowledge can’t come from experience, though, because experience only tells us how things are, not how they must be.
So, Leibniz argues, knowledge of necessary truths is innate. We know them by paying close attention to “what is already in our minds”.
Locke argues that if we did have innate knowledge then every human would have such knowledge.
So, for example, everyone would know the theorem of geometry that Meno’s slave realises in Plato’s example above. But, Locke argues, children and ‘idiots’ do not possess such knowledge – they don’t know the theorems of geometry, for example. So, this knowledge is not universal and therefore not innate.
Locke also argues against the existence of innate concepts. The argument is that propositional knowledge relies on concepts. For example, you can’t know that “1+1=2” without first having the concepts “1” ,“+”, and “2”. So, if Locke succeeds in disproving the existence of innate concepts, he will also succeed in disproving the existence of innate knowledge.
Locke gives two examples to reject the existence of innate concepts:
- Observation of newborn babies suggests they do not have any concepts beyond those experienced in the womb (e.g. the concepts of warmth or pain)
- God is often used as an example of an innate concept (as seen in Descartes’ trademark argument) but babies do not have this concept. Further, there have been many atheist societies throughout history that did not have the concept of God.
Leibniz agrees with Locke that innate knowledge requires innate concepts. But Leibniz argues that it’s possible to have innate concepts and yet not be conscious of them.
Some of Leibniz’s own examples of innate concepts are logical concepts such as identity (e.g. “a = a”) and impossibility (e.g. “it’s impossible for both a and not a to be true”). Obviously, a newborn baby can’t verbally articulate these thoughts, but this doesn’t mean the concept isn’t there. We innately know these concepts – even if we can’t articulate them – and they are essential to all thought, whether we consciously recognise them or not. Over time, we learn to recognise these concepts and make them explicit, but they were always there in the mind.
Similarly, just because some people and societies may lack a word for ‘God’, this doesn’t mean they lack the concept. It may take experience to consciously develop the concept of God, but the concept itself can’t come from experience because it goes beyond experience. For example, the concept of God is the concept of an infinite being, but nothing in experience shows us this concept of infinity.
It follows from Locke’s rejection of innatism that all knowledge (and concepts) must come from experience. Locke famously argues that the mind at birth is a ‘tabula rasa’ – a blank slate. Locke argues that the mind at birth contains no ideas, thoughts, or concepts. Instead, knowledge comes from two types of experience:
- Sensation: Our sense perceptions – what we see, hear, smell, taste, etc.
- Reflection: Experience of our own minds – thinking, wanting, believing etc.
Locke’s explanation of simple, complex, and abstract general ideas provides an account of how humans can form all knowledge – including complex concepts, such as the concept of God – from experience.
When I look at a clear sky, my sensation of blue might give me the simple concept of blueness. Likewise, when I’m outside in winter, my sensation of cold might give me the simple concept of coldness. A simple concept is just one thing like this.
Complex concepts are made up of the building blocks of simple concepts. For example, my concept of the ocean could consist of both the simple concepts of blue and cold above. Pretty much everything is a complex concept made up of simple concepts to differing degrees – for example a chair might consist of many simpler concepts (e.g. brown, hard, wooden, small, etc.) and yet they all form the same thing: This chair. This chair is a complex concept because it contains many simpler concepts within it.
And complex ideas can go beyond specific instances of things (e.g. this chair) to form abstract ideas (e.g. chairs in general). For example:
- Chair #1 may be wooden and have four legs
- Chair #2 may be metal and have 3 legs
- Chair #3 may be a red plastic stool
Similarly, we form abstract concepts such as beauty or justice or God by abstracting from experience. For example, we see a beautiful lake, a beautiful painting, a beautiful person, etc. and over time we abstract the common features from these experiences to form the abstract concept of beauty.
The point of all this: Locke’s account here aims to show how all concepts and knowledge – from simple to complex – can be explained as coming from experience in some way. And so, if we can explain all knowledge and concepts using experience only, we don’t need innate knowledge.