P
P → Q
Therefore ??
What is Q?
Symbolic Logic course number
What is 2500?
What is the evil demon (evil genius)?
This badass dude starred in "The Outlaw Josey Wales", "The Good, The Bad, and The Ugly", and "A Fistful of Dollars", to name a few.
Who is Clint Eastwood?
Leighton Undergraduate Philosophy Club began in this year
What is 1901
This is the name of the three-legged shark, wearing blue shoes.
Who is Tralalero Tralala?
Any consistent formal system of arithmetic contains statements which are true but unprovable in that system
A consistent formal system cannot prove its own consistency
What is Gödel’s incompleteness theorem?
This philosopher credits his survival of a plane crash to a smoking habit
Bertrand Russell
(Within 2 million years)
The dinosaurs died out this long ago.
What is 65-66 million years ago? (contested!)
If Γ is consistent, then Γ has a countable model
What is Löwenheim-Skolem theorem?
This philosopher is the granddaughter of US president Grover Cleveland
Phillipa Foot
This is the last word in the preamble to the United States Constitution.
What is "America"?
In the classic Wii Mariokart, on the map "Maple Treeway", one may find themselves bumping into these large yellow creatures, known by this name.
What are Wigglers?