69 ideas
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
9136 | The paradox of analysis says that any conceptual analysis must be either trivial or false [Sorensen] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
9131 | Two long understandable sentences can have an unintelligible conjunction [Sorensen] |
9139 | If nothing exists, no truthmakers could make 'Nothing exists' true [Sorensen] |
9140 | Which toothbrush is the truthmaker for 'buy one, get one free'? [Sorensen] |
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] |
9119 | No attempt to deny bivalence has ever been accepted [Sorensen] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |
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] |
9125 | Denying problems, or being romantically defeated by them, won't make them go away [Sorensen] |
9137 | Banning self-reference would outlaw 'This very sentence is in English' [Sorensen] |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
9116 | Vague words have hidden boundaries [Sorensen] |
13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
9132 | An offer of 'free coffee or juice' could slowly shift from exclusive 'or' to inclusive 'or' [Sorensen] |
457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
9128 | It is propositional attitudes which can be a priori, not the propositions themselves [Sorensen] |
9130 | Attributing apriority to a proposition is attributing a cognitive ability to someone [Sorensen] |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
9118 | The colour bands of the spectrum arise from our biology; they do not exist in the physics [Sorensen] |
9124 | We are unable to perceive a nose (on the back of a mask) as concave [Sorensen] |
17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
17700 | The most popular view is that coherent beliefs explain one another [Mares] |
9126 | Bayesians build near-certainty from lots of reasonably probable beliefs [Sorensen] |
9121 | Illusions are not a reason for skepticism, but a source of interesting scientific information [Sorensen] |
462 | One vision is produced by both eyes [Empedocles] |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
22765 | Wisdom and thought are shared by all things [Empedocles] |
1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
9134 | The negation of a meaningful sentence must itself be meaningful [Sorensen] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
9133 | Propositions are what settle problems of ambiguity in sentences [Sorensen] |
552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
9129 | I can buy any litre of water, but not every litre of water [Sorensen] |
589 | 'Nature' is just a word invented by people [Empedocles] |
21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
459 | All change is unity through love or division through hate [Empedocles] |
13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |
5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
461 | God is a pure, solitary, and eternal sphere [Empedocles] |
466 | God is pure mind permeating the universe [Empedocles] |
1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
9122 | God cannot experience unwanted pain, so God cannot understand human beings [Sorensen] |
1522 | It is wretched not to want to think clearly about the gods [Empedocles] |