49 ideas
16512 | Semantic facts are preferable to transcendental philosophical fiction [Wiggins] |
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] |
17529 | Maybe the concept needed under which things coincide must also yield a principle of counting [Wiggins] |
17530 | The sortal needed for identities may not always be sufficient to support counting [Wiggins] |
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] |
16523 | Realist Conceptualists accept that our interests affect our concepts [Wiggins] |
16524 | Conceptualism says we must use our individuating concepts to grasp reality [Wiggins] |
16526 | Animal classifications: the Emperor's, fabulous, innumerable, like flies, stray dogs, embalmed…. [Wiggins] |
16492 | Individuation needs accounts of identity, of change, and of singling out [Wiggins] |
16493 | Individuation can only be understood by the relation between things and thinkers [Wiggins] |
16496 | Singling out extends back and forward in time [Wiggins] |
16495 | The only singling out is singling out 'as' something [Wiggins] |
16501 | In Aristotle's sense, saying x falls under f is to say what x is [Wiggins] |
16506 | Every determinate thing falls under a sortal, which fixes its persistence [Wiggins] |
16509 | Natural kinds are well suited to be the sortals which fix substances [Wiggins] |
16514 | Artefacts are individuated by some matter having a certain function [Wiggins] |
16510 | Nominal essences don't fix membership, ignore evolution, and aren't contextual [Wiggins] |
16503 | 'What is it?' gives the kind, nature, persistence conditions and identity over time of a thing [Wiggins] |
16499 | A restored church is the same 'church', but not the same 'building' or 'brickwork' [Wiggins] |
16515 | A thing begins only once; for a clock, it is when its making is first completed [Wiggins] |
16517 | Priests prefer the working ship; antiquarians prefer the reconstruction [Wiggins] |
16502 | Identity is primitive [Wiggins] |
16498 | Identity cannot be defined, because definitions are identities [Wiggins] |
16497 | Leibniz's Law (not transitivity, symmetry, reflexivity) marks what is peculiar to identity [Wiggins] |
16521 | A is necessarily A, so if B is A, then B is also necessarily A [Wiggins] |
16505 | By the principle of Indiscernibility, a symmetrical object could only be half of itself! [Wiggins] |
16494 | We want to explain sameness as coincidence of substance, not as anything qualitative [Wiggins] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
16522 | It is hard or impossible to think of Caesar as not human [Wiggins] |
16525 | Our sortal concepts fix what we find in experience [Wiggins] |
16518 | We conceptualise objects, but they impinge on us [Wiggins] |
16511 | A 'conception' of a horse is a full theory of what it is (and not just the 'concept') [Wiggins] |
20698 | Irenaeus says evil is necessary for perfect human development [Irenaeus, by Davies,B] |