26 ideas
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
16235 | Persistence conditions cannot contradict, so there must be a 'dominant sortal' [Burke,M, by Hawley] |
14753 | The 'dominant' of two coinciding sortals is the one that entails the widest range of properties [Burke,M, by Sider] |
16072 | 'The rock' either refers to an object, or to a collection of parts, or to some stuff [Burke,M, by Wasserman] |
14751 | Tib goes out of existence when the tail is lost, because Tib was never the 'cat' [Burke,M, by Sider] |
16071 | Sculpting a lump of clay destroys one object, and replaces it with another one [Burke,M, by Wasserman] |
16234 | Burke says when two object coincide, one of them is destroyed in the process [Burke,M, by Hawley] |
13278 | Maybe the clay becomes a different lump when it becomes a statue [Burke,M, by Koslicki] |
14750 | Two entities can coincide as one, but only one of them (the dominant sortal) fixes persistence conditions [Burke,M, by Sider] |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
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] |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |