24 ideas
12772 | Philosophy is a value- and attitude-driven enterprise [Fraassen] |
12771 | Is it likely that a successful, coherent, explanatory ontological hypothesis is true? [Fraassen] |
6118 | Philosophy is logical analysis, followed by synthesis [Russell] |
12773 | Analytic philosophy has an exceptional arsenal of critical tools [Fraassen] |
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] |
12770 | We may end up with a huge theory of carefully constructed falsehoods [Fraassen] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
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] |
6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
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] |
12769 | Inference to best explanation contains all sorts of hidden values [Fraassen] |
12768 | We accept many scientific theories without endorsing them as true [Fraassen] |
6112 | Meaning takes many different forms, depending on different logical types [Russell] |