36 ideas
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10429 | It is best to say that a name designates iff there is something for it to designate [Sainsbury] |
10425 | Definite descriptions may not be referring expressions, since they can fail to refer [Sainsbury] |
10438 | Definite descriptions are usually rigid in subject, but not in predicate, position [Sainsbury] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
6472 | Continuity is a sufficient criterion for the identity of a rock, but not for part of a smooth fluid [Russell] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
6473 | Physical things are series of appearances whose matter obeys physical laws [Russell] |
6465 | We need not deny substance, but there seems no reason to assert it [Russell] |
6471 | The assumption by physicists of permanent substance is not metaphysically legitimate [Russell] |
6466 | Where possible, logical constructions are to be substituted for inferred entities [Russell] |
6467 | No sensibile is ever a datum to two people at once [Russell] |
6483 | Russell held that we are aware of states of our own brain [Russell, by Robinson,H] |
8244 | Sense-data are qualities devoid of subjectivity, which are the basis of science [Russell, by Deleuze/Guattari] |
6462 | Sense-data are not mental, but are part of the subject-matter of physics [Russell] |
6463 | Sense-data are objects, and do not contain the subject as part, the way beliefs do [Russell] |
6464 | Sense-data are usually objects within the body, but are not part of the subject [Russell] |
6459 | We do not know whether sense-data exist as objects when they are not data [Russell] |
6460 | 'Sensibilia' are identical to sense-data, without actually being data for any mind [Russell] |
6461 | Ungiven sense-data can no more exist than unmarried husbands [Russell] |
6458 | Individuating sense-data is difficult, because they divide when closely attended to [Russell] |
6469 | Sense-data may be subjective, if closing our eyes can change them [Russell] |
10432 | A new usage of a name could arise from a mistaken baptism of nothing [Sainsbury] |
10434 | Even a quantifier like 'someone' can be used referentially [Sainsbury] |
10431 | Things are thought to have a function, even when they can't perform them [Sainsbury] |
6470 | Matter is the limit of appearances as distance from the object diminishes [Russell] |
6468 | There is 'private space', and there is also the 'space of perspectives' [Russell] |