17 ideas
15375 | 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. |
15376 | 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) |
15378 | 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] |
15379 | 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) |
11026 | 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) |
11028 | λ-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. |
15377 | 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. |
19520 | Evidentialism is not axiomatic; the evidence itself inclines us towards evidentialism [Conee] |
Full Idea: Evidentialism does not support beginning epistemology by taking for granted that evidentialism is true. ...Rather, what potentially justifies belief in intial epistemic data and initial procedures of inquiry is the evidence itself. | |
From: Earl Conee (First Things First [2004], 'Getting') | |
A reaction: This sounds good. I much prefer talk of 'evidence' to talk of 'perceptions', because evidence has been licked into shape, and its significance has been clarified. That is the first step towards the coherence we seek. |
19521 | If pure guesses were reliable, reliabilists would have to endorse them [Conee] |
Full Idea: Reliabilism would count pure guesses as good reasons if guessing were properly reliable. | |
From: Earl Conee (First Things First [2004], 'Getting') | |
A reaction: See D.H. Lawrence's short story 'The Rocking Horse Winner'. This objection strikes me as being so devastating that it is almost conclusive. Except that pure guesses are never ever reliable, over a decent period of time. |
19522 | More than actual reliability is needed, since I may mistakenly doubt what is reliable [Conee] |
Full Idea: Sheer reliability does not justify belief. ...It may be, for instance, that we have strong though misleading reason to deny the method's reliability. | |
From: Earl Conee (First Things First [2004], 'Circles') | |
A reaction: That is, we accept a justification if we judge the method to be reliable, not if it IS reliable. I can disbelieve all the reliable information that arrives in my mind. People do that all the time! Hatred of experts! Support for internalism? |
19523 | Reliabilism is poor on reflective judgements about hypothetical cases [Conee] |
Full Idea: An unrefined reliability theory does a poor job at capturing reflective judgements about hypothetical cases | |
From: Earl Conee (First Things First [2004], 'Stroud's') | |
A reaction: Reliability can only be a test for tried and tested ways. No one can say whether imagining a range of possibilities is reliable or not. Is prediction a reliable route to knowledge? |
19555 | People begin to doubt whether they 'know' when the answer becomes more significant [Conee] |
Full Idea: Fluent speakers typically become increasingly hesitant about 'knowledge' attributions as the practical significance of the right answer increases. | |
From: Earl Conee (Contextualism Contested (and reply) [2005], 'Epistemic') | |
A reaction: The standard examples of this phenomenon are in criminal investigations, and in philosophical discussions of scepticism. Simple observations I take to have maximum unshakable confidence, except in extreme global scepticism contexts. |
19556 | Maybe knowledge has fixed standards (high, but attainable), although people apply contextual standards [Conee] |
Full Idea: It may be that all 'knowledge' attributions have the same truth conditions, but people apply contextually varying standards. The most plausible standard for truth is very high, but not unreachably high. | |
From: Earl Conee (Contextualism Contested (and reply) [2005], 'Loose') | |
A reaction: This is the 'invariantist' alternative to contextualism about knowledge. Is it a standard 'for truth'? Either it is or it isn't true, so there isn't a standard. I take the standard to concern the justification. |
19557 | Maybe low knowledge standards are loose talk; people will deny that it is 'really and truly' knowledge [Conee] |
Full Idea: Maybe variable knowledge ascriptions are just loose talk. This is shown when we ask whether weakly supported knowledge is 'really' or 'truly' or 'really and truly' known. Fluent speakers have a strong inclination to doubt or deny that it is. | |
From: Earl Conee (Contextualism Contested (and reply) [2005], 'Loose') | |
A reaction: [bit compressed] Conee is suggesting the people are tacitly invariantist about knowledge (they have a fixed standard). But it may be that someone who asks 'do you really and truly know?' is raising the contextual standard. E.g. a barrister. |
12890 | That standards vary with context doesn't imply different truth-conditions for judgements [Conee] |
Full Idea: The fact that different standards are routinely applied in making an evaluative judgement does not imply the correctness of semantic contextualism about the contents of judgements. ..We can't infer different truth conditions from differing standards. | |
From: Earl Conee (Contextualism Contested [2005], p.51) | |
A reaction: This is the basic objection to contextualism from the 'invariantist' camp, which says there are facts about good judgement and justification, despite contextual shifts. My sympathies are with the contextualists (on this one). |
12892 | Maybe there is only one context (the 'really and truly' one) for serious discussions of knowledge [Conee] |
Full Idea: Maybe every issue about knowledge (Gettier problem, scientific knowledge, justification, scepticism) has been discussed solely in the single 'really and truly' context. | |
From: Earl Conee (Contextualism Contested [2005], p.53) | |
A reaction: This seems not to be true, if we contrast Descartes' desire for total certainty with Peirce's fallibilism. It seems to me that modern philosophy has deliberately relaxed the standard, in order to make some sort of knowledge possible. Cf. Idea 12894. |
23137 | Liberty without socialism is injustice; socialism without liberty is brutality [Bakunin] |
Full Idea: Liberty without socialism is injustice; socialism without liberty is slavery and brutality. | |
From: Mikhail Bakunin (works [1867], 3), quoted by Adam Gopnik - A Thousand Small Sanities 3 | |
A reaction: [1867, but no reference] Bakunin was an anarchistic socialist. This must be the best one-line defence of socialism ever written. Gopnik quotes it as part of the anarchist critique of liberalism. So are liberty and socialism long-term compatible? |