34 ideas
| 15592 | The usual Tarskian interpretation of variables is to specify their range of values [Fine,K] |
| 15593 | Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K] |
| 15590 | It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K] |
| 15591 | In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K] |
| 15595 | The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K] |
| 15594 | 'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K] |
| 15599 | Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K] |
| 15603 | I can only represent individuals as the same if I do not already represent them as the same [Fine,K] |
| 15604 | If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K] |
| 22189 | Why abandon a theory if you don't have a better one? [Gorham] |
| 22190 | If a theory is more informative it is less probable [Gorham] |
| 22192 | Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham] |
| 22194 | Structural Realism says mathematical structures persist after theory rejection [Gorham] |
| 22195 | Structural Realists must show the mathematics is both crucial and separate [Gorham] |
| 17488 | Empiricist theories are sets of laws, which give explanations and reductions [Glennan] |
| 22197 | Theories aren't just for organising present experience if they concern the past or future [Gorham] |
| 22196 | For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham] |
| 22193 | Consilience makes the component sciences more likely [Gorham] |
| 17493 | Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan] |
| 17487 | Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan] |
| 17489 | Mechanisms are either systems of parts or sequences of activities [Glennan] |
| 17490 | 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan] |
| 17491 | Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan] |
| 15602 | Mental files are devices for keeping track of basic coordination of objects [Fine,K] |
| 15588 | You cannot determine the full content from a thought's intrinsic character, as relations are involved [Fine,K] |
| 15596 | The standard aim of semantics is to assign a semantic value to each expression [Fine,K] |
| 15587 | That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K] |
| 15589 | The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K] |
| 15598 | We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K] |
| 15600 | Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K] |
| 15601 | Fregeans approach the world through sense, Referentialists through reference [Fine,K] |
| 15605 | I take indexicals such as 'this' and 'that' to be linked to some associated demonstration [Fine,K] |
| 22198 | Aristotelian physics has circular celestial motion and linear earthly motion [Gorham] |
| 17494 | Since causal events are related by mechanisms, causation can be analysed in that way [Glennan] |