Combining Texts

All the ideas for 'fragments/reports', 'reports of career' and 'The Concept of Truth for Formalized Languages'

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


82 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / c. Classical philosophy
For the truth you need Prodicus's fifty-drachma course, not his one-drachma course [Socrates]
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
A philosopher is one who cares about what other people care about [Socrates, by Foucault]
1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Socrates opened philosophy to all, but Plato confined moral enquiry to a tiny elite [Vlastos on Socrates]
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Philosophical discussion involves dividing subject-matter into categories [Socrates, by Xenophon]
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
Socrates began the quest for something universal with his definitions, but he didn't make them separate [Socrates, by Aristotle]
2. Reason / C. Styles of Reason / 1. Dialectic
It is legitimate to play the devil's advocate [Socrates]
2. Reason / C. Styles of Reason / 2. Elenchus
In Socratic dialogue you must say what you believe, so unasserted premises are not debated [Vlastos on Socrates]
Socrates was pleased if his mistakes were proved wrong [Socrates]
The method of Socrates shows the student is discovering the truth within himself [Socrates, by Carlisle]
Socrates always proceeded in argument by general agreement at each stage [Socrates, by Xenophon]
2. Reason / D. Definition / 6. Definition by Essence
Socrates sought essences, which are the basis of formal logic [Socrates, by Aristotle]
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
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]
Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack]
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'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]
Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach]
Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle]
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 / 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]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
For Socrates our soul, though hard to define, is our self [Vlastos on Socrates]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
Socrates first proposed that we are run by mind or reason [Socrates, by Frede,M]
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
People do what they think they should do, and only ever do what they think they should do [Socrates, by Xenophon]
Socrates was shocked by the idea of akrasia, but observation shows that it happens [Aristotle on Socrates]
No one willingly commits an evil or base act [Socrates]
The common belief is that people can know the best without acting on it [Socrates]
Socrates did not accept the tripartite soul (which permits akrasia) [Vlastos on Socrates]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
For Socrates, wisdom and prudence were the same thing [Socrates, by Xenophon]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
For Socrates, virtues are forms of knowledge, so knowing justice produces justice [Socrates, by Aristotle]
Socrates was the first to base ethics upon reason, and use reason to explain it [Taylor,R on Socrates]
All human virtues are increased by study and practice [Socrates, by Xenophon]
The wise perform good actions, and people fail to be good without wisdom [Socrates, by Xenophon]
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]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
Socrates despised good looks [Socrates, by Plato]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
Socrates conservatively assumed that Athenian conventions were natural and true [Taylor,R on Socrates]
22. Metaethics / B. Value / 2. Values / b. Successful function
A well-made dung basket is fine, and a badly-made gold shield is base, because of function [Socrates, by Xenophon]
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Things are both good and fine by the same standard [Socrates, by Xenophon]
22. Metaethics / C. The Good / 1. Goodness / e. Good as knowledge
The only good is knowledge, and the only evil is ignorance [Socrates, by Diog. Laertius]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Socrates was the first to put 'eudaimonia' at the centre of ethics [Socrates, by Vlastos]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
By 'areté' Socrates means just what we mean by moral virtue [Vlastos on Socrates]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
Socrates is torn between intellectual virtue, which is united and teachable, and natural virtue, which isn't [PG on Socrates]
Socrates agrees that virtue is teachable, but then denies that there are teachers [Socrates, by MacIntyre]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
We should ask what sort of people we want to be [Socrates]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
Socrates believed that basically there is only one virtue, the power of right judgement [Socrates, by Williams,B]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Socrates made the civic values of justice and friendship paramount [Socrates, by Grayling]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
Courage is scientific knowledge [Socrates, by Aristotle]
23. Ethics / F. Existentialism / 1. Existentialism
Socrates emphasises that the knower is an existing individual, with existence his main task [Socrates, by Kierkegaard]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Obedience to the law gives the best life, and success in war [Socrates, by Xenophon]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Socrates was the first to grasp that a cruelty is not justified by another cruelty [Vlastos on Socrates]
25. Social Practice / F. Life Issues / 5. Sexual Morality
A lover using force is a villain, but a seducer is much worse, because he corrupts character [Socrates, by Xenophon]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
Socrates holds that right reason entails virtue, and this must also apply to the gods [Vlastos on Socrates]
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
A new concept of God as unswerving goodness emerges from Socrates' commitment to virtue [Vlastos on Socrates]