Combining Texts

All the ideas for 'talk', 'Begriffsschrift' and 'Conditional Assertion and Restricted Quantification'

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


65 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]
     Full Idea: Socrates: If I'd attended Prodicus's fifty-drachma course, I could tell you the truth about names straightway, but as I've only heard the one-drachma course, I don't know the truth about it.
     From: Socrates (reports of career [c.420 BCE]), quoted by Plato - Cratylus 384b
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
A philosopher is one who cares about what other people care about [Socrates, by Foucault]
     Full Idea: Socrates asks people 'Are you caring for yourself?' He is the man who cares about the care of others; this is the particular position of the philosopher.
     From: report of Socrates (reports of career [c.420 BCE]) by Michel Foucault - Ethics of the Concern for Self as Freedom p.287
     A reaction: Priests, politicians and psychiatrists also care quite intensely about the concerns of other people. Someone who was intensely self-absorbed with the critical task of getting their own beliefs right would count for me as a philosopher.
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]
     Full Idea: To confine, as Plato does in 'Republic' IV-VII, moral inquiry to a tiny elite, is to obliterate the Socratic vision which opens up the philosophic life to all.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.18
     A reaction: This doesn't mean that Plato is necessarily 'elitist'. It isn't elitist to point out that an activity is very difficult.
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Philosophical discussion involves dividing subject-matter into categories [Socrates, by Xenophon]
     Full Idea: Self-discipline and avoidance of pleasure makes people most capable of philosophical discussion, which is called 'discussion' (dialegesthai - sort out) because people divide their subject-matter into categories.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 4.5.12
     A reaction: This could be the original slogan for analytical philosophy, as far as I am concerned. I don't think philosophy aims at complete and successful analysis (cf. Idea 2958), but at revealing the structure and interconnection of ideas. This is wisdom.
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]
     Full Idea: Socrates began the quest for something universal in addition to the radical flux of perceptible particulars, with his definitions. But he rightly understood that universals cannot be separated from particulars.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1086b
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege]
     Full Idea: Frege's 1879 logic transformed philosophy because it greatly expanded logic's reach - what thought can achieve unaided - and hence compelled a re-examination of everything previously said about the grounds of thought when logic gives out.
     From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 Intro
     A reaction: I loved the gloss on logic as 'what thought can achieve unaided'. I largely see logic in terms of what is mechanically computable.
2. Reason / B. Laws of Thought / 1. Laws of Thought
We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher]
     Full Idea: Frege disagree that logic should merely describe the laws of thought - how people actually did reason. Logic is essentially normative, not descriptive. We want the one logic which successfully tracks the truth.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Jennifer Fisher - On the Philosophy of Logic 1.III
     A reaction: This explains Frege's sustained attack on psychologism, and it also explains we he ended up as a platonist about logic - because he wanted its laws to be valid independently of human thinking. A step too far, perhaps. Brains are truth machines.
2. Reason / C. Styles of Reason / 1. Dialectic
It is legitimate to play the devil's advocate [Socrates]
     Full Idea: It is legitimate to play the devil's advocate.
     From: Socrates (reports of career [c.420 BCE]), quoted by Plato - Phaedrus 272c
2. Reason / C. Styles of Reason / 2. Elenchus
Socrates was pleased if his mistakes were proved wrong [Socrates]
     Full Idea: Socrates: I'm happy to have a mistaken idea of mine proved wrong.
     From: Socrates (reports of career [c.420 BCE]), quoted by Plato - Gorgias 458a
The method of Socrates shows the student is discovering the truth within himself [Socrates, by Carlisle]
     Full Idea: Socrates tended to prefer the method of questioning, for this made it clear that the student was discovering the truth within himself.
     From: report of Socrates (reports of career [c.420 BCE]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 7
     A reaction: Sounds like it will only facilitate conceptual analysis, and excludes empirical knowledge. Can you say to Socrates 'I'll just google that'?
Socrates always proceeded in argument by general agreement at each stage [Socrates, by Xenophon]
     Full Idea: When Socrates was setting out a detailed argument, he used to proceed by such stages as were generally agreed, because he thought that this was the infallible method of argument.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 4.6.16
     A reaction: This sounds right, and shows how strongly Socrates perceived philosophy to be a group activity, of which I approve. It seems to me that philosophy is clearly a spoken subject before it is a written one. The lonely speculator comes much later.
In Socratic dialogue you must say what you believe, so unasserted premises are not debated [Vlastos on Socrates]
     Full Idea: Socrates' rule of "say only what you believe"….excluded debate on unasserted premises, thereby distinguishing Socratic from Zenonian and earlier dialectics.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.14
2. Reason / D. Definition / 6. Definition by Essence
Socrates sought essences, which are the basis of formal logic [Socrates, by Aristotle]
     Full Idea: It is not surprising that Socrates sought essences. His project was to establish formal reasoning, of whose syllogisms essences are the foundations.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1078b22
     A reaction: This seems to reinforce the definitional view of essences, since definitions seem to be at the centre of most of Socrates's quests.
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle]
     Full Idea: Socrates aimed to establish formal logic, of whose syllogisms essences are the foundations. He developed inductive arguments and also general definitions.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1078b
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege]
     Full Idea: A distinction of subject and predicate finds no place in my way of representing a judgement.
     From: Gottlob Frege (Begriffsschrift [1879], §03)
     A reaction: Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'.
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / d. Universal quantifier ∀
For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki]
     Full Idea: 'All A's are B's' meant for Frege that the concept A implies the concept B, or that to be A implies also to be B. Moreover this applies to arbitrary x which happens to be A.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Michal Walicki - Introduction to Mathematical Logic History D.2
     A reaction: This seems to hit the renate/cordate problem. If all creatures with hearts also have kidneys, does that mean that being enhearted logically implies being kidneyfied? If all chimps are hairy, is that a logical requirement? Is inclusion implication?
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner]
     Full Idea: Frege distinguished between asserting a proposition and expressing it, and he introduced the judgement stroke (a small vertical line, assertion) and the content stroke (a long horizontal line, expression) to represent them.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.3
     A reaction: There are also strokes for conditional and denial.
The laws of logic are boundless, so we want the few whose power contains the others [Frege]
     Full Idea: Since in view of the boundless multitude of laws that can be enunciated we cannot list them all, we cannot achieve completeness except by searching out those that, by their power, contain all of them.
     From: Gottlob Frege (Begriffsschrift [1879], §13)
     A reaction: He refers to these laws in the previous sentence as the 'core'. His talk of 'power' is music to my ears, since it implies a direction of explanation. Burge says the power is that of defining other concepts.
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
In 1879 Frege developed second order logic [Frege, by Putnam]
     Full Idea: By 1879 Frege had discovered an algorithm, a mechanical proof procedure, that embraces what is today standard 'second order logic'.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Hilary Putnam - Reason, Truth and History Ch.5
     A reaction: Note that Frege did more than introduce quantifiers, and the logic of predicates.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner]
     Full Idea: Frege's regimentation is based on the view of the simplest sort of statement as having, not subject/predicate form (as in Aristotle), but function/argument form.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege
     A reaction: This looks like being a crucial move into the modern world, where one piece of information is taken in and dealt with, as in computer procedures. Have educated people reorganised their minds along Fregean lines?
5. Theory of Logic / G. Quantification / 1. Quantification
A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman]
     Full Idea: The contribution of the quantifier to the truth conditions of sentences of which it is a part cannot be adequately explained if it is treated as other than a second-level predicate (for instance, if it is viewed as name).
     From: report of Gottlob Frege (Begriffsschrift [1879]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2
     A reaction: They suggest that this makes it something like a 'property of properties'. With this account it becomes plausible to think of numbers as quantifiers (since they do, after all, specify quantities).
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
For Frege the variable ranges over all objects [Frege, by Tait]
     Full Idea: For Frege the variable ranges over all objects.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by William W. Tait - Frege versus Cantor and Dedekind XII
     A reaction: The point is that Frege had not yet seen the necessity to define the domain of quantification, and this leads him into various difficulties.
Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege]
     Full Idea: For Frege there is no need to specify the domain of the individual variables, which is taken as the totality of all objects. This contrasts with the standard notion of an interpretation, which demands that we first fix the domain.
     From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14
     A reaction: What intrigues me is how domains of quantification shift according to context in ordinary usage, even in mid-sentence. I ought to go through every idea in this database, specifying its domain of quantification. Any volunteers?
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh]
     Full Idea: Frege treated 'everything' as basic, and suggested ways of recasting propositions containing other quantifiers so that this was the only one remaining. He recast 'something' as 'at least one thing', and defined this in terms of 'everything' and 'not'.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Gregory McCullogh - The Game of the Name 1.6
     A reaction: Extreme parsimony seems highly desirable in logic as well as ontology, but it can lead to frustrations, especially over the crucial question of the existence of things quantified over. See Idea 6068.
Frege introduced quantifiers for generality [Frege, by Weiner]
     Full Idea: In order to express generality, Frege introduced quantifier notation.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege
     A reaction: This is the birth of predicate logic, beloved of analytical philosophers (but of no apparent interest to phenomenalists, deconstructionists, existentialists?). Generality is what you get from induction (which is, of course, problematic).
5. Theory of Logic / H. Proof Systems / 1. Proof Systems
Proof theory began with Frege's definition of derivability [Frege, by Prawitz]
     Full Idea: Frege's formal definition of derivability is perhaps the first investigation in general proof theory.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Dag Prawitz - Gentzen's Analysis of First-Order Proofs 2 n2
     A reaction: In 'On General Proof Theory §1' Prawitz says "proof theory originated with Hilbert" in 1900. Presumably Frege offered a theory, and then Hilbert saw it as a general project.
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan]
     Full Idea: Frege's work supplied a set of axioms for logic itself, at least partly because it was a well-known way of presenting the foundations in other disciplines, especially mathematics, but it does not nowadays strike us as natural for logic.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by David Kaplan - Dthat 5.1
     A reaction: What Bostock has in mind is the so-called 'natural' deduction systems, which base logic on rules of entailment, rather than on a set of truths. The axiomatic approach uses a set of truths, plus the idea of possible contradictions.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C]
     Full Idea: Frege's account of the ancestral has made it possible, in effect, to define the natural numbers as entities for which induction holds.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Crispin Wright - Frege's Concept of Numbers as Objects 4.xix
     A reaction: This is the opposite of the approach in the Peano Axioms, where induction is used to define the natural numbers.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P]
     Full Idea: Frege's general logical system involves a type hierarchy, distinguishing objects from properties from properties-of-properties etc., with every item belonging to a determinate level.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Peter Smith - Intro to Gödel's Theorems 14.1
     A reaction: The Theory of Types went on to apply this hierarchy to classes, where Frege's disastrous Basic Law V flattens the hierarchy of classes, putting them on the same level (Smith p.119)
7. Existence / A. Nature of Existence / 1. Nature of Existence
Existence is not a first-order property, but the instantiation of a property [Frege, by Read]
     Full Idea: When Kant said that existence was not a property, what he meant was, according to Frege, that existence is not a first-order property - it is not a property of individuals but a property of properties, that the property has an instance.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Stephen Read - Thinking About Logic Ch.5
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]
     Full Idea: Socrates did not regard the universals or the objects of definitions as separate existents, while Plato did separate them, and called this sort of entity ideas/forms.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1078b30
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
Read 'all ravens are black' as about ravens, not as about an implication [Belnap]
     Full Idea: 'All ravens are black' might profitably be read as saying not that being a raven 'implies' being black, but rather something more like 'Consider the ravens: each one is black'.
     From: Nuel D. Belnap (Conditional Assertion and Restricted Quantification [1970], p.7), quoted by Stephen Yablo - Aboutness 04.5
     A reaction: Belnap is more interested in the logic than in the paradox of confirmation, since he evidently thinks that universal generalisations should not be read as implications. I like Belnap's suggestion.
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]
     Full Idea: For Socrates our soul is our self - whatever that might turn out to be.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.55
     A reaction: The problem with any broad claim like this is that we seem to be able to distinguish between essential and non-essential aspects of the self or of the soul.
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]
     Full Idea: It would seem that historically the decisive step was taken by Socrates in conceiving of human beings as being run by a mind or reason.. …He postulated an entity whose precision nature and function then was a matter of considerable debate.
     From: report of Socrates (reports of career [c.420 BCE]) by Michael Frede - Intro to 'Rationality in Greek Thought' p.19
     A reaction: This is, for me, a rather revelatory idea. I am keen on the fact the animals make judgements which are true and false, and also that we exhibit rationality when walking across uneven ground. So pure rationality is a cultural construct!
19. Language / C. Assigning Meanings / 4. Compositionality
Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter]
     Full Idea: Frege's account was top-down, not bottom-up: he aimed to decompose and discern function-argument structure in already existing sentences, not to explain how those sentences acquired their meanings in the first place.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 03 'Func'
     A reaction: This goes with the holistic account of meaning, which leads to Quine's gavagai and Kuhn's obfuscation of science. I recommend compositionality for everthing.
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
No one willingly commits an evil or base act [Socrates]
     Full Idea: I am fairly certain that no wise man believes anyone sins willingly or willingly perpetrates any evil or base act.
     From: Socrates (reports of career [c.420 BCE]), quoted by Plato - Protagoras 345e
People do what they think they should do, and only ever do what they think they should do [Socrates, by Xenophon]
     Full Idea: There is no one who knows what they ought to do, but thinks that they ought not to do it, and no one does anything other than what they think they ought to do.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 4.6.6
     A reaction: This is Socrates' well-known rejection of the possibility of weakness of will (akrasia - lit. 'lack of control'). Aristotle disagreed, and so does almost everyone else. Modern smokers seem to exhibit akrasia. I have some sympathy with Socrates.
Socrates was shocked by the idea of akrasia, but observation shows that it happens [Aristotle on Socrates]
     Full Idea: Socrates thought it a shocking idea that when a man actually has knowledge in him something else should overmaster it, ..but this is glaringly inconsistent with the observed facts.
     From: comment on Socrates (reports of career [c.420 BCE]) by Aristotle - Nicomachean Ethics 1145b24
     A reaction: Aristotle seems very confident, but it is not at all clear (even to the agent) what is going on when apparent weakness of will occurs (e.g. breaking a diet). What exactly does the agent believe at the moment of weakness?
Socrates did not accept the tripartite soul (which permits akrasia) [Vlastos on Socrates]
     Full Idea: Xenophon indirectly indicates that he does not associate Socrates in any way with the tripartite psychology of the 'Republic', for within that theory akrasia would be all too possible.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.102
The common belief is that people can know the best without acting on it [Socrates]
     Full Idea: Most people think there are many who recognise the best but are unwilling to act on it.
     From: Socrates (reports of career [c.420 BCE]), quoted by Plato - Protagoras 352d
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]
     Full Idea: Socrates did not distinguish wisdom from prudence, but judged that the man who recognises and puts into practice what is truly good, and the man who knows and guards against what is disgraceful, are both wise and prudent.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 3.9.3
     A reaction: Compare Aristotle, who separates them, claiming that prudence is essential for moral virtue, but wisdom is pursued at a different level, closer to the gods than to society.
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]
     Full Idea: Socrates thought that the virtues were all forms of knowledge, and therefore once a man knew justice, he would be a just man.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Eudemian Ethics 1216b07
     A reaction: The clearest possible statement of Socrates' intellectualism. Aristotle rejected the Socrates view, but I find it sympathetic. Smokers who don't want to die seem to be in denial. To see the victims is to condemn the crime.
Socrates was the first to base ethics upon reason, and use reason to explain it [Taylor,R on Socrates]
     Full Idea: Socrates was the first significant thinker to try basing ethics upon reason, and to try uncovering its natural principles solely by the use of reason.
     From: comment on Socrates (reports of career [c.420 BCE]) by Richard Taylor - Virtue Ethics: an Introduction Ch.7
     A reaction: Interesting. It seems to me that Socrates overemphasised reason, presumably because it was a novelty. Hence his view that akrasia is impossible, and that virtue is simply knowledge. Maybe action is not just rational, but moral action is.
All human virtues are increased by study and practice [Socrates, by Xenophon]
     Full Idea: If you consider the virtues that are recognised among human beings, you will find that they are all increased by study and practice.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 2.6.41
     A reaction: 'Study' is the intellectualist part of this remark; the reference to 'practice' fits with Aristotle view that virtue is largely a matter of good habits. The next question would be how theoretical the studies should be. Philosophy, or newspapers?
The wise perform good actions, and people fail to be good without wisdom [Socrates, by Xenophon]
     Full Idea: It is the wise who perform truly good actions, and those who are not wise cannot, and, if they try to, fail.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 3.9.6
     A reaction: The essence of Socrates' intellectualism, with which Aristotle firmly disagreed (when he assert that only practical reason was needed for virtuous actions, rather than wisdom or theory). Personally I side more with Socrates than with Aristotle on this.
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
Socrates despised good looks [Socrates, by Plato]
     Full Idea: Socrates despises good looks to an almost inconceivable extent.
     From: report of Socrates (reports of career [c.420 BCE]) by Plato - The Symposium 216e
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]
     Full Idea: Socrates' moral philosophy was essentially conservative. He assumed that the principles the Athenians honoured were true and natural, so there was little possibility of conflict between nature and convention in his thinking.
     From: comment on Socrates (reports of career [c.420 BCE]) by Richard Taylor - Virtue Ethics: an Introduction Ch.8
     A reaction: Taylor contrasts Socrates with Callicles, who claims that conventions oppose nature. This fits with Nietzsche's discontent with Socrates, as the person who endorses conventional good and evil, thus constraining the possibilities of human nature.
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]
     Full Idea: A dung-basket is fine, and a golden shield contemptible, if the one is finely and the other badly constructed for carrying out its function.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 3.8.6
     A reaction: This is the basis of a key idea in Aristotle, that virtue (or excellence) arises directly from function. I think it is the most important idea in virtue theory, and seems to have struck most Greeks as being self-evident.
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Things are both good and fine by the same standard [Socrates, by Xenophon]
     Full Idea: Things are always both good and fine by the same standard.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 3.8.5
     A reaction: This begs many questions, but perhaps it leads to what we call intuitionism, which is an instant ability is perceive a fine action (even in an enemy). This leads to the rather decadent view that the aim of life is the production of beauty.
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]
     Full Idea: There is only one good, namely knowledge, and there is only one evil, namely ignorance.
     From: report of Socrates (reports of career [c.420 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.4.14
     A reaction: Ignorance of how to commit evil sounds quite good.
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Socrates was the first to put 'eudaimonia' at the centre of ethics [Socrates, by Vlastos]
     Full Idea: Socrates' true place in the development of Greek thought is that he is the first to establish the eudaimonist foundation of ethical theory, which became the foundation of the schools which sprang up around him.
     From: report of Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.10
     A reaction: I suspect that he was the first to fully articulate a widely held Greek belief. The only ethical question that they asked was about the nature of a good human life.
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]
     Full Idea: Socrates uses the word 'areté' to mean precisely what we mean by moral virtue.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.200
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]
     Full Idea: Socrates worries about the unity and teachability of virtue because he is torn between virtue as intellectual (unified and teachable) and virtue as natural (plural and unteachable).
     From: comment on Socrates (reports of career [c.420 BCE]) by PG - Db (ideas)
     A reaction: Admittedly virtue could be natural but still unified and teachable, but Socrates clearly had a dilemma, and this seems to make sense of it.
Socrates agrees that virtue is teachable, but then denies that there are teachers [Socrates, by MacIntyre]
     Full Idea: Socrates' great point of agreement with the sophists is his acceptance of the thesis that areté is teachable. But paradoxically he denies that there are teachers.
     From: report of Socrates (reports of career [c.420 BCE]) by Alasdair MacIntyre - A Short History of Ethics Ch.3
     A reaction: This is part of Socrates's presentation of himself as 'not worthy'. Virtue would be teachable, if only anyone knew what it was. He's wrong. Lots of people have a pretty good idea of virtue, and could teach it. The problem is in the pupils.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
We should ask what sort of people we want to be [Socrates]
     Full Idea: Socrates: What sort of person should one be?
     From: Socrates (reports of career [c.420 BCE]), quoted by Plato - Gorgias 487e
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]
     Full Idea: Socrates believed that basically there is only one virtue, the power of right judgement.
     From: report of Socrates (reports of career [c.420 BCE]) by Bernard Williams - Ethics and the Limits of Philosophy Ch.1
     A reaction: Which links with Aristotle's high place for 'phronesis' (prudence?). The essence of Socrates' intellectualism. Robots and saints make very different judgements, though.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Socrates made the civic values of justice and friendship paramount [Socrates, by Grayling]
     Full Idea: In Socrates' thought, the expressly civic values of justice and friendship became paramount.
     From: report of Socrates (reports of career [c.420 BCE]) by A.C. Grayling - What is Good? Ch.2
     A reaction: This is the key move in ancient ethics, away from heroism, and towards the standard Aristotelian social virtues. I say this is the essence of what we call morality, and the only one which can be given a decent foundational justification (social health).
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
Courage is scientific knowledge [Socrates, by Aristotle]
     Full Idea: Socrates thought that courage is scientific knowledge.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Eudemian Ethics 1230a06
     A reaction: Aristotle himself says that reason produces courage, but he also says it arises from natural youthful spirits. I favour the view that there is a strong rational component in true courage.
23. Ethics / F. Existentialism / 1. Existentialism
Socrates emphasises that the knower is an existing individual, with existence his main task [Socrates, by Kierkegaard]
     Full Idea: The infinite merit of the Socratic position was precisely to accentuate the fact that the knower is an existing individual, and that the task of existing is his essential task.
     From: report of Socrates (reports of career [c.420 BCE]) by Sřren Kierkegaard - Concluding Unscientific Postscript 'Inwardness'
     A reaction: Always claim Socrates as the first spokesman for your movement! It is true that Socrates is always demanding the views of his interlocutors, and not just abstract theories. See Idea 1647.
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Obedience to the law gives the best life, and success in war [Socrates, by Xenophon]
     Full Idea: A city in which the people are most obedient to the laws has the best life in time of peace and is irresistible in war.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Memorabilia of Socrates 4.4.15
     A reaction: This is a conservative view, with the obvious problem case of bad laws, but in general it seems to me clearly right. This is why it is so vital that nothing should be done to bring the law into disrepute, such as petty legislation or prosecution.
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]
     Full Idea: Socrates was the first Greek to grasp the truth that if someone has done a nasty thing to me, this does not give the slightest moral justification for doing anything nasty to him.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.190
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]
     Full Idea: The fact that a lover uses not force but persuasion makes him more detestable, because a lover who uses force proves himself a villain, but one who uses persuasion ruins the character of the one who consents.
     From: report of Socrates (reports of career [c.420 BCE]) by Xenophon - Symposium 8.20
     A reaction: A footnote says that this distinction was enshrined in Athenian law, where seduction was worse than rape. This is a startling and interest contrast to the modern view, which enshrines rights and freedoms, and says seduction is usually no crime at all.
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]
     Full Idea: It is essential to Socrates' rationalist programme in theology to assume that the entailment of virtue by wisdom binds gods no less than men. He would not tolerate one moral standard for me and another for gods.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.164
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]
     Full Idea: Undeviating beneficent goodness guides Socrates' thought so deeply that he applies it even to the deity; he projects a new concept of god as a being that can cause only good, never evil.
     From: comment on Socrates (reports of career [c.420 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.197
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner]
     Full Idea: On Frege's logical analysis, the predicate 'exists' is actually a natural language expression for a quantifier.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.8
     A reaction: However see Idea 6067, for McGinn's alternative view of quantifiers. In the normal conventions of predicate logic it may be that existence is treated as a quantifier, but that is not the same as saying that existence just IS a quantifier.