50 ideas
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
23548 | Indeterminacy is in conflict with classical logic [Fine,K] |
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] |
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] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
23539 | Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
23544 | Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K] |
23540 | Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K] |
23546 | Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K] |
23542 | Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K] |
23541 | Supervaluation can give no answer to 'who is the last bald man' [Fine,K] |
23545 | We do not have an intelligible concept of a borderline case [Fine,K] |
2730 | Because 'gold is malleable' is necessary does not mean that it is analytic [Audi,R] |
2715 | Beliefs are based on perception, memory, introspection or reason [Audi,R] |
2735 | Could you have a single belief on its own? [Audi,R] |
2736 | We can make certain of what we know, so knowing does not entail certainty [Audi,R] |
2722 | Sense-data theory is indirect realism, but phenomenalism is direct irrealism [Audi,R] |
2721 | If you gradually remove a book's sensory properties, what is left at the end? [Audi,R] |
2727 | Red and green being exclusive colours seems to be rationally graspable but not analytic [Audi,R] |
2728 | The concepts needed for a priori thought may come from experience [Audi,R] |
2716 | To see something as a field, I obviously need the concept of a field [Audi,R] |
2717 | How could I see a field and believe nothing regarding it? [Audi,R] |
2719 | Sense data imply representative realism, possibly only representing primary qualities [Audi,R] |
2720 | Sense-data (and the rival 'adverbial' theory) are to explain illusions and hallucinations [Audi,R] |
2718 | Perception is first simple, then objectual (with concepts) and then propositional [Audi,R] |
2741 | The principles of justification have to be a priori [Audi,R] |
2729 | Virtually all rationalists assert that we can have knowledge of synthetic a priori truths [Audi,R] |
2725 | To remember something is to know it [Audi,R] |
2724 | I might remember someone I can't recall or image, by recognising them on meeting [Audi,R] |
2731 | Justification is either unanchored (infinite or circular), or anchored (in knowledge or non-knowledge) [Audi,R] |
2739 | Internalism about justification implies that there is a right to believe something [Audi,R] |
2732 | Maths may be consistent with observations, but not coherent [Audi,R] |
2733 | It is very hard to show how much coherence is needed for justification [Audi,R] |
2734 | A consistent madman could have a very coherent belief system [Audi,R] |
2738 | Consistent accurate prediction looks like knowledge without justified belief [Audi,R] |
2740 | A reliability theory of knowledge seems to involve truth as correspondence [Audi,R] |
2737 | 'Reliable' is a very imprecise term, and may even mean 'justified' [Audi,R] |
2726 | We can be ignorant about ourselves, for example, our desires and motives [Audi,R] |
23547 | It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
23543 | We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K] |