Combining Texts

All the ideas for 'fragments/reports', 'What is it like to be a bat?' and 'Introduction to Mathematical Logic'

expand these ideas     |    start again     |     specify just one area for these texts


70 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Epicurus accepted God in his popular works, but not in his writings on nature [Epicurus, by Sext.Empiricus]
1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Slavery to philosophy brings true freedom [Epicurus]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy aims at a happy life, through argument and discussion [Epicurus]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
We should come to philosophy free from any taint of culture [Epicurus]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / f. Philosophy as healing
The aim of medicine is removal of sickness, and philosophy similarly removes our affections [Epicurus]
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
We should say nothing of the whole if our contact is with the parts [Epicurus, by Plutarch]
2. Reason / C. Styles of Reason / 1. Dialectic
Epicurus despises and laughs at the whole of dialectic [Epicurus, by Cicero]
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Post proved the consistency of propositional logic in 1921 [Walicki]
Propositional language can only relate statements as the same or as different [Walicki]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Boolean connectives are interpreted as functions on the set {1,0} [Walicki]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The empty set is useful for defining sets by properties, when the members are not yet known [Walicki]
The empty set avoids having to take special precautions in case members vanish [Walicki]
4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets
Ordinals play the central role in set theory, providing the model of well-ordering [Walicki]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
To determine the patterns in logic, one must identify its 'building blocks' [Walicki]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Epicurus rejected excluded middle, because accepting it for events is fatalistic [Epicurus, by Cicero]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or
Epicureans say disjunctions can be true whiile the disjuncts are not true [Epicurus, by Cicero]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki]
A compact axiomatisation makes it possible to understand a field as a whole [Walicki]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Members of ordinals are ordinals, and also subsets of ordinals [Walicki]
Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki]
Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki]
The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki]
Two infinite ordinals can represent a single infinite cardinal [Walicki]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
Inductive proof depends on the choice of the ordering [Walicki]
10. Modality / A. Necessity / 2. Nature of Necessity
Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
We can't seek for things if we have no idea of them [Epicurus, by Diog. Laertius]
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
To name something, you must already have an idea of what it is [Epicurus, by Diog. Laertius]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Epicurus says colours are relative to the eye, not intrinsic to bodies [Epicurus, by Plutarch]
12. Knowledge Sources / B. Perception / 5. Interpretation
Sensations cannot be judged, because similar sensations have equal value, and different ones have nothing in common [Epicurus, by Diog. Laertius]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
The criteria of truth are senses, preconceptions and passions [Epicurus, by Diog. Laertius]
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
Reason can't judge senses, as it is based on them [Epicurus, by Diog. Laertius]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Epicurus denied knowledge in order to retain morality or hedonism as the highest values [Nietzsche on Epicurus]
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
Epicurus says if one of a man's senses ever lies, none of his senses should ever be believed [Epicurus, by Cicero]
13. Knowledge Criteria / E. Relativism / 1. Relativism
Bath water is too hot for some, too cold for others [Epicurus, by Plutarch]
If two people disagree over taste, who is right? [Epicurus, by Plutarch]
When entering a dark room it is colourless, but colour gradually appears [Epicurus]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
The rational soul is in the chest, and the non-rational soul is spread through the body [Epicurus]
Soul is made of four stuffs, giving warmth, rest, motion and perception [Epicurus, by Aetius]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
An organism is conscious if and only if there is something it is like to be that organism [Nagel]
16. Persons / F. Free Will / 1. Nature of Free Will
Epicurus was the first to see the free will problem, and he was a libertarian [Epicurus, by Long/Sedley]
16. Persons / F. Free Will / 2. Sources of Free Will
Epicurus showed that the swerve can give free motion in the atoms [Epicurus, by Diogenes of Oen.]
16. Persons / F. Free Will / 4. For Free Will
There is no necessity to live with necessity [Epicurus]
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
Can we describe our experiences to zombies? [Nagel]
17. Mind and Body / D. Property Dualism / 6. Mysterianism
Nagel's title creates an impenetrable mystery, by ignoring a bat's ways that may not be "like" anything [Dennett on Nagel]
We can't be objective about experience [Nagel]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
How can pleasure or judgement occur in a heap of atoms? [Sext.Empiricus on Epicurus]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / d. Explanatory gap
Physicalism should explain how subjective experience is possible, but not 'what it is like' [Kirk,R on Nagel]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
It was Epicurus who made the question of the will's freedom central to ethics [Epicurus, by Grayling]
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Fine things are worthless if they give no pleasure [Epicurus]
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is the chief good because it is the most natural, especially for animals [Epicurus, by Diog. Laertius]
22. Metaethics / C. The Good / 3. Pleasure / b. Types of pleasure
Pains of the soul are worse than pains of the body, because it feels the past and future [Epicurus, by Diog. Laertius]
Pleasures only differ in their duration and the part of the body affected [Epicurus]
The end for Epicurus is static pleasure [Epicurus, by Annas]
23. Ethics / B. Contract Ethics / 1. Contractarianism
Justice has no independent existence, but arises entirely from keeping contracts [Epicurus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
We choose virtue because of pleasure, not for its own sake [Epicurus, by Diog. Laertius]
23. Ethics / C. Virtue Theory / 4. External Goods / a. External goods
A wise man would be happy even under torture [Epicurus, by Diog. Laertius]
23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship
Friendship is by far the most important ingredient of a complete and happy life [Epicurus]
25. Social Practice / F. Life Issues / 4. Suicide
Wise men should partake of life even if they go blind [Epicurus, by Diog. Laertius]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
Only Epicurus denied purpose in nature, for the whole world, or for its parts [Epicurus, by Annas]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
Democritus says atoms have size and shape, and Epicurus added weight [Epicurus, by Ps-Plutarch]
Atoms don't swerve by being struck, because they move in parallel, so the swerve is uncaused [Cicero on Epicurus]
What causes atomic swerves? Do they draw lots? What decides the size or number of swerves? [Cicero on Epicurus]
27. Natural Reality / D. Time / 1. Nature of Time / a. Absolute time
Stoics say time is incorporeal and self-sufficient; Epicurus says it is a property of properties of things [Epicurus]
28. God / A. Divine Nature / 2. Divine Nature
For Epicureans gods are made of atoms, and are not eternal [Epicurus, by Cicero]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Epicurus saw that gods must exist, because nature has imprinted them on human minds [Epicurus, by Cicero]
28. God / C. Attitudes to God / 5. Atheism
Some say Epicurus only pretended to believe in the gods, so as not to offend Athenians [Epicurus, by Cicero]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
If god answered prayers we would be destroyed, because we pray for others to suffer [Epicurus]