26 ideas
18274 | Analysis complicates a statement, but only as far as the complexity of its meaning [Wittgenstein] |
16908 | We can dispense with self-evidence, if language itself prevents logical mistakes [Jeshion on Wittgenstein] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
18276 | A statement's logical form derives entirely from its constituents [Wittgenstein] |
6563 | 'And' and 'not' are non-referring terms, which do not represent anything [Wittgenstein, by Fogelin] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
23472 | The sense of propositions relies on the world's basic logical structure [Wittgenstein] |
14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |
23500 | My main problem is the order of the world, and whether it is knowable a priori [Wittgenstein] |
22323 | The philosophical I is the metaphysical subject, the limit - not a part of the world [Wittgenstein] |
23481 | Propositions assemble a world experimentally, like the model of a road accident [Wittgenstein] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
4678 | Absolute prohibitions are the essence of ethics, and suicide is the most obvious example [Wittgenstein] |