67 ideas
6200 | Wisdom is knowing the highest good, and conforming the will to it [Kant] |
6207 | What fills me with awe are the starry heavens above me and the moral law within me [Kant] |
6184 | Consistency is the highest obligation of a philosopher [Kant] |
6203 | Metaphysics is just a priori universal principles of physics [Kant] |
22317 | Truth does not admit of more and less [Frege] |
13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
6181 | Necessity cannot be extracted from an empirical proposition [Kant] |
16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
16882 | The building blocks contain the whole contents of a discipline [Frege] |
5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
6183 | Can pure reason determine the will, or are empirical conditions relevant? [Kant] |
6191 | The will is the faculty of purposes, which guide desires according to principles [Kant] |
6190 | The sole objects of practical reason are the good and the evil [Kant] |
18235 | Only human reason can confer value on our choices [Kant, by Korsgaard] |
6196 | People cannot come to morality through feeling, because morality must not be sensuous [Kant] |
18675 | Kant may rate two things as finally valuable: having a good will, and deserving happiness [Orsi on Kant] |
22007 | An autonomous agent has dignity [Würde], which has absolute worth [Kant, by Pinkard] |
18234 | The good will is unconditionally good, because it is the only possible source of value [Kant, by Korsgaard] |
6192 | Good or evil cannot be a thing, but only a maxim of action, making the person good or evil [Kant] |
6197 | Morality involves duty and respect for law, not love of the outcome [Kant] |
6193 | Our happiness is all that matters, not as a sensation, but as satisfaction with our whole existence [Kant] |
1452 | Happiness is the condition of a rational being for whom everything goes as they wish [Kant] |
1454 | Morality is not about making ourselves happy, but about being worthy of happiness [Kant] |
6194 | The highest worth for human beings lies in dispositions, not just actions [Kant] |
6198 | Virtue is the supreme state of our pursuit of happiness, and so is supreme good [Kant] |
1456 | Moral law is holy, and the best we can do is achieve virtue through respect for the law [Kant] |
6185 | No one would lend money unless a universal law made it secure, even after death [Kant] |
6187 | Universality determines the will, and hence extends self-love into altruism [Kant] |
6201 | Everyone (even God) must treat rational beings as ends in themselves, and not just as means [Kant] |
6186 | A holy will is incapable of any maxims which conflict with the moral law [Kant] |
6195 | Reason cannot solve the problem of why a law should motivate the will [Kant] |
6188 | A permanent natural order could not universalise a rule permitting suicide [Kant] |
6199 | Obligation does not rest on the existence of God, but on the autonomy of reason [Kant] |
3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |
1453 | We have to postulate something outside nature which makes happiness coincide with morality [Kant] |
1455 | Belief in justice requires belief in a place for justice (heaven), a time (eternity), and a cause (God) [Kant, by PG] |
6205 | To know if this world must have been created by God, we would need to know all other possible worlds [Kant] |
6204 | Using God to explain nature is referring to something inconceivable to explain what is in front of you [Kant] |
6206 | From our limited knowledge we can infer great virtues in God, but not ultimate ones [Kant] |
6202 | In all naturalistic concepts of God, if you remove the human qualities there is nothing left [Kant] |