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