82 ideas
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
14562 | A process is unified as an expression of a collection of causal powers [Mumford/Anjum] |
14541 | Events are essentially changes; property exemplifications are just states of affairs [Mumford/Anjum] |
14553 | Weak emergence is just unexpected, and strong emergence is beyond all deduction [Mumford/Anjum] |
14538 | Powers explain properties, causes, modality, events, and perhaps even particulars [Mumford/Anjum] |
14555 | Powers offer no more explanation of nature than laws do [Mumford/Anjum] |
14557 | Powers are not just basic forces, since they combine to make new powers [Mumford/Anjum] |
14583 | Dispositionality is a natural selection function, picking outcomes from the range of possibilities [Mumford/Anjum] |
14536 | We say 'power' and 'disposition' are equivalent, but some say dispositions are manifestable [Mumford/Anjum] |
14584 | The simple conditional analysis of dispositions doesn't allow for possible prevention [Mumford/Anjum] |
14582 | Might dispositions be reduced to normativity, or to intentionality? [Mumford/Anjum] |
14542 | If statue and clay fall and crush someone, the event is not overdetermined [Mumford/Anjum] |
14535 | Pandispositionalists say structures are clusters of causal powers [Mumford/Anjum] |
14561 | Perdurantism imposes no order on temporal parts, so sequences of events are contingent [Mumford/Anjum] |
14579 | Dispositionality is the core modality, with possibility and necessity as its extreme cases [Mumford/Anjum] |
14580 | Dispositions may suggest modality to us - as what might not have been, and what could have been [Mumford/Anjum] |
17535 | Dispositionality has its own distinctive type of modality [Mumford/Anjum] |
14552 | Relations are naturally necessary when they are generated by the essential mechanisms of the world [Mumford/Anjum] |
14578 | Possibility might be non-contradiction, or recombinations of the actual, or truth in possible worlds [Mumford/Anjum] |
14549 | Maybe truths are necessitated by the facts which are their truthmakers [Mumford/Anjum] |
14585 | We have more than five senses; balance and proprioception, for example [Mumford/Anjum] |
14576 | Smoking disposes towards cancer; smokers without cancer do not falsify this claim [Mumford/Anjum] |
14551 | If causation were necessary, the past would fix the future, and induction would be simple [Mumford/Anjum] |
14571 | The only full uniformities in nature occur from the essences of fundamental things [Mumford/Anjum] |
14570 | Nature is not completely uniform, and some regular causes sometimes fail to produce their effects [Mumford/Anjum] |
14569 | It is tempting to think that only entailment provides a full explanation [Mumford/Anjum] |
14568 | A structure won't give a causal explanation unless we know the powers of the structure [Mumford/Anjum] |
14556 | Strong emergence seems to imply top-down causation, originating in consciousness [Mumford/Anjum] |
22849 | Rawls's theory cannot justify liberalism, since it presupposes free and equal participants [Charvet] |
22848 | People with strong prior beliefs would have nothing to do with a veil of ignorance [Charvet] |
22838 | Societies need shared values, so conservatism is right if rational discussion of values is impossible [Charvet] |
22846 | The universalism of utilitarianism implies a world state [Charvet] |
22835 | Liberals value freedom and equality, but the society itself must decide on its values [Charvet] |
22831 | Modern libertarian societies still provide education and some housing [Charvet] |
22839 | Liberalism needs people to either have equal autonomy, or everyone to have enough autonomy [Charvet] |
22847 | Kant places a higher value on the universal rational will than on the people asserting it [Charvet] |
22821 | Liberalism asserts maximum freedom, but that must be equal for all participants [Charvet] |
22834 | Egalitarian liberals prefer equality (either of input or outcome) to liberty [Charvet] |
22822 | Liberals promote community and well-being - because all good societies need them [Charvet] |
22841 | Identity multiculturalism emerges from communitarianism, preferring community to humanity [Charvet] |
22842 | For communitarians it seems that you must accept the culture you are born into [Charvet] |
22830 | Give by ability and receive by need, rather than a free labour market [Charvet] |
22829 | Allowing defamatory speech is against society's interests, by blurring which people are trustworthy [Charvet] |
22836 | 'Freedom from' is an empty idea, if the freedom is not from impediments to my desires [Charvet] |
22837 | Positive freedom can lead to coercion, if you are forced to do what you chose to do [Charvet] |
22844 | First level autonomy is application of personal values; second level is criticising them [Charvet] |
22840 | Mere equality, as in two trees being the same height, has no value at all [Charvet] |
22843 | Inequalities are worse if they seem to be your fault, rather than social facts [Charvet] |
22845 | Money allows unlimited inequalities, and we obviously all agree to money [Charvet] |
22828 | The rule of law mainly benefits those with property and liberties [Charvet] |
22825 | The 1689 Bill of Rights denied the monarch new courts, or the right to sit as judge [Charvet] |
22823 | The rule of law is mainly to restrict governments [Charvet] |
22827 | Justice superior to the rule of law is claimed on behalf of the workers, or the will of the nation [Charvet] |
22826 | From 1701 only parliament could remove judges, whose decisions could not be discussed [Charvet] |
22832 | Welfare is needed if citizens are to accept the obligations of a liberal state [Charvet] |
14566 | Causation by absence is not real causation, but part of our explanatory practices [Mumford/Anjum] |
14577 | Causation may not be transitive. Does a fire cause itself to be extinguished by the sprinklers? [Mumford/Anjum] |
14563 | Causation is the passing around of powers [Mumford/Anjum] |
14587 | We take causation to be primitive, as it is hard to see how it could be further reduced [Mumford/Anjum] |
14533 | Causation doesn't have two distinct relata; it is a single unfolding process [Mumford/Anjum] |
14558 | A collision is a process, which involves simultaneous happenings, but not instantaneous ones [Mumford/Anjum] |
14559 | Does causation need a third tying ingredient, or just two that meet, or might there be a single process? [Mumford/Anjum] |
14565 | Sugar dissolving is a process taking time, not one event and then another [Mumford/Anjum] |
14567 | Privileging one cause is just an epistemic or pragmatic matter, not an ontological one [Mumford/Anjum] |
14537 | Coincidence is conjunction without causation; smoking causing cancer is the reverse [Mumford/Anjum] |
14572 | Is a cause because of counterfactual dependence, or is the dependence because there is a cause? [Mumford/Anjum] |
14573 | Occasionally a cause makes no difference (pre-emption, perhaps) so the counterfactual is false [Mumford/Anjum] |
14574 | Cases of preventing a prevention may give counterfactual dependence without causation [Mumford/Anjum] |
14539 | Nature can be interfered with, so a cause never necessitates its effects [Mumford/Anjum] |
14550 | We assert causes without asserting that they necessitate their effects [Mumford/Anjum] |
14546 | Necessary causation should survive antecedent strengthening, but no cause can always survive that [Mumford/Anjum] |
14575 | A 'ceteris paribus' clause implies that a conditional only has dispositional force [Mumford/Anjum] |
14548 | There may be necessitation in the world, but causation does not supply it [Mumford/Anjum] |
14554 | Laws are nothing more than descriptions of the behaviour of powers [Mumford/Anjum] |
14564 | If laws are equations, cause and effect must be simultaneous (or the law would be falsified)! [Mumford/Anjum] |