26 ideas
6118 | Philosophy is logical analysis, followed by synthesis [Russell] |
6116 | A logical language would show up the fallacy of inferring reality from ordinary language [Russell] |
6117 | Philosophy should be built on science, to reduce error [Russell] |
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] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [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] |
6110 | Subject-predicate logic (and substance-attribute metaphysics) arise from Aryan languages [Russell] |
6107 | It is logic, not metaphysics, that is fundamental to philosophy [Russell] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
6108 | Maths can be deduced from logical axioms and the logic of relations [Russell] |
10968 | Russell gave up logical atomism because of negative, general and belief propositions [Russell, by Read] |
6113 | To mean facts we assert them; to mean simples we name them [Russell] |
6114 | 'Simples' are not experienced, but are inferred at the limits of analysis [Russell] |
21722 | Better to construct from what is known, than to infer what is unknown [Russell] |
6111 | As propositions can be put in subject-predicate form, we wrongly infer that facts have substance-quality form [Russell] |
4760 | Belief aims at knowledge (rather than truth), and mere believing is a kind of botched knowing [Williamson] |
19512 | Don't analyse knowledge; use knowledge to analyse other concepts in epistemology [Williamson, by DeRose] |
6112 | Meaning takes many different forms, depending on different logical types [Russell] |