Combining Texts

All the ideas for 'works', 'works' and 'Intrinsic and Extrinsic Properties'

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


56 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb]
     Full Idea: Aristotle takes wisdom to come in two forms, the practical and the theoretical, the former of which is good judgement about how to act, and the latter of which is deep knowledge or understanding.
     From: report of Aristotle (works [c.330 BCE]) by Dennis Whitcomb - Wisdom Intro
     A reaction: The interesting question is then whether the two are connected. One might be thoroughly 'sensible' about action, without counting as 'wise', which seems to require a broader view of what is being done. Whitcomb endorses Aristotle on this idea.
2. Reason / A. Nature of Reason / 2. Logos
For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle]
     Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value.
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26
2. Reason / A. Nature of Reason / 4. Aims of Reason
Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle]
     Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95
2. Reason / D. Definition / 4. Real Definition
Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine]
     Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us.
     From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51
     A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'.
2. Reason / D. Definition / 5. Genus and Differentia
Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson]
     Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined.
     From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157
     A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus?
3. Truth / A. Truth Problems / 6. Verisimilitude
Truth does not admit of more and less [Frege]
     Full Idea: What is only half true is untrue. Truth does not admit of more and less.
     From: Gottlob Frege (works [1890], CP 353), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 48 'Truth'
     A reaction: What about a measurement which is accurate to three decimal places? Maybe being 'close to' the truth is not the same as being 'more' true. The truth about a distance between two points is unknowable?
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Give up objects necessitating truths, and say their natures cause the truths? [Cameron]
     Full Idea: We could abandon the view that truthmakers necessitate the truth of that which makes them true, and say that an object makes a truth when its intrinsic nature suffices for that truth. The object would have a different intrinsic nature if the truth failed.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Truthmakers')
     A reaction: [He cites Josh Parsons 1999, 2005 for this] This approach seems closely related to Kit Fine's proposal that necessities arise from the natures of things. It sounds to me as if an object with that intrinsic nature would necessitate that truth.
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truthmaker requires a commitment to tropes or states of affairs, for contingent truths [Cameron]
     Full Idea: The most popular view is that an object is a truthmaker if the object couldn't exist and the truth be false. But contingent predications are also held to need truthmakers. Socrates is not necessarily snub-nosed, so a trope or state of affairs is needed.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Truthmakers')
     A reaction: Cameron calls this 'some heavy ontological commitments'. If snub-nosedness is necessitated by the trope of 'being snub-nosed', what is the truthmaker for Socrates having that trope?
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Frege did not think of himself as working with sets [Frege, by Hart,WD]
     Full Idea: Frege did not think of himself as working with sets.
     From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 1
     A reaction: One can hardly blame him, given that set theory was only just being invented.
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null set is indefensible, because it collects nothing [Frege, by Burge]
     Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing.
     From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2
     A reaction: The null set defines the possibility that something could be collected. At the very least, it introduces curly brackets into the language.
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA]
     Full Idea: Contrary to Dedekind's anti-realism, Frege proposed a realist definition of a set as the extension of a predicate (or concept, or function).
     From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.13
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Frege frequently expressed a contempt for language [Frege, by Dummett]
     Full Idea: Frege frequently expressed a contempt for language.
     From: report of Gottlob Frege (works [1890], p.228) by Michael Dummett - Frege's Distinction of Sense and Reference p.228
     A reaction: This strikes me as exactly the right attitude for a logician to have. Russell seems to have agreed. Attitudes to vagueness are the test case. Over-ambitious modern logicians dream of dealing with vagueness. Forget it. Stick to your last.
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD]
     Full Idea: Frege thinks there is a single right deductive order of the truths. This is not an epistemic order, but a logical order, and it is our job to arrange our beliefs in this order if we can make it out.
     From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 2
     A reaction: Frege's dream rests on the belief that there exists a huge set of logical truths. Pluralism, conventionalism, constructivism etc. about logic would challenge this dream. I think the defence of Frege must rest on Russellian rooting of logic in nature.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
     Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
     From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
     A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn]
     Full Idea: For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function.
     From: report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3
     A reaction: McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?'
Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA]
     Full Idea: The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board.
     From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Frege always, and fatally, neglected the domain of quantification [Dummett on Frege]
     Full Idea: Frege persistently neglected the question of the domain of quantification, which proved in the end to be fatal.
     From: comment on Gottlob Frege (works [1890]) by Michael Dummett - Frege philosophy of mathematics Ch.16
     A reaction: The 'fatality' refers to Russell's paradox, and the fact that not all concepts have extensions. Common sense now says that this is catastrophic. A domain of quantification is a topic of conversation, which is basic to all language. Cf. Idea 9874.
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge]
     Full Idea: In Frege's view axioms are basic truth, and basic truths do not need proof. Basic truths can be (justifiably) recognised as true by understanding their content.
     From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1
     A reaction: This is the underpinning of the rationalism in Frege's philosophy.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege]
     Full Idea: There is a suspicion that Frege's definition of 5 (as the set of all sets with 5 members) may be infected with circularity, …and how can we be sure on a priori grounds that 4 and 5 are not both empty sets, and hence identical?
     From: comment on Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.14
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge]
     Full Idea: Frege saw arithmetical judgements as resting on a foundation of logical principles, and the discovery of this foundation as a discovery of the nature and structure of the justification of arithmetical truths and judgments.
     From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations Intro
     A reaction: Burge's point is that the logic justifies the arithmetic, as well as underpinning it.
Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend]
     Full Idea: After the problem with Russell's paradox, Frege did not publish for fourteen years, and he then tried to re-found arithmetic in Euclidean geometry, rather than in logic.
     From: report of Gottlob Frege (works [1890], 3.4) by Michèle Friend - Introducing the Philosophy of Mathematics 3.4
     A reaction: I take it that his new road would have led him to modern Structuralism, so I think he was probably on the right lines. Unfortunately Frege had already done enough for one good lifetime.
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Frege's logic showed that there is no concept of being [Frege, by Scruton]
     Full Idea: Frege's quantificational logic vindicates Kant's insight that existence is not a predicate and leads to fallacies when treated as one; and we might also say, despite Hegel, that there is no concept of being.
     From: report of Gottlob Frege (works [1890]) by Roger Scruton - Short History of Modern Philosophy Ch.17
     A reaction: I notice that Colin McGinn has questioned the value of quantificational logic. It is difficult to assert that 'there is no concept of x', if several people have written large books about it.
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
Essentialists say intrinsic properties arise from what the thing is, irrespective of surroundings [Cameron]
     Full Idea: The essentialist approach would be to say that an intrinsic property is one such that it is no part of what it is to instantiate that property that the bearer stands in some relation to its surroundings.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Analysis')
     A reaction: This is offered as an alternative to the David Lewis account in terms of duplicates across possible worlds. You will have gathered by now, if you have spent days poring over my stuff, that I favour the essentialist approach.
An object's intrinsic properties are had in virtue of how it is, independently [Cameron]
     Full Idea: Intrinsic properties are those that an object has solely in virtue of how it is, independently of its surroundings.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Intro')
     A reaction: Better not mention quantum mechanics and fields if you want to talk of objects being independent of their surroundings. Am I 'independent' of gravity, or is gravity 'independent' of me?
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki]
     Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6
     A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter.
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki]
     Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5
     A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact.
9. Objects / E. Objects over Time / 1. Objects over Time
Most criteria for identity over time seem to leave two later objects identical to the earlier one [Cameron]
     Full Idea: Criteria for identity across times have proven hard to give. Whatever criteria we lay down, it seems that there are possible situations in which two later objects bear the relevant relation to one earlier object, though only one of them can be identical.
     From: Ross P. Cameron (Intrinsic and Extrinsic Properties [2009], 'Personal')
     A reaction: We only have to think of twins, amoebae that fission, and the Ship of Theseus. We seem to end up inventing a dubious criterion in order to break the tie.
9. Objects / F. Identity among Objects / 5. Self-Identity
Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA]
     Full Idea: It was Frege who first made identity a logical notion, enshrining it above all in the formula (x) x=x.
     From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9
11. Knowledge Aims / A. Knowledge / 1. Knowledge
For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code]
     Full Idea: Aristotle thinks that in general we have knowledge or understanding when we grasp causes, and he distinguishes three fundamental types of knowledge - theoretical, practical and productive.
     From: report of Aristotle (works [c.330 BCE]) by Alan D. Code - Aristotle
     A reaction: Productive knowledge we tend to label as 'knowing how'. The centrality of causes for knowledge would get Aristotle nowadays labelled as a 'naturalist'. It is hard to disagree with his three types, though they may overlap.
11. Knowledge Aims / A. Knowledge / 2. Understanding
To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge]
     Full Idea: Frege famously realised that understanding a thought requires understanding its inferential connections to other thoughts.
     From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1
     A reaction: If true, this is probably our greatest advance in grasping the concept of 'understanding' since Aristotle - but is it true? It is a striking and interesting idea, and central to the importance of Frege in modern analytic philosophy.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
The notion of a priori truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of a priori truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11240.
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge]
     Full Idea: Frege's terms that translate 'self-evident' usually make no explicit reference to actual minds.
     From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 4
     A reaction: This follows the distinction in Aquinas, between things that are intrinsically self-evident, and things that are self-evident to particular people. God, presumably, knows all of the former.
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge]
     Full Idea: Generality for Frege is simply universal quantification; what makes a truth apriori is that its ultimate grounds are universally quantified.
     From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M]
     Full Idea: Aristotle is a rationalist …but reason for him is a disposition which we only acquire over time. Its acquisition is made possible primarily by perception and experience.
     From: report of Aristotle (works [c.330 BCE]) by Michael Frede - Aristotle's Rationalism p.173
     A reaction: I would describe this process as the gradual acquisition of the skill of objectivity, which needs the right knowledge and concepts to evaluate new experiences.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML]
     Full Idea: Since Aristotle generally prefers a metaphysical theory that accords with common intuitions, he frequently relies on facts about language to guide his metaphysical claims.
     From: report of Aristotle (works [c.330 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.5
     A reaction: I approve of his procedure. I take intuition to be largely rational justifications too complex for us to enunciate fully, and language embodies folk intuitions in its concepts (especially if the concepts occur in many languages).
14. Science / B. Scientific Theories / 1. Scientific Theory
Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik]
     Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances.
     From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1
The building blocks contain the whole contents of a discipline [Frege]
     Full Idea: The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents.
     From: Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1
     A reaction: [Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology.
14. Science / D. Explanation / 1. Explanation / a. Explanation
Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis]
     Full Idea: For Aristotle things which explain (the explanantia) are facts, which should not be associated with the modern view that says explanations are dependent on how we conceive and describe the world (where causes are independent of us).
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.1
     A reaction: There must be some room in modern thought for the Aristotelian view, if some sort of robust scientific realism is being maintained against the highly linguistic view of philosophy found in the twentieth century.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA]
     Full Idea: The standard Aristotelian doctrine of species and genus in the theory of anything whatever involves specifying what the thing is in terms of something more general.
     From: report of Aristotle (works [c.330 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.10
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung]
     Full Idea: The view that essential properties are those in virtue of which other significant properties of the subjects under investigation can be explained is encountered repeatedly in Aristotle's work.
     From: report of Aristotle (works [c.330 BCE]) by Joan Kung - Aristotle on Essence and Explanation IV
     A reaction: What does 'significant' mean here? I take it that the significant properties are the ones which explain the role, function and powers of the object.
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji]
     Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals.
     From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial'
     A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived.
18. Thought / E. Abstraction / 8. Abstractionism Critique
Frege said concepts were abstract entities, not mental entities [Frege, by Putnam]
     Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities.
     From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119
     A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents.
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A]
     Full Idea: For Frege, a thought is not something psychological or subjective; rather, it is objective in the sense that it specifies some condition in the world the obtaining of which is necessary and sufficient for the truth of the sentence that expresses it.
     From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.2
     A reaction: It is worth emphasising Russell's anti-Berkeley point about 'ideas', that the idea is in the mind, but its contents are in the world. Since the contents are what matter, this endorses Frege, and also points towards modern externalism.
19. Language / C. Assigning Meanings / 5. Fregean Semantics
Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A]
     Full Idea: Frege held that "and" and "but" have the same 'sense' but different 'tones' (note: they have the same truth tables); the sense of an expression is what a sentence strictly and literally means, stripped of its tone.
     From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.6
     A reaction: It seems important when studying Frege to remember what has been stripped out. In "he is a genius and he plays football", if you substitute 'but' for 'and', the new version says (literally?) something very distinctive about football.
'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A]
     Full Idea: Frege's introduction of 'sense' was motivated by the desire to solve three problems: the problem of bearerless names, the problem of substitution in belief contexts, and the problem of informativeness.
     From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.9
     A reaction: A proposal which solves three problems sounds pretty good! These three problems can be used to test the counter-proposals of Russell and Kripke.
19. Language / E. Analyticity / 1. Analytic Propositions
'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner]
     Full Idea: 'It is raining or it is not raining' appears to true because of the general principle 'p or not-p', so it is analytic; but this does not fit Kant's idea of an analytic truth, because it is not obvious that it has a subject concept or a predicate concept.
     From: report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2
     A reaction: The general progress of logic seems to be a widening out to embrace problem sentences. However, see Idea 7315 for the next problem that arises with analyticity. All this culminates in Quine's attack (e.g. Idea 1624).
19. Language / E. Analyticity / 2. Analytic Truths
Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A]
     Full Idea: Frege (according to Quine) characterises analytic truths as those that can be demonstrated or proved using only logical laws and definitions as premises.
     From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 4.2
     A reaction: This is the big shift away from the Kantian version (predicate contained in the subject) towards a modern version, perhaps fixed by a truth table giving true for all values.
The notion of analytic truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of analytic truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11239.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin]
     Full Idea: To the best of my knowledge (and somewhat to my surprise), Aristotle never actually says that man is a rational animal; however, he all but says it.
     From: report of Aristotle (works [c.330 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.1
     A reaction: When I read this I thought that this database would prove Fogelin wrong, but it actually supports him, as I can't find it in Aristotle either. Descartes refers to it in Med.Two. In Idea 5133 Aristotle does say that man is a 'social being'. But 22586!
25. Social Practice / E. Policies / 5. Education / a. Aims of education
It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle]
     Full Idea: It is the mark of an educated mind to be able to entertain an idea without accepting it.
     From: Aristotle (works [c.330 BCE])
     A reaction: The epigraph on a David Chalmers website. A wonderful remark, and it should be on the wall of every beginners' philosophy class. However, while it is in the spirit of Aristotle, it appears to be a misattribution with no ancient provenance.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius]
     Full Idea: Aristotle was asked how much educated men were superior to those uneducated; "As much," he said, "as the living are to the dead."
     From: report of Aristotle (works [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 05.1.11
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend]
     Full Idea: Aristotle developed his own distinction between potential infinity (never running out) and actual infinity (there being a collection of an actual infinite number of things, such as places, times, objects). He decided that actual infinity was incoherent.
     From: report of Aristotle (works [c.330 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 1.3
     A reaction: Friend argues, plausibly, that this won't do, since potential infinity doesn't make much sense if there is not an actual infinity of things to supply the demand. It seems to just illustrate how boggling and uncongenial infinity was to Aristotle.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins]
     Full Idea: Aristotle's conception of matter permits any kind of matter to become any other kind of matter.
     From: report of Aristotle (works [c.330 BCE]) by David Wiggins - Substance 4.11.2
     A reaction: This is obviously crucial background information when we read Aristotle on matter. Our 92+ elements, and fixed fundamental particles, gives a quite different picture. Aristotle would discuss form and matter quite differently now.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA]
     Full Idea: Frege put forward an ontological argument for the existence of numbers.
     From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.4
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus]
     Full Idea: Aristotle said that the conception of gods arose among mankind from two originating causes, namely from events which concern the soul and from celestial phenomena.
     From: report of Aristotle (works [c.330 BCE], Frag 10) by Sextus Empiricus - Against the Physicists (two books) I.20
     A reaction: The cosmos suggests order, and possible creation. What do events of the soul suggest? It doesn't seem to be its non-physical nature, because Aristotle is more of a functionalist. Puzzling. (It says later that gods are like the soul).