5 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
| 15034 | Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry] |
| Full Idea: I shall beg off talking of a) whether genera and species are real or situated in bare thoughts alone, b) whether as real they are bodies or incorporeals, and c) whether they are separated or in sensibles and have their reality in connection with them. | |
| From: Porphyry (Isagoge ('Introduction') [c.295], (2)) | |
| A reaction: This passage, picking up on Aristotle, seems to be the original source that grew into the medievel debate about universals. It seems to rather neatly lay out the agenda for the universals debate which is still with us. |
| 12893 | Contextualism says sceptical arguments are true, relative to their strict context [Cohen,S] |
| Full Idea: Contextualism explains the appeal of sceptical arguments by allowing that the claims of the sceptic are true, relative to the very strict context in which they are made. | |
| From: Stewart Cohen (Contextualism Defended [2005], p.57) | |
| A reaction: This strikes me a right. I've always thought that global scepticism must be conceded if we are being very strict indeed about justification, but also that it is ridiculous to be that strict. So the epistemological question is 'How strict should we be?' |
| 12896 | Knowledge is context-sensitive, because justification is [Cohen,S] |
| Full Idea: The context-sensitivity of knowledge is inherited from one of its components, i.e. justification. | |
| From: Stewart Cohen (Contextualism Defended [2005], p.68) | |
| A reaction: I think this is exactly right - that there is nothing relative or contextual about what is actually true, or what someone believes, but knowleddge is wholly relative because it rests on shifting standards of justification. |
| 12894 | There aren't invariant high standards for knowledge, because even those can be raised [Cohen,S] |
| Full Idea: The problem for invariantism is that competent speakers, under sceptical pressure, tend to deny that we know even the most conspicuous facts of perception, the clearest memories etc. | |
| From: Stewart Cohen (Contextualism Defended [2005], p.58) | |
| A reaction: This is aimed at Idea 12892. This seems to me a strong response to the rather weak invariantist case (that there is 'really and truly' only one invariant standard for knowledge). Full strength scepticism about everything demolishes all knowledge. |