43 ideas
23755 | Genius and love of truth are always accompanied by great humility [Weil] |
10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
10900 | Logically true sentences are true in all structures [Zalabardo] |
10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
21833 | Research suggest that we overrate conscious experience [Flanagan] |
23747 | What is sacred is not a person, but the whole physical human being [Weil] |
21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
23756 | The mind is imprisoned and limited by language, restricting our awareness of wider thoughts [Weil] |
23758 | Beauty is an attractive mystery, leaving nothing to be desired [Weil] |
21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
23760 | All we need are the unity of justice, truth and beauty [Weil] |
23748 | The sacred in every human is their expectation of good rather than evil [Weil] |
21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
23759 | Everything which originates in love is beautiful [Weil] |
23762 | Evil is transmitted by comforts and pleasures, but mostly by doing harm to people [Weil] |
21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
23750 | It is not more money which the wretched members of society need [Weil] |
23749 | The problem of the collective is not suppression of persons, but persons erasing themselves [Weil] |
21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
23753 | People absurdly claim an equal share of things which are essentially privileged [Weil] |
23751 | Rights are asserted contentiously, and need the backing of force [Weil] |
23752 | Giving centrality to rights stifles all impulses of charity [Weil] |
23757 | The spirit of justice needs the full attention of truth, and that attention is love [Weil] |
23761 | Justice (concerning harm) is distinct from rights (concerning inequality) [Weil] |
23764 | The only thing in society worse than crime is repressive justice [Weil] |
23763 | Punishment aims at the good for men who don't desire it [Weil] |
23754 | The only choice is between supernatural good, or evil [Weil] |
21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |