25 ideas
| 21463 | Hamann, Herder and Jacobi were key opponents of the Enlightenment [Gardner] |
| Full Idea: Hamann, Herder and Jacobi are central figues in the reaction against Enlightenment. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10 'immediate') | |
| A reaction: From a British perspective I would see Hume as the leading such figure. Hamann emphasised the neglect of the role of language. Jacobi was a Christian. |
| 21459 | Kant halted rationalism, and forced empiricists to worry about foundations [Gardner] |
| Full Idea: Kant's Critique swiftly brought rationalism to a halt, and after Kant empiricism has displayed a nervousness regarding its foundations, and been forced to assume more sophisticated forms. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10 Intro) | |
| A reaction: See the ideas of Laurence Bonjour for a modern revival of rationalism. After Kant philosophers either went existential, or stared gloomily into the obscure depths. Formal logic was seen as a possible rope ladder down. |
| 21460 | Only Kant and Hegel have united nature, morals, politics, aesthetics and religion [Gardner] |
| Full Idea: Apart from Hegel, no later philosophical system equals in stature Kant's attempt to weld together the diverse fields of natural science, morality, politics, aesthetics and religion into a systematic overarching epistemological and metaphysical unity. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10) | |
| A reaction: Earlier candidate are Plato and Aristotle. Earlier Enlightenment figures say little about morality or aesthetics. Hobbes ranges widely. Aquinas covered most things. |
| 21443 | Transcendental proofs derive necessities from possibilities (e.g. possibility of experiencing objects) [Gardner] |
| Full Idea: A transcendental proof converts a possibility into a necessity: by saying under what conditions experience of objects is possible, transcendental proofs show those conditions to be necessary for us to the extent that we have any experience of objects. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 02 'Transc') | |
| A reaction: They appear to be hypothetical necessities, rather than true metaphysical necessities. Gardner is discussing Kant, but seems to be generalising. Hypothetical necessities are easy: if it is flying, it is necessarily above the ground. |
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| Full Idea: Axiom of Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y). That is, a set is determined by its members. If every z in one set is also in the other set, then the two sets are the same. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| Full Idea: Axiom of Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z). Any pair of entities must form a set. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) | |
| A reaction: Repeated applications of this can build the hierarchy of sets. |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| Full Idea: Axiom of Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A). That is, the union of a set (all the members of the members of the set) must also be a set. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| Full Idea: Axiom of Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x). That is, there is a set which contains zero and all of its successors, hence all the natural numbers. The principal of induction rests on this axiom. | |
| From: Kenneth Kunen (Set Theory [1980], §1.7) |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| Full Idea: Power Set Axiom: ∀x ∃y ∀z(z ⊂ x → z ∈ y). That is, there is a set y which contains all of the subsets of a given set. Hence we define P(x) = {z : z ⊂ x}. | |
| From: Kenneth Kunen (Set Theory [1980], §1.10) |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| Full Idea: Axiom of Replacement Scheme: ∀x ∈ A ∃!y φ(x,y) → ∃Y ∀X ∈ A ∃y ∈ Y φ(x,y). That is, any function from a set A will produce another set Y. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| Full Idea: Axiom of Foundation: ∀x (∃y(y ∈ x) → ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))). Aka the 'Axiom of Regularity'. Combined with Choice, it means there are no downward infinite chains. | |
| From: Kenneth Kunen (Set Theory [1980], §3.4) |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| Full Idea: Axiom of Choice: ∀A ∃R (R well-orders A). That is, for every set, there must exist another set which imposes a well-ordering on it. There are many equivalent versions. It is not needed in elementary parts of set theory. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| Full Idea: Axiom of Set Existence: ∃x (x = x). This says our universe is non-void. Under most developments of formal logic, this is derivable from the logical axioms and thus redundant, but we do so for emphasis. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| Full Idea: Comprehension Scheme: for each formula φ without y free, the universal closure of this is an axiom: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ). That is, there must be a set y if it can be defined by the formula φ. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) | |
| A reaction: Unrestricted comprehension leads to Russell's paradox, so restricting it in some way (e.g. by the Axiom of Specification) is essential. |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| Full Idea: Axiom of Constructability: this is the statement V = L (i.e. ∀x ∃α(x ∈ L(α)). That is, the universe of well-founded von Neumann sets is the same as the universe of sets which are actually constructible. A possible axiom. | |
| From: Kenneth Kunen (Set Theory [1980], §6.3) |
| 21444 | Modern geoemtry is either 'pure' (and formal), or 'applied' (and a posteriori) [Gardner] |
| Full Idea: There is now 'pure' geometry, consisting of formal systems based on axioms for which truth is not claimed, and which are consequently not synthetic; and 'applied', a branch of physics, the truth of which is empirical, and therefore not a priori. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 03 'Maths') | |
| A reaction: His point is that there is no longer any room for a priori geometry. Might the same division be asserted of arithmetic, or analysis, or set theory? |
| 21453 | Leibnizian monads qualify as Kantian noumena [Gardner] |
| Full Idea: Leibnizian monads clearly satisfy Kant's definition of noumena. | |
| From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 06 'Noumena') | |
| A reaction: This needs qualifying, because Leibniz clearly specifies the main attributes of monads, where Kant is adamant that we can saying virtually nothing about noumena. |
| 3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
| Full Idea: Some people view an externalist approach to epistemology as the essence of philosophical naturalism. | |
| From: David Papineau (Philosophical Naturalism [1993], Intro) | |
| A reaction: I suspect philosophers avoid psychology and mental events, simply because they are elusive. Externalism is a theory about justification, and independent of naturalism as a metaphysic. |
| 3513 | How does a dualist mind represent, exist outside space, and be transparent to itself? [Papineau] |
| Full Idea: Even dualists must explain how the mind represents things, but then their mind-stuff has so many special powers already (being outside space but in time, being transparent to itself etc.) that one more scarcely seems worth worrying about. | |
| From: David Papineau (Philosophical Naturalism [1993], 3.1 n1) | |
| A reaction: I share the exasperation. It is hard to see how a dualist could even begin to formulate a theory about HOW the mind does so many different things. Could Descartes get a research grant for it? Would we understand God if he tried to explain it to us? |
| 3514 | Functionalism needs causation and intentionality to explain actions [Papineau] |
| Full Idea: The functionalist approach to the mind needs to invoke assumptions about what desires are for and beliefs are about, in order to infer what agents will do. | |
| From: David Papineau (Philosophical Naturalism [1993], 3.2) | |
| A reaction: Isn't the idea that you discover what desires are for and what beliefs are about by examining their function, and what the agent does? Which end should we start? |
| 3510 | Epiphenomenalism is supervenience without physicalism [Papineau] |
| Full Idea: Supervenience is a necessary condition for physicalism, but it is not sufficient. Epiphenomenalism rules out mental variation without physical variation, but says mental properties are quite distinct from physical properties. | |
| From: David Papineau (Philosophical Naturalism [1993], 1.2) | |
| A reaction: I take full epiphenomenalism about mind to be incoherent, and not worth even mentioning (see Idea 7379). Papineau seems to be thinking of so-called property dualism (which may also be incoherent!). |
| 3511 | Supervenience requires all mental events to have physical effects [Papineau] |
| Full Idea: The argument for supervenience rests on the principle that any mental difference must be capable of showing itself in differential physical consequences. | |
| From: David Papineau (Philosophical Naturalism [1993], 1.8) | |
| A reaction: With our current knowledge of the brain, to assume anything less than this sort of correlation would be crazy. |
| 3515 | Knowing what it is like to be something only involves being (physically) that thing [Papineau] |
| Full Idea: Physicalism does not deny that there are conscious experiences, nor that 'it is like something to have them'. The claim is only that this is nothing different from what it is to be a physical system of the relevant kind. | |
| From: David Papineau (Philosophical Naturalism [1993], 4.2) | |
| A reaction: The implication is that no physicalist is an extreme eliminativist about consciousness, which seems to be correct. We all concede that weather exists, but have a reductive view of it. The key question is whether mind is reducible to physics. |
| 3512 | If a mental state is multiply realisable, why does it lead to similar behaviour? [Papineau] |
| Full Idea: If functionalism implies that there is nothing physically in common among the realisations of a given mental state, then there is no possibility of any uniform explanation of why they all give rise to a common physical result. | |
| From: David Papineau (Philosophical Naturalism [1993], 2.2) | |
| A reaction: This is the well known interaction problem for dualism. The standard reply is to accept interaction as a given (with no apparent explanation). A miracle, if you like. |
| 3516 | The Private Language argument only means people may misjudge their experiences [Papineau] |
| Full Idea: I take the moral of the Private Language argument to be that there must be room for error in people's judgements about their experiences, not that those judgements must necessarily be expressed in a language used by a community. | |
| From: David Papineau (Philosophical Naturalism [1993], 4.4 n10) | |
| A reaction: These two readings don't seem to be in conflict, and the argument must have something to say about the communal nature of thought expressed in language. Language imposes introspection on us? |