50 ideas
1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
18405 | A 'teepee' argument has several mutually supporting planks to it [Cappelen/Dever] |
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] |
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
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] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
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] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
18422 | Prioprioception focuses on your body parts, not on your self, or indexicality [Cappelen/Dever] |
18425 | We can acquire self-knowledge with mirrors, not just with proprioception and introspection [Cappelen/Dever] |
18421 | Proprioception is only immune from error if you are certain that it represents the agent [Cappelen/Dever] |
18419 | Folk Functionalism is a Ramsification of our folk psychology [Cappelen/Dever] |
18404 | It is assumed that indexical content is needed to represent the perspective of perception [Cappelen/Dever] |
18426 | All information is objective, and purely indexical information is not much use [Cappelen/Dever] |
18427 | If some of our thought is tied to its context, it will be hard to communicate it [Cappelen/Dever] |
18428 | You don't remember your house interior just from an experienced viewpoint [Cappelen/Dever] |
18429 | Our beliefs and desires are not organised around ourselves, but around the world [Cappelen/Dever] |
18407 | Indexicality is not significantly connected to agency [Cappelen/Dever] |
2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
18413 | Fregeans can't agree on what 'senses' are [Cappelen/Dever] |
18417 | Possible worlds accounts of content are notoriously coarse-grained [Cappelen/Dever] |
18408 | Indexicals are just non-constant in meaning, and don't involve any special concepts [Cappelen/Dever] |
18414 | Fregeans say 'I' differs in reference, so it must also differ in sense [Cappelen/Dever] |
18423 | All indexicals can be expressed non-indexically [Cappelen/Dever] |
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] |
18406 | The basic Kaplan view is that there is truth-conditional content, and contextual character [Cappelen/Dever] |
18411 | It is proposed that a huge range of linguistic items are context-sensitive [Cappelen/Dever] |
18420 | We deny that action involves some special class of beliefs [Cappelen/Dever] |
1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |