intuitionistic logic - 2023 Chicago Open

Question

Unlike classical logic, which can be viewed algebraically as a Boolean algebra, this logic can be viewed as a Heyting algebra that treats negation as a pseudo-complement. For 10 points each:

[10m] Identify this logic weaker than classical logic, which does not validate double negation elimination or excluded middle. This logic is typically given a semantics based on the BHK interpretation.

ANSWER: intuitionistic logic [accept intuitionism; reject “mathematical intuitionism”]

[10e] This logician gave a relational semantics for intuitionistic logic based on the relational semantics for modal logic he discovered as a teenager. In honor of this logician, the minimal normal modal logic is named K.

ANSWER: Saul Kripke [or Saul Aaron Kripke]

[10h] Kit Fine developed a realist semantics for intuitionistic logic based on these states that “exactly verify” propositions. Mulligan, Simons and Smith introduced them in a 1984 defense of the correspondence theory.

ANSWER: truthmakers [or truthmaker semantics or truthmaker theory]

Back to bonuses

Summary


2023 Chicago Open	08/05/2023	Y	10	9.00	70%	20%	0%

Data


Evans Hall destruction awaiters	Don't be Afraid, the Clown's Afraid Too	0	0	0
I prefer really not to speak. If I speak I’m in big trouble	wave2: trimming membership codes 9655377758gp	0	0	0
remembrance of lost time	In Search of Things Past	10	10	20
Teach Us to Outgrow Our Ladness	Quasicrystal Silence	0	10	10
BHSU	Team Name Think Detail	0	10	10
The anti-STOON-dahl cabal (the tall Keyal et al.)	Romanos IV Diogenes’ Macaroni Grill	0	10	10
Hang et al., Robert Browning	The Canadians	10	0	10
Curse you, Periplus the Platypus!	The Catastrophic Implosion of Packet Sub	0	10	10
The Plague (anime)" was redirected to: "Oran High School Host Club	Saint Peter Andre 3000	0	10	10
I would prefer not to	[moderator voice] yes that is so tenpointscore! is your team feeling bonuspilled?	0	10	10