44 ideas
| 18450 | Philosophy has its own mode of death, by separating soul from body [Porphyry] |
| 13520 | A 'tautology' must include connectives [Wolf,RS] |
| 13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
| 13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
| 13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
| 13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
| 13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
| 13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
| 13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
| 13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
| 13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
| 13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
| 13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
| 13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| 13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
| 13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
| 13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
| 13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
| 17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
| 17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
| 13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
| 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] |
| 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] |
| 17811 | The natural conception of points ducks the problem of naming or constructing each point [Kreisel] |
| 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] |