15 ideas
9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
Full Idea: A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0. | |
From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
A reaction: In the interpreted version of the logic, 1 and 0 would become T (true) and F (false). The procedure seems to be called nowadays a 'valuation'. |
9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
Full Idea: The Law of Transposition says that (P→Q) → (¬Q→¬P). | |
From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
A reaction: That is, if the consequent (Q) of a conditional is false, then the antecedent (P) must have been false. |
9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
Full Idea: An axiomatic system is most naturally consistent iff no thesis is the negation of another thesis. It can be shown that every axiom is valid, that the transformation rules are validity-preserving, and if a wff α is valid, then ¬α is not valid. | |
From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
A reaction: [The labels 'soundness' and 'consistency' seem interchangeable here, with the former nowadays preferred] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
Full Idea: To say that an axiom system is 'weakly complete' is to say that every valid wff of the system is derivable as a thesis. ..The system is 'strongly complete' if it cannot have any more theses than it has without falling into inconsistency. | |
From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
A reaction: [They go on to say that Propositional Logic is strongly complete, but Modal Logic is not] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
20475 | Maybe modal sentences cannot be true or false [Casullo] |
Full Idea: Some people claim that modal sentences do not express truths or falsehoods. | |
From: Albert Casullo (A Priori Knowledge [2002], 3.2) | |
A reaction: I can only imagine this coming from a narrow hardline empiricist. It seems to me obvious that we make true or false statements about what is possible or impossible. |
20476 | If the necessary is a priori, so is the contingent, because the same evidence is involved [Casullo] |
Full Idea: If one can only know a priori that a proposition is necessary, then one can know only a priori that a proposition is contingent. The evidence relevant to determining the latter is the same as that relevant to determining the former. | |
From: Albert Casullo (A Priori Knowledge [2002], 3.2) | |
A reaction: This seems a telling point, but I suppose it is obvious. If you see that the cat is on the mat, nothing in the situation tells you whether this is contingent or necessary. We assume it is contingent, but that may be an a priori assumption. |
20471 | Epistemic a priori conditions concern either the source, defeasibility or strength [Casullo] |
Full Idea: There are three suggested epistemic conditions on a priori knowledge: the first regards the source of justification, the second regards the defeasibility of justification, and the third appeals to the strength of justification. | |
From: Albert Casullo (A Priori Knowledge [2002], 2) | |
A reaction: [compressed] He says these are all inspired by Kant. The non-epistemic suggested condition involve necessity or analyticity. The source would have to be entirely mental; the defeasibly could not be experiential; the strength would be certainty. |
20477 | The main claim of defenders of the a priori is that some justifications are non-experiential [Casullo] |
Full Idea: The leading claim of proponents of the a priori is that sources of justification are of two significantly different types: experiential and nonexperiential. Initially this difference is marked at the phenomenological level. | |
From: Albert Casullo (A Priori Knowledge [2002], 5) | |
A reaction: He cites Plantinga and Bealer for the phenomenological starting point (that some knowledge just seems rationally obvious, certain, and perhaps necessary). |
20472 | Analysis of the a priori by necessity or analyticity addresses the proposition, not the justification [Casullo] |
Full Idea: There is reason to view non-epistemic analyses of a priori knowledge (in terms of necessity or analyticity) with suspicion. The a priori concerns justification. Analysis by necessity or analyticity concerns the proposition rather than the justification. | |
From: Albert Casullo (A Priori Knowledge [2002], 2.1) | |
A reaction: [compressed] The fact that the a priori is entirely a mode of justification, rather than a type of truth, is the modern view, influenced by Kripke. Given that assumption, this is a good objection. |
3913 | Maybe imagination is the source of a priori justification [Casullo] |
Full Idea: Some maintain that experiments in imagination are the source of a priori justification. | |
From: Albert Casullo (A priori/A posteriori [1992], p.1) | |
A reaction: What else could assessments of possibility and necessity be based on except imagination? |
20474 | 'Overriding' defeaters rule it out, and 'undermining' defeaters weaken in [Casullo] |
Full Idea: A justified belief that a proposition is not true is an 'overriding' defeater, ...and the belief that a justification is inadequate or defective is an 'undermining' defeater. | |
From: Albert Casullo (A Priori Knowledge [2002], n 40) | |
A reaction: Sounds more like a sliding scale than a binary option. Quite useful, though. |