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) |
18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
From: Vann McGee (Logical Consequence [2014], 4) | |
A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
Full Idea: Natural language includes connectives that are not truth-functional. In order for 'p because q' to be true, both p and q have to be true, but knowing the simpler sentences are true doesn't determine whether the larger sentence is true. | |
From: Vann McGee (Logical Consequence [2014], 2) |
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. |
18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
Full Idea: To get any advantage from moving to second-order logic, we need to assign to second-order variables a role different from merely ranging over collections made up of things the first-order variables range over. | |
From: Vann McGee (Logical Consequence [2014], 7) | |
A reaction: Thus it is exciting if they range over genuine properties, but not so exciting if you merely characterise those properties as sets of first-order objects. This idea leads into a discussion of plural quantification. |
18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
Full Idea: We can get a less ontologically perilous presentation of the semantics of the predicate calculus by using sets instead of concepts. | |
From: Vann McGee (Logical Consequence [2014], 4) | |
A reaction: The perilous versions rely on Fregean concepts, and notably Russell's 'concept that does not fall under itself'. The sets, of course, have to be ontologically secure, and so will involve the iterative conception, rather than naive set theory. |
18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
Full Idea: Logically valid sentences are a species of analytic sentence, being true not just in virtue of the meanings of their words, but true in virtue of the meanings of their logical words. | |
From: Vann McGee (Logical Consequence [2014], 4) | |
A reaction: A helpful link between logical truths and analytic truths, which had not struck me before. |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
Full Idea: Soundness theorems are seldom very informative, since typically we use informally, in proving the theorem, the very same rules whose soundness we are attempting to establish. | |
From: Vann McGee (Logical Consequence [2014], 5) | |
A reaction: [He cites Quine 1935] |
18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
Full Idea: One of the culminating achievements of Euclidean geometry was categorical axiomatisations, that describe the geometric structure so completely that any two models of the axioms are isomorphic. The axioms are second-order. | |
From: Vann McGee (Logical Consequence [2014], 7) | |
A reaction: [He cites Veblen 1904 and Hilbert 1903] For most mathematicians, categorical axiomatisation is the best you can ever dream of (rather than a single true axiomatisation). |
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. |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
Full Idea: If our linguistic conventions entitle us to assert a sentence, they thereby make it true, because of the maxim that 'truth is the norm of assertion'. | |
From: Vann McGee (Logical Consequence [2014], 8) | |
A reaction: You could only really deny that maxim if you had no belief at all in truth, but then you can assert anything you like (with full entitlement). Maybe you can assert anything you like as long as it doesn't upset anyone? Etc. |
18545 | The disinterested attitude of the judge is the hallmark of a judgement of beauty [Shaftesbury, by Scruton] |
Full Idea: Shaftesbury explained the peculiar features of the judgement of beauty in terms of the disinterested attitude of the judge. | |
From: report of 3rd Earl of Shaftesbury (Characteristics [1711]) by Roger Scruton - Beauty: a very short introduction 1 | |
A reaction: Good. I take our vocabulary to mark a distinction between expressions of subjective preference, and expressions of what aspire to be objective facts. 'I love this' versus 'this is good or beautiful'. |
6237 | Fear of God is not conscience, which is a natural feeling of offence at bad behaviour [Shaftesbury] |
Full Idea: Conscience is to find horribly offensive the reflection of any unjust action or behaviour; to have awe and terror of the Deity, does not, of itself, imply conscience; …thus religious conscience supposes moral or natural conscience. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], II.II.I) | |
A reaction: The reply from religion would be that the Deity has implanted natural conscience in each creature, though this seems to deny our freedom of moral judgment. Personally I am inclined to think that values are just observations of the world - such as health. |
6234 | If an irrational creature with kind feelings was suddenly given reason, its reason would approve of kind feelings [Shaftesbury] |
Full Idea: If a creature wanting reason has many good qualities and affections, it is certain that if you give this creature a reflecting faculty, it will at the same instant approve of gratitude, kindness and pity. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], I.III.III) | |
A reaction: A wonderful denunciation of the authority of reason, which must have influenced David Hume. I think, though, that the inverse of this case must be considered (if suddenly given feelings, they would fall in line with reasoning). We reason about feelings. |
6233 | A person isn't good if only tying their hands prevents their mischief, so the affections decide a person's morality [Shaftesbury] |
Full Idea: We do not say that he is a good man when, having his hands tied up, he is hindered from doing the mischief he designs; …hence it is by affection merely that a creature is esteemed good or ill, natural or unnatural. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], I.II.I) | |
A reaction: Note that he more or less equates being morally 'ill' with being 'unnatural'. We tend to reserve 'unnatural' for extreme or perverse crimes. Personally I would place more emphasis on evil judgements, and less on evil feelings. |
6236 | People more obviously enjoy social pleasures than they do eating and drinking [Shaftesbury] |
Full Idea: How much the social pleasures are superior to any other may be known by visible tokens and effects; the marks and signs which attend this sort of joy are more intense and clear than those which attend the satisfaction of thirst and hunger. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], II.II.I) | |
A reaction: He presumably refers to smiles and laughter, but they could be misleading as they are partly a means of social communication. You should ask people whether they would prefer a nice conversation or a good pork chop. Nice point, though. |
6235 | Self-interest is not intrinsically good, but its absence is evil, as public good needs it [Shaftesbury] |
Full Idea: Though no creature can be called good merely for possessing the self-preserving affections, it is impossible that public good can be preserved without them; so that a creature wanting in them is wanting in natural rectitude, and may be esteemed vicious. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], II.I.III) | |
A reaction: Aristotle held a similar view (Idea 92). I think maybe Shaftesbury was the last call of the Aristotelians, before being engulfed by utilitarians and Kantians. This idea is at the core of capitalism. |
6232 | Every creature has a right and a wrong state which guide its actions, so there must be a natural end [Shaftesbury] |
Full Idea: We know there is a right and a wrong state of every creature; and that his right one is by nature forwarded, and by himself affectionately sought. There being therefore in every creature a certain interest or good; there must also be a natural end. | |
From: 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699], I.II.I) | |
A reaction: This is an early modern statement of Aristotelian teleology, just at the point where it was falling out of fashion. The underlying concept is that of right function. I agree with Shaftesbury, but you can't stop someone damaging their health. |
5642 | For Shaftesbury, we must already have a conscience to be motivated to religious obedience [Shaftesbury, by Scruton] |
Full Idea: Shaftesbury argued that no morality could be founded in religious obedience, or piety. On the contrary, a man is motivated to such obedience only because conscience tells him that the divine being is worthy of it. | |
From: report of 3rd Earl of Shaftesbury (Inquiry Concerning Virtue or Merit [1699]) by Roger Scruton - Short History of Modern Philosophy Ch.8 | |
A reaction: This seems to me a good argument. The only alternative is that we are brought to God by a conscience which was planted in us by God, but then how would you know you were being obedient to the right hypnotist? |