Bonus

Previous bonus - Next bonus
This philosopher’s namesake semantics employs “frames” consisting of a set W and an accessibility relation R. For 10 points each:
[10m] Name this philosopher who first attempted to prove the completeness of that semantics in a 1959 paper he wrote at the age of 18, the same year he taught a graduate course at MIT.
ANSWER: Saul Kripke [accept Kripke semantics; accept Kripke frame]
[10e] That paper is titled for “A Completeness Theorem” in a logic described by this adjective. Logical systems described by this adjective deal with necessity and possibility.
ANSWER: modal logic [or modality; accept “A Completeness Theorem in Modal Logic”]
[10h] That paper attempts to prove the completeness of this specific system of modal logic, with an alphanumeric name derived from C. I. Lewis. This logic system assumes that accessibility is reflexive and Euclidean and was used to prove the modal ontological argument.
ANSWER: S5 [accept KT5]
<Philosophy>
Answerlines and category may not exactly match the version played at all sites

Back to bonuses

Conversion

TeamOpponentPart 1Part 2Part 3TotalParts
British ColumbiaYale1010020ME
Chicago AUC Berkeley A10101030MEH
Chicago BJohns Hopkins0000
Columbia BMichigan0000
Cornell AMIT1010020ME
Cornell BWinona State0000
Georgia StateArizona State0000
Georgia TechVirginia Tech010010E
HarvardToronto C010010E
IndianaWaterloo A010010E
LSENYU0000
MarylandIllinois B010010E
MinnesotaTexas1010020ME
North Carolina AIllinois A1010020ME
North Carolina BUCF0000
NorthwesternToronto A010010E
Ohio StateVirginia0000
OttawaFlorida010010E
RITVanderbilt1010020ME
StanfordRutgers1010020ME
Toronto BIowa State1010020ME
UC Berkeley BPenn State10101030MEH
WUSTL AColumbia A1010020ME
Waterloo BWUSTL B1010020ME

Summary

TournamentExact Match?HeardPPBEasy %Medium %Hard %
2025 ACF NationalsYes2412.5071%46%8%