23 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
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] |