41 ideas
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| 23928 | Good art produces exaltation and detachment [Bell,C] |
| 23922 | The word 'beauty' leads to confusion, because it denotes distinct emotions [Bell,C] |
| 23921 | Our feeling for natural beauty is different from the aesthetic emotion of art [Bell,C] |
| 23929 | We only see landscapes as artistic if we ignore their instrumental value [Bell,C] |
| 23923 | Visual form can create a sublime mental state [Bell,C] |
| 23932 | Art is the expression of an emotion for ultimate reality [Bell,C] |
| 23927 | Aestheticism invites artist to create beauty, but with no indication of how to do it [Bell,C] |
| 8115 | Only artists can discern significant form; other people must look to art to find it [Bell,C, by Gardner] |
| 23924 | Maybe significant form gives us a feeling for ultimate reality [Bell,C] |
| 23931 | Significant form is the essence of art, which I believe expresses an emotion about reality [Bell,C] |
| 20434 | 'Form' is visual relations, and it is 'significant' if it moves us aesthetically; art needs both [Bell,C, by Feagin] |
| 23934 | The only expression art could have is the emotion resulting from pure form [Bell,C] |
| 23925 | Mere copies of pictures are not significant - unless the copies are very exact [Bell,C] |
| 23926 | Art is distinguished by its aesthetic emotion, which produces appropriate form [Bell,C] |
| 23933 | Aesthetic contemplation is the best and most intense mental state [Bell,C] |
| 23935 | Aesthetic experience is an exaltation which increases the possibilities of life [Bell,C] |
| 22691 | Only artistic qualities matter in art, because they also have the highest moral value [Bell,C] |
| 7590 | Consequentialism emphasises value rather than obligation in morality [Scruton] |
| 7589 | Altruism is either emotional (where your interests are mine) or moral (where they are reasons for me) [Scruton] |
| 7595 | The idea of a right seems fairly basic; justice may be the disposition to accord rights to people [Scruton] |
| 7588 | Allegiance is fundamental to the conservative view of society [Scruton] |
| 7594 | Democrats are committed to a belief and to its opposite, if the majority prefer the latter [Scruton] |
| 7593 | Liberals focus on universal human freedom, natural rights, and tolerance [Scruton, by PG] |
| 7592 | For positivists law is a matter of form, for naturalists it is a matter of content [Scruton] |
| 7587 | The issue of abortion seems insoluble, because there is nothing with which to compare it [Scruton] |
| 23930 | Religion sees infinite value in some things, and irrelevance in the rest [Bell,C] |