178 ideas
9199 | Wisdom for one instant is as good as wisdom for eternity [Chrysippus] |
20853 | Wise men should try to participate in politics, since they are a good influence [Chrysippus, by Diog. Laertius] |
15357 | Philosophy is the most general intellectual discipline [Horsten] |
20772 | Three branches of philosophy: first logic, second ethics, third physics (which ends with theology) [Chrysippus] |
11283 | There is pure deductive reasoning, and explanatory demonstration reasoning [Aristotle, by Politis] |
1672 | Maybe everything could be demonstrated, if demonstration can be reciprocal or circular [Aristotle] |
5969 | Chrysippus said the uncaused is non-existent [Chrysippus, by Plutarch] |
1684 | Two falsehoods can be contrary to one another [Aristotle] |
15352 | A definition should allow the defined term to be eliminated [Horsten] |
12145 | Definitions are of what something is, and that is universal [Aristotle] |
12075 | An Aristotelian definition is causal [Aristotle, by Witt] |
12384 | Definition by division needs predicates, which are well ordered and thorough [Aristotle] |
9066 | You can define objects by progressively identifying what is the same and what is different [Aristotle] |
12382 | What it is and why it is are the same; screening defines and explains an eclipse [Aristotle] |
15324 | Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles [Horsten] |
15323 | Truth is a property, because the truth predicate has an extension [Horsten] |
15374 | Truth has no 'nature', but we should try to describe its behaviour in inferences [Horsten] |
15348 | Propositions have sentence-like structures, so it matters little which bears the truth [Horsten] |
21388 | The causes of future true events must exist now, so they will happen because of destiny [Chrysippus, by Cicero] |
20780 | Graspable presentations are criteria of facts, and are molded according to their objects [Chrysippus, by Diog. Laertius] |
15333 | Modern correspondence is said to be with the facts, not with true propositions [Horsten] |
20793 | How could you ever know that the presentation is similar to the object? [Sext.Empiricus on Chrysippus] |
15337 | The correspondence 'theory' is too vague - about both 'correspondence' and 'facts' [Horsten] |
15334 | The coherence theory allows multiple coherent wholes, which could contradict one another [Horsten] |
15336 | The pragmatic theory of truth is relative; useful for group A can be useless for group B [Horsten] |
15354 | Tarski's hierarchy lacks uniform truth, and depends on contingent factors [Horsten] |
15340 | Tarski Bi-conditional: if you'll assert φ you'll assert φ-is-true - and also vice versa [Horsten] |
15345 | Semantic theories have a regress problem in describing truth in the languages for the models [Horsten] |
15373 | Axiomatic approaches avoid limiting definitions to avoid the truth predicate, and limited sizes of models [Horsten] |
15346 | Axiomatic approaches to truth avoid the regress problem of semantic theories [Horsten] |
15371 | An axiomatic theory needs to be of maximal strength, while being natural and sound [Horsten] |
15332 | 'Reflexive' truth theories allow iterations (it is T that it is T that p) [Horsten] |
15361 | A good theory of truth must be compositional (as well as deriving biconditionals) [Horsten] |
15350 | The Naďve Theory takes the bi-conditionals as axioms, but it is inconsistent, and allows the Liar [Horsten] |
15351 | Axiomatic theories take truth as primitive, and propose some laws of truth as axioms [Horsten] |
15367 | By adding truth to Peano Arithmetic we increase its power, so truth has mathematical content! [Horsten] |
15330 | Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten] |
15331 | Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten] |
15325 | Inferential deflationism says truth has no essence because no unrestricted logic governs the concept [Horsten] |
15344 | Deflationism skips definitions and models, and offers just accounts of basic laws of truth [Horsten] |
15356 | Deflationism concerns the nature and role of truth, but not its laws [Horsten] |
15368 | This deflationary account says truth has a role in generality, and in inference [Horsten] |
15358 | Deflationism says truth isn't a topic on its own - it just concerns what is true [Horsten] |
15359 | Deflation: instead of asserting a sentence, we can treat it as an object with the truth-property [Horsten] |
8077 | Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms [Chrysippus, by Devlin] |
1668 | An axiom is a principle which must be understood if one is to learn anything [Aristotle] |
20791 | Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius] |
15329 | Nonclassical may accept T/F but deny applicability, or it may deny just T or F as well [Horsten] |
12376 | Demonstrations by reductio assume excluded middle [Aristotle] |
15326 | Doubt is thrown on classical logic by the way it so easily produces the liar paradox [Horsten] |
12373 | Something holds universally when it is proved of an arbitrary and primitive case [Aristotle] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
15341 | Deduction Theorem: ψ only derivable from φ iff φ→ψ are axioms [Horsten] |
12363 | Everything is either asserted or denied truly [Aristotle] |
6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
15328 | A theory is 'non-conservative' if it facilitates new mathematical proofs [Horsten] |
15349 | It is easier to imagine truth-value gaps (for the Liar, say) than for truth-value gluts (both T and F) [Horsten] |
15366 | Satisfaction is a primitive notion, and very liable to semantical paradoxes [Horsten] |
13004 | Aristotle's axioms (unlike Euclid's) are assumptions awaiting proof [Aristotle, by Leibniz] |
15353 | The first incompleteness theorem means that consistency does not entail soundness [Horsten] |
15355 | Strengthened Liar: 'this sentence is not true in any context' - in no context can this be evaluated [Horsten] |
12377 | Mathematics is concerned with forms, not with superficial properties [Aristotle] |
12372 | The essence of a triangle comes from the line, mentioned in any account of triangles [Aristotle] |
15364 | English expressions are denumerably infinite, but reals are nondenumerable, so many are unnameable [Horsten] |
12369 | A unit is what is quantitatively indivisible [Aristotle] |
15360 | ZFC showed that the concept of set is mathematical, not logical, because of its existence claims [Horsten] |
15369 | Set theory is substantial over first-order arithmetic, because it enables new proofs [Horsten] |
15370 | Predicativism says mathematical definitions must not include the thing being defined [Horsten] |
5992 | Chrysippus says action is the criterion for existence, which must be physical [Chrysippus, by Tieleman] |
21673 | There are simple and complex facts; the latter depend on further facts [Chrysippus, by Cicero] |
15338 | We may believe in atomic facts, but surely not complex disjunctive ones? [Horsten] |
15363 | In the supervaluationist account, disjunctions are not determined by their disjuncts [Horsten] |
15362 | If 'Italy is large' lacks truth, so must 'Italy is not large'; but classical logic says it's large or it isn't [Horsten] |
16652 | Stoics categories are Substrate, Quality, Disposition, and Relation [Chrysippus, by Pasnau] |
18910 | To seek truth, study the real connections between subjects and attributes [Aristotle] |
1675 | Separate Forms aren't needed for logic, but universals (one holding of many) are essential [Aristotle] |
1677 | We can forget the Forms, as they are irrelevant, and not needed in giving demonstrations [Aristotle] |
1687 | Why are being terrestrial and a biped combined in the definition of man, but being literate and musical aren't? [Aristotle] |
1681 | Units are positionless substances, and points are substances with position [Aristotle] |
16058 | Dion and Theon coexist, but Theon lacks a foot. If Dion loses a foot, he ousts Theon? [Chrysippus, by Philo of Alexandria] |
12146 | Definitions recognise essences, so are not themselves essences [Aristotle] |
17039 | The predicates of a thing's nature are necessary to it [Aristotle] |
11994 | Aristotelian essences are properties mentioned at the starting point of a science [Aristotle, by Kung] |
16059 | Change of matter doesn't destroy identity - in Dion and Theon change is a condition of identity [Chrysippus, by Long/Sedley] |
12381 | What is necessary cannot be otherwise [Aristotle] |
1690 | A stone travels upwards by a forced necessity, and downwards by natural necessity [Aristotle] |
12072 | For Aristotle knowledge is explanatory, involving understanding, and principles or causes [Aristotle, by Witt] |
12073 | 'Episteme' means grasping causes, universal judgments, explanation, and teaching [Aristotle, by Witt] |
12378 | The reason why is the key to knowledge [Aristotle] |
12364 | We understand a thing when we know its explanation and its necessity [Aristotle] |
12370 | Some understanding, of immediate items, is indemonstrable [Aristotle] |
12366 | We only understand something when we know its explanation [Aristotle] |
1685 | No one has mere belief about something if they think it HAS to be true [Aristotle] |
15372 | Some claim that indicative conditionals are believed by people, even though they are not actually held true [Horsten] |
1673 | Knowledge proceeds from principles, so it is hard to know if we know [Aristotle] |
12379 | You cannot understand anything through perception [Aristotle] |
16725 | Some knowledge is lost if you lose a sense, and there is no way the knowledge can be replaced [Aristotle] |
23309 | Aristotle's concepts of understanding and explanation mean he is not a pure empiricist [Aristotle, by Frede,M] |
1693 | Animals may have some knowledge if they retain perception, but understanding requires reasons to be given [Aristotle] |
9067 | Many memories of the same item form a single experience [Aristotle] |
1671 | Sceptics say justification is an infinite regress, or it stops at the unknowable [Aristotle] |
1670 | When you understand basics, you can't be persuaded to change your mind [Aristotle] |
1691 | Aim to get definitions of the primitive components, thus establishing the kind, and work towards the attributes [Aristotle] |
12383 | There must be definitions before demonstration is possible [Aristotle] |
1674 | All demonstration is concerned with existence, axioms and properties [Aristotle] |
24068 | Demonstration is more than entailment, as the explanatory order must match the causal order [Aristotle, by Koslicki] |
17310 | Aristotle gets asymmetric consequence from demonstration, which reflects real causal priority [Aristotle, by Koslicki] |
21359 | Aristotle doesn't actually apply his theory of demonstration to his practical science [Leroi on Aristotle] |
1667 | Premises must be true, primitive and immediate, and prior to and explanatory of conclusions [Aristotle] |
12365 | We can know by demonstration, which is a scientific deduction leading to understanding [Aristotle] |
10918 | Demonstrative understanding rests on necessary features of the thing in itself [Aristotle] |
12374 | Demonstrations must be necessary, and that depends on the middle term [Aristotle] |
12148 | Demonstrations are syllogisms which give explanations [Aristotle] |
1679 | Universal demonstrations are about thought; particular demonstrations lead to perceptions [Aristotle] |
1680 | Demonstration is better with fewer presuppositions, and it is quicker if these are familiar [Aristotle] |
12147 | The principles of demonstrations are definitions [Aristotle] |
12371 | A demonstration is a deduction which proceeds from necessities [Aristotle] |
1683 | We learn universals from many particulars [Aristotle] |
12367 | What is most universal is furthest away, and the particulars are nearest [Aristotle] |
12380 | Universals are valuable because they make the explanations plain [Aristotle] |
12385 | Are particulars explained more by universals, or by other particulars? [Aristotle] |
1689 | Explanation is of the status of a thing, inferences to it, initiation of change, and purpose [Aristotle] |
1686 | What we seek and understand are facts, reasons, existence, and identity [Aristotle] |
12357 | Explanation and generality are inseparable [Aristotle, by Wedin] |
1669 | The foundation or source is stronger than the thing it causes [Aristotle] |
1678 | Universals give better explanations, because they are self-explanatory and primitive [Aristotle] |
1875 | Dogs show reason in decisions made by elimination [Chrysippus, by Sext.Empiricus] |
9068 | Perception creates primitive immediate principles by building a series of firm concepts [Aristotle] |
9069 | A perception lodging in the soul creates a primitive universal, which becomes generalised [Aristotle] |
20834 | Chrysippus allows evil to say it is fated, or even that it is rational and natural [Plutarch on Chrysippus] |
20833 | A swerve in the atoms would be unnatural, like scales settling differently for no reason [Chrysippus, by Plutarch] |
20835 | Chrysippus is wrong to believe in non-occurring future possibilities if he is a fatalist [Plutarch on Chrysippus] |
20808 | Everything is fated, either by continuous causes or by a supreme rational principle [Chrysippus, by Diog. Laertius] |
20837 | Fate is an eternal and fixed chain of causal events [Chrysippus] |
20836 | The Lazy Argument responds to fate with 'why bother?', but the bothering is also fated [Chrysippus, by Cicero] |
21679 | When we say events are fated by antecedent causes, do we mean principal or auxiliary causes? [Chrysippus] |
5971 | Destiny is only a predisposing cause, not a sufficient cause [Chrysippus, by Plutarch] |
9070 | We learn primitives and universals by induction from perceptions [Aristotle] |
15347 | A theory of syntax can be based on Peano arithmetic, thanks to the translation by Gödel coding [Horsten] |
20787 | A proposition is what can be asserted or denied on its own [Chrysippus] |
12368 | Negation takes something away from something [Aristotle] |
1692 | If you shouldn't argue in metaphors, then you shouldn't try to define them either [Aristotle] |
20850 | Passions are judgements; greed thinks money is honorable, and likewise drinking and lust [Chrysippus, by Diog. Laertius] |
20869 | The highest degree of morality performs all that is appropriate, omitting nothing [Chrysippus] |
3044 | Stoics say that beauty and goodness are equivalent and linked [Chrysippus, by Diog. Laertius] |
20838 | Fate initiates general causes, but individual wills and characters dictate what we do [Chrysippus] |
20813 | Human purpose is to contemplate and imitate the cosmos [Chrysippus] |
3045 | Stoics say justice is a part of nature, not just an invented principle [Chrysippus, by Diog. Laertius] |
20774 | Only nature is available to guide action and virtue [Chrysippus] |
20864 | Live in agreement, according to experience of natural events [Chrysippus] |
5972 | Living happily is nothing but living virtuously [Chrysippus, by Plutarch] |
1777 | Pleasure is not the good, because there are disgraceful pleasures [Chrysippus, by Diog. Laertius] |
5973 | Justice can be preserved if pleasure is a good, but not if it is the goal [Chrysippus, by Plutarch] |
20845 | There are shameful pleasures, and nothing shameful is good, so pleasure is not a good [Chrysippus, by Diog. Laertius] |
5967 | People need nothing except corn and water [Chrysippus, by Plutarch] |
5966 | All virtue is good, but not always praised (as in not lusting after someone ugly) [Chrysippus] |
20855 | Chrysippus says virtue can be lost (though Cleanthes says it is too secure for that) [Chrysippus, by Diog. Laertius] |
5970 | Chrysippus says nothing is blameworthy, as everything conforms with the best nature [Chrysippus, by Plutarch] |
20842 | Rational animals begin uncorrupted, but externals and companions are bad influences [Chrysippus, by Diog. Laertius] |
20856 | Justice, the law, and right reason are natural and not conventional [Chrysippus, by Diog. Laertius] |
1779 | We don't have obligations to animals as they aren't like us [Chrysippus, by Diog. Laertius] |
20857 | Justice is irrelevant to animals, because they are too unlike us [Chrysippus, by Diog. Laertius] |
20812 | Covers are for shields, and sheaths for swords; likewise, all in the cosmos is for some other thing [Chrysippus] |
21403 | The later Stoics identified the logos with an air-fire compound, called 'pneuma' [Chrysippus, by Long] |
20828 | Fire is a separate element, not formed with others (as was previously believed) [Chrysippus, by Stobaeus] |
5975 | Stoics say earth, air, fire and water are the primary elements [Chrysippus, by Plutarch] |
12375 | Whatever holds of a kind intrinsically holds of it necessarily [Aristotle] |
20819 | The past and the future subsist, but only the present exists [Chrysippus, by Plutarch] |
20818 | The present does not exist, so our immediate experience is actually part past and part future [Chrysippus, by Plutarch] |
20821 | Time is continous and infinitely divisible, so there cannot be a wholly present time [Chrysippus, by Stobaeus] |
3048 | Stoics say that God the creator is the perfection of all animals [Chrysippus, by Diog. Laertius] |
20773 | The origin of justice can only be in Zeus, and in nature [Chrysippus] |
5965 | The source of all justice is Zeus and the universal nature [Chrysippus] |
3042 | Stoics teach that law is identical with right reason, which is the will of Zeus [Chrysippus, by Diog. Laertius] |
1688 | Properties must be proved, but not essence; but existents are not a kind, so existence isn't part of essence [Aristotle] |
1782 | Stoics teach that God is a unity, variously known as Mind, or Fate, or Jupiter [Chrysippus, by Diog. Laertius] |
20830 | Death can't separate soul from body, because incorporeal soul can't unite with body [Chrysippus] |
21404 | There is a rationale in terrible disasters; they are useful to the whole, and make good possible [Chrysippus] |