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] |
22252 | Capitalism may actually be the best way to foster community [Conway,D] |
Full Idea: Not only is there no good reason for supposing capitalism inimical to community, but there is reason to think it more conducive to community than the feasible alternatives to it. | |
From: David Conway (Capitalism and Community [1996], I) | |
A reaction: Conway is defending an obviously unorthodox view, while attacking the hopes of communitarians. |
22253 | Capitalism is just the market, with optional limited government, and perhaps democracy [Conway,D] |
Full Idea: There are three types of capitalism: 1) the market - private ownership, labor contracts and profit, 2) limited government - the state provides goods the market cannot do, 3) limited government with democracy - with political freedom and elections. | |
From: David Conway (Capitalism and Community [1996], II) | |
A reaction: [compressed] I would have thought that capitalism is compatible with a fair degree of workplace democracy, which would make a fourth type. |
22256 | Capitalism prefers representative democracy, which avoids community decision-making [Conway,D] |
Full Idea: By opting for representative rather than direct democracy, capitalism is said to preclude political community, for which the citizens of a state must possess a common will, which needs their direct participation in decisions. | |
From: David Conway (Capitalism and Community [1996], V) | |
A reaction: Conway does not accept this claim. I'm beginning to wonder whether the famous British electoral system is actually a capitalist conspiracy against the people. |
22255 | Capitalism breaks up extended families, and must then provide welfare for the lonely people [Conway,D] |
Full Idea: It is said that capitalism encourages the breakup of extended families, which creates the need for extensive state welfare for those indigent members of society who can no longer rely on their own family to take care of them. | |
From: David Conway (Capitalism and Community [1996], V) | |
A reaction: Conway does not accept this claim. It seems to simplistic to say that capitalism is the sole culprit. Any rise of mechanisation in agriculture would break up rural extended families. |
22257 | Capitalism is anti-community, by only valuing individuals, and breaking up families [Conway,D] |
Full Idea: Communitarns say capitalism is inimical to family community, because it encourages an individualistic mentality which only values self-fulfilment, and because it demands labour mobility which is disruptive of families. | |
From: David Conway (Capitalism and Community [1996], VI) | |
A reaction: Chicken-and-egg with the first one. Small entrepreneurs are individualists who seek their own gain. It is big capitalism that sucks in the others. Traditional community is based on labour-intensive agriculture. |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
Full Idea: Philosophers are the forefathers of heretics. | |
From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
6610 | I believe because it is absurd [Tertullian] |
Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |