55 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] |
| 10676 | The Axiom of Choice is a non-logical principle of set-theory [Hossack] |
| 10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack] |
| 10687 | Maybe we reduce sets to ordinals, rather than the other way round [Hossack] |
| 10677 | Extensional mereology needs two definitions and two axioms [Hossack] |
| 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] |
| 15105 | F(x) walked into a bar. The barman said.. [Sommers,W] |
| 10671 | Plural definite descriptions pick out the largest class of things that fit the description [Hossack] |
| 10666 | Plural reference will refer to complex facts without postulating complex things [Hossack] |
| 10669 | Plural reference is just an abbreviation when properties are distributive, but not otherwise [Hossack] |
| 10675 | A plural comprehension principle says there are some things one of which meets some condition [Hossack] |
| 18955 | Having a valid form doesn't ensure truth, as it may be meaningless [Putnam] |
| 10673 | Plural language can discuss without inconsistency things that are not members of themselves [Hossack] |
| 10680 | The theory of the transfinite needs the ordinal numbers [Hossack] |
| 10684 | I take the real numbers to be just lengths [Hossack] |
| 18959 | Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam] |
| 10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
| 10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
| 10685 | Set theory is the science of infinity [Hossack] |
| 12408 | Sartre to Waitress: Coffee with no cream, please... [Sommers,W] |
| 12397 | Said Plato: 'The things that we feel... [Sommers,W] |
| 10668 | We are committed to a 'group' of children, if they are sitting in a circle [Hossack] |
| 18957 | Nominalism only makes sense if it is materialist [Putnam] |
| 18950 | Physics is full of non-physical entities, such as space-vectors [Putnam] |
| 10664 | Complex particulars are either masses, or composites, or sets [Hossack] |
| 10678 | The relation of composition is indispensable to the part-whole relation for individuals [Hossack] |
| 10665 | Leibniz's Law argues against atomism - water is wet, unlike water molecules [Hossack] |
| 10682 | The fusion of five rectangles can decompose into more than five parts that are rectangles [Hossack] |
| 12407 | Barman to Descartes: Would you like another drink?... [Sommers,W] |
| 12399 | There was a young student called Fred... [Sommers,W] |
| 20963 | A philosopher and his wife are out for a drive... [Sommers,W] |
| 12404 | Dear Sir, Your astonishment's odd.... [Sommers,W] |
| 12403 | There once was a man who said: 'God... [Sommers,W] |
| 12402 | ..But if he's a student of Berkeley... [Sommers,W] |
| 12409 | The philosopher Berkeley once said.. [Sommers,W] |
| 14694 | "My dog's got synaesthesia." How does he smell? ..... [Sommers,W] |
| 12401 | A toper who spies in the distance... [Sommers,W] |
| 18960 | Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam] |
| 12410 | There once was a man who said 'Damn!... [Sommers,W] |
| 9392 | How do behaviourists greet each other? [Sommers,W] |
| 10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs [Hossack] |
| 12405 | 'If you're aristocratic,' said Nietzsche... [Sommers,W] |
| 9391 | Why do anarchists drink herbal tea? [Sommers,W] |
| 12400 | Cries the maid: 'You must marry me Hume!'... [Sommers,W] |
| 16527 | Causation - we all thought we knew it/ Till Hume came along and saw through it/…. [Sommers,W] |
| 10683 | We could ignore space, and just talk of the shape of matter [Hossack] |
| 17592 | The barman called 'Time!', and Augustine said..... [Sommers,W] |
| 15208 | The past, present and future walked into a bar.... [Sommers,W] |