What does the type theory in the Principia Mathematica and that of contemporary logic have in common?
The SEP entry on second order or higher logic in passing say that countable order logic is type theory. My impression that this is the type theory of the Principia (I may be wrong here). There is ...
Something about my translation has bothered me since I originally posted my question (which follows below). It concerns what Bertrand Russell wrote in "On Denoting". Ryno indicated a circularity with ...
Russell was active in philosophy (although no longer in math) for many years after the Gödel's 1931 publication. Gödel's paper were not obscure, and Russell would have been aware of their effect on ...
Why did Chalmers shift from idealism to dualism? And Russell from materialism to neutral monism? Edit: The particulars of Russell is recounted in A.C. Grayling's 'Russell: A Very Short Introduction' ...
I just read "The History of Western Philosophy" and liked it very much. I would like to now read a history that covers the span after Russell wrote the book, from 1940-present. Can anyone recommend a ...
Bertrand Rusell writes in his essay "Why I Am Not A Christian": There is no reason why the world could not have come into being without a cause; [...] Warren Rachelle, however, states in his ...