17 ideas
22701 | Jokes can sometimes be funny because they are offensive [Jacobson,D] |
Full Idea: Sometimes it is exactly what is offensive about a joke that makes it funny. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], 'emotional') | |
A reaction: Jacobson offers this in support of his immoralist view, that immoral literature can be aesthetically successful. It is uncomfortable to find yourself laughing at a joke of which you disapprove. |
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. |
20660 | At one level maths and nature are very similar, suggesting some deeper origin [Wolfram] |
Full Idea: At some rather abstract level one can immediately recognise one basic similarity between nature and mathematics ...this suggests that the overall similarity between mathematics and nature must have a deeper origin. | |
From: Stephen Wolfram (A New Kind of Science [2002], p.772), quoted by Peter Watson - Convergence 17 'Philosophy' | |
A reaction: Personally I think mathematics has been derived by abstracting from the patterns in nature, and then further extrapolating from those abstractions. So the puzzle in nature is not the correspondence with mathematics, but the patterns. |
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. |
22703 | We don't often respond to events in art as if they were real events [Jacobson,D] |
Full Idea: We routinely do not respond to art as if we were as if we were real-life spectators of its events. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], 'rejection') | |
A reaction: This strikes me as one of the basic facts about aesthetics, and especially of narrative art. People sometimes encounter terrible events on the street, only to find someone is making a film. |
22702 | Audiences can be too moral [Jacobson,D] |
Full Idea: An audience can be overly moralistic. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], 'emotional') | |
A reaction: People can be too moral in real life as well. Goody Two Shoes. |
22696 | 'Autonomism' says the morality is irrelevant to the aesthetics [Jacobson,D] |
Full Idea: 'Autonomism' is the theory that the intrinsic moral merits and defects of an artwork are irrelevant to its aesthetic value. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], Intro) | |
A reaction: This contrasts with 'moralism', which says the ethics is part of the aesthetics. Autonomism seems to be the modern academic label for art for art's sake. In nineteenth century novels the ethics are central; in modernist novels they seem to be irrelevant. |
22697 | Moral defects of art can be among its aesthetic virtues [Jacobson,D] |
Full Idea: To put my claim most provocatively: the moral defects in a work of art can be among its aesthetic virtues. This claim has been called 'immoralism'. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], Intro) | |
A reaction: To describe sympathetic descriptions of vile moral behaviour as 'defects' may be a misunderstanding. If a work sets out to promote wickedness, then its wickedness isn't a defect in the work. It could be a masterpiece of corruption. |
22700 | Immoral art encourages immoral emotions [Jacobson,D] |
Full Idea: Humean moralism includes the view that immoral art prescribes unethical emotional responses. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], 'emotional') | |
A reaction: [He cites Hume's 'On the Standard of Taste'] 'Prescribes' is tricky. Is a vivid description of wicked events, given without comment, a prescription? What if the commentary condemns, but the description entices? Trust the work itself, said Lawrence. |
22699 | Moderate moralism says moral qualities can sometimes also be aesthetic qualities [Jacobson,D] |
Full Idea: Noël Carroll's moderate moralism maintains that some moral defects in artworks are aesthetic defects, and some moral virtues are aesthetic merits. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], 'How moderate') | |
A reaction: I'm beginning to think that moralist critics are confusing morality and wisdom. We don't admire novels for hammering on about goodness. We admire their insight into characters and actions, of which the most interesting aspects happen to be moral. |
22698 | We can judge art ethically, or rate its ethical influence, or assess its quality via its ethics [Jacobson,D] |
Full Idea: Ethical criticism includes 1) ethical judgements of art works, 2) assessment of an art work's role in moral education, or 3) bringing moral praise or censure to bear on the aesthetic evaluation. | |
From: Daniel Jacobson (Ethical Criticism and the Vice of Moderation [2006], 'What is') | |
A reaction: [a compressed summary of Jacobson. He cites Levinson 1998 and Carroll 2000 as examples of ethical criticism] |
20659 | Space and its contents seem to be one stuff - so space is the only existing thing [Wolfram] |
Full Idea: It seems plausible that both space and its contents should somehow be made of the same stuff - so that in a sense space becomes the only thing in the universe. | |
From: Stephen Wolfram (A New Kind of Science [2002], p.474), quoted by Peter Watson - Convergence 17 'Philosophy' | |
A reaction: I presume the concept of a 'field' is what makes this idea possible. |