48 ideas
13939 | No possible evidence could decide the reality of numbers, so it is a pseudo-question [Carnap] |
16252 | Metaphysics uses empty words, or just produces pseudo-statements [Carnap] |
23770 | Reductive analysis makes a concept clearer, by giving an alternative simpler set [Williams,NE] |
23769 | Promoting an ontology by its implied good metaphysic is an 'argument-by-display' [Williams,NE] |
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
13936 | Questions about numbers are answered by analysis, and are analytic, and hence logically true [Carnap] |
8748 | Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Carnap, by Shapiro] |
8960 | Internal questions about abstractions are trivial, and external ones deeply problematic [Carnap, by Szabó] |
23783 | Change exists, it is causal, and it needs an explanation [Williams,NE] |
23784 | Processes don't begin or end; they just change direction unexpectedly [Williams,NE] |
23790 | Processes are either strings of short unchanging states, or continuous and unreducible events [Williams,NE] |
13933 | Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework) [Carnap] |
23786 | The status quo is part of what exists, and so needs metaphysical explanation [Williams,NE] |
23768 | A metaphysic is a set of wider explanations derived from a basic ontology [Williams,NE] |
23773 | Humeans say properties are passive, possibility is vast, laws are descriptions, causation is weak [Williams,NE] |
23779 | We shouldn't posit the existence of anything we have a word for [Williams,NE] |
13934 | To be 'real' is to be an element of a system, so we cannot ask reality questions about the system itself [Carnap] |
13938 | A linguistic framework involves commitment to entities, so only commitment to the framework is in question [Carnap] |
23775 | Powers are 'multi-track' if they can produce a variety of manifestations [Williams,NE] |
23780 | Every possible state of affairs is written into its originating powers [Williams,NE] |
23789 | Naming powers is unwise, because that it usually done by a single manifestation [Williams,NE] |
23771 | Fundamental physics describes everything in terms of powers [Williams,NE] |
23776 | Rather than pure powers or pure categoricals, I favour basics which are both at once [Williams,NE] |
23777 | Powers are more complicated than properties which are always on display [Williams,NE] |
23774 | There are basic powers, which underlie dispositions, potentialities, capacities etc [Williams,NE] |
23791 | Dispositions are just useful descriptions, which are explained by underlying powers [Williams,NE] |
23772 | If objects are property bundles, the properties need combining powers [Williams,NE] |
13935 | We only accept 'things' within a language with formation, testing and acceptance rules [Carnap] |
16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
23788 | Four-Dimensional is Perdurantism (temporal parts), plus Eternalism [Williams,NE] |
16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
14305 | In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap] |
13932 | Empiricists tend to reject abstract entities, and to feel sympathy with nominalism [Carnap] |
13937 | New linguistic claims about entities are not true or false, but just expedient, fruitful or successful [Carnap] |
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
13940 | All linguistic forms in science are merely judged by their efficiency as instruments [Carnap] |
13048 | Good explications are exact, fruitful, simple and similar to the explicandum [Carnap, by Salmon] |
12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |
11968 | The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan] |
18285 | All translation loses some content (but language does not create reality) [Carnap] |
23785 | Causation needs to explain stasis, as well as change [Williams,NE] |
23782 | Causation is the exercise of powers [Williams,NE] |
23787 | If causes and effects overlap, that makes changes impossible [Williams,NE] |
23778 | Powers contain lawlike features, pointing to possible future states [Williams,NE] |