28 ideas
| 18274 | Analysis complicates a statement, but only as far as the complexity of its meaning [Wittgenstein] |
| Full Idea: Analysis makes the statement more complicated than it was; but it cannot and ought not to make it more complicated than its meaning (Bedeutung) was to begin with. When the statement is as complex as its meaning, then it is completely analysed. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 46e) | |
| A reaction: But how do you assess how complex the 'Bedeutung' was before you started? |
| 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. |
| 16908 | We can dispense with self-evidence, if language itself prevents logical mistakes [Jeshion on Wittgenstein] |
| Full Idea: The 'self-evidence' of which Russell talks so much can only be dispensed with in logic if language itself prevents any logical mistake. | |
| From: comment on Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 4) by Robin Jeshion - Frege's Notion of Self-Evidence 4 | |
| A reaction: Jeshion presents this as a key idea, turning against Frege, and is the real source of the 'linguistic turn' in philosophy. If self-evidence is abandoned, then language itself is the guide to truth, so study language. I think I prefer Frege. See Quine? |
| 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) |
| 18276 | A statement's logical form derives entirely from its constituents [Wittgenstein] |
| Full Idea: The logical form of the statement must already be given in the forms of its constituents. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 23e) | |
| A reaction: This would evidently require each constituent to have a 'logical form'. It is hard to see what that could beyond its part of speech. Do two common nouns have the same logical form? |
| 6563 | 'And' and 'not' are non-referring terms, which do not represent anything [Wittgenstein, by Fogelin] |
| Full Idea: Wittgenstein's 'fundamental idea' is that the 'and' and 'not' which guarantee the truth of "not p and not-p" are meaningful, but do not get their meaning by representing or standing for or referring to some kind of entity; they are non-referring terms. | |
| From: report of Ludwig Wittgenstein (Notebooks 1914-1916 [1915], §37) by Robert Fogelin - Walking the Tightrope of Reason Ch.1 | |
| A reaction: Wittgenstein then defines the terms using truth tables, to show what they do, rather than what they stand for. This seems to me to be a candidate for the single most important idea in the history of the philosophy of logic. |
| 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) |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
| From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
| A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
| 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) |
| 23472 | The sense of propositions relies on the world's basic logical structure [Wittgenstein] |
| Full Idea: In order for a proposition to be CAPABLE of making sense, the world must already have the logical structure it has. The logic of the world is prior to all truth and falsehood. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], p.14c) | |
| A reaction: It seems that in Tractatus it is propositions about facts which are true or false, but prior to the facts are substance and the objects, and it is there that we find the logical structure of the world. I see this view as modern stoicism. |
| 23500 | My main problem is the order of the world, and whether it is knowable a priori [Wittgenstein] |
| Full Idea: The great problem around which everything turns that I write is: is there an order in the world a priori, and if so what does it consist in? | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 15.06.01) | |
| A reaction: Morris identifies this as a 'Kantian question'. I trace it back to stoicism. This question has never bothered me. It just seems weird to think that you can infer reality from the examination of your own thinking. Perhaps I should take it more seriously? |
| 22323 | The philosophical I is the metaphysical subject, the limit - not a part of the world [Wittgenstein] |
| Full Idea: The philosophical I is not the man, not the human body, or the human soul of wh9ch psychology treats, but the metaphysical subject, the limit - not a part of the world. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 1916. 2 Sep), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 58 Intro | |
| A reaction: This is to treat the self as a phenomenon of thought, rather than of a human being. So if a machine could think, would it hence necessarily have a metaphysical self? |
| 23481 | Propositions assemble a world experimentally, like the model of a road accident [Wittgenstein] |
| Full Idea: In the proposition a world is as it were put together experimentally. (As when in the law court in Paris a motor-car accident is represented by means of dolls, etc). | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 14.09.29) | |
| A reaction: [see Tractatus 4.031] This is the first appearance of LW's picture (or model) theory of meaning. It may well be the best theory of meaning anyone has come up with, since meaning being out in the world strikes me as absurd. |
| 4678 | Absolute prohibitions are the essence of ethics, and suicide is the most obvious example [Wittgenstein] |
| Full Idea: If suicide is allowed, then everything is allowed. If anything is not allowed, then suicide is not allowed. This throws a light on the nature of ethics, for suicide is, so to speak, the elementary sin. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], end), quoted by Jonathan Glover - Causing Death and Saving Lives §13 | |
| A reaction: This reveals the religious streak in Wittgenstein. I am reluctant to judge suicide, but this seems wrong. Should a 'jumper' worry if they land on someone else and kill them? Of course they should. |