# User:LGreg/sandbox/Approaches to Knowledge (LG seminar)/Group 1/Truth/Janelle and Jing

**Truths: Mathematics and History**Edit

**Truth in Mathematics**Edit

Although there does not exist a generally acceptable definition of Mathematics, it is believed to be the base of Sciences, as well as the most commonly-used tool in Science subjects. Mathematics itself is an independent system based on its truths and logic.

__Rule of the Game: Axioms as Primary Truths in Mathematics__Edit

Axioms are the foundation for all mathematical theories. They are considered the primary truths in Mathematics. An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek *axíōma* (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.’^{[1]}

Axioms are typical examples of Pluralist since they contain mixed categories of truth. Some of them are absolute and objective truths, for example, 1,2,3......are defined as natural numbers. They are somehow empirical. For instance, we can definitely prove that the sum of angles in a triangle is 180 degrees. But most of them are non-empirical as they cannot be tested.

__Mathematical theories as Secondary Truths: Comparing with Scientific truths__Edit

Mathematical theories are the secondary truths in Mathematics because they are established from axioms.

Mathematical truth and scientific truth lies in the direction of the reasoning. In science, there is (we assume) some set of rules that defines 'truth'; and we try to guess what they are by observing outcomes. In math, we know what the rules are, because we get to make them up; and we then try to see what outcomes follow from those rules^{[2]}.

__Realizing and Evaluating Truths in Maths__Edit

##### Axions Do Not Need to Be ProvenEdit

Although axioms are typically called 'assumptions', they are not assumptions in the same way that we mean it in our daily lives. A mathematical assumption, an axiom, is not of the same sort - it's more like a definition - and from the perspective of the mathematician, the reason that it is safe to make this sort of mathematical assumption is that as a definition, it cannot be wrong. Now if axioms 'can not be wrong', this sounds like a promising possibility - it might even suggest we have a pathway to truth ^{[3]}.

##### DeductionEdit

Deduction is the main way how mathematical theories form and proceed.

__Dependency and Independency: Conclusion and Evaluation__Edit

Axioms are the foundation of the subsequent and further study of Mathematics. The non-logical ones is simply a formal logical expression used in deduction to build a mathematical theory. (e.g. parallel postulate in Euclidean geometry).

Truths in mathematics are'formal', that is to say, self-contained. No mathematical truth exists independently of a set of axioms and a set of agreed-upon rules for deducing theorems from axioms. They all come together as a
system; and strictly speaking, they have no necessary connection to
anything outside the system^{[4]}.

Hence G.H Hardy's claim about the reality of Mathematics:

"*A mathematician is working with his own mathematical reality. Of this reality, I take a “realistic’ and not an “idealistic” view. This realistic view is much more plausible of mathematical than of physical reality because mathematical objects are so much more what they seem. 2 and 317 have nothing to do with sensation, and its properties stand out more clearly the more closely we scrutinize it.*

Pure mathematics, on the other hand, seems to be a rock on which all idealism flounders: 317 is a prime, not because we think so, or because our minds are shaped in one way rather than another, but because it is so because mathematical reality is built that way.* "*

#### Maths : discovered or invented?Edit

Another interesting aspect in Mathematics is the debate on whether it is inherently present in nature and thus has been discovered by humans, or if it is a human-made construct itself, that we use to understand the world around us. According to Platonic theory, mathematics exists independently in space and time. We, as humans, are trying to solve the mysteries of the universe through an attempt to uncover the secrets of mathematics. Therefore, the truths in mathematics would have to be absolute and correspondent, in line with what is observed in nature. In contrast, others believe that we are merely devising tools which model the structure of our universe to a close approximation (for example the model of elliptical planetary orbits, which is not an exact science).^{[5]} As a result, mathematics in this case is constructivist in nature as well as analytic, being a concept or a tool that aids us in comprehending reality but is not reality itself. Thus, depending on the angle with which one approaches the field of mathematics, truth can have surprisingly different and opposing meanings and connotations.

**Truth in History**Edit

History, as an academic discipline, is the study of past events; of the recorded past. The recorded past is studied using the concepts of evidence, reliability, causation, interpretation and accuracy^{[6]}.

There are indisputable, objective truths in the discipline, that can be corroborated against sources, such as dates of birth of historical figures. However, this only applies to basic facts.

While History aims for objectivity, there is a general consensus that there are hardly any absolute truths in the discipline, only relative. This is because the past is gone; historians are unable to observe the past directly, and can only make historical judgments— claims made based on an interpretation of the evidence that constructs a narrative. Thus the knowledge produced is often incomplete and inaccurate.

To present an extreme view on the aforementioned; if evidence of an event in history is not taken from its original source, but from a secondary source or chain of communications, it must be presumed false. Furthermore, if the fact that an event occurred is not doubted or scrutinised for an extended period of time, it has a greater probability of being false. More abstractly, it is claimed that an event did not occur, by modern definition, if it happened before recorded history began. ^{[7]} This idea relates to the philosophical argument 'if a tree falls in a forest',^{[8]} the idea that an event cannot be proven unless it is observed and recorded by a reputable witness.

__Evaluating Truths: Historical Method__Edit

The Historical method is the collection of techniques and guidelines that historians utilize in their research and then writing of the past^{[9]}. Historians study a wide range of sources, both primary and secondary.

##### Primary SourcesEdit

Primary sources provide a first-hand account of events, often created at the time at which it occurred^{[10]}. These include oral or written testimonies such as diaries, interviews, and speeches. However, they can also include sources that are created later, such as autobiographies and creative artworks. As primary sources reflect the perspectives, emotions, and memory of a participant or observer, they are inherently subject to inaccuracy and bias^{[11]}.

##### Secondary SourcesEdit

Secondary sources attempt to provide a description or explanation of primary sources through analysis, interpretation and evaluation of them. Examples of these include journal articles, textbooks and opinion pieces. Similar to primary sources, many secondary sources are also subjective and contain bias.

__How important truths are: Reliability-- Source Criticism__Edit

Evaluating sources, whether primary or secondary, is a key part of the rigorous research process^{[12]}. Historians read sources with a critical eye— they question the nature, origin, content and purpose of a source; and cross-check them against other evidence and sources, to obtain a more balanced understanding of the event^{[13]}.

##### Procedure for Source CriticismEdit

Bernheim (1889) and Langlois & Seignobos (1898) proposed a seven-step procedure for source criticism in history^{[14]}.

- If the sources all agree about an event, historians can consider the event proved.
- However, the majority does not rule; even if most sources relate events in one way, that version will not prevail unless it passes the test of critical textual analysis.
- The source whose account can be confirmed by reference to outside authorities in some of its parts can be trusted in its entirety if it is impossible similarly to confirm the entire text.
- When two sources disagree on a particular point, the historian will prefer the source with most "authority"—that is the source created by the expert or by the eyewitness.
- Eyewitnesses are, in general, to be preferred especially in circumstances where the ordinary observer could have accurately reported what transpired and, more specifically, when they deal with facts known by most contemporaries.
- If two independently created sources agree on a matter, the reliability of each is measurably enhanced.
- When two sources disagree and there are no other means of evaluation, then historians take the source which seems to accord best with common sense.

## ComparisonEdit

### How Truth is Perceived in History and MathematicsEdit

Whilst truth within History and Mathematics can be perceived in very different ways, with History as subjective and Mathematics as empirical, they are considered similar in that they are both partial to scrutiny in their accuracy. Both disciplines can be considered abstract in that their origins are often unclear or a truth is not universally agreed.^{[15]}

- ↑ https://en.wikipedia.org/wiki/Axiom
- ↑ http://mathforum.org/library/drmath/view/65001.html
- ↑ N Nicholas Alchin and Carolyn P. Henly,(2014). Theory of knowledge for the IB diploma. Hodder Education
- ↑ [1]
- ↑ https://science.howstuffworks.com/math-concepts/math4.htm
- ↑ Heydorn, W. and Jesudason, S. (2014). Decoding theory of knowledge for the IB diploma. Cambridge: Cambridge University Press.
- ↑ https://www.jstor.org/stable/1862284?seq=3#metadata_info_tab_contents
- ↑ Https://en.wikipedia.org/wiki/If%20a%20tree%20falls%20in%20a%20fores
- ↑ https://en.wikipedia.org/wiki/Historical_method
- ↑ https://ecu.au.libguides.com/historical-research-method
- ↑ https://libguides.uwf.edu/c.php?g=215260&p=1420795
- ↑ https://guides.library.utoronto.ca/c.php?g=250552&p=1671083
- ↑ https://www.history.org.uk/student/resource/3211/using-historical-sources
- ↑ Howell, Martha & Prevenier, Walter(2001). From Reliable Sources: An Introduction to Historical Methods. Ithaca: Cornell University Press. ISBN 0-8014-8560-6.
- ↑ https://www.lesswrong.com/posts/2pNMrzcGyW7Hgk4QC/meanings-of-mathematical-truths