28 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] |
5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
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] |
8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
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] |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
16965 | All we have of general existence is what existential quantifiers express [Quine] |
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] |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
6111 | As propositions can be put in subject-predicate form, we wrongly infer that facts have substance-quality form [Russell] |
16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
16961 | In formal terms, a category is the range of some style of variables [Quine] |
6112 | Meaning takes many different forms, depending on different logical types [Russell] |