23 ideas
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. |
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. |
3914 | Language arranges sensory experience to form a world-order [Whorf] |
Full Idea: Language first of all is a classification and arrangement of the stream of sensory experience which results in a certain world-order. | |
From: Benjamin Lee Whorf (Punctual and segmentive Hopi verbs [1936], p.55) | |
A reaction: This is only true to a limited degree. See Davidson's 'On the very idea of a conceptual scheme'. All humans share a world-order, to some extent. |
3916 | Hopi consistently prefers verbs and events to nouns and things [Whorf] |
Full Idea: Hopi, with its preference for verbs, as contrasted to our own liking for nouns, perpetually turns our propositions about things into propositions about events. | |
From: Benjamin Lee Whorf (An American Indian model of the Universe [1936], p.63) | |
A reaction: This should provoke careful thought about ontology - without concluding that it is entirely relative to language. |
3917 | Scientific thought is essentially a specialised part of Indo-European languages [Whorf] |
Full Idea: What we call "scientific thought" is a specialisation of the western Indo-European type of language. | |
From: Benjamin Lee Whorf (An American Indian model of the Universe [1936], p.246) | |
A reaction: This is the beginnings of an absurd extreme relativist view of science, based on a confusion about meaning and thought. |
5901 | Is 'productive of happiness' the definition of 'right', or the cause of it? [Ross on Bentham] |
Full Idea: Bentham has not made up his mind whether he thinks that 'right' means 'productive of the general happiness', or that being productive of the general happiness is what makes acts right (and he would have thought the difference unimportant). | |
From: comment on Jeremy Bentham (Intro to Principles of Morals and Legislation [1789]) by W. David Ross - The Right and the Good §I | |
A reaction: The issue is whether rightness exists as a concept separate from happiness. I take it Bentham would vote for the first reading, as he has no interest in what is right, apart from increasing happiness. |
5934 | Of Bentham's 'dimensions' of pleasure, only intensity and duration matter [Ross on Bentham] |
Full Idea: Most of Bentham's 'dimensions' of pleasure refer to further pleasures, or are irrelevant to the pleasure; we are left with intensity and duration as the characteristics on which depend the value of a pleasure qua pleasure, and there is nothing to add. | |
From: comment on Jeremy Bentham (Intro to Principles of Morals and Legislation [1789]) by W. David Ross - The Right and the Good §VI | |
A reaction: I agree. When Bentham produces his list he seems to be trying to add a bogus enrichment to what is really a rather crude and basic notion of the aim of life. Your simple hedonist appears to only desire high intensity and long duration. |
5271 | Prejudice apart, push-pin has equal value with music and poetry [Bentham] |
Full Idea: Prejudice apart, the game of push-pin is of equal value with the arts and science of music and poetry. | |
From: Jeremy Bentham (Constitutional Code I [1827], p.139), quoted by J.R. Dinwiddy - Bentham p.114 | |
A reaction: Mill quoted this with implied outrage, but Bentham was attacking public subsidies to the arts when he said it. It is a basic idea in the debate on pleasure - that pleasures are only distinguished by their intensity, not some other value. |
3777 | Pleasure and pain control all human desires and duties [Bentham] |
Full Idea: Nature has placed mankind under the governance of two sovereign masters, pain and pleasure. It is for them alone to point out what we ought to do, as well as to determine what we shall do. | |
From: Jeremy Bentham (Intro to Principles of Morals and Legislation [1789], I.1) | |
A reaction: Ridiculous. Both halves are false. We pursue things for other reasons, and to deny this makes his idea a tautology. Deep ecology has nothing to do with human pleasure or pain. |
3554 | Bentham thinks happiness is feeling good, but why use morality to achieve that? [Annas on Bentham] |
Full Idea: It is easy to fall into Bentham's mindless assumption that happiness must be a specific state of feeling good about something, but it is mysterious why anyone would think morality a good strategy for achieving this. | |
From: comment on Jeremy Bentham (Intro to Principles of Morals and Legislation [1789]) by Julia Annas - The Morality of Happiness 2.7 |
3781 | The value of pleasures and pains is their force [Bentham] |
Full Idea: It behoves the legislator to understand the force of pleasures and pains, which is their value. | |
From: Jeremy Bentham (Intro to Principles of Morals and Legislation [1789], IV.1) |
20977 | Natural rights are nonsense, and unspecified natural rights is nonsense on stilts [Bentham] |
Full Idea: Natural rights is simple nonsense: natural and imprescriptible rights, rhetorical nonsense — nonsense upon stilts. | |
From: Jeremy Bentham (Anarchical Fallacies: on the Declaration of Rights [1796]) | |
A reaction: If you want your opinion to be remembered, express it memorably! I take natural rights to be the basic principles and values which are obvious to almost everyone when they come for formulate legal rights (which are the only true rights). |
3778 | The community's interest is a sum of individual interests [Bentham] |
Full Idea: The interest of the community is the sum of the interests of the several members who compose it. | |
From: Jeremy Bentham (Intro to Principles of Morals and Legislation [1789], I.4) |
21003 | Only laws can produce real rights; rights from 'law of nature' are imaginary [Bentham] |
Full Idea: Right, the substantive right, is the child of law; from real laws come real rights; but from imaginary laws, from 'law of nature' can come only imaginary rights. | |
From: Jeremy Bentham (Anarchical Fallacies: on the Declaration of Rights [1796], II.523), quoted by Amartya Sen - The Idea of Justice 17 'Ethics' | |
A reaction: I am coming to agree with this. What are called 'natural rights' are just self-evident good reasons why someone should be allowed a right. A right can, of course, come from an informal agreement. The question is: why award that particular legal right? |
20280 | Large mature animals are more rational than babies. But all that really matters is - can they suffer? [Bentham] |
Full Idea: A full-grown horse or dog is beyond comparison a more rational animal than an infant of a day, or even a month, old. But suppose they be otherwise, what would it avail? The question is not, Can they reason? nor Can they talk? but, Can they suffer? | |
From: Jeremy Bentham (Intro to Principles of Morals and Legislation [1789], XVIII 1 n), quoted by Peter Singer - Practical Ethics 03 | |
A reaction: This is certainly an inspiring, and even shocking question, which never seems to have been so directly asked before in the entire history of European thought. Awesome. |
3779 | Unnatural, when it means anything, means infrequent [Bentham] |
Full Idea: Unnatural, when it means anything, means unfrequent. | |
From: Jeremy Bentham (Intro to Principles of Morals and Legislation [1789], II.14 n8.9) |
3915 | The Hopi have no concept of time as something flowing from past to future [Whorf] |
Full Idea: A Hopi has no general notion or intuition of time as a smooth flowing continuum in which everything in the universe proceeds at an equal rate, out of a future, through a present, into a past. | |
From: Benjamin Lee Whorf (An American Indian model of the Universe [1936], p.57) | |
A reaction: If true, this would not so much support relativism of language as the view that that conception of time is actually false. |
3780 | We must judge a thing morally to know if it conforms to God's will [Bentham] |
Full Idea: It is necessary to know first whether a thing is right in order to know from thence whether it be conformable to the will of God. | |
From: Jeremy Bentham (Intro to Principles of Morals and Legislation [1789], II.18) |