35 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) |
| 4568 | If 'Queen of England' does not refer if there is no queen, its meaning can't refer if there is one [Cooper,DE] |
| Full Idea: If 'the Queen of England' is not a referring expression when there is no queen, nor can it be one when there is a queen - since the meaning of the expression is the same in either case. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4.1) | |
| A reaction: I'm not convinced. Does this mean that since I can point with my finger at nothing, I therefore do not indicate anything when there is an object at which I am pointing. Sounds silly to me. |
| 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. |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 4574 | If some peoples do not have categories like time or cause, they can't be essential features of rationality [Cooper,DE] |
| Full Idea: If our most basic concepts, like time, space, substance or causality, are not shared by some peoples, it puts paid to the cherished ideal of philosophers to discover a set of concepts or categories which any rational human must employ in his thinking. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §5.2) | |
| A reaction: This seems to be a place where a priori philosophy (Aristotle,Kant,Hegel) meets empirical research (Whorf). However, interpreting the research is so fraught with problems it drives you back to the a priori… |
| 4573 | If it is claimed that language correlates with culture, we must be able to identify the two independently [Cooper,DE] |
| Full Idea: If it is claimed that linguistic differences significantly correlate with cultural differences, it must therefore be possible to identify the linguistic differences independently from the cultural ones. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §5.1) | |
| A reaction: This is a basic objection to any extreme relativist version of the S-P hypothesis. They are part of the conspiracy to overemphasise language in philosophy, and they are wrong. |
| 4575 | A person's language doesn't prove their concepts, but how are concepts deduced apart from language? [Cooper,DE] |
| Full Idea: It would be absurd to say the Hopi lack the concept of time because they lack tensed verbs, ..but how do we find out what a man's concepts are except in terms of his language? | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §5.2) | |
| A reaction: Presumably we should look at animals, where concepts must be inferred in order to explain behaviour. I don't see why introspection (scientifically wicked) should not also be employed to detect our own non-verbal concepts. How are new words invented? |
| 4561 | Many sentences set up dispositions which are irrelevant to the meanings of the sentences [Cooper,DE] |
| Full Idea: Many sentences set up dispositions which are irrelevant to the meanings of the sentences. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §2.3) | |
| A reaction: Yet another telling objection to behaviourism. When I look at broccoli I may have a disposition to be sick, but that isn't part of the concept of broccoli. |
| 4564 | I can meaningfully speculate that humans may have experiences currently impossible for us [Cooper,DE] |
| Full Idea: It is not meaningless for me to postulate the potential for humans to sense in a manner which is at present unimaginable and indescribable. There is no reason to believe me, but I might be right. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §3.1) | |
| A reaction: The key counterexample to verificationist theories of meaning is wild speculations, which are clearly meaningful, though frequently far beyond any likely human experience. Logical positivists are allergic to imagination. |
| 4565 | The verification principle itself seems neither analytic nor verifiable [Cooper,DE] |
| Full Idea: It seems that the positivists must admit that there is at least one statement which is meaningful, but which is neither verifiable nor analytic - namely, the statement of the principle of verification itself. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §3.1) | |
| A reaction: Some people think this objection is decisive, but I think any theory must be permitted a few metatheoretic assertions or axioms which are beyond discussion. Ayer thought the VP might be treated as analytic. Everyone has to start somewhere. |
| 4563 | 'How now brown cow?' is used for elocution, but this says nothing about its meaning [Cooper,DE] |
| Full Idea: The sentence 'How now brown cow?' has its use in elocutions classes, yet this aspect of its use tells us nothing about its meaning. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §2.4) | |
| A reaction: Indeed, and also there are weird sentence of which we can assemble a meaning, but cannot think of any conceivable use ('rats swim in purple marmalade'). |
| 4562 | Most people know how to use the word "Amen", but they do not know what it means [Cooper,DE] |
| Full Idea: Most people know how to use the word "Amen", but they do not know what it means. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §2.4) | |
| A reaction: Personally I find examples like this decisive against the 'use' theory of meaning. Maybe the defence is that the theory works for sentences, and individual words (like passwords) are peripheral. |
| 4571 | Reference need not be a hit-or-miss affair [Cooper,DE] |
| Full Idea: Reference need not be a hit-or-miss affair. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4.2) | |
| A reaction: Sounds right. If the basic scenario is picking someone out in a crowd, your listener may think they know which person you are talking about, with a high degree of probability. |
| 4566 | Any thesis about reference is also a thesis about what exists to be referred to [Cooper,DE] |
| Full Idea: Any thesis about reference is also going to be a thesis about what there is in existence to refer to. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4) | |
| A reaction: I see the point, but we must not put the cart before the horse. I may have an intuition that something exists, but not know how to refer to it (because of my small vocabulary). |
| 4572 | If predicates name things, that reduces every sentence to a mere list of names [Cooper,DE] |
| Full Idea: If predicates are names of entities, then subject/predicate sentences are pairs of names, since subjects are names (or referring expressions). But a pair of names is not a sentence at all, it is a mere list. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §4.4) | |
| A reaction: If that is meant to demolish universals it is too quick. Concatenating names is not the same as listing them. A relationship is asserted. There is a (mysterious) Platonic 'partaking' between form and particular. Perhaps. |
| 4576 | An analytic truth is one which becomes a logical truth when some synonyms have been replaced [Cooper,DE] |
| Full Idea: The definition of analytic truth which has, I believe, the most chance of success is one in terms of synonymy; ..an analytic truth is one which can be transformed into a logical truth once synonyms are replaced by synonyms. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §7.1) | |
| A reaction: Sounds promising, though there is Quine's notorious problem of circularity in all these concepts. If synonymy is conventional, then so is analyticity. I personally feel that the circle can be broken. |