Editing Truth and Semantics (section)

== <span style="color: #FFFFFF;">Remembering</span> ==
* '''Semantics''' — The branch of linguistics and philosophy concerned with "Meaning."
* '''Truth-Condition''' — The "State of the world" that must exist for a sentence to be true (e.g., the truth-condition for 'It is raining' is 'That water is currently falling from the sky').
* '''T-Schema''' (Convention T) — Alfred Tarski's formula: **"P" is true if and only if P** (e.g., "The snow is white" is true iff the snow is white).
* '''Correspondence Theory of Truth''' — The view that truth is "Correspondence to Reality" (A statement is true if it matches a 'Fact').
* '''Coherence Theory of Truth''' — The view that truth is "Consistency" with other beliefs (A statement is true if it 'Fits' into our web of knowledge).
* '''Pragmatic Theory of Truth''' — The view that truth is "What Works" (A statement is true if it is 'Useful' for solving problems).
* '''Compositionality''' — The principle that the meaning of a "Whole Sentence" is built from the "Meanings of its Parts" (Words) and its "Structure" (Grammar).
* '''Metalanguage vs. Object Language''' — Tarski's solution to the Liar Paradox: you must use a "Higher Language" (Metalanguage) to talk about the "Truth" of a "Lower Language" (Object Language).
* '''Logical Form''' — The "Skeleton" of a sentence that shows its "Truth-Logic" (e.g., 'All men are mortal' becomes 'For all x, if x is a man, then x is mortal').
* '''Analytical vs. Synthetic''' — The distinction between "True by Definition" (e.g., 'Bachelors are unmarried') and "True by Observation" (e.g., 'The cat is on the mat').
</div>

<div style="background-color: #006400; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">