5.2: How Do We Know What We Know?
- Page ID
- 2774
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Types of Knowledge
Although philosophers may differ on how many different types of knowledge there are, they agree with Propositional Knowledge, the claim to have knowledge of different things. What they may have in common, what makes them knowledge, then becomes the issue.
Here is one schema for different types of propositional knowledge.
- Logical
- Semantic
- Systemic
- Empirical
What are these about? Why make these distinctions?
Consider that you probably would claim to know the following things.
- There are three sides to a triangle. The sum of their angles is 180 degrees.
- There is a computer in front of you right now.
- 23 + 11= 34
- A bachelor is an unmarried male.
- If a is more than b, and b is more than c, then a is more than c.
These sentences all make claims that can be determined to be either true or false. They are sentences that express propositions. They are claims about which you can come to a judgment as to whether or not they are true. You probably know that they are true. Now how is it that you come to know these things? Obviously, you come by this knowledge in different ways. This relates to the idea of the different types of knowledge.
Logical Way of Knowing
There is a knowledge that is the result of the understanding of the relationship of ideas to one another. There are the rules or laws of logic that permit claims to knowledge that are further statements of ideas consistent with the rules and the ideas already accepted.
Here is another example where you do not need to know what I am talking about because you know the relationships involved.
- All gazintz are gazatz
- All gazatz are garingers
- Therfore, all gazintz are garingers.
You can claim to know that: if a and b are true, then c is true as well. This you know by logic.
Semantic Way of Knowing
There is knowledge that is the result of learning the meaning of words. Knowledge of words is knowledge of definitions. Such definitions are set in dictionaries. So bachelors are unmarried males. You know this. People acknowledge this. Are newborn baby boys bachelors? Do people say to the new mother in the hospital nursery: "Oh what a beautiful bachelor you have there Ms. Jones!”?
Systemic Way of Knowing
There is knowledge of mathematics and geometry, which is the result of learning a system of words, or symbols and how they relate to one another and the rules of operating in that system and then any claims made that are consistent with those definitions and rules is called knowledge.
Empirical Way of Knowing
There is a knowledge that comes through our senses. This knowledge is empirical knowledge. Science is the best example of a method for ascertaining the accuracy of such knowledge. Scientific knowledge is a result of the practice of the method: observation, abduction of a hypothesis, careful observation, refinement of hypothesis, deduction of test for hypothesis, testing and experimentation, confirmation or falsification of the hypothesis.
What do these four types of knowledge have in common? One of the most popular theories of knowledge of the 20th Century holds that knowledge does imply a belief.
Belief does not imply knowledge. Wherever people claim to know that something is true they believe that it is so. When people claim to believe that something is so they don’t always claim to know that it is so.
What kind of a belief is knowledge.?
To begin with it must be true. You cannot know something that is false.
It must be true and you must claim to know it and it be true not by accident or coincidence but because there is evidence to support and enough to warrant or justify the claim to know.
- So, knowledge = justified true belief
- Evidence is needed for justification
Edmund Gettier's Justified True Belief
Warranted true belief may not be knowledge if true by accident.
Example
On January 1, 2001 the claim is made: I know that the Giants are going to win the Super Bowl in 2001. It turns out that several weeks later they did win. Can I claim that I knew it on January 1st or was it just a lucky guess or a well-informed guess? How does a person gain the warrant or the justification for the belief? Well, depending on the type of belief that it is there are different kinds of warrants.
Modes of Warranty
- Logical warrants are found in the rules of logic. Follow them and the claim is warranted.
- Semantic warrants are found in the dictionaries. Use them, be consistent with them and the claim is warranted.
- Systemic warrants are found within the system (math or geometry) follow the rules be consistent with the definitions and rules and the claim is warranted.
- Empirical warrants are found with evidence. How is the evidence to be gathered, examined and evaluated?
There are four types of beliefs when considering truth and warrants:
- Warranted true beliefs: this type is called knowledge
- Warranted false beliefs: this type cannot exist at all.
- Unwarranted true beliefs: these are lucky guesses or coincidences and not knowledge.
- Unwarranted false beliefs: these are just wild unsupported claims or wishes that are not true .
Why knowledge is justified true belief
Justification warranty comes in degrees. How much evidence is needed in order to determine whether or not someone knows something or not? How much evidence is needed in order to determine whether or not someone has sufficient warrant to make a claim to know something or not? How much is needed depends on what is riding on the outcome of the claim. For simple matters of little consequence humans appear to accept fairly small amounts of evidence. For important matters much more evidence is needed.
Example:
How old is someone? If someone claims to know how old John Smith or Mary Doe is we probably accept the claim on their word if it is just gossip. However, if there were a $10 bet on it we would ask for evidence. We might go to the person and ask them to confirm the claim. If it were $100 we might want a driver’s license. If it were $1000 we might want a birth certificate. For $10, 000 we might want to go to the official registry and check the official documents ourselves.
The highest consequences on claims to know: human life. At a criminal trial, a capital homicide case, what is the standard of proof? It is evidence that is convincing beyond a reasonable doubt. Not beyond all doubts. But beyond reasonable doubts, meaning beyond all doubting or questioning of the evidence that we have reason to doubt or question.
Scientists have their reputation riding on their claims to know things. The standard for the warrant in science is that their claims be supported by evidence that other scientists can examine, experiments that others can repeat and get the same result and equations that others can examine to check against errors.
So, claims to know may be accepted depending on amounts of support that may vary in the type and amount depending on the type of claim that it is. However, to know something that which you claim to know must be true and truth does not have degrees: because a statement P is either true or it isn't.
Read
Philosophical Application
Suppose your friend claims to have answered a philosophical question. In listening to her answer, you are struck by how rational she is. She has followed the laws of thought (she doesn't contradict herself), she has made the fewest assumptions possible while giving a complete explanation (Ockham's Razor), and she is able to give complete answers to any of your questions (the principle of sufficient reason).
Is this enough to convince you that her answer is correct, or is it always possible to doubt the use of reasoning itself? Explain.
What more would you need to believe her and why?
Vocabulary Quizlet 5.2