51 ideas
| 20801 | A wise man's chief strength is not being tricked; nothing is worse than error, frivolity or rashness [Zeno of Citium, by Cicero] |
| 1771 | When shown seven versions of the mowing argument, he paid twice the asking price for them [Zeno of Citium, by Diog. Laertius] |
| 20770 | Philosophy has three parts, studying nature, character, and rational discourse [Zeno of Citium, by Diog. Laertius] |
| 6022 | Someone who says 'it is day' proposes it is day, and it is true if it is day [Zeno of Citium, by Diog. Laertius] |
| 17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
| 17765 | Propositional language can only relate statements as the same or as different [Walicki] |
| 17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
| 17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
| 17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
| 17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
| 17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
| 17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
| 17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
| 17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
| 17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
| 17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
| 17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
| 17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
| 17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
| 17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
| 7555 | Zeno achieved the statement of the problems of infinitesimals, infinity and continuity [Russell on Zeno of Citium] |
| 17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
| 17754 | Inductive proof depends on the choice of the ordering [Walicki] |
| 20860 | Whatever participates in substance exists [Zeno of Citium, by Stobaeus] |
| 14217 | The 'standard' view of relations is that they hold of several objects in a given order [Fine,K] |
| 14216 | The 'positionalist' view of relations says the number of places is fixed, but not the order [Fine,K] |
| 14218 | A block on top of another contains one relation, not both 'on top of' and 'beneath' [Fine,K] |
| 14219 | Language imposes a direction on a road which is not really part of the road [Fine,K] |
| 14220 | Explain biased relations as orderings of the unbiased, or the unbiased as permutation classes of the biased? [Fine,K] |
| 17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
| 21397 | Perception an open hand, a fist is 'grasping', and holding that fist is knowledge [Zeno of Citium, by Long] |
| 20799 | A grasp by the senses is true, because it leaves nothing out, and so nature endorses it [Zeno of Citium, by Cicero] |
| 20797 | If a grasped perception cannot be shaken by argument, it is 'knowledge' [Zeno of Citium, by Cicero] |
| 21398 | A presentation is true if we judge that no false presentation could appear like it [Zeno of Citium, by Cicero] |
| 1770 | When a slave said 'It was fated that I should steal', Zeno replied 'Yes, and that you should be beaten' [Zeno of Citium, by Diog. Laertius] |
| 3799 | A dog tied to a cart either chooses to follow and is pulled, or it is just pulled [Zeno of Citium, by Hippolytus] |
| 21402 | Incorporeal substances can't do anything, and can't be acted upon either [Zeno of Citium, by Cicero] |
| 20816 | A body is required for anything to have causal relations [Zeno of Citium, by Cicero] |
| 1773 | A sentence always has signification, but a word by itself never does [Zeno of Citium, by Diog. Laertius] |
| 20841 | Zeno said live in agreement with nature, which accords with virtue [Zeno of Citium, by Diog. Laertius] |
| 1774 | Since we are essentially rational animals, living according to reason is living according to nature [Zeno of Citium, by Diog. Laertius] |
| 20863 | The goal is to 'live in agreement', according to one rational consistent principle [Zeno of Citium, by Stobaeus] |
| 2662 | Zeno saw virtue as a splendid state, not just a source of splendid action [Zeno of Citium, by Cicero] |
| 21395 | One of Zeno's books was 'That Which is Appropriate' [Zeno of Citium, by Long] |
| 5964 | Zeno says there are four main virtues, which are inseparable but distinct [Zeno of Citium, by Plutarch] |
| 20822 | There is no void in the cosmos, but indefinite void outside it [Zeno of Citium, by Ps-Plutarch] |
| 2648 | Things are more perfect if they have reason; nothing is more perfect than the universe, so it must have reason [Zeno of Citium] |
| 20811 | Since the cosmos produces what is alive and rational, it too must be alive and rational [Zeno of Citium] |
| 20810 | Rational is better than non-rational; the cosmos is supreme, so it is rational [Zeno of Citium] |
| 2649 | If tuneful flutes grew on olive trees, you would assume the olive had some knowledge of the flute [Zeno of Citium] |
| 20807 | The cosmos and heavens are the substance of god [Zeno of Citium, by Diog. Laertius] |