30 ideas
| 17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
| 17765 | Propositional language can only relate statements as the same or as different [Walicki] |
| 17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
| 17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
| 17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
| 17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
| 17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
| 17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
| 17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
| 17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
| 17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
| 17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
| 17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
| 17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
| 17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
| 17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
| 17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
| 17754 | Inductive proof depends on the choice of the ordering [Walicki] |
| 17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
| 14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
| 14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |
| 8388 | Causation is either direct realism, Humean reduction, non-Humean reduction or theoretical realism [Tooley] |
| 8389 | Causation distinctions: reductionism/realism; Humean/non-Humean states; observable/non-observable [Tooley] |
| 8393 | We can only reduce the direction of causation to the direction of time if we are realist about the latter [Tooley] |
| 8390 | Causation is directly observable in pressure on one's body, and in willed action [Tooley] |
| 8392 | Probabilist laws are compatible with effects always or never happening [Tooley] |
| 8399 | The actual cause may not be the most efficacious one [Tooley] |
| 8391 | In counterfactual worlds there are laws with no instances, so laws aren't supervenient on actuality [Tooley] |
| 8394 | Explaining causation in terms of laws can't explain the direction of causation [Tooley] |
| 8398 | Causation is a concept of a relation the same in all worlds, so it can't be a physical process [Tooley] |