14 ideas
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
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] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |