50 ideas
8868 | Objective truth arises from interpersonal communication [Davidson] |
9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
9677 | Φ indicates the empty set, which has no members [Priest,G] |
9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
9681 | X = Y means the set X equals the set Y [Priest,G] |
9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
9688 | A 'singleton' is a set with only one member [Priest,G] |
9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
9686 | A 'set' is a collection of objects [Priest,G] |
9689 | The 'empty set' or 'null set' has no members [Priest,G] |
9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
8867 | A belief requires understanding the distinctions of true-and-false, and appearance-and-reality [Davidson] |
10347 | Objectivity is intersubjectivity [Davidson] |
8866 | If we know other minds through behaviour, but not our own, we should assume they aren't like me [Davidson] |
10346 | Knowing other minds rests on knowing both one's own mind and the external world [Davidson, by Dummett] |
3847 | Man is nothing else but the sum of his actions [Sartre] |
3846 | Man IS freedom [Sartre] |
8870 | Content of thought is established through communication, so knowledge needs other minds [Davidson] |
8869 | The principle of charity attributes largely consistent logic and largely true beliefs to speakers [Davidson] |
3843 | There is no human nature [Sartre] |
20762 | There are no values to justify us, and no excuses [Sartre] |
3852 | If values depend on us, freedom is the foundation of all values [Sartre] |
20764 | In becoming what we want to be we create what we think man ought to be [Sartre] |
3848 | Cowards are responsible for their cowardice [Sartre] |
20763 | When my personal freedom becomes involved, I must want freedom for everyone else [Sartre] |
22229 | Existentialists says that cowards and heroes make themselves [Sartre] |
3842 | Existence before essence (or begin with the subjective) [Sartre] |
6868 | 'Existence precedes essence' means we have no pre-existing self, but create it through existence [Sartre, by Le Poidevin] |
3844 | Existentialism says man is whatever he makes of himself [Sartre] |
20754 | It is dishonest to offer passions as an excuse [Sartre] |
6571 | When a man must choose between his mother and the Resistance, no theory can help [Sartre, by Fogelin] |
3851 | If I do not choose, that is still a choice [Sartre] |
3845 | Without God there is no intelligibility or value [Sartre] |