60 ideas
| 18450 | Philosophy has its own mode of death, by separating soul from body [Porphyry] |
| 11223 | Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta] |
| 11215 | Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta] |
| 11225 | A definition needs to apply to the same object across possible worlds [Gupta] |
| 11227 | The 'revision theory' says that definitions are rules for improving output [Gupta] |
| 11224 | Traditional definitions are general identities, which are sentential and reductive [Gupta] |
| 11226 | Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta] |
| 11221 | A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta] |
| 11217 | Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta] |
| 11216 | If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta] |
| 11218 | Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta] |
| 11220 | Ostensive definitions look simple, but are complex and barely explicable [Gupta] |
| 14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
| 14968 | A weakened classical language can contain its own truth predicate [Gupta] |
| 9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
| 9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
| 9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
| 9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
| 9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
| 9549 | The set theorist cannot tell us what 'membership' is [Chihara] |
| 11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
| 9571 | ZFU refers to the physical world, when it talks of 'urelements' [Chihara] |
| 18151 | Could we replace sets by the open sentences that define them? [Chihara, by Bostock] |
| 9563 | A pack of wolves doesn't cease when one member dies [Chihara] |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
| 9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |
| 14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
| 14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
| 9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
| 10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 9559 | If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara] |
| 9566 | No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara] |
| 18451 | The presence of the incorporeal is only known by certain kinds of disposition [Porphyry] |
| 15034 | Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry] |
| 18459 | Diversity arises from the power of unity [Porphyry] |
| 18452 | Memory is not conserved images, but reproduction of previous thought [Porphyry] |
| 18453 | Intelligence is aware of itself, so the intelligence is both the thinker and the thought [Porphyry] |
| 18462 | The soul is everywhere and nowhere in the body, and must be its cause [Porphyry] |
| 18463 | Successful introspection reveals the substrate along with the object of thought [Porphyry] |
| 18458 | The soul is bound to matter by the force of its own disposition [Porphyry] |
| 9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
| 9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
| 18464 | Justice is each person fulfilling his function [Porphyry] |
| 18448 | We should avoid the pleasures of love, or at least, should not enact our dreams [Porphyry] |
| 18444 | Civil virtues make us behave benevolently, and thereby unite citizens [Porphyry] |
| 18445 | Civil virtues control the passions, and make us conform to our nature [Porphyry] |
| 18446 | Purificatory virtues detach the soul completely from the passions [Porphyry] |
| 18447 | There are practical, purificatory, contemplative, and exemplary virtues [Porphyry] |
| 18456 | Unified real existence is neither great nor small, though greatness and smallness participate in it [Porphyry] |
| 9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |
| 18454 | Time is the circular movement of the soul [Porphyry] |
| 18455 | Some think time is seen at rest, as well as in movement [Porphyry] |
| 18460 | God is nowhere, and hence everywhere [Porphyry] |
| 18461 | Everything existing proceeds from divinity, and is within divinity [Porphyry] |
| 18449 | Nature binds or detaches body to soul, but soul itself joins and detaches soul from body [Porphyry] |
| 18457 | Individual souls are all connected, though distinct, and without dividing universal Soul [Porphyry] |