Combining Texts

All the ideas for 'reports', 'Intensional Logic' and 'The Philosophy of Mathematics'

expand these ideas     |    start again     |     specify just one area for these texts

26 ideas

4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
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]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9193 ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett]
9194 The main alternative to ZF is one which includes looser classes as well as sets [Dummett]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9195 Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
9186 First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
9187 Logical truths and inference are characterized either syntactically or semantically [Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
9191 Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
9192 The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
7352 Jesus said learning was unnecessary, and only the spirit of the Law was needed [Jesus, by Johnson,P]
22. Metaethics / B. Value / 2. Values / g. Love
6289 Love your enemies [Jesus]
6292 Love thy neighbour as thyself [Jesus]
23. Ethics / B. Contract Ethics / 2. Golden Rule
5356 Treat others as you would have them treat you [Jesus]
23. Ethics / B. Contract Ethics / 4. Value of Authority
6286 Blessed are the merciful: for they shall obtain mercy [Jesus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
6290 Except ye become as little children, ye shall not enter heaven [Jesus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / h. Right feelings
6287 If you lust after a woman, you have committed adultery [Jesus]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
6285 Blessed are the meek; for they shall inherit the earth [Jesus]
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
6288 Don't resist evil, but turn the other cheek [Jesus]
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
6293 It is almost impossible for the rich to go to heaven [Jesus]
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
6291 No one is good except God [Jesus]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
7351 Jesus turned the ideas of Hillel into a theology reduced to its moral elements [Jesus, by Johnson,P]