Combining Texts

All the ideas for 'reports', 'Negation' and 'Nominalism and Substitutional Quantifiers'

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

44 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
1798 He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius]
2. Reason / A. Nature of Reason / 9. Limits of Reason
1800 Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius]
18781 Inconsistency doesn't prevent us reasoning about some system [Mares]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18789 Intuitionist logic looks best as natural deduction [Mares]
18790 Intuitionism as natural deduction has no rule for negation [Mares]
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
18787 Three-valued logic is useful for a theory of presupposition [Mares]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
18793 Material implication (and classical logic) considers nothing but truth values for implications [Mares]
18784 In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10794 The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
18786 Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares]
18780 Standard disjunction and negation force us to accept the principle of bivalence [Mares]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
18782 The connectives are studied either through model theory or through proof theory [Mares]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
10786 Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
10788 Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 1. Quantification
10799 Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10790 Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
10791 Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
10785 Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
10795 Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
10798 A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
18783 Many-valued logics lack a natural deduction system [Mares]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
18792 Situation semantics for logics: not possible worlds, but information in situations [Mares]
5. Theory of Logic / K. Features of Logics / 2. Consistency
18785 Consistency is semantic, but non-contradiction is syntactic [Mares]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
18788 For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
10787 Is being just referent of the verb 'to be'? [Marcus (Barcan)]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
10789 Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
9. Objects / A. Existence of Objects / 3. Objects in Thought
10796 If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
9. Objects / F. Identity among Objects / 2. Defining Identity
10797 Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
6595 If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
6593 The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
6592 Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin]
13. Knowledge Criteria / E. Relativism / 1. Relativism
1805 Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius]
1807 Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius]
1810 Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius]
1802 Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius]
1801 Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius]
1804 Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius]
1808 Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius]
1806 Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius]
1809 Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius]
1803 Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius]
19. Language / C. Assigning Meanings / 2. Semantics
18791 In 'situation semantics' our main concepts are abstracted from situations [Mares]
26. Natural Theory / C. Causation / 7. Eliminating causation
3062 There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
3063 Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius]