22 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) |
16740 | A power is not a cause, but an aptitude for a cause [Zabarella] |
Full Idea: A power is not the cause of an operation, but only the cause's aptitude for operating. | |
From: Jacob Zabarella (De rebus naturalibus [1590], De fac anim 4:col 692), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.5 | |
A reaction: His example is the power of running, which is actually caused by the soul (or whatever), which generates the power. A power is a very superficial thing. |
541 | Virtue comes more from habit than character [Critias] |
Full Idea: More men are good through habit than through character. | |
From: Critias (fragments/reports [c.440 BCE], B09), quoted by John Stobaeus - Anthology 3.29.41 |
16571 | Prime matter is exceptionally obscure [Zabarella] |
Full Idea: Nothing in the natural world seems to be more obscure and difficult to grasp than the prime matter of things. | |
From: Jacob Zabarella (De rebus naturalibus [1590], I.1 col 133), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 2.1 | |
A reaction: This spells the beginning of the end for 'prime matter', since a late scholastic is doubting it, even before the scientists got to work. Most modern Aristotelians slide quietly past prime matter, as unhelpful. |
542 | Fear of the gods was invented to discourage secret sin [Critias] |
Full Idea: When the laws forbade men to commit open crimes of violence, and they began to do them in secret, a wise and clever man invented fear of the gods for mortals, to frighten the wicked, even if they sin in secret. | |
From: Critias (fragments/reports [c.440 BCE], B25), quoted by Sextus Empiricus - Against the Professors (six books) 9.54 |