33 ideas
18450 | Philosophy has its own mode of death, by separating soul from body [Porphyry] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
18451 | The presence of the incorporeal is only known by certain kinds of disposition [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] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |
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] |
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] |