37 ideas
| 18951 | For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam] |
| 18953 | Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam] |
| 18949 | The universal syllogism is now expressed as the transitivity of subclasses [Putnam] |
| 18952 | '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam] |
| 18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
| 18954 | Before the late 19th century logic was trivialised by not dealing with relations [Putnam] |
| 18956 | Asserting first-order validity implicitly involves second-order reference to classes [Putnam] |
| 18962 | Unfashionably, I think logic has an empirical foundation [Putnam] |
| 18961 | We can identify functions with certain sets - or identify sets with certain functions [Putnam] |
| 18955 | Having a valid form doesn't ensure truth, as it may be meaningless [Putnam] |
| 18959 | Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam] |
| 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] |
| 18957 | Nominalism only makes sense if it is materialist [Putnam] |
| 18950 | Physics is full of non-physical entities, such as space-vectors [Putnam] |
| 22977 | I can distinguish different smells even when I am not experiencing them [Augustine] |
| 22980 | Memory contains innumerable principles of maths, as well as past sense experiences [Augustine] |
| 22981 | Mind and memory are the same, as shown in 'bear it in mind' or 'it slipped from mind' [Augustine] |
| 22982 | Why does joy in my mind make me happy, but joy in my memory doesn't? [Augustine] |
| 22983 | We would avoid remembering sorrow or fear if that triggered the emotions afresh [Augustine] |
| 18960 | Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam] |
| 17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |
| 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] |
| 22888 | To be aware of time it can only exist in the mind, as memory or anticipation [Augustine, by Bardon] |
| 5984 | Maybe time is an extension of the mind [Augustine] |
| 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] |
| 5976 | If God is outside time in eternity, can He hear prayers? [Augustine] |
| 22887 | If God existed before creation, why would a perfect being desire to change things? [Augustine, by Bardon] |