41 ideas
5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
21382 | Things get smaller without end [Anaxagoras] |
481 | Nothing is created or destroyed; there is only mixing and separation [Anaxagoras] |
21822 | Anaxagoras's concept of supreme Mind has a simple First and a multiple One [Anaxagoras, by Plotinus] |
17995 | Basic is the potentially perceptible, then comes the contrary qualities, and finally the 'elements' [Anaxagoras] |
5735 | Maybe names and predicates can capture any fact [Melia] |
5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
20802 | Snow is not white, and doesn't even appear white, because it is made of black water [Anaxagoras, by Cicero] |
13257 | The senses are too feeble to determine the truth [Anaxagoras] |
20769 | Sphaerus he was not assenting to the presence of pomegranates, but that it was 'reasonable' [Sphaerus, by Diog. Laertius] |
22761 | We reveal unreliability in the senses when we cannot discriminate a slow change of colour [Anaxagoras, by Sext.Empiricus] |
13256 | Nous is unlimited, self-ruling and pure; it is the finest thing, with great discernment and strength [Anaxagoras] |
13784 | Mind is self-ruling, pure, ordering and ubiquitous [Anaxagoras, by Plato] |
5118 | Anaxagoras says mind remains pure, and so is not affected by what it changes [Anaxagoras, by Aristotle] |
5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
631 | For Anaxagoras the Good Mind has no opposite, and causes all movement, for a higher reason [Anaxagoras, by Aristotle] |
22727 | Mind creates the world from a mixture of pure substances [Anaxagoras, by ] |
550 | Anaxagoras said that the number of principles was infinite [Anaxagoras, by Aristotle] |
21383 | The ultimate constituents of reality are the homoeomeries [Anaxagoras, by Vlastos] |
13208 | Anaxagoreans regard the homoeomeries as elements, which compose earth, air, fire and water [Anaxagoras, by Aristotle] |
367 | Anaxagoras says mind produces order and causes everything [Anaxagoras, by Plato] |
21381 | Germs contain microscopic organs, which become visible as they grow [Anaxagoras] |
22726 | When things were unified, Mind set them in order [Anaxagoras] |
2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |
7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |