48 ideas
7689 | The modal logic of C.I.Lewis was only interpreted by Kripke and Hintikka in the 1960s [Jacquette] |
7681 | Logic describes inferences between sentences expressing possible properties of objects [Jacquette] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
7682 | Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values [Jacquette] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
7697 | On Russell's analysis, the sentence "The winged horse has wings" comes out as false [Jacquette] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
7701 | Can a Barber shave all and only those persons who do not shave themselves? [Jacquette] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
7707 | To grasp being, we must say why something exists, and why there is one world [Jacquette] |
7692 | Being is maximal consistency [Jacquette] |
7687 | Existence is completeness and consistency [Jacquette] |
7679 | Ontology is the same as the conceptual foundations of logic [Jacquette] |
7678 | Ontology must include the minimum requirements for our semantics [Jacquette] |
7683 | Logic is based either on separate objects and properties, or objects as combinations of properties [Jacquette] |
7684 | Reduce states-of-affairs to object-property combinations, and possible worlds to states-of-affairs [Jacquette] |
16185 | Causality indicates which properties are real [Cartwright,N] |
7703 | If classes can't be eliminated, and they are property combinations, then properties (universals) can't be either [Jacquette] |
7685 | An object is a predication subject, distinguished by a distinctive combination of properties [Jacquette] |
7699 | Numbers, sets and propositions are abstract particulars; properties, qualities and relations are universals [Jacquette] |
7691 | The actual world is a consistent combination of states, made of consistent property combinations [Jacquette] |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
7688 | The actual world is a maximally consistent combination of actual states of affairs [Jacquette] |
7695 | Do proposition-structures not associated with the actual world deserve to be called worlds? [Jacquette] |
7694 | We must experience the 'actual' world, which is defined by maximally consistent propositions [Jacquette] |
16182 | Two main types of explanation are by causes, or by citing a theoretical framework [Cartwright,N] |
16184 | An explanation is a model that fits a theory and predicts the phenomenological laws [Cartwright,N] |
16167 | Laws get the facts wrong, and explanation rests on improvements and qualifications of laws [Cartwright,N] |
16169 | Laws apply to separate domains, but real explanations apply to intersecting domains [Cartwright,N] |
16176 | Covering-law explanation lets us explain storms by falling barometers [Cartwright,N] |
16177 | I disagree with the covering-law view that there is a law to cover every single case [Cartwright,N] |
16180 | You can't explain one quail's behaviour by just saying that all quails do it [Cartwright,N] |
16171 | The covering law view assumes that each phenomenon has a 'right' explanation [Cartwright,N] |
16183 | In science, best explanations have regularly turned out to be false [Cartwright,N] |
7706 | If qualia supervene on intentional states, then intentional states are explanatorily fundamental [Jacquette] |
7704 | Reduction of intentionality involving nonexistent objects is impossible, as reduction must be to what is actual [Jacquette] |
7702 | The extreme views on propositions are Frege's Platonism and Quine's extreme nominalism [Jacquette] |
16175 | A cause won't increase the effect frequency if other causes keep interfering [Cartwright,N] |
6781 | There are fundamental explanatory laws (false!), and phenomenological laws (regularities) [Cartwright,N, by Bird] |
16166 | Laws of appearances are 'phenomenological'; laws of reality are 'theoretical' [Cartwright,N] |
16179 | Good organisation may not be true, and the truth may not organise very much [Cartwright,N] |
16170 | To get from facts to equations, we need a prepared descriptions suited to mathematics [Cartwright,N] |
16181 | Simple laws have quite different outcomes when they act in combinations [Cartwright,N] |
16178 | There are few laws for when one theory meets another [Cartwright,N] |