27 ideas
| 10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
| Full Idea: We can define a set by 'enumeration' (by listing the items, within curly brackets), or by 'abstraction' (by specifying the elements as instances of a property), pretending that they form a determinate totality. The latter is written {x | x is P}. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.3) |
| 10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
|
Full Idea:
The 'Cartesian Product' of two sets, written A x B, is the relation which pairs every element of A with every element of B. So A x B = { |
|
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.6) |
| 10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
| Full Idea: A binary relation in a set is a 'partial ordering' just in case it is reflexive, antisymmetric and transitive. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.6) |
| 10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
| Full Idea: Principle of Determinacy: For every object a and every set S, either a is an element of S or a is not an element of S. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.2) |
| 10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
| Full Idea: Principle of Specification: Whenever we can specify a determinate totality of objects, we shall say that there is a set whose elements are precisely the objects that we have specified. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.3) | |
| A reaction: Compare the Axiom of Specification. Zalabardo says we may wish to consider sets of which we cannot specify the members. |
| 10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
| Full Idea: A formula of a first-order language is a 'sentence' just in case it has no free variables. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.2) |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| Full Idea: A propositional logic sentence is a 'logical consequence' of a set of sentences (written Γ |= φ) if for every admissible truth-assignment all the sentences in the set Γ are true, then φ is true. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4) | |
| A reaction: The definition is similar for predicate logic. |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
| Full Idea: A formula is the 'logical consequence' of a set of formulas (Γ |= φ) if for every structure in the language and every variable interpretation of the structure, if all the formulas within the set are true and the formula itself is true. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5) |
| 10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
| Full Idea: In propositional logic, any set containing ¬ and at least one of ∧, ∨ and → is expressively complete. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.8) |
| 10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
| Full Idea: The semantic pattern of a first-order language is the ways in which truth values depend on which individuals instantiate the properties and relations which figure in them. ..So we pair a truth value with each combination of individuals, sets etc. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.3) | |
| A reaction: So truth reduces to a combination of 'instantiations', which is rather like 'satisfaction'. |
| 10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
| Full Idea: We can look at semantics from the point of view of how truth values are determined by instantiations of properties and relations, or by asking how we can build, using the resources of the language, a proposition corresponding to a given semantic pattern. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.6) | |
| A reaction: The second version of semantics is model theory. |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
| Full Idea: A truth assignment is a function from propositions to the set {T,F}. We will think of T and F as the truth values true and false, but for our purposes all we need to assume about the identity of these objects is that they are different from each other. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4) | |
| A reaction: Note that T and F are 'objects'. This remark is important in understanding modern logical semantics. T and F can be equated to 1 and 0 in the language of a computer. They just mean as much as you want them to mean. |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| Full Idea: A propositional logic sentence is 'logically true', written |= φ, if it is true for every admissible truth-assignment. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4) |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| Full Idea: In first-order languages, logically true sentences are true in all structures. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5) |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| Full Idea: A propositional logic set of sentences Γ is 'satisfiable' if there is at least one admissible truth-assignment that makes all of its sentences true. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4) |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
| Full Idea: A set of formulas of a first-order language is 'satisfiable' if there is a structure and a variable interpretation in that structure such that all the formulas of the set are true. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5) |
| 10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
| Full Idea: A structure is a model of a sentence if the sentence is true in the model; a structure is a model of a set of sentences if they are all true in the structure. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.6) |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| Full Idea: Defining a set by induction enables us to use the method of proof by induction to establish that all the elements of the set have a certain property. | |
| From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.3) |
| 16660 | Are things distinct if they are both separate, or if only one of them can be separate? [Duns Scotus, by Pasnau] |
| Full Idea: Later standard theories said that a real distinction obtains between two things that can each exist without the other. For Scotus a real distinction requires only that one of the pair be able to exist without the other. | |
| From: report of John Duns Scotus (In Metaphysics [1304], V.5-6 n91) by Robert Pasnau - Metaphysical Themes 1274-1671 12.5 | |
| A reaction: His example is the similarity relation, which is independent of the whiteness on which it is based (since the other thing can become non-white). |
| 16626 | Substance is only grasped under the general heading of 'being' [Duns Scotus] |
| Full Idea: No substance is understood in its own right, except in the most universal of concepts, namely of 'being'. | |
| From: John Duns Scotus (In Metaphysics [1304], III n. 116), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 07.3 | |
| A reaction: This is a fairly standard scholastic pessimism about knowing anything about substance. The modern view suggests that actually scientists know 'substance' pretty well. |
| 3654 | The pineal gland links soul to body, and unites the two symmetrical sides of the body [Descartes, by PG] |
| Full Idea: The soul is united with the body in just one place, a gland (the pineal) in the centre of the brain. It is placed so that its slightest movement will affect the passions, and it plays the essential role of uniting the two symmetrical sides of the body. | |
| From: report of René Descartes (The Passions of the Soul [1649], §31) by PG - Db (ideas) | |
| A reaction: See Idea 4862 for Spinoza's nice response to Descartes' proposal. If Descartes had followed brain research for the last four hundred years, at what point would he have wavered? If every single part of the brain seems to 'interact', dualism looks unlikely. |
| 4015 | For Descartes passions are God-given preservers of the mind-body union [Descartes, by Taylor,C] |
| Full Idea: Descartes sees passions not as opinions, but as functional devices that the Creator has designed for us to help preserve the body-soul substantial union. | |
| From: report of René Descartes (The Passions of the Soul [1649]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: I wonder what Descartes would have made of the theory of evolution? |
| 4313 | Are there a few primary passions (say, joy, sadness and desire)? [Descartes, by Cottingham] |
| Full Idea: Descartes says there are six primary passions (wonder, love, hatred, desire, joy and sadness); Spinoza says there are just three (joy, sadness and desire). | |
| From: report of René Descartes (The Passions of the Soul [1649]) by John Cottingham - The Rationalists p.172 | |
| A reaction: A dubious project. However, it is now agreed that there are a few (six?) basic universal facial expressions, to which these passions may correspond. |
| 23989 | There are six primitive passions: wonder, love, hatred, desire, joy and sadness [Descartes, by Goldie] |
| Full Idea: Descartes said there are six primitive passions, namely wonder, love, hatred, desire, joy and sadness. The others are either species of these, or composed of them. | |
| From: report of René Descartes (The Passions of the Soul [1649], 353) by Peter Goldie - The Emotions 4 'Evidence' | |
| A reaction: [not sure about ref] It's a nice touch to add 'wonder', which doesn't make it onto anyone else's list. |
| 20037 | Merely willing to walk leads to our walking [Descartes] |
| Full Idea: Our merely willing to walk has the consequence that our legs move and we walk. | |
| From: René Descartes (The Passions of the Soul [1649], 18), quoted by Rowland Stout - Action 1 'Volitionism' | |
| A reaction: Stout attributes this to Descartes' dualism, as if legs are separate from persons. Stout says the idea of a prior mental act is not usually now considered as part of an action, or even to exist at all. If the volition is intentional, there is a regress. |
| 16763 | We don't die because the soul departs; the soul departs because the organs cease functioning [Descartes] |
| Full Idea: We ought to hold, on the contrary, that the soul takes its leave when we die only because this heat ceases and the organs that bring about bodily movement decay. | |
| From: René Descartes (The Passions of the Soul [1649], I.5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5 | |
| A reaction: This sounds like a pretty major change in our concept of death, given that we all now agree with Descartes. |
| 4016 | Descartes makes strength of will the central virtue [Descartes, by Taylor,C] |
| Full Idea: Descartes makes strength of will the central virtue. | |
| From: report of René Descartes (The Passions of the Soul [1649]) by Charles Taylor - Sources of the Self §8 | |
| A reaction: Presumably strength of will can serve evil ends, so this is a bit confusing. |