# User:LGreg/sandbox/Approaches to Knowledge (LG seminar 2020/21)/Seminar 18/Truth/Logical Truth

## Logical Truth edit

### Definition and context edit

Logic is the study of the reasoning that leads to the acceptance of conclusions on the basis of premises. ^{[1]} Logical truth is a core part of the study of logic, and a general interpretation of what it is involves the idea that a logical truth is such that it cannot be false. Logical truths are necessarily *a priori* truths, true if you replace certain meanings of individual words in the proposition (counterfactual circumstances), and must remain true in all replacement instances of its form. ^{[2]} It is important to note that logical truths are analytic statements and are not used to propose informations about matters of fact. Logical truth is thus synonymous with one meaning of the word tautology, whereby tautology means that the statement (or proposition) is true under any interpretation of the words. ^{[3]}

### Implications edit

One of the most important applications of truth values in the study of logic is when they consequently apply to mathematics too. Hence the notion of a truth value not only has enormous semantic consequences but also scientific. ^{[4]} Thus in considering logical truth, considering the term formalization becomes extremely necessary too. In propositional logic, formalization is the process of translating spoken language (e.g.: English) into the logical language (e.g.: Predicate). Here, the role of truth functional connectives must be carefully considered to apply the right transformation to the initial statement and ensure it's truth value is not mis-represented. In branches of logic such as proof theory, formalization and being able to render truth values into logic become extremely valuable. ^{[5]}

This leads also to the consideration of analytic–synthetic distinction. Here, we are considering only analytic propositions in the consideration of applications of philosophical logic in mathematics. However, synthetic propositions, propositions which are true depending on how their meaning relates to the world ^{[6]}, also contain elements of truth that must be considered. These distinctions were primarily put through by the philosopher Immanuel Kant in the late 18th century ^{[7]} .

### References edit

- ↑ Gensler, Harry J. (2017) [2002]. "Chapter 1: Introduction". Introduction to logic (3rd ed.). New York: Routledge. p. 1. doi:10.4324/9781315693361. ISBN 9781138910591. OCLC 957680480.
- ↑ Gómez-Torrente, Mario, "Logical Truth", The Stanford Encyclopedia of Philosophy (Spring 2019 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2019/entries/logical-truth/>.
- ↑ Nathan J. Robinson, "The Uses of Platitudes", Current Affairs, August 23, 2017 online
- ↑ Béziau, Jean-Yves, 2012, “A History of Truth-Values”, in D. Gabbay et al. (eds.), Handbook of the History of Logic. Vol. 11, Logic: A History of its Central Concepts, Amsterdam: North-Holland, 235–307.
- ↑ H. Wang (1981). Popular Lectures on Mathematical Logic, Van Nostrand Reinhold Company, ISBN 0-442-23109-1.
- ↑ Jerrold J. Katz (2000). "The epistemic challenge to antirealism". Realistic Rationalism. MIT Press. p. 69. ISBN 978-0262263290.
- ↑ Oberst, Michael (2015). "Kant on Universals". History of Philosophy Quarterly. 32 (4): 335–52.