16 ideas
| 20744 | Phenomenologists say all experience is about something and is directed [Aho] |
| Full Idea: Phenomenologists agree that all experience has an intentional structure, that is, my experience is always about or of something; it is always directed towards an object. | |
| From: Kevin Aho (Existentialism: an introduction [2014], 2 'Phenomenology') | |
| A reaction: I am just beginning to grasp that the analytic debates about perception are a re-enactment of the Kantian debates about the thing-in-itself. This is the sort of idea you find in McDowell. Presumably the idea denies the Given, and raw sense-data. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
| Full Idea: A very reasonable position would be to accept the integers as primitive entities and then use sets to form higher entities. | |
| From: Paul J. Cohen (Set Theory and the Continuum Hypothesis [1966], 5.4), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? | |
| A reaction: I find this very appealing, and the authority of this major mathematician adds support. I would say, though, that the integers are not 'primitive', but pick out (in abstraction) consistent features of the natural world. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 20736 | Science has to abstract out the subjective attributes of things, focusing on what is objective [Aho] |
| Full Idea: Crucial to the scientific method is the ability to abstract out the subjective qualities that we give to things - such as beauty, meaning, purpose, and value - and focus only on the objective qualities of things, which can be measured and quantified. | |
| From: Kevin Aho (Existentialism: an introduction [2014], 1 'Emergence') | |
| A reaction: This seems to me exactly right. People who deny the primary/secondary distinction, like Hume, are usually correspondingly pessimistic about science. And Hume was wrong about that. |
| 20734 | Anxiety, nausea, guilt and absurdity shake us up, revealing our freedom and limits [Aho] |
| Full Idea: Some moods, such as 'anxiety' (Heidegger), 'nausea' (Sartre), 'guilt' (Kierkegaard), and 'absurdity' (Camus) are important because they have the capacity to shake us out of complacency and self-deception, disclosing our freedom and finitude. | |
| From: Kevin Aho (Existentialism: an introduction [2014], Pref 'What?) | |
| A reaction: [bit compressed] Problem: if I fail to feel such things, and deliberately induce them in myself, am I being inauthentic? Making a huge and unnatural effort to be an existentialist seems all wrong. And who wants the permanent grip of such feelings? |
| 20733 | Our 'existence' is how we create ourselves, unconstrained by any prior 'essence' [Aho] |
| Full Idea: 'Existence precedes essence' means there is no pre-given 'essence' that determines who and what we are. We are self-making beings. | |
| From: Kevin Aho (Existentialism: an introduction [2014], Pref 'What?) | |
| A reaction: This not a yes/no dilemma. Personally I believe (with Aristotle, and Steven Pinker) that there is a fairly comprehensive 'human nature' which we all share, and is the basis of ethics. On top of that, though, a fair bit of 'self-making' can go on. |
| 20753 | The self is constituted by its choices made within a social context [Aho] |
| Full Idea: The [existential] self is constituted by the continuous, open-ended process of choosing and pulling together the social interpretations that we care about and that are made available by the situation we grow into. | |
| From: Kevin Aho (Existentialism: an introduction [2014], 4 'Self') | |
| A reaction: These kind of explanations always seem wrong. That the self is influenced and moulded strongly by the choices it makes sounds right. But that the choices 'constitute' the chooser sounds like a bit of a muddle. |
| 20738 | Social contracts and markets have made society seem disconnected and artificial [Aho] |
| Full Idea: Modern society has come to be viewed as something artificial, an aggregate of disconnected individuals that is held together by instrumental social contracts and monetary exchanges. | |
| From: Kevin Aho (Existentialism: an introduction [2014], 1 'Emergence') | |
| A reaction: This is all long of you, Thomas Hobbes! Aho is explaining the rebellion of existentialists against this - though existentialism strikes me as another variant of liberal individualism. |
| 20737 | Protestantism brought the modern emphasis on inner states of the soul [Aho] |
| Full Idea: An important development in the formation of the modern worldview was the emergence of Protestantism, that reconfigured the self by privileging the inner states of the soul. Salvation concerns inner feelings, thoughts and desires, which can be genuine. | |
| From: Kevin Aho (Existentialism: an introduction [2014], 1 'Emergence') | |
| A reaction: [bit compressed] He is preparing the historical background for the existentialist concept of authenticity. We can link this Protestant idea with Descartes's Cogito, which grounds knowledge in the inner self. |
| 20766 | Four Noble Truths: life is suffering, caused by attachment, it is avoidable, there is a path [Aho] |
| Full Idea: The teachings of the Buddha are summarised in 'four noble truths': 1) life means suffering, 2) the origin of suffering is attachment, 3) the end of suffering is attainable, and 4) the path to the end of suffering. | |
| From: Kevin Aho (Existentialism: an introduction [2014], 9 'dukkha') | |
| A reaction: 1) and 2) summarise everything I dislike about most eastern philosophy. In the modern world life does not have to be suffering. To break off attachments in order to avoid suffering is a hideous injunction. |