Concept tag
#causal-theory
-
Kripke’s Gödel and Schmidt case: why would my word still pick out Gödel?
I teach mathematics in Delhi, and every year when we reach the incompleteness theorems one student asks the same thing: what if somebody else actually did it? This year I went looking and found that Kripke used exactly that scenario. The setup,…
Started by Vikram Sethi4 replies130 views -
Reading group: Gettier’s three pages, with Russell’s clock and Dharmottara’s mirage alongside
My day job is proving that software does what it claims, and the thing I love most about Gettier's paper is that it works like a failing test case. One counterexample, cleanly stated, and a definition that looked settled stops compiling. It…
Started by Derek Hollis5 replies259 views