34 ideas
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
8764 | Categories are the best foundation for mathematics [Shapiro] |
8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
23029 | Knowledge is secured by the relations between its parts, through differences and identities [Green,TH, by Muirhead] |
23046 | States only have full authority if they heed the claims of human fellowship [Green,TH] |
23051 | Equality also implies liberty, because equality must be of opportunity as well as possessions [Green,TH] |
23028 | The highest political efforts express our deeper social spirit [Green,TH, by Muirhead] |
23054 | Communism is wrong because it restricts the freedom of individuals to contribute to the community [Green,TH, by Muirhead] |
23047 | Original common ownership is securing private property, not denying it [Green,TH, by Muirhead] |
23042 | National spirit only exists in the individuals who embody it [Green,TH, by Muirhead] |
23048 | The ground of property ownership is not force but the power to use it for social ends [Green,TH, by Muirhead] |
23049 | Property is needed by all citizens, to empower them to achieve social goods [Green,TH] |