43 ideas
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
17754 | Inductive proof depends on the choice of the ordering [Walicki] |
16588 | I prefer a lack of form to mean non-existence, than to think of some quasi-existence [Augustine] |
22979 | Three main questions seem to be whether a thing is, what it is, and what sort it is [Augustine] |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
22977 | I can distinguish different smells even when I am not experiencing them [Augustine] |
22981 | Mind and memory are the same, as shown in 'bear it in mind' or 'it slipped from mind' [Augustine] |
22980 | Memory contains innumerable principles of maths, as well as past sense experiences [Augustine] |
22983 | We would avoid remembering sorrow or fear if that triggered the emotions afresh [Augustine] |
22982 | Why does joy in my mind make me happy, but joy in my memory doesn't? [Augustine] |
22978 | Memory is so vast that I cannot recognise it as part of my mind [Augustine] |
22984 | Without memory I could not even speak of myself [Augustine] |
5982 | If the future does not exist, how can prophets see it? [Augustine] |
22976 | Memories are preserved separately, according to category [Augustine] |
22985 | Everyone wants happiness [Augustine] |
5984 | Maybe time is an extension of the mind [Augustine] |
22888 | To be aware of time it can only exist in the mind, as memory or anticipation [Augustine, by Bardon] |
5980 | How can ten days ahead be a short time, if it doesn't exist? [Augustine] |
5979 | If the past is no longer, and the future is not yet, how can they exist? [Augustine] |
5981 | The whole of the current year is not present, so how can it exist? [Augustine] |
5978 | I know what time is, until someone asks me to explain it [Augustine] |
5983 | I disagree with the idea that time is nothing but cosmic movement [Augustine] |
5977 | Heaven and earth must be created, because they are subject to change [Augustine] |
22887 | If God existed before creation, why would a perfect being desire to change things? [Augustine, by Bardon] |
5976 | If God is outside time in eternity, can He hear prayers? [Augustine] |