14 ideas
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
Full Idea: Tarski made a division of logical and non-logical vocabulary. He then defined a model as a non-logical assignment satisfying the corresponding sentential function. Then a conclusion follows logically if every model of the premises models the conclusion. | |
From: report of Alfred Tarski (The Concept of Logical Consequence [1936]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
A reaction: [compressed] This is Tarski's account of logical consequence, which follows on from his account of truth. 'Logical validity' is then 'true in every model'. Rumfitt doubts whether Tarski has given the meaning of 'logical consequence'. |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
Full Idea: The sentence X follows logically from the sentences of the class K if and only if every model of the class K is also a model of the sentence X. | |
From: Alfred Tarski (The Concept of Logical Consequence [1936], p.417) | |
A reaction: [see Idea 13343 for his account of a 'model'] He is offering to define logical consequence in general, but this definition fits what we now call 'semantic consequence', written |=. This it is standard practice to read |= as 'models'. |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
Full Idea: An arbitrary sequence of objects which satisfies every sentential function of the sentences L' will be called a 'model' or realization of the class L of sentences. There can also be a model of a single sentence is this way. | |
From: Alfred Tarski (The Concept of Logical Consequence [1936], p.417) | |
A reaction: [L' is L with the constants replaced by variables] Tarski is the originator of model theory, which is central to modern logic. The word 'realization' is a helpful indicator of what he has in mind. A model begins to look like a possible world. |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
Full Idea: Many decent candidates could the referent of this 'cup', differing over whether outlying particles are parts. No further sortal I could invoke will be selective enough to rule out all but one referent for it. | |
From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1 n8) | |
A reaction: I never had much faith in sortals for establishing individual identity, so this point comes as no surprise. The implication is strongly realist - that the cup has an identity which is permanently beyond our capacity to specify it. |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
Full Idea: There can be determinately true identity claims despite indeterminate reference of the terms flanking the identity sign; these will be identity claims true under all admissible interpretations of the flanking terms. | |
From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1) | |
A reaction: In informal contexts there might be problems with the notion of what is 'admissible'. Is 'my least favourite physical object' admissible? |
6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
Full Idea: The soul is not a mere rasa tabula, a naked and passive thing, with no innate furniture of its own, nor any thing in it, but what was impressed upon it without; for then there could not possibly be any such thing as moral good and evil, just and unjust. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Bk IV Ch 6.4) | |
A reaction: He goes on to quote Hobbes saying there is no good in objects themselves. I don't see why we must have an innate moral capacity, provided that we have a capacity to make judgements. |
6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
Full Idea: The sight cannot judge of sounds, nor the hearing of light and colours; wherefore that which judges of all the senses and their several objects, cannot be itself any sense, but something of a superior nature. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.VI.1) | |
A reaction: How nice to find a seventeenth century English writer rebelling against empiricism! |
6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
Full Idea: Sense which lies flat and grovelling in the individuals, and is stupidly fixed in the material form, is not able to rise up or ascend to an abstract universal notion. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.III.III.2) | |
A reaction: This still strikes me as being one of the biggest problems with reductive physicalism, that a lump of meat in your head can grasp abstractions (whatever they are) and universal concepts. Personally I am a physicalist, but it is weird. |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
Full Idea: A class of sentences can be called 'analytical' if every sequence of objects is a model of it. | |
From: Alfred Tarski (The Concept of Logical Consequence [1936], p.418) | |
A reaction: See Idea 13344 and Idea 13343 for the context of this assertion. |
6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
Full Idea: To keep faith and perform covenants is that which natural justice obligeth to absolutely. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.4) | |
A reaction: A nice example of an absolute moral intuition, but one which can clearly be challenged. Covenants (contracts) wouldn't work unless everyone showed intense commitment to keeping them, even beyond the grave, and we all benefit from good contracts. |
6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
Full Idea: Obligation to obey all positive laws is older than all laws. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
A reaction: Clearly villains can pass wicked laws, so there can't be an obligation to obey all laws (even if they are 'positive', which seems to beg the question). Nevertheless this is a good reason why laws cannot be the grounding of morality. |
6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
Full Idea: Omnipotent will cannot make things like or equal one to another, without the natures of likeness and equality. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.I) | |
A reaction: This is one of the many classic 'paradoxes of omnipotence'. The best strategy is to define omnipotence as 'being able to do everything which it is possible to do'. Anything beyond that is inviting paradoxical disaster. |
6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
Full Idea: If the arbitrary will and pleasure of God is the first and only rule of good and justice, it follows that nothing can be so grossly wicked or unjust but if it were commanded by this omnipotent Deity, it must forthwith become holy, just and righteous. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.I.I.5) | |
A reaction: This is the strong (Platonic) answer to the Euthyphro Question (Idea 336). One answer is that God would not command in such a way - but why not? We may say that God and goodness merge into one, but we are interested in ultimate authority. |
6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |
Full Idea: If it were not morally good and just in its own nature before any positive command of God, that God should be obeyed by his creatures, the bare will of God himself could not beget any obligation upon anyone. | |
From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
A reaction: This strikes me as a self-evident truth, and a big problem for anyone who wants to make God the source of morality. You don't have to accept anyone's authority just because they are powerful or clever (though they do bestow a certain natural authority!). |