Combining Texts

All the ideas for 'Intensional Logic', 'Russell' and 'Essays on Intellectual Powers 6: Judgement'

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

20 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
23657 The existence of tensed verbs shows that not all truths are necessary truths [Reid]
2. Reason / F. Fallacies / 7. Ad Hominem
23655 An ad hominem argument is good, if it is shown that the man's principles are inconsistent [Reid]
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]
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 / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
6408 Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
23659 If someone denies that he is thinking when he is conscious of it, we can only laugh [Reid]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
23662 The existence of ideas is no more obvious than the existence of external objects [Reid]
11. Knowledge Aims / C. Knowing Reality / 4. Solipsism
23661 We are only aware of other beings through our senses; without that, we are alone in the universe [Reid]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
6414 Two propositions might seem self-evident, but contradict one another [Grayling]
12. Knowledge Sources / E. Direct Knowledge / 1. Common Sense
23654 In obscure matters the few must lead the many, but the many usually lead in common sense [Reid]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
23660 The theory of ideas, popular with philosophers, means past existence has to be proved [Reid]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
23658 Consciousness is an indefinable and unique operation [Reid]
18. Thought / A. Modes of Thought / 8. Human Thought
23656 The structure of languages reveals a uniformity in basic human opinions [Reid]
18. Thought / E. Abstraction / 2. Abstracta by Selection
23653 If you can't distinguish the features of a complex object, your notion of it would be a muddle [Reid]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
23663 There are axioms of taste - such as a general consensus about a beautiful face [Reid]