Combining Texts

All the ideas for 'Intensional Logic', 'The Value Problem' and 'The Case for Contextualism'

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


16 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom has a higher value than understanding, which has a higher value than knowledge [Greco]
     Full Idea: Intuitively, understanding is more valuable than knowledge and wisdom is more valuable than understanding.
     From: John Greco (The Value Problem [2011], 'Knowledge')
     A reaction: Down at the bottom is having an 'inkling' of something, I presume. Not convinced of this. I would rate understanding above knowledge, but wisdom seems rather different. It implies a breadth that does not focus on any particular topic.
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
     Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects.
     From: Melvin Fitting (Intensional Logic [2007], 3)
     A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough.
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
     Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects.
     From: Melvin Fitting (Intensional Logic [2007], 3.3)
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
     Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear.
     From: Melvin Fitting (Intensional Logic [2007], 3.6.1)
     A reaction: [He cites Fagin and Halpern 1988 for this]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
     Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity.
     From: Melvin Fitting (Intensional Logic [2007], 3.6.1)
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
     Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics.
     From: Melvin Fitting (Intensional Logic [2007], §1)
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
     Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □.
     From: Melvin Fitting (Intensional Logic [2007], §3.3)
     A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
     Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally.
     From: Melvin Fitting (Intensional Logic [2007], 3.4)
     A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
If value is practical, knowledge is no better than true opinion [Greco]
     Full Idea: Why should knowledge be more valuable than true opinion, if their practical value is the same?
     From: John Greco (The Value Problem [2011], Intro)
     A reaction: We have exam systems and academic titles to bestow social prestige on people who know, not to mention quiz shows. Modern society needs lots of knowledgeable citizens. I'm not sure what intrinsic value knowledge could have.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
A contextualist coherentist will say that how strongly a justification must cohere depends on context [DeRose]
     Full Idea: If you are a coherentist and a contextualist, you'll probably want to hold that how strongly beliefs must cohere with one another in order to count as knowledge (if they are true), or to count as justified, is a contextually variable matter.
     From: Keith DeRose (The Case for Contextualism [2009], 1.09)
     A reaction: How exciting! He's talking about ME! Context might not only dictate the strength of the coherence, but also the range of beliefs involved. In fact all of Thagard's criteria of coherence may be subject to contextual variation.
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
Classical invariantism combines fixed truth-conditions with variable assertability standards [DeRose]
     Full Idea: The great rival to contextualism is classical 'invariantism' - invariantism about the truth-conditions [for knowing], combined with variable standards for warranted assertability.
     From: Keith DeRose (The Case for Contextualism [2009], 1.12)
     A reaction: That is, I take it, that we might want to assert that someone 'knows' something, when the truth is that they don't. That is, either you know or you don't, but we can bend the rules as to whether we say you know. I take this view to be false.
We can make contextualism more precise, by specifying the discrimination needed each time [DeRose]
     Full Idea: We might make the basic contextualist schema more precise ...by saying the change in content will consist in a change in the range of relevant alternatives. Higher standards would discriminate from a broader range of alternatives.
     From: Keith DeRose (The Case for Contextualism [2009], 1.14)
     A reaction: This would handle the 'fake barn' and 'disguised zebra' examples, by saying lower standards do not expect such discriminations. The zebra case has a lower standard than the barn case (because fake barns are the norm here).
In some contexts there is little more to knowledge than true belief. [DeRose]
     Full Idea: I'm inclined to accept that in certain contexts the standards for knowledge are so low that little more than true belief is required.
     From: Keith DeRose (The Case for Contextualism [2009], 1.6)
     A reaction: DeRose emphasises that 'a little more' is needed, rather than none. The example given is where 'he knew that p' means little more than 'the information that p was available to him' (in a political scandal).
Contextualists worry about scepticism, but they should focus on the use of 'know' in ordinary speech [DeRose]
     Full Idea: While skepticism has drawn much of the attention of contextualists, support for contextualism should also - and perhaps primarily - be looked for in how 'knows' is utilised in non-philosophical conversation.
     From: Keith DeRose (The Case for Contextualism [2009], 1016)
     A reaction: Contextualists say scepticism is just raising the standards absurdly high. I take it that the ordinary use of the word 'know' is obviously highly contextual, and so varied that I don't see how philosophers could 'regiment' it into invariant form.
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / b. Invariantism
If contextualism is about knowledge attribution, rather than knowledge, then it is philosophy of language [DeRose]
     Full Idea: Maybe contextualism isn't a theory about knowledge at all, but about knowledge attributions. As such, it is not a piece of epistemology at all, but of philosophy of language.
     From: Keith DeRose (The Case for Contextualism [2009], 1.7)
     A reaction: DeRose takes this view to be wrong. At the very least this will have to include self-attributions, by the supposed knower, because I might say 'I know that p', meaning 'but only in this rather low-standard context'.
13. Knowledge Criteria / C. External Justification / 10. Anti External Justification
Externalist theories don't explain why knowledge has value [Greco]
     Full Idea: Externalist theories do not give knowledge the sort of value that internalists want knowledge to have.
     From: John Greco (The Value Problem [2011], Intro)
     A reaction: [He cites Pritchard 2008] This is not a very strong argument, given the uncertainties and complexities in the idea that we share a 'value'. If the value of knowledge is really instrumental (and loved no less because of that), then externalism could cope.