Alfred Tarski - 2024 ACF Winter

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]

Back to bonuses

Summary


2024 ACF Winter at UC Berkeley	2024-11-16	Y	2	20.00	100%	50%	50%
2024 ACF Winter at Clemson	2024-11-16	Y	6	15.00	50%	67%	33%
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%
2024 ACF Winter at Lehigh	2024-11-16	N	7	14.29	100%	43%	0%
2024 ACF Winter at Northwestern	2024-11-16	N	10	15.00	90%	50%	10%
2024 ACF Winter at Ohio State	2024-11-16	N	9	14.44	100%	44%	0%
2024 ACF Winter at Online	2024-11-16	N	7	20.00	100%	57%	43%
2024 ACF Winter at Central Florida	2024-11-16	N	4	12.50	100%	25%	0%
2024 ACF Winter at Oxford	2024-11-16	N	8	15.00	88%	63%	0%

Data


Stanford M	Stanford L	10	10	0	20
Berkeley B	Stanford A	0	10	10	20
Auburn A	Tusculum A	10	0	10	20
Auburn B	Auburn C	0	0	0	0
Georgia A	Emory A	0	0	0	0
Georgia Tech B	Tennesse A	0	10	10	20
Lehigh A	Penn State B	0	10	0	10
Georgia Tech C	Emory B	0	10	10	20
Georgia Tech A	South Carolina A	10	10	10	30
Northwestern A	UChicago D	0	0	0	0
UChicago A	Notre Dame	10	0	10	20
Purdue A	UIUC C	10	10	10	30
Purdue C	UIUC D	0	10	0	10
Indiana A	UChicago C	0	10	10	20
UIUC A	UChicago B	10	10	10	30
UIUC B	Purdue D	0	10	0	10
Purdue B	WashU B	0	10	0	10
SIUE A	WashU D	0	0	0	0
Texas D	Central Oklahoma	0	0	0	0
NYU B	Colorado College	10	0	10	20
Texas C	Iowa	0	0	0	0
Missouri	McGill E	0	10	0	10
Oregon State	NYU A	0	0	0	0
Texas A	Arkansas	10	10	10	30
Texas B	Vassar B	0	10	10	20
WUSTL A	Vassar A	0	10	10	20
Alberta	UW B	0	10	10	20
SFU	UBC B	0	10	10	20
UW A	UBC A	0	10	10	20
Florida State University A	Florida Tech A	0	0	0	0
UF B	Florida Tech B	0	10	10	20
UF A	UCF A	10	10	10	30
Birmingham	Bristol B	0	10	10	20
LSE A	Cambridge A	0	10	10	20
Cambridge D	Bristol A	0	0	10	10
Imperial A	LSE B	0	10	10	20
Southampton A	Imperial B	0	10	0	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
UF C	UF F	0	0	10	10
UF D	UF E	0	10	0	10