Truth and Semantics - Revision history

Wordpad: BloomWiki: Truth and Semantics

2026-04-25T02:00:46Z

BloomWiki: Truth and Semantics

← Older revision		Revision as of 02:00, 25 April 2026
Line 1:		Line 1:
			<div style="background-color: #4B0082; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
	{{BloomIntro}}		{{BloomIntro}}
	Truth and Semantics is the study of "How sentences match the world"—the investigation of what it "Means" for a statement to be "True." While we use the word "Truth" every day, defining it mathematically and philosophically is a massive challenge. From Alfred Tarski's "Convention T" (which defined truth for formal languages) to Donald Davidson's "Truth-Conditional Semantics" (which argued that 'Knowing the Meaning' of a sentence is 'Knowing the Conditions' under which it would be True), this field explores the "Structure of Fact." It is the science of "Verification," explaining how "Words" become "Knowledge" and why the "Liar Paradox" (e.g., 'This sentence is false') almost destroyed the foundations of logic.		Truth and Semantics is the study of "How sentences match the world"—the investigation of what it "Means" for a statement to be "True." While we use the word "Truth" every day, defining it mathematically and philosophically is a massive challenge. From Alfred Tarski's "Convention T" (which defined truth for formal languages) to Donald Davidson's "Truth-Conditional Semantics" (which argued that 'Knowing the Meaning' of a sentence is 'Knowing the Conditions' under which it would be True), this field explores the "Structure of Fact." It is the science of "Verification," explaining how "Words" become "Knowledge" and why the "Liar Paradox" (e.g., 'This sentence is false') almost destroyed the foundations of logic.
			</div>

	== Remembering ==		__TOC__

			<div style="background-color: #000080; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
			== <span style="color: #FFFFFF;">Remembering</span> ==
	* '''Semantics''' — The branch of linguistics and philosophy concerned with "Meaning."		* '''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').		* '''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').
Line 13:		Line 18:
	* '''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').		* '''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').		* '''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>

	== Understanding ==		<div style="background-color: #006400; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
			== <span style="color: #FFFFFF;">Understanding</span> ==
	Truth and semantics are understood through '''Conditions''' and '''Levels'''.		Truth and semantics are understood through '''Conditions''' and '''Levels'''.

Line 36:		Line 43:

	'''The 'Snow is White' Formula'''': Tarski's most famous example. It sounds simple, but it "Anchored" the abstract world of logic to the physical world of facts. It proved that "Truth" is not a "Mysterious Quality," but a "Relationship" between "Symbols" and "Objects."		'''The 'Snow is White' Formula'''': Tarski's most famous example. It sounds simple, but it "Anchored" the abstract world of logic to the physical world of facts. It proved that "Truth" is not a "Mysterious Quality," but a "Relationship" between "Symbols" and "Objects."
			</div>

	== Applying ==		<div style="background-color: #8B0000; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
			== <span style="color: #FFFFFF;">Applying</span> ==
	'''Modeling 'The Truth Condition' (Mapping a sentence to its requirements):'''		'''Modeling 'The Truth Condition' (Mapping a sentence to its requirements):'''
	<syntaxhighlight lang="python">		<syntaxhighlight lang="python">
Line 68:		Line 77:
	: '''Quine’s 'Two Dogmas of Empiricism' (1951)''' → Challenged the "Analytical/Synthetic" distinction, arguing that our "Whole Web of Belief" is tested against the world together.		: '''Quine’s 'Two Dogmas of Empiricism' (1951)''' → Challenged the "Analytical/Synthetic" distinction, arguing that our "Whole Web of Belief" is tested against the world together.
	: '''Model Theory''' → The branch of math that uses Tarski's logic to "Build worlds" (Models) where certain "Sentences" are true, used in AI and Software Engineering.		: '''Model Theory''' → The branch of math that uses Tarski's logic to "Build worlds" (Models) where certain "Sentences" are true, used in AI and Software Engineering.
			</div>

	== Analyzing ==		<div style="background-color: #8B4500; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
			== <span style="color: #FFFFFF;">Analyzing</span> ==
	{\| class="wikitable"		{\| class="wikitable"
	\|+ Correspondence vs. Coherence		\|+ Correspondence vs. Coherence
Line 84:		Line 95:

	'''The Concept of "Compositionality"''': Analyzing "Infinite Meaning." We only have 26 letters and a few thousand words, but we can make "Infinite Sentences." This is because meaning is "Additive." If you know "Red" and "Car," you automatically know "Red Car." Semantics is the "Math of Addition" for concepts.		'''The Concept of "Compositionality"''': Analyzing "Infinite Meaning." We only have 26 letters and a few thousand words, but we can make "Infinite Sentences." This is because meaning is "Additive." If you know "Red" and "Car," you automatically know "Red Car." Semantics is the "Math of Addition" for concepts.
			</div>

	== Evaluating ==		<div style="background-color: #483D8B; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
			== <span style="color: #FFFFFF;">Evaluating</span> ==
	Evaluating truth and semantics:		Evaluating truth and semantics:
	# '''The "Post-Truth" Crisis''': If "Truth" is just "Agreement" (Coherence), can we ever have an "Objective Fact" that everyone must accept?		# '''The "Post-Truth" Crisis''': If "Truth" is just "Agreement" (Coherence), can we ever have an "Objective Fact" that everyone must accept?
Line 91:		Line 104:
	# '''AI and Truth''': Can a "Large Language Model" understand "Truth" if it has "No Eyes" to see the world? (Is it just 'Coherence' without 'Correspondence'?).		# '''AI and Truth''': Can a "Large Language Model" understand "Truth" if it has "No Eyes" to see the world? (Is it just 'Coherence' without 'Correspondence'?).
	# '''Relativism''': Is truth "Relative" to a language? (Does "Truth" change if I change the "Rules" of my words?).		# '''Relativism''': Is truth "Relative" to a language? (Does "Truth" change if I change the "Rules" of my words?).
			</div>

	== Creating ==		<div style="background-color: #2F4F4F; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">
			== <span style="color: #FFFFFF;">Creating</span> ==
	Future Frontiers:		Future Frontiers:
	# '''The 'Truth-Verifier' AI''': An AI that "Reads a Scientific Paper" and "Checks it against a Model of the World" to see if it is "Semantically Sound."		# '''The 'Truth-Verifier' AI''': An AI that "Reads a Scientific Paper" and "Checks it against a Model of the World" to see if it is "Semantically Sound."
Line 103:		Line 118:
	[[Category:Logic]]		[[Category:Logic]]
	[[Category:Philosophy of Language]]		[[Category:Philosophy of Language]]
			</div>

Wordpad: BloomWiki: Truth and Semantics

2026-04-23T15:44:50Z

BloomWiki: Truth and Semantics

New page

{{BloomIntro}}
Truth and Semantics is the study of "How sentences match the world"—the investigation of what it "Means" for a statement to be "True." While we use the word "Truth" every day, defining it mathematically and philosophically is a massive challenge. From **Alfred Tarski's** "Convention T" (which defined truth for formal languages) to **Donald Davidson's** "Truth-Conditional Semantics" (which argued that 'Knowing the Meaning' of a sentence is 'Knowing the Conditions' under which it would be True), this field explores the "Structure of Fact." It is the science of "Verification," explaining how "Words" become "Knowledge" and why the "Liar Paradox" (e.g., 'This sentence is false') almost destroyed the foundations of logic.

== Remembering ==
* '''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').

== Understanding ==
Truth and semantics are understood through '''Conditions''' and '''Levels'''.

'''1. Meaning as Truth (Davidson)''':
How do you "Understand" a sentence you have never heard before?
* Donald Davidson argued that to "Understand" is to "Know when it would be true."
* If I say: "There is a blue elephant in your kitchen," you know what I mean **because** you know "Exactly what would have to happen in the world" for that to be true (you would see a blue elephant).
* Meaning is a "Bridge" between "Sound" and "World-Conditions."

'''2. The "T-Schema" (Tarski)''':
Is truth just "Repeating the sentence"?
* Tarski wanted to "Define" truth without using the word "Truth."
* He said: The sentence "Snow is white" (The Object) is true if, in the world, **snow is white** (The Fact).
* This "Redundancy" is the foundation of "Model Theory"—the math used to check if a computer program is "Correct."

'''3. The "Liar" Problem (Levels)''':
"This sentence is False."
* If it's True, then it's False. If it's False, then it's True.
* Tarski solved this by saying a language "Cannot talk about its own truth."
* To say "Sentence A is true," you must be standing "Outside" the language of A. This "Hierarchy of Languages" prevents the "Loop" of the Liar Paradox from breaking the system.

'''The 'Snow is White' Formula'''': Tarski's most famous example. It sounds simple, but it "Anchored" the abstract world of logic to the physical world of facts. It proved that "Truth" is not a "Mysterious Quality," but a "Relationship" between "Symbols" and "Objects."

== Applying ==
'''Modeling 'The Truth Condition' (Mapping a sentence to its requirements):'''
<syntaxhighlight lang="python">
def verify_truth(sentence, world_state):
"""
Simulates Truth-Conditional Semantics.
"""
# Sentence: "The light is ON"
# Logic: True if state['light'] == 1
if sentence == "Light is ON":
condition = (world_state["light"] == 1)
elif sentence == "Door is CLOSED":
condition = (world_state["door"] == 0)
else:
condition = False

if condition:
return f"Sentence '{sentence}' is TRUE (Matches the World)"
else:
return f"Sentence '{sentence}' is FALSE (World does not match)"

# World: Light is on, Door is open.
current_world = {"light": 1, "door": 1}
print(verify_truth("Light is ON", current_world))
</syntaxhighlight>

; Truth Landmarks
: '''Tarski’s 'The Concept of Truth in Formalized Languages' (1933)''' → The most important paper in the history of semantics.
: '''Wittgenstein’s 'Tractatus' (1921)''' → The "Picture Theory of Language": the idea that a sentence is a "Map" or "Picture" of a fact in the world.
: '''Quine’s 'Two Dogmas of Empiricism' (1951)''' → Challenged the "Analytical/Synthetic" distinction, arguing that our "Whole Web of Belief" is tested against the world together.
: '''Model Theory''' → The branch of math that uses Tarski's logic to "Build worlds" (Models) where certain "Sentences" are true, used in AI and Software Engineering.

== Analyzing ==
{| class="wikitable"
|+ Correspondence vs. Coherence
! Feature !! Correspondence (Tarski/Russell) !! Coherence (Spinoza/Blanshard)
|-
| Test || "Does it match the World?" || "Does it fit my other beliefs?"
|-
| Strength || Realistic / Scientific || Logical / Integrated
|-
| Weakness || Hard to "Compare" words to things || Could be a "Consistent Lie" (e.g. a dream)
|-
| Analogy || A 'Photograph' || A 'Puzzle' (Every piece must fit)
|}

'''The Concept of "Compositionality"''': Analyzing "Infinite Meaning." We only have 26 letters and a few thousand words, but we can make "Infinite Sentences." This is because meaning is "Additive." If you know "Red" and "Car," you automatically know "Red Car." Semantics is the "Math of Addition" for concepts.

== Evaluating ==
Evaluating truth and semantics:
# '''The "Post-Truth" Crisis''': If "Truth" is just "Agreement" (Coherence), can we ever have an "Objective Fact" that everyone must accept?
# '''Vagueness''': What if a sentence is "Half-True"? (e.g., 'He is bald'). How many hairs make it true? (The "Sorites Paradox").
# '''AI and Truth''': Can a "Large Language Model" understand "Truth" if it has "No Eyes" to see the world? (Is it just 'Coherence' without 'Correspondence'?).
# '''Relativism''': Is truth "Relative" to a language? (Does "Truth" change if I change the "Rules" of my words?).

== Creating ==
Future Frontiers:
# '''The 'Truth-Verifier' AI''': An AI that "Reads a Scientific Paper" and "Checks it against a Model of the World" to see if it is "Semantically Sound."
# '''Formalized Global Law''': Writing "Law" in a "Metalanguage" that is "Mathematically True," ending the "Ambiguity" of legal "Object Languages."
# '''Semantic Web 3.0''': An internet where "Data" has "Meaning" (Truth-Conditions) attached to it, allowing computers to "Understand" facts rather than just "Displaying" them.
# '''Multi-Valued Logic''': A new "Semantics" for a world where things can be "True," "False," "Unknown," or "Partially True" (Fuzzy Logic).

[[Category:Philosophy]]
[[Category:Science]]
[[Category:Logic]]
[[Category:Philosophy of Language]]