Combining Texts

All the ideas for 'fragments/reports', 'Unity of Science as a Working Hypothesis' and 'The Concept of Truth for Formalized Languages'

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


83 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]
3. Truth / A. Truth Problems / 2. Defining Truth
Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach]
Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten]
'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack]
Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten]
Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach]
Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski]
Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski]
Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady]
Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski]
Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt]
We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten]
For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham]
Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham]
Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson]
3. Truth / F. Semantic Truth / 2. Semantic Truth
Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach]
Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski]
Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski]
Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack]
Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H]
A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski]
Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read]
Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki]
Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten]
Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach]
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 / D. Assumptions for Logic / 4. Identity in Logic
Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee]
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 / F. Referring in Logic / 1. Naming / c. Names as referential
A name denotes an object if the object satisfies a particular sentential function [Tarski]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee]
Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski]
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
If two people disagree over taste, who is right? [Epicurus, by Plutarch]
Bath water is too hot for some, too cold for others [Epicurus, by Plutarch]
When entering a dark room it is colourless, but colour gradually appears [Epicurus]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
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]
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 / 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]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens]
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]