31 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] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
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] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
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] |
14329 | Some dispositional properties (such as mental ones) may have no categorical base [Price,HH] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
9032 | Before we can abstract from an instance of violet, we must first recognise it [Price,HH] |
9035 | If judgement of a characteristic is possible, that part of abstraction must be complete [Price,HH] |
9034 | There may be degrees of abstraction which allow recognition by signs, without full concepts [Price,HH] |
9036 | There is pre-verbal sign-based abstraction, as when ice actually looks cold [Price,HH] |
9037 | Intelligent behaviour, even in animals, has something abstract about it [Price,HH] |
9033 | Recognition must precede the acquisition of basic concepts, so it is the fundamental intellectual process [Price,HH] |
9030 | Abstractions can be interpreted dispositionally, as the ability to recognise or imagine an item [Price,HH] |
9029 | If ideas have to be images, then abstract ideas become a paradoxical problem [Price,HH] |
9031 | The basic concepts of conceptual cognition are acquired by direct abstraction from instances [Price,HH] |
6112 | Meaning takes many different forms, depending on different logical types [Russell] |