81 ideas
1848 | We are coerced into assent to a truth by reason's violence [Aquinas] |
1858 | The mind is compelled by necessary truths, but not by contingent truths [Aquinas] |
23966 | The personal view can still be objective, so I call sciences 'impersonal', rather than objective [Goldie] |
1852 | For the mind Good is one truth among many, and Truth is one good among many [Aquinas] |
9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
9701 | A 'relation' is a set of ordered pairs [Enderton] |
9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
1860 | Knowledge may be based on senses, but we needn't sense all our knowledge [Aquinas] |
24005 | We know other's emotions by explanation, contagion, empathy, imagination, or sympathy [Goldie] |
24006 | Empathy and imagining don't ensure sympathy, and sympathy doesn't need them [Goldie] |
1855 | If we saw something as totally and utterly good, we would be compelled to will it [Aquinas] |
1856 | Nothing can be willed except what is good, but good is very varied, and so choices are unpredictable [Aquinas] |
1862 | However habituated you are, given time to ponder you can go against a habit [Aquinas] |
1849 | Since will is a reasoning power, it can entertain opposites, so it is not compelled to embrace one of them [Aquinas] |
1861 | The will is not compelled to move, even if pleasant things are set before it [Aquinas] |
1853 | Because the will moves by examining alternatives, it doesn't compel itself to will [Aquinas] |
1854 | We must admit that when the will is not willing something, the first movement to will must come from outside the will [Aquinas] |
23978 | 'Having an emotion' differs from 'being emotional' [Goldie] |
23973 | Unlike moods, emotions have specific objects, though the difference is a matter of degree [Goldie] |
23974 | Emotional intentionality as belief and desire misses out the necessity of feelings [Goldie] |
23972 | A long lasting and evolving emotion is still seen as a single emotion, such as love [Goldie] |
23992 | Some Aborigines have fifteen different words for types of fear [Goldie] |
23979 | Emotional responses can reveal to us our values, which might otherwise remain hidden [Goldie] |
23976 | If we have a 'feeling towards' an object, that gives the recognition a different content [Goldie] |
23977 | When actions are performed 'out of' emotion, they appear to be quite different [Goldie] |
23980 | It is best to see emotions holistically, as embedded in a person's life narrative [Goldie] |
23982 | If emotions are 'towards' things, they can't be bodily feelings, which lack aboutness [Goldie] |
24001 | Moods can focus as emotions, and emotions can blur into moods [Goldie] |
23968 | If reasons are seen impersonally (as just causal), then feelings are an irrelevant extra [Goldie] |
23969 | We have feelings of which we are hardly aware towards things in the world [Goldie] |
23984 | An emotion needs episodes of feeling, but not continuously [Goldie] |
23970 | Emotions are not avocado pears, with a rigid core and changeable surface [Goldie] |
23985 | A basic emotion is the foundation of a hierarchy, such as anger for types of annoyance [Goldie] |
23986 | Early Chinese basic emotions: joy, anger, sadness, fear, love, disliking, and liking [Goldie] |
23991 | Cross-cultural studies of facial expressions suggests seven basic emotions [Goldie] |
23967 | Some emotions are direct responses, and neither rational nor irrational [Goldie] |
23971 | Emotional thought is not rational, but it can be intelligible [Goldie] |
23975 | Learning an evaluative property like 'dangerous' is also learning an emotion [Goldie] |
23983 | We call emotions 'passions' because they are not as controlled as we would like [Goldie] |
23999 | Emotional control is hard, but we are responsible for our emotions over long time periods [Goldie] |
23994 | Emotions are not easily changed, as new knowledge makes little difference, and akrasia is possible [Goldie] |
23998 | Emotional control is less concerned with emotional incidents, and more with emotional tendencies [Goldie] |
1847 | The will must aim at happiness, but can choose the means [Aquinas] |
1857 | We don't have to will even perfect good, because we can choose not to think of it [Aquinas] |
1846 | The will can only want what it thinks is good [Aquinas] |
23995 | Akrasia can be either overruling our deliberation, or failing to deliberate [Goldie] |
24000 | Justifying reasons say you were right; excusing reasons say your act was explicable [Goldie] |
1850 | Without free will not only is ethical action meaningless, but also planning, commanding, praising and blaming [Aquinas] |
1851 | Good applies to goals, just as truth applies to ideas in the mind [Aquinas] |
24003 | Character traits are both possession of and lack of dispositions [Goldie] |
24002 | We over-estimate the role of character traits when explaining behaviour [Goldie] |
24004 | Psychologists suggest we are muddled about traits, and maybe they should be abandoned [Goldie] |
1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |
23993 | Our capabilities did not all evolve during the hunter gathering period [Goldie] |