29 ideas
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
11197 | The definitions expressing identity are used to sort things [Aquinas] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
11202 | It is by having essence that things exist [Aquinas] |
11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
11208 | A simple substance is its own essence [Aquinas] |
11198 | Definition of essence makes things understandable [Aquinas] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |