Logic and Philosophy of Language

TL;DR

This topic explores how logic helps us understand language, focusing on meaning, truth, and how we communicate. We'll look at how formal tools shed light on linguistic expressions and their philosophical implications. Essentially, it's about the deep connection between how we think, how we talk, and what's true.

1. The Mental Model

Think of it like this: language is a complex machine, and logic is the blueprint that reveals how its parts (words, sentences) fit together to create meaning and determine truth. It helps us analyze the structure beneath what we say.

2. The Core Material

Logic and the philosophy of language are deeply intertwined, focusing on how language works, what meaning is, and how language relates to thought and reality.

Meaning and Reference

One of the central questions is: how do words and sentences get their meaning?

• Reference (Denotation): This is the idea that some words get their meaning by pointing to things in the world. For example, "Barack Obama" refers to a specific person. "The tallest building in the world" refers to the Burj Khalifa.
• Sense (Connotation): This is the way in which a word or phrase refers to something. Gottlob Frege, a key figure, distinguished between sense and reference. Two phrases can have the same reference but different senses. For example, "the morning star" and "the evening star" both refer to the planet Venus, but they convey different ways of thinking about Venus (its appearance at different times of day).
• Truth-Conditions: For declarative sentences, their meaning is often understood in terms of their truth-conditions – the conditions under which the sentence would be true. To understand "The cat is on the mat" means knowing what the world would have to be like for that sentence to be true.

Logic's Role in Analyzing Language

Photo by Ling App on Pexels

Formal logic provides tools to analyze the structure of arguments and sentences, helping us clarify their meaning and assess their validity.

• Propositional Logic: Deals with simple declarative sentences (propositions) and how they combine using logical connectives like "and," "or," "not," "if...then." It helps analyze the truth-conditions of complex sentences.
• Predicate Logic (First-Order Logic): Goes deeper, breaking down propositions into predicates (properties or relations) and arguments (the things that have those properties or relations). It introduces quantifiers like "all" (universal quantifier, $\forall$) and "some" (existential quantifier, $\exists$) to deal with general statements. For example, "All humans are mortal" can be represented as $\forall x (Human(x) \rightarrow Mortal(x))$. This allows us to analyze the logical structure of statements involving properties and individuals.

Speech Acts

Photo by Markus Winkler on Pexels

J.L. Austin and John Searle developed the theory of speech acts, arguing that language isn't just used to describe things, but also to do things. When you say "I promise to pay you back," you're not just stating something; you're performing an act of promising.

• Locutionary Act: The act of saying something (the literal meaning).
• Illocutionary Act: The act performed in saying something (e.g., promising, warning, requesting, asserting).
• Perlocutionary Act: The effect achieved by saying something (e.g., convincing someone, amusing them, scaring them).

The Relationship Between Thought and Language

Photo by Markus Winkler on Pexels

This area explores questions like: does language shape our thoughts, or do our thoughts determine our language? The Sapir-Whorf hypothesis, for example, suggests that the structure of a language affects its speakers' worldview or cognition.

How Language Analysis Works (Simplified)

Here's a basic flow of how we might analyze a linguistic statement using these concepts:

graph TD
    A["Linguistic Expression (e.g., 'The current King of France is bald.')"] --> B{Identify Reference & Sense?};
    B -->|Yes (e.g., 'France')| C["Analyze Reference/Sense"];
    B -->|No (e.g., 'King of France')| D["Consider Implicature/Presupposition"];
    C --> E["Formulate Truth-Conditions"];
    D --> F["Identify Speech Act (e.g., assertion, question)"];
    E --> G["Assess Logical Structure (using Predicate Logic)"];
    F --> G;
    G --> H["Determine Truth-Value / Validity of Argument"];
    H --> I["Philosophical Implications (e.g., existence of King)"];

Presupposition and Implicature

These concepts address how more meaning is communicated than just what's explicitly said:

• Presupposition: Something that must be true for the sentence to make sense or be either true or false. For example, "Have you stopped smoking?" presupposes that you used to smoke.
• Implicature: Something implied by the speaker but not explicitly stated or logically entailed. For example, if someone asks, "Are you going to the party?" and you reply, "I have to work," you're implying you're not going to the party, even though you didn't say it directly. This is a Gricean implicature.

3. Worked Example

Let's take the classic example: "The present King of France is bald."

1. Reference and Sense:
   • "France" clearly refers to the country.
   • "The present King of France" attempts to refer to an individual.
2. Truth-Conditions: For this sentence to be true, two conditions must be met:
   • There must be a present King of France.
   • That King must be bald.
3. Logical Analysis (Russell's Theory of Descriptions): Bertrand Russell argued that sentences like this are actually complex propositions. "The present King of France is bald" can be broken down into:
   • There is at least one King of France now. ($\exists x (King(x) \land France(x))$)
   • There is at most one King of France now. ($\forall y (King(y) \land France(y) \rightarrow y=x)$)
   • Whatever is the King of France now is bald. ($Bald(x)$)
     When we combine these, the first condition (existence) is false, as France is currently a republic and has no king. Therefore, the entire conjunction is false.
4. Philosophical Implication: This analysis avoids the problem of assuming the non-existent King must exist in some way to be talked about. The sentence simply comes out as false because one of its underlying existential claims is false.

4. Key Takeaways

• Logic provides a framework to analyze the structure and meaning of language.
• Words can gain meaning through reference (pointing to things) and sense (the way they point).
• The meaning of a declarative sentence is often tied to its truth-conditions.
• Speech act theory shows that language is used not just to describe, but also to perform actions.
• Presuppositions and implicatures explain how we communicate more than what we explicitly say.
• Predicate logic helps us analyze complex statements involving individuals and properties.

Common Mistakes to Avoid:
- Confusing reference with sense; they're distinct aspects of meaning.
- Assuming that every meaningful phrase must refer to something existing.
- Ignoring the context or intention behind an utterance (critical for speech acts and implicatures).
- Thinking that natural language perfectly maps to formal logical structures without ambiguity.

5. Now Try It

Take the sentence: "My friend knows that pigs can fly." For 15 minutes, try to break it down. What does this sentence presuppose? What are its truth-conditions? Could it be false even if your friend says they know pigs can fly? Consider how the verb "knows" works here.

Success looks like: You've identified the key presupposition(s) of the sentence and articulated the conditions under which the sentence would be true or false, potentially highlighting how the term "knows" imposes certain logical requirements.