display all the ideas for this combination of texts
4 ideas
| 23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
| Full Idea: According to the Principle of Bipolarity, every meaningful sentence must be capable both of being true and of being false. It is not enough merely that every sentence must be either true or false (which is Bivalence). | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], 3D) | |
| A reaction: It is said that early Wittgenstein endorses this. That is, in addition to being true, the sentence must be capable of falsehood (and vice versa). This seems to be flirting with the verification principle. I presume it is 'affirmative' sentences. |
| 23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
| Full Idea: There are two problems with defining the quantifiers in terms of conjunction and disjunction. The general statements are unspecific, and do not say which things have the properties, and also they can't range over infinite objects. | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], 5C) | |
| A reaction: That is, the universal quantifier is lots of ands, and the existential is lots of ors. If there only existed finite objects, then naming them all would be universal, and the infinite wouldn't be needed. |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |