18 ideas
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] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
7401 | Heat and colour don't exist, so cannot mislead about the external world [Galileo, by Tuck] |
5454 | Tastes, odours and colours only reside in consciousness, and would disappear with creatures [Galileo] |
16560 | Galileo introduced geometrico-mechanical explanation, based on Archimedes [Galileo, by Machamer/Darden/Craver] |
20400 | Intentions either succeed or fail, so external evidence for them is always irrelevant [Wimsatt/Beardsley, by Davies,S] |
7266 | The author's intentions are irrelevant to the judgement of a work's success [Wimsatt/Beardsley] |
7268 | The thoughts of a poem should be imputed to the dramatic speaker, and hardly at all to the poet [Wimsatt/Beardsley] |
7267 | Poetry, unlike messages, can be successful without communicating intentions [Wimsatt/Beardsley] |
7269 | The intentional fallacy is a romantic one [Wimsatt/Beardsley] |
7271 | Biography can reveal meanings and dramatic character, as well as possible intentions [Wimsatt/Beardsley] |
3645 | To understand the universe mathematics is essential [Galileo] |
19673 | Galileo mathematised movement, and revealed its invariable component - acceleration [Galileo, by Meillassoux] |