11 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] |
| 8851 | Coherentists say that regress problems are assuming 'linear' justification [Williams,M] |
| Full Idea: From the point of view of the coherentist, Agrippa's Dilemma fails because it presupposes a 'linear' conception of justifying inference. | |
| From: Michael Williams (Without Immediate Justification [2005], §2) | |
| A reaction: [He cites Bonjour 1985 for this view] Since a belief may have several justifications, and one belief could justify a host of others, there certainly isn't a simple line of justifications. I agree with the coherentist picture here. |
| 8849 | Traditional foundationalism is radically internalist [Williams,M] |
| Full Idea: Traditional foundationalism is radically internalist. The justification-making factors for beliefs, basic and otherwise, are all open to view, and perhaps even actual objects of awareness. I am always in a position to know that I know. | |
| From: Michael Williams (Without Immediate Justification [2005], §1) | |
| A reaction: This is a helpful if one is trying to draw a map of the debate. An externalist foundationalism would have to terminate in the external fact which was the object of knowledge (via some reliable channel), but that is the truth, not the justification. |
| 8853 | Basic judgements are immune from error because they have no content [Williams,M] |
| Full Idea: Basic judgements threaten to buy their immunity from error at the cost of being drained of descriptive content altogether. | |
| From: Michael Williams (Without Immediate Justification [2005], §4) | |
| A reaction: This is probably the key objection to foundationalism. As you import sufficient content into basic experiences to enable them to actually justify a set of beliefs, you find you have imported all sorts of comparisons and classifications as well. |
| 8855 | Sensory experience may be fixed, but it can still be misdescribed [Williams,M] |
| Full Idea: The fact that experiential contents cannot be other than they are, as far as sensory awareness goes, does not imply that we cannot misdescribe them, as in misreporting the number of speckles on a speckled hen (Chisholm's example). | |
| From: Michael Williams (Without Immediate Justification [2005], §4) | |
| A reaction: [Chisholm 1942 is cited] Such experiences couldn't be basic beliefs if there was a conflict between their intrinsic nature and the description I used in discussing them. |
| 8852 | In the context of scepticism, externalism does not seem to be an option [Williams,M] |
| Full Idea: In the peculiar context of the skeptical challenge, it is easy to persuade oneself that externalism is not an option. | |
| From: Michael Williams (Without Immediate Justification [2005], §3) | |
| A reaction: This is because externalism sees justification as largely non-conscious, but when faced with scepticism, the justifications need to be spelled out, and therefore internalised. So are sceptical discussions basic, or freakish anomalies? |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |