33 ideas
20962 | Habermas seems to make philosophy more democratic [Habermas, by Bowie] |
15670 | The aim of 'post-metaphysical' philosophy is to interpret the sciences [Habermas, by Finlayson] |
15665 | We can do social philosophy by studying coordinated action through language use [Habermas, by Finlayson] |
20573 | Rather than instrumental reason, Habermas emphasises its communicative role [Habermas, by Oksala] |
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] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [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] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [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] |
20961 | What is considered a priori changes as language changes [Habermas, by Bowie] |
15667 | To understand a statement is to know what would make it acceptable [Habermas] |
15668 | Meaning is not fixed by a relation to the external world, but a relation to other speakers [Habermas, by Finlayson] |
15666 | To understand language is to know how to use it to reach shared understandings [Habermas] |
15677 | Moral right is linked to validity and truth, so morality is a matter of knowledge, not an expression of values [Habermas, by Finlayson] |
15672 | Actions norms are only valid if everyone possibly affected is involved in the discourse [Habermas] |
15671 | Move from individual willing of a general law, to willing norms agreed with other people [Habermas] |
15669 | People endorse equality, universality and inclusiveness, just by their communicative practices [Habermas, by Finlayson] |
23416 | Political involvement is needed, to challenge existing practices [Habermas, by Kymlicka] |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |