26 ideas
13838 | A decent modern definition should always imply a semantics [Hacking] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
10369 | How fine-grained Kim's events are depends on how finely properties are individuated [Kim, by Schaffer,J] |
8976 | If events are ordered triples of items, such things seem to be sets, and hence abstract [Simons on Kim] |
8975 | Events cannot be merely ordered triples, but must specify the link between the elements [Kim, by Simons] |
8974 | Events are composed of an object with an attribute at a time [Kim, by Simons] |
8977 | Since properties like self-identity and being 2+2=4 are timeless, Kim must restrict his properties [Simons on Kim] |
8980 | Kim's theory results in too many events [Simons on Kim] |
8337 | Some says mental causation is distinct because we can recognise single occurrences [Mackie] |
8342 | Mackie tries to analyse singular causal statements, but his entities are too vague for events [Kim on Mackie] |
8343 | Necessity and sufficiency are best suited to properties and generic events, not individual events [Kim on Mackie] |
8385 | A cause is part of a wider set of conditions which suffices for its effect [Mackie, by Crane] |
8335 | Necessary conditions are like counterfactuals, and sufficient conditions are like factual conditionals [Mackie] |
8336 | The INUS account interprets single events, and sequences, causally, without laws being known [Mackie] |
8333 | A cause is an Insufficient but Necessary part of an Unnecessary but Sufficient condition [Mackie] |
8395 | Mackie has a nomological account of general causes, and a subjunctive conditional account of single ones [Mackie, by Tooley] |
8334 | The virus causes yellow fever, and is 'the' cause; sweets cause tooth decay, but they are not 'the' cause [Mackie] |