Combining Texts

All the ideas for 'Principles of Philosophy', 'Identity and Necessity' and 'Logical Pluralism'

unexpand these ideas     |    start again     |     specify just one area for these texts


54 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
The greatest good for a state is true philosophers [Descartes]
     Full Idea: The greatest good which can exist in a state is to have true philosophers.
     From: René Descartes (Principles of Philosophy [1646], Pref)
     A reaction: …because they understand true reality, especially the Good.
3. Truth / A. Truth Problems / 1. Truth
Some truths have true negations [Beall/Restall]
     Full Idea: Dialetheism is the view that some truths have true negations.
     From: JC Beall / G Restall (Logical Pluralism [2006], 7.4)
     A reaction: The important thing to remember is that they are truths. Thus 'Are you feeling happy?' might be answered 'Yes and no'.
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
A truthmaker is an object which entails a sentence [Beall/Restall]
     Full Idea: The truthmaker thesis is that an object is a truthmaker for a sentence if and only if its existence entails the sentence.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.3)
     A reaction: The use of the word 'object' here is even odder than usual, and invites many questions. And the 'only if' seems peculiar, since all sorts of things can make a sentence true. 'There is someone in the house' for example.
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
(∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall]
     Full Idea: The inference of 'distribution' (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically. It is straightforward to construct a 'stage' at which the LHS is true but the RHS is not.
     From: JC Beall / G Restall (Logical Pluralism [2006], 6.1.2)
     A reaction: This seems to parallel the iterative notion in set theory, that you must construct your hierarchy. All part of the general 'constructivist' approach to things. Is some kind of mad platonism the only alternative?
4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
Excluded middle must be true for some situation, not for all situations [Beall/Restall]
     Full Idea: Relevant logic endorses excluded middle, ..but says instances of the law may fail. Bv¬B is true in every situation that settles the matter of B. It is necessary that there is some such situation.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.2)
     A reaction: See next idea for the unusual view of necessity on which this rests. It seems easier to assert something about all situations than just about 'some' situation.
It's 'relevantly' valid if all those situations make it true [Beall/Restall]
     Full Idea: The argument from P to A is 'relevantly' valid if and only if, for every situation in which each premise in P is true, so is A.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.2)
     A reaction: I like the idea that proper inference should have an element of relevance to it. A falsehood may allow all sorts of things, without actually implying them. 'Situations' sound promising here.
Relevant logic does not abandon classical logic [Beall/Restall]
     Full Idea: We have not abandoned classical logic in our acceptance of relevant logic.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.4)
     A reaction: It appears that classical logic is straightforwardly accepted, but there is a difference of opinion over when it is applicable.
Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall]
     Full Idea: Relevant consequence says the conclusion of a relevantly invalid argument is not 'carried in' the premises - it does not follow from the premises.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.3.3)
     A reaction: I find this appealing. It need not invalidate classical logic. It is just a tougher criterion which is introduced when you want to do 'proper' reasoning, instead of just playing games with formal systems.
A doesn't imply A - that would be circular [Beall/Restall]
     Full Idea: We could reject the inference from A to itself (on grounds of circularity).
     From: JC Beall / G Restall (Logical Pluralism [2006], 8)
     A reaction: [Martin-Meyer System] 'It's raining today'. 'Are you implying that it is raining today?' 'No, I'm SAYING it's raining today'. Logicians don't seem to understand the word 'implication'. Logic should capture how we reason. Nice proposal.
Relevant logic may reject transitivity [Beall/Restall]
     Full Idea: Some relevant logics reject transitivity, but we defend the classical view.
     From: JC Beall / G Restall (Logical Pluralism [2006], 8)
     A reaction: [they cite Neil Tennant for this view] To reject transitivity (A?B ? B?C ? A?C) certainly seems a long way from classical logic. But in everyday inference Tennant's idea seems good. The first premise may be irrelevant to the final conclusion.
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall]
     Full Idea: A logic is 'free' to the degree it refrains from existential import of its singular and general terms. Classical logic must have non-empty domain, and each name must denote in the domain.
     From: JC Beall / G Restall (Logical Pluralism [2006], 7.1)
     A reaction: My intuition is that logic should have no ontology at all, so I like the sound of 'free' logic. We can't say 'Pegasus does not exist', and then reason about Pegasus just like any other horse.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall]
     Full Idea: Nowadays we think of the consequence relation itself as the primary subject of logic, and view logical truths as degenerate instances of this relation. Logical truths follow from any set of assumptions, or from no assumptions at all.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.2)
     A reaction: This seems exactly right; the alternative is the study of necessities, but that may not involve logic.
Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall]
     Full Idea: According to the Peripatetics (Aristotelians), only syllogistic laws stated in variables belong to logic, and not their applications to concrete terms.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.5)
     A reaction: [from Lukasiewicz] Seems wrong. I take it there are logical relations between concrete things, and the variables are merely used to describe these relations. Variables lack the internal powers to drive logical necessities. Variables lack essence!
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
The view of logic as knowing a body of truths looks out-of-date [Beall/Restall]
     Full Idea: Through much of the 20th century the conception of logic was inherited from Frege and Russell, as knowledge of a body of logical truths, as arithmetic or geometry was a knowledge of truths. This is odd, and a historical anomaly.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.2)
     A reaction: Interesting. I have always taken this idea to be false. I presume logic has minimal subject matter and truths, and preferably none at all.
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall]
     Full Idea: Logic does not study formal languages for their own sake, which is formal grammar. Logic evaluates arguments, and primarily considers formal languages as interpreted.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.1)
     A reaction: Hodges seems to think logic just studies formal languages. The current idea strikes me as a much more sensible view.
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
The model theory of classical predicate logic is mathematics [Beall/Restall]
     Full Idea: The model theory of classical predicate logic is mathematics if anything is.
     From: JC Beall / G Restall (Logical Pluralism [2006], 4.2.1)
     A reaction: This is an interesting contrast to the claim of logicism, that mathematics reduces to logic. This idea explains why students of logic are surprised to find themselves involved in mathematics.
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
There are several different consequence relations [Beall/Restall]
     Full Idea: We are pluralists about logical consequence because we take there to be a number of different consequence relations, each reflecting different precisifications of the pre-theoretic notion of deductive logical consequence.
     From: JC Beall / G Restall (Logical Pluralism [2006], 8)
     A reaction: I don't see how you avoid the slippery slope that leads to daft logical rules like Prior's 'tonk' (from which you can infer anything you like). I say that nature imposes logical conquence on us - but don't ask me to prove it.
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
A sentence follows from others if they always model it [Beall/Restall]
     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: JC Beall / G Restall (Logical Pluralism [2006], 3.2)
     A reaction: This why the symbol |= is often referred to as 'models'.
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
We may fix the reference of 'Cicero' by a description, but thereafter the name is rigid [Kripke]
     Full Idea: We may fix the reference of 'Cicero' by use of some descriptive phrase, such as 'author of these works'. But once we have this reference fixed, we then use the name 'Cicero' rigidly to designate the man who in fact we have identified by his authorship.
     From: Saul A. Kripke (Identity and Necessity [1971], p.183)
     A reaction: Even supposedly rigid names can shift reference, as Evans's example of 'Madagascar' shows (Idea 9041). Reference is a much more social activity than Kripke is willing to admit. There is a 'tradition' of reference (Dummett) for the name 'Cicero'.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
The function of names is simply to refer [Kripke]
     Full Idea: The function of names is simply to refer.
     From: Saul A. Kripke (Identity and Necessity [1971], p.167)
     A reaction: This is Kripke reverting to the John Stuart Mill view of names. If I say "you are a right Casanova" I don't simply refer to Casanova. In notorious examples like 'Homer' reference is fine, but the object of reference is a bit elusive.
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall]
     Full Idea: If mathematical truth reduces to logical truth then it is important what counts as logically true, …but if logicism is not a going concern, then the body of purely logical truths will be less interesting.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.2)
     A reaction: Logicism would only be one motivation for pursuing logical truths. Maybe my new 'Necessitism' will derive the Peano Axioms from broad necessary truths, rather than from logic.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / d. The Preface paradox
Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall]
     Full Idea: The Paradox of the Preface is an apology, that you are committed to each proposition in the book, but admit that collectively they probably contain a mistake. There is a contradiction, of affirming and denying the conjunction of propositions.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.4)
     A reaction: This seems similar to the Lottery Paradox - its inverse perhaps. Affirm all and then deny one, or deny all and then affirm one?
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
All powers can be explained by obvious features like size, shape and motion of matter [Descartes]
     Full Idea: There are no powers in stones and plants that are not so mysterious that they cannot be explained …from principles that are known to all and admitted by all, namely the shape, size, position, and motion of particles of matter.
     From: René Descartes (Principles of Philosophy [1646], IV.187), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.6
     A reaction: This is an invocation of 'categorical' properties, against dispositions. I take this to be quite wrong. The explanation goes the other way. What supports the structures; what drives the motion; what initiates anything?
8. Modes of Existence / D. Universals / 1. Universals
Five universals: genus, species, difference, property, accident [Descartes]
     Full Idea: The five commonly enumerated universals are: genus, species, difference, property and accident.
     From: René Descartes (Principles of Philosophy [1646], I.59)
     A reaction: Interestingly, this seems to be Descartes passing on his medieval Aristotelian inheritance, in which things are defined by placing them in a class, and then noting what distinguishes them within that class.
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
A universal is a single idea applied to individual things that are similar to one another [Descartes]
     Full Idea: Universals arise solely from the fact that we avail ourselves of one idea in order to think of all individual things that have a certain similitude. When we understand under the same name all the objects represented by this idea, that name is universal.
     From: René Descartes (Principles of Philosophy [1646], I.59)
     A reaction: Judging by the boldness of the pronouncement, it looks as if Descartes hasn't recognised the complexity of the problem. How do we spot a 'similarity', especially an abstraction like 'tool' or 'useful'? This sounds like Descartes trying to avoid Platonism.
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
If we perceive an attribute, we infer the existence of some substance [Descartes]
     Full Idea: Based on perceiving the presence of some attribute, we conclude there must also be present an existing thing or substance to which it can be attributed.
     From: René Descartes (Principles of Philosophy [1646], I.52), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 08.1
     A reaction: A rainbow might be a tricky case. This illustrates the persistent belief in substances, even among philosophers who embraced the new corpuscular and mechanistic view of matter.
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
A substance needs nothing else in order to exist [Descartes]
     Full Idea: By substance we can understand nothing else than a thing which so exists that it needs no other thing in order to exist.
     From: René Descartes (Principles of Philosophy [1646], I.51)
     A reaction: Properties, of course, are the things which have dependent existence. Can properties be reduced to substances (e.g. by adopting a materialist theory of mind)? Note that Descartes does not think that substances depend on God for existence.
9. Objects / D. Essence of Objects / 9. Essence and Properties
A substance has one principal property which is its nature and essence [Descartes]
     Full Idea: Each substance has one principal property that constitutes its nature and essence, to which all its other properties are referred. Extension in length, breadth, and depth constitutes the nature of corporeal substance; and thought of thinking substances.
     From: René Descartes (Principles of Philosophy [1646], I.53), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 08.3
     A reaction: Property is likely to be 'propria', which is a property distinctive of some thing, not just any old modern property. This is quite a strikingly original view of the nature of essence. Descartes despised 'substantial forms'.
10. Modality / A. Necessity / 3. Types of Necessity
Relevant necessity is always true for some situation (not all situations) [Beall/Restall]
     Full Idea: In relevant logic, the necessary truths are not those which are true in every situation; rather, they are those for which it is necessary that there is a situation making them true.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.2)
     A reaction: This seems to rest on the truthmaker view of such things, which I find quite attractive (despite Merricks's assault). Always ask what is making some truth necessary. This leads you to essences.
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
It is necessary that this table is not made of ice, but we don't know it a priori [Kripke]
     Full Idea: Although the statement that this table (if it exists at all) was not made of ice, is necessary, it certainly is not something that we know a priori.
     From: Saul A. Kripke (Identity and Necessity [1971], p.180)
     A reaction: One of the key thoughts in modern philosophy. Kit Fine warns against treating it as a new and exciting toy, but it is a new and exciting toy. Scientific essentialism, which I so want to be true, is built on this proposal.
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
A 'rigid designator' designates the same object in all possible worlds [Kripke]
     Full Idea: By 'rigid designator' I mean a term that designates the same object in all possible worlds.
     From: Saul A. Kripke (Identity and Necessity [1971])
     A reaction: I am persistently troubled by the case of objects which are slightly different in another possible world. Does 'Aristotle' refer to him as young or old? Might the very same man have had a mole on his cheek?
We cannot say that Nixon might have been a different man from the one he actually was [Kripke]
     Full Idea: It seems that we cannot say "Nixon might have been a different man from the man he in fact was", unless we mean it metaphorically. He might have been a different sort of person.
     From: Saul A. Kripke (Identity and Necessity [1971], p.176)
     A reaction: The problem is that being a 'different sort of person' could become more and more drastic, till Nixon is unrecognisable. I don't see how I can stipulate that a small and dim mouse is Richard Nixon, even in a possible world with magicians.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke]
     Full Idea: Statements about the modal properties of this table never refer to counterparts. However, if someone confuses the epistemological problems and the metaphysical problems he will be well on the way to the counterpart theory of Lewis.
     From: Saul A. Kripke (Identity and Necessity [1971], p.184 n16)
     A reaction: I can't make out what we should say about a possible object which is very nearly this table. Kripke needs the table to have a clear and unwavering essence, but tables are not that sort of thing. How would Kripke define 'physical object'?
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
Total doubt can't include your existence while doubting [Descartes]
     Full Idea: He who decides to doubt everything cannot nevertheless doubt that he exists while he doubts.
     From: René Descartes (Principles of Philosophy [1646], Pref)
I think, therefore I am, because for a thinking thing to not exist is a contradiction [Descartes]
     Full Idea: There is a contradiction in conceiving that what thinks does not (at the same time as it thinks) exist. Hence this conclusion I think, therefore I am, is the first and most certain that occurs to one who philosophises in an orderly way.
     From: René Descartes (Principles of Philosophy [1646], I.07)
     A reaction: The classic statement of his argument. The significance here is that it seems to have the structure of an argument, as it involves 'philosophising', which leads to a 'contradiction', and hence to the famous conclusion. It is not just intuitive.
'Thought' is all our conscious awareness, including feeling as well as understanding [Descartes]
     Full Idea: By the word 'thought' I understand everything we are conscious of as operating in us. And that is why not only understanding, willing, imagining, but also feeling, are here the same thing as thinking.
     From: René Descartes (Principles of Philosophy [1646], I.09)
     A reaction: There is a bit of tension here between Descartes' correct need to include feeling in thought for his Cogito argument, and his tendency to dismiss animal consciousness, on the grounds that they only sense things, and don't make judgements.
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
'Nothing comes from nothing' is an eternal truth found within the mind [Descartes]
     Full Idea: The proposition 'nothing comes from nothing' is not to be considered as an existing thing, or the mode of a thing, but as a certain eternal truth which has its seat in our mind and is a common notion or axiom.
     From: René Descartes (Principles of Philosophy [1646], I.49)
     A reaction: There is a tension here, in his assertion that it is 'eternal', but 'not existing'. How does one distinguish an innate idea from an innate truth? 'Eternal' sounds like an external guarantee of truth, but being 'in our mind' sounds less reliable.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
We can know basic Principles without further knowledge, but not the other way round [Descartes]
     Full Idea: It is on the Principles, or first causes, that the knowledge of other things depends, so the Principles can be known without these last, but the other things cannot reciprocally be known without the Principles.
     From: René Descartes (Principles of Philosophy [1646], Pref)
     A reaction: A particularly strong assertion of foundationalism, as it says that not only must the foundations exist, but also we must actually know them. This sounds false, as elementary knowledge then seems to require far too much sophistication.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
We can understand thinking occuring without imagination or sensation [Descartes]
     Full Idea: We can understand thinking without imagination or sensation, as is quite clear to anyone who attends to the matter.
     From: René Descartes (Principles of Philosophy [1646], I.53)
     A reaction: We may certainly take it that Descartes means if it is understandable then it is logically possible. To believe that thinking could occur without imagination strikes me as an astonishing error. I take imagination to be more central than understanding.
16. Persons / D. Continuity of the Self / 7. Self and Thinking
In thinking we shut ourselves off from other substances, showing our identity and separateness [Descartes]
     Full Idea: Because each one of us understands what he thinks, and that in thinking he can shut himself off from every other substance, we may conclude that each of us is really distinct from every other thinking substance and from corporeal substance.
     From: René Descartes (Principles of Philosophy [1646], I.60)
     A reaction: This seems to be a novel argument which requires elucidation. I can 'shut myself off from every other substance'? If I shut myself off from thinking about food, does that mean hunger is not part of me? Or convince yourself that you don't have a brother?
16. Persons / F. Free Will / 1. Nature of Free Will
Our free will is so self-evident to us that it must be a basic innate idea [Descartes]
     Full Idea: It is so evident that we are possessed of a free will that can give or withhold its assent, that this may be counted as one of the first and most common notions found innately in us.
     From: René Descartes (Principles of Philosophy [1646], I.39)
     A reaction: It seems to me plausible to say that we have an innate conception of our own will (our ability to make decisions), though Hume says we only learn about the will from experience, but the idea that it is absolutely 'free' might never cross our minds.
17. Mind and Body / A. Mind-Body Dualism / 1. Dualism
There are two ultimate classes of existence: thinking substance and extended substance [Descartes]
     Full Idea: I observe two ultimate classes of things: intellectual or thinking things, pertaining to the mind or to thinking substance, and material things, pertaining to extended substance or to body.
     From: René Descartes (Principles of Philosophy [1646], I.48)
     A reaction: This is clear confirmation that Descartes believed the mind is a substance, rather than an insubstantial world of thinking. It leaves open the possibility of a different theory: that mind is not a substance, but is a Platonic adjunct to reality.
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
Identity theorists must deny that pains can be imagined without brain states [Kripke]
     Full Idea: The identity theorist has to hold that we are under some illusion in thinking that we can imagine that there could have been pains without brain states.
     From: Saul A. Kripke (Identity and Necessity [1971], p.190)
     A reaction: The origin of Robert Kirk's idea that there might be zombies. Kripke is wrong. Of course Kripke and his friends can imagine disembodied pains; the question is whether being able to imagine them makes them possible, which it doesn't.
17. Mind and Body / D. Property Dualism / 5. Supervenience of mind
Even if tightly united, mind and body are different, as God could separate them [Descartes]
     Full Idea: Even if we suppose God had united a body and a soul so closely that they couldn't be closer, and made a single thing out of the two, they would still remain distinct, because God has the power of separating them, or conserving out without the other.
     From: René Descartes (Principles of Philosophy [1646], I.60)
     A reaction: If Descartes lost his belief in God (after discussing existence with Kant) would he cease to be a dualist? This quotation seems to be close to conceding a mind-body relationship more like supervenience than interaction.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / e. Modal argument
Pain, unlike heat, is picked out by an essential property [Kripke]
     Full Idea: 'Heat' is a rigid designator, which is picked out by the contingent property of being felt in a certain way; pain, on the other hand, is picked out by an essential (indeed necessary and sufficient) property.
     From: Saul A. Kripke (Identity and Necessity [1971], p.190 n19)
     A reaction: Hm. I could pick out your pain by your contingent whimpering behaviour. I can spot my own potential pain by a combination of bodily damage and pain killing tablets. I suspect him of the same blunder as Descartes on this one.
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
Judgement is always predicating a property of a subject [Beall/Restall]
     Full Idea: All judgement, for Kant, is essentially the predication of some property to some subject.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.5)
     A reaction: Presumably the denial of a predicate could be a judgement, or the affirmation of ambiguous predicates?
18. Thought / A. Modes of Thought / 6. Judgement / b. Error
Most errors of judgement result from an inaccurate perception of the facts [Descartes]
     Full Idea: What usually misleads us is that we very frequently form a judgement although we do not have an accurate perception of what we judge.
     From: René Descartes (Principles of Philosophy [1646], I.33)
     A reaction: This seems to me a generally accurate observation, particularly in the making of moral judgements (which was probably not what Descartes was considering). The implication is that judgements are to a large extent forced by our perceptions.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall]
     Full Idea: Situation semantics is a variation of the truth-conditional approach, taking the salient unit of analysis not to be the possible world, or some complete consistent index, but rather the more modest 'situation'.
     From: JC Beall / G Restall (Logical Pluralism [2006], 5.5.4)
     A reaction: When I read Davidson (and implicitly Frege) this is what I always assumed was meant. The idea that worlds are meant has crept in to give truth conditions for modal statements. Hence situation semantics must cover modality.
19. Language / D. Propositions / 1. Propositions
Propositions commit to content, and not to any way of spelling it out [Beall/Restall]
     Full Idea: Our talk of propositions expresses commitment to the general notion of content, without a commitment to any particular way of spelling this out.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.1)
     A reaction: As a fan of propositions I like this. It leaves open the question of whether the content belongs to the mind or the language. Animals entertain propositions, say I.
20. Action / C. Motives for Action / 4. Responsibility for Actions
We do not praise the acts of an efficient automaton, as their acts are necessary [Descartes]
     Full Idea: We do not praise automata, although they respond exactly to the movements they were designed to produce, since their actions are performed necessarily
     From: René Descartes (Principles of Philosophy [1646], I.37)
     A reaction: I say we attribute responsibility when we perceive something like a 'person' as causing them. We don't blame small animals, because there is 'no one at home', but we blame children as they develop a full character and identity. We can ignore free will.
The greatest perfection of man is to act by free will, and thus merit praise or blame [Descartes]
     Full Idea: That the will should extend widely accords with its nature, and it is the greatest perfection in man to be able to act by its means, that is, freely, and by so doing we are in peculiar way masters of our actions, and thereby merit praise or blame.
     From: René Descartes (Principles of Philosophy [1646], I.37)
     A reaction: This seems to me to be a deep-rooted and false understanding which philosophy has inherited from theology. It doesn't strike me that there must an absolute 'buck-stop' to make us responsible. Why is it better for a decision to appear out of nowhere?
26. Natural Theory / A. Speculations on Nature / 1. Nature
Physics only needs geometry or abstract mathematics, which can explain and demonstrate everything [Descartes]
     Full Idea: I do not accept or desire any other principle in physics than in geometry or abstract mathematics, because all the phenomena of nature may be explained by their means, and sure demonstrations can be given of them.
     From: René Descartes (Principles of Philosophy [1646], 2.64), quoted by Peter Alexander - Ideas, Qualities and Corpuscles 7
     A reaction: This is his famous and rather extreme view, which might be described as hyper-pythagoreanism (by adding geometry to numbers). It seems to leave out matter, forces and activity.
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
We will not try to understand natural or divine ends, or final causes [Descartes]
     Full Idea: We will not seek for the reason of natural things from the end which God or nature has set before him in their creation .
     From: René Descartes (Principles of Philosophy [1646], §28)
     A reaction: Teleology is more relevant to biology than to the other sciences, and it is hard to understand an eye without a notion of 'what it is for'. Planetary motion reveals nothing about purposes. If you demand a purpose, it becomes more baffling.
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / c. Matter as extension
Matter is not hard, heavy or coloured, but merely extended in space [Descartes]
     Full Idea: The nature of matter, or body viewed as a whole, consists not in its being something which is hard, heavy, or colored, or which in any other way affects the senses, but only in its being a thing extended in length, breadth and depth.
     From: René Descartes (Principles of Philosophy [1646], 2.4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 04.5