| Picture | Hint | Answer | % Correct |
|---|---|---|---|
![]() | syllogistic logic | Aristotle | 100%
|
![]() | Principia Mathematica | Bertrand Russell | 83%
|
![]() | Calculus Ratiocinator | Gottfried W. von Leibniz | 83%
|
![]() | incompleteness theorems | Kurt Gödel | 83%
|
![]() | Boolean algebra | George Boole | 75%
|
![]() | predicate logic | Gottlob Frege | 58%
|
![]() | possible worlds semantics | Saul Kripke | 50%
|
![]() | logical syntax of language | Rudolf Carnap | 42%
|
![]() | indefinability of truth theorem | Alfred Tarski | 33%
|
![]() | ¬(P ∧ Q) <=> (¬P) ∨ (¬Q) | Augustus De Morgan | 33%
|
![]() | dhātī (essential/intrinsic) modalities | Avicenna | 33%
|
![]() | calculus of relations | Charles Sanders Peirce | 33%
|
![]() | summa logicae | William of Ockham | 33%
|
![]() | two Dogmas of Empiricism | W.V.O Quine | 33%
|
![]() | Isagoge | Porphyry of Tyre | 25%
|
![]() | propositional logic foundations | Chrysippus | 17%
|