Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'What is Knowledge-First Epistemology?' and 'Fragments'

unexpand these ideas     |    start again     |     specify just one area for these texts


5 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
     Full Idea: Kripke proposes that the substitutional quantifier is not a replacement for, or in competition with, the standard interpretation.
     From: report of Saul A. Kripke (A Problem about Substitutional Quantification? [1976]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.165
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
Don't confuse justified belief with justified believers [Dougherty/Rysiew]
     Full Idea: Much theorizing about justification conflates issues of justified belief with issues of justified/blameless believers.
     From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.12)
     A reaction: [They cite Kent Bach 1985] Presumably the only thing that really justifies a belief is the truth, or the actual facts. You could then say 'p is a justified belief, though no one actually believes it'. E.g. the number of stars is odd.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew]
     Full Idea: If knowledge is indeed unanalyzable, that could be seen as a liberation of justification to assume importance in its own right.
     From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.11)
     A reaction: [They cite Kvanvig 2003:192 and Greco 2010:9-] See Scruton's Idea 3897. I suspect that we should just give up discussing 'knowledge', which is a woolly and uninformative term, and focus on where the real epistemological action is.
19. Language / C. Assigning Meanings / 2. Semantics
Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew]
     Full Idea: Entailment is modelled in formal semantics as set inclusion. 'Cat' entails 'mammal' because the cats are a subset of the mammals.
     From: Dougherty,T/Rysiew,P (What is Knowledge-First Epistemology? [2014], p.10)
     A reaction: I would have thought that this was only one type of entailment. 'Travelling to Iceland entails flying'. Travelling includes flying, the reverse of cats/mammals, to a very complex set-theoretic account is needed. Interesting.
25. Social Practice / E. Policies / 5. Education / d. Study of history
Dividing history books into separate chapters is disastrous [Weil]
     Full Idea: The division of history textbooks into chapters will cost us many disastrous mistakes.
     From: Simone Weil (Fragments [1936], p.131)
     A reaction: Nice observation. The point is that we fail to grasp what really happened if we draw sharp lines across history.