51 ideas
1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
1703 | It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle] |
1704 | Statements are true according to how things actually are [Aristotle] |
22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
9728 | Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn] |
9729 | Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
9730 | Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
9731 | Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
9732 | Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
9733 | Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
21593 | In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson] |
1701 | A prayer is a sentence which is neither true nor false [Aristotle] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
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] |
2721 | If you gradually remove a book's sensory properties, what is left at the end? [Audi,R] |
2722 | Sense-data theory is indirect realism, but phenomenalism is direct irrealism [Audi,R] |
2728 | The concepts needed for a priori thought may come from experience [Audi,R] |
2727 | Red and green being exclusive colours seems to be rationally graspable but not analytic [Audi,R] |
2717 | How could I see a field and believe nothing regarding it? [Audi,R] |
2716 | To see something as a field, I obviously need the concept of a field [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] |
2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
13763 | Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle] |
1705 | It doesn't have to be the case that in opposed views one is true and the other false [Aristotle] |
1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |