Question
This philosopher’s use of metalanguages in a 1933 paper laid the groundwork for model theory and was later applied to natural language by Donald Davidson. For 10 points each:
[10h] Name this Polish American logician who developed a criterion called Convention T for a semantic theory of truth.
ANSWER: Alfred Tarski
[10e] Tarski began to consider metalanguages in part because of a paradox named for this type of person, which is often rendered as “This sentence is false.” A statement attributed to Epimenides states that “all Cretans are [this type of person].”
ANSWER: liar [accept liar paradox; accept “all Cretans are liars”]
[10m] Tarski’s paper contained a proof of his eponymous undefinability theorem, which was first discovered by a different logician while proving this result. This theorem implies that any formal system has true but unprovable sentences.
ANSWER: Gödel’s incompleteness theorem [accept Gödel’s first incompleteness theorem]
<Philosophy>
Summary
| 2024 ACF Winter at UC Berkeley | 2024-11-16 | Y | 2 | 20.00 | 100% | 50% | 50% |
| 2024 ACF Winter at Lehigh | 2024-11-16 | Y | 1 | 10.00 | 100% | 0% | 0% |
| 2024 ACF Winter at Northwestern | 2024-11-16 | Y | 9 | 14.44 | 67% | 44% | 33% |
| 2024 ACF Winter at Online | 2024-11-16 | Y | 8 | 12.50 | 50% | 50% | 25% |
| 2024 ACF Winter at UBC | 2024-11-16 | Y | 3 | 20.00 | 100% | 100% | 0% |
| 2024 ACF Winter at Central Florida | 2024-11-16 | Y | 5 | 14.00 | 60% | 60% | 20% |
| 2024 ACF Winter at Oxford | 2024-11-16 | Y | 9 | 17.78 | 78% | 78% | 22% |
Data
| Birmingham | Bristol B | 0 | 10 | 10 | 20 |
| LSE A | Cambridge A | 0 | 10 | 10 | 20 |
| Cambridge D | Bristol A | 0 | 0 | 10 | 10 |
| Oxford A | Durham B | 10 | 10 | 10 | 30 |
| Cambridge C | Oxford B | 0 | 0 | 10 | 10 |
| Manchester | Southhampton B | 0 | 10 | 0 | 10 |
| Vanderbilt | Warwick A | 10 | 10 | 10 | 30 |
| Imperial A | LSE B | 0 | 10 | 10 | 20 |
| Southampton A | Imperial B | 0 | 10 | 0 | 10 |