44 ideas
10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
10900 | Logically true sentences are true in all structures [Zalabardo] |
10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
21382 | Things get smaller without end [Anaxagoras] |
10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
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] |
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] |
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] |
18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
7346 | Jeremiah implied a link between weakness and goodness, and the evil of the state [Jeremiah, by Johnson,P] |
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] |
2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
22726 | When things were unified, Mind set them in order [Anaxagoras] |
22920 | Do I not fill heaven and earth? saith the Lord [Jeremiah] |
480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
22089 | Am I a God afar off, and not a God close at hand? [Jeremiah] |
7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |
5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |