46 ideas
| 20109 | Hegel inserted society and history between the God-world, man-nature, man-being binary pairs [Hegel, by Safranski] |
| Full Idea: Before Hegel, people thought in binary oppositions of God and the world, man and nature, man and being. After Hegel an intervening world of society and history was inserted between these pairs. | |
| From: report of Georg W.F.Hegel (Introduction to the Philosophy of History [1840]) by Rüdiger Safranski - Nietzsche: a philosophical biography 05 | |
| A reaction: This is what Popper later called 'World Three'. This might be seen as the start of what we islanders call 'continental' philosophy, which we have largely ignored. Analytic philosophy only discovered this through philosophy of language. |
| 22270 | 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. |
| 8939 | 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. |
| 4971 | 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'. |
| 17745 | 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? |
| 7728 | 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. |
| 16881 | 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. |
| 7622 | 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. |
| 7729 | 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? |
| 9950 | 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). |
| 9991 | 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. |
| 10536 | 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? |
| 7730 | 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). |
| 7742 | 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. |
| 13824 | 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. |
| 13609 | 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. |
| 17855 | 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. |
| 10607 | 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) |
| 11008 | 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 |
| 6472 | Continuity is a sufficient criterion for the identity of a rock, but not for part of a smooth fluid [Russell] |
| Full Idea: Continuity is not a sufficient criterion of material identity; it is sufficient in many cases, such as rocks and tables, where the appearances change slowly, but in others, such as the parts of an approximately homogeneous fluid, it fails us utterly. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §XI) | |
| A reaction: It might be debatable to what extent the 'parts' of a homogeneous fluid have identity. How many 'parts' are there in a glass of water? This seems, now, a problem for internalists; externalists can define the identity by the unseen molecules. |
| 6473 | Physical things are series of appearances whose matter obeys physical laws [Russell] |
| Full Idea: We may lay down the following definition: Physical things are those series of appearances whose matter obeys the laws of physics. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §XI) | |
| A reaction: We will then have to define the laws of physic without making any reference to 'physical things'. There is an obvious suspicion of circularity somewhere here. I find it very odd to define objects just in terms of their appearances. |
| 6465 | We need not deny substance, but there seems no reason to assert it [Russell] |
| Full Idea: It is not necessary to deny a substance or substratum underlying appearances; it is merely expedient (by the application of Occam's Razor) to abstain from asserting this unnecessary entity. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §V) | |
| A reaction: Russell then goes on to struggle heroically in attempts to give accounts of 'matter' and 'objects' entirely in terms of 'sense-data'. If he failed, as many think he did, should we go back to belief in Aristotelian substance? |
| 6471 | The assumption by physicists of permanent substance is not metaphysically legitimate [Russell] |
| Full Idea: The assumption of permanent substance, which technically underlies the procedure of physics, cannot of course be regarded as metaphysically legitimate. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §XI) | |
| A reaction: It is a moot point whether physicists still thought this way after the full arrival of quantum theory in 1926. Russell raises all sorts of nice questions about the relationship between physics and philosophy here. I'm on Russell's side. |
| 6466 | Where possible, logical constructions are to be substituted for inferred entities [Russell] |
| Full Idea: The supreme maxim in scientific philosophising is this: Wherever possible, logical constructions are to be substituted for inferred entities. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §VI) | |
| A reaction: This seems to represent Russell's first move (in 1914) into what looks like phenomenalism. One might ask what is the difference between 'logical constructions' and 'inferred entities'. The latter appear to have unity, so I prefer them. |
| 6467 | No sensibile is ever a datum to two people at once [Russell] |
| Full Idea: No sensibile is ever a datum to two people at once. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §VII) | |
| A reaction: So a loud bang has to broken down into an almost infinite number of sound sensibilia - each one presumably the size of the apperture of a small ear. This is beginning to sound a bit silly. |
| 6483 | Russell held that we are aware of states of our own brain [Russell, by Robinson,H] |
| Full Idea: Russell held that we are aware of states of our own brain. | |
| From: report of Bertrand Russell (The Relation of Sense-Data to Physics [1914]) by Howard Robinson - Perception 1.1 | |
| A reaction: I can't say that I had ever intepreted Russell in this way, but it is a wonderfully thought-provoking idea. All the time that I thought I was looking at a table, I was just looking at my own brain, and drawing an unspoken inference that a table caused it. |
| 8244 | Sense-data are qualities devoid of subjectivity, which are the basis of science [Russell, by Deleuze/Guattari] |
| Full Idea: Rather than oppose sensory knowledge and scientific knowledge, we should identify the sensibilia that are peculiar to science. This is what Russell did when he evoked sense-data, qualities devoid of all subjectivity. | |
| From: report of Bertrand Russell (The Relation of Sense-Data to Physics [1914]) by G Deleuze / F Guattari - What is Philosophy? 2.5 | |
| A reaction: An interesting observation. Russell is striking for his lack of interest in theories of arts and ethics, and his whole work focuses on understanding the scientific view. What is involved in sensibilia is a key modern issue (e.g. McDowell). |
| 6462 | Sense-data are not mental, but are part of the subject-matter of physics [Russell] |
| Full Idea: I regard sense-data as not mental, and as being, in fact, part of the actual subject-matter of physics. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §III) | |
| A reaction: Russell had clearly given himself an ontological problem with the introduction of sense-data, and this is his drastic solution. In 1912 his account seems ambiguous between sense-data being mental and being physical. |
| 6463 | Sense-data are objects, and do not contain the subject as part, the way beliefs do [Russell] |
| Full Idea: Logically a sense-datum is an object, a particular of which the subject is aware; it does not contain the subject as a part, as for example beliefs and volitions do. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §IV) | |
| A reaction: This very firmly rejects any notion that a sense-datum is mental. It is a left as a strange sort of object which gets as close as it is possible to get to the 'borders' of the mind, without actually becoming part of it. |
| 6464 | Sense-data are usually objects within the body, but are not part of the subject [Russell] |
| Full Idea: The sense-datum is an external object of which in sensation the subject is aware; it is true that the sense-datum is in many cases in the subject's body, but the subject's body is as distinct from the subject as tables and chairs are. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §IV) | |
| A reaction: This is probably Russell's clearest statement of the nature of sense-data, which are objects within the subjects body, but are not part of the mind. So once again we come up against the question of their ontology. Are they made of neurons? |
| 6459 | We do not know whether sense-data exist as objects when they are not data [Russell] |
| Full Idea: We do not know, except by means of more or less precarious inferences, whether the objects which are at one time sense-data continue to exist at times when they are not data. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §II) | |
| A reaction: Note that he actually refers to sense-data as 'objects'. It shows how thoroughly reified they are in his theory if they have the possibility of independent existence. This invites the question 'what are they made of?' |
| 6460 | 'Sensibilia' are identical to sense-data, without actually being data for any mind [Russell] |
| Full Idea: I shall give the name 'sensibilia' to those objects which have the same metaphysical and physical status as sense-data without necessarily being data to any mind. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §III) | |
| A reaction: This is his response to the problem of whether sense-data can exist independently of experience, which was unclear in 1912. Presumably sensibilia are objects which are possible sources of experience, but that seems to cover most objects. |
| 6461 | Ungiven sense-data can no more exist than unmarried husbands [Russell] |
| Full Idea: We cannot ask, 'Can sense-data exist without being given?' for that is like asking, 'Can husbands exist without being married?' | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §III) | |
| A reaction: This follows hard on Idea 6460, which introduces the idea of 'sensibilia' for things which are like sense-data, but are not 'given'. This is a new distinction in 1914, which he had not made in 1912. |
| 6458 | Individuating sense-data is difficult, because they divide when closely attended to [Russell] |
| Full Idea: There is some difficulty in deciding what is to be considered one sense-datum: often attention causes divisions to appear where, so far as can be discovered, there were no divisions before. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §II) | |
| A reaction: This was, I suspect, why Russell had dropped the idea of sense-data by 1921. He does, however, say that they are the last unit in analysis, rather than being the most basic unit of perception. In other words, they are purely theoretical. |
| 6469 | Sense-data may be subjective, if closing our eyes can change them [Russell] |
| Full Idea: One reason often alleged for the subjectivity of sense-data is that the appearance of a thing itself may change when we find it hard to suppose that the thing itself has changed - as when we shut our eyes, or screw them up to make things look double. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §VIII) | |
| A reaction: Russell firmly denies that they are subjective. These examples are also said to support to proposed existence of sense-data in the first place, since they show the gap between appearance and reality. |
| 22280 | 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. |
| 23274 | World history has no room for happiness [Hegel] |
| Full Idea: World history is not the place for happiness. Periods of happiness are empty pages in history. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: Clearly, Hegel thinks the progress of world history is much more important than happiness. This idea gives backing to those who don't care much about the casualties on either side in a major war. |
| 23275 | The state of nature is one of untamed brutality [Hegel] |
| Full Idea: The 'state of nature' is not an ideal condition, but a condition of injustice, of violence, of untamed natural drives, inhuman acts and emotions. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: He agrees with Hobbes, and disagrees with Rousseau. Hobbes's solution is authoritarian monarchy, but Hegel's solution is the unified and focused state, in which freedom can be realised. |
| 23276 | The soul of the people is an organisation of its members which produces an essential unity [Hegel] |
| Full Idea: The soul [of the people] exists only insofar as it is an organisation of its members, which - by taking itself together in its simple unity - produce the soul. Thus the people is one individuality in its essence. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: Hegel is seen (e.g. by Charles Taylor) as the ancestor of a rather attractive communitarianism, but I think Popper is more accurate in seeing him as the first stage of modern totalitarianism. The people seen as one individual terrifies me. |
| 23272 | The human race matters, and individuals have little importance [Hegel] |
| Full Idea: Individuals are of slight importance compared to the mass of the human race. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: A perfect statement of the anti-liberal viewpoint. Hegel is complex, but this is the strand that leads to ridiculous totalitarianism, where the highest ideal is to die for the glory of your nation. Importance can only start from individuals. |
| 23273 | In a good state the goal of the citizens and of the whole state are united [Hegel] |
| Full Idea: A state is well constituted and internally strong if the private interest of the citizens is united in the universal goal of the state. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: The obvious question is who decides on the goals, and what to do with the citizens who don't accept them. |
| 23271 | The goal of the world is Spirit's consciousness and enactment of freedom [Hegel] |
| Full Idea: The final goal of the world is Spirit's consciousness of its freedom, and hence also the actualisation of that very freedom. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: I have the impression that this ridiculous idea has been very influential in modern French philosophy, since they all seem to be dreaming of some perfect freedom at the end of the rainbow. Freedom is good, but this gives it a bad name. |
| 23270 | We should all agree that there is reason in history [Hegel] |
| Full Idea: We ought to have the firm and unconquerable belief that there is reason in history. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 2) | |
| A reaction: This is a ridiculous but hugely influential idea, and I have no idea what makes Hegel believe it. It is the Stoic idea that nature is intrinsically rational, but extending it to human history is absurd. Human exceptionalism. Needs a dose of Darwin. |
| 6470 | Matter is the limit of appearances as distance from the object diminishes [Russell] |
| Full Idea: We offer the following tentative definition: The matter of a given thing is the limit of its appearances as their distance from the thing diminishes. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §IX) | |
| A reaction: This strikes me as empiricism gone mad. Russell is famous for being a 'realist', but you would hardly know it at this point. Personally I put emphasis on 'best explanation', which fairly simply delivers most of our commonsense understandings of reality. |
| 6468 | There is 'private space', and there is also the 'space of perspectives' [Russell] |
| Full Idea: In addition to the private spaces, ..there is the 'space of perspectives', since each private world may be regarded as the appearance which the universe presents from a certain point of view. | |
| From: Bertrand Russell (The Relation of Sense-Data to Physics [1914], §VII) | |
| A reaction: This replaces his concept of 'public space', which he introduced in 1912. Russell gradually dropped this, but I like the idea that we somehow directly perceive space in two ways simultaneously (which led him to say that space is six-dimensional). |
| 7741 | 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. |