14 ideas
| 14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
| Full Idea: It is customary in logic to take a theory to be a set of sentences closed under logical consequence, whereas it is common in discussions of theories of truth to take a theory to be an axiomatized theory. | |
| From: Kit Fine (Semantic Necessity [2010], n8) |
| 10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
| Full Idea: When we reconstrue quantification in terms of substituted expressions rather than real values, we waive reference. ...but if reference matters, we cannot afford to waive it as a category; and if it does not, we do not need to. | |
| From: Willard Quine (Reply to Professor Marcus [1962], p.183) | |
| A reaction: An odd dilemma to pose. Presumably the substitution account is an attempt to explain how language actually works, without mentioning dubious direct ontological commitment in the quantifiers. |
| 14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
| Full Idea: Fine's paper argues that the notion of semantic necessity has a role to play in understanding the nature and content of semantics comparable to the role of metaphysical necessity in metaphysics. | |
| From: report of Kit Fine (Semantic Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2 |
| 17499 | Theoretical models can represent, by mapping onto the data-models [Portides] |
| Full Idea: The semantic approach contends that theoretical models ...are candidates for representing physical systems by virtue of the fact that they stand in mapping relations to corresponding data-models. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: Sounds like a neat and satisfying picture. |
| 17498 | In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG] |
| Full Idea: The 'received view' of models is that they are Tarskian formal axiomatic calculi interpreted by meta-mathematical models. The 'semantic' view of models gives equal importance to their representational capacity. | |
| From: report of Demetris Portides (Models [2008], 'background') by PG - Db (ideas) | |
| A reaction: The Tarskian view is the one covered in my section on Model Theory. Portides favours the semantic account, and I am with him all the way. Should models primarily integrate with formal systems, or with the world? Your choice... |
| 17501 | Representational success in models depends on success of their explanations [Portides] |
| Full Idea: Models are representational, independently of the strength of their relation to theory, depending on how well they achieve the purpose of providing explanations for what occurs in physical systems. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: This doesn't sound quite right. It seems possible to have a perfect representation of a system which remains quite baffling (because too complex, or with obscure ingredients). Does the stylised London tube map explain well but represent badly? |
| 17502 | The best model of the atomic nucleus is the one which explains the most results [Portides] |
| Full Idea: The unified model can be considered a better representation of the atomic nucleus in comparison to the liquid-drop and shell models, because it explains most of the known results about the nucleus. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: The point here is that models are evaluated not just by their accuracy, but by their explanatory power. Presumably a great model is satisfying and illuminating. Do the best models capture the essence of a thing? |
| 17496 | 'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides] |
| Full Idea: A better understanding of 'model', as used in science, could be achieved if we examine it as a member of the triad of concepts of representation, idealisation and abstraction. | |
| From: Demetris Portides (Models [2008], 'Intro') | |
| A reaction: Abstraction seems to have a bad name in philosophy, and yet when you come to discuss things like models, you can't express it any other way. |
| 17497 | Models are theory-driven, or phenomenological (more empirical and specific) [Portides] |
| Full Idea: 'Theory-driven' models are constructed in a systematic theory-regulated way by supplementing the theoretical calculus with locally operative hypotheses. 'Phenomenological' models deploy semi-empirical results, with ad hoc hypotheses, and extra concepts. | |
| From: Demetris Portides (Models [2008], 'Intro') | |
| A reaction: [compressed] I am not at all clear about this distinction, even after reading his whole article. The first type of model seems more general, while the second seems tuned to particular circumstances. He claims the second type is more explanatory. |
| 17500 | General theories may be too abstract to actually explain the mechanisms [Portides] |
| Full Idea: If theoretical models are highly abstract and idealised descriptions of phenomena, they may only represent general features, and fail to explain the specific mechanisms at work in physical systems. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: [compressed] While there may be an ideal theory that explains everything, it sounds right capturing the actual mechanism (such as the stirrup bone in the ear) is not at all theoretical. |
| 14618 | Semantics is either an assignment of semantic values, or a theory of truth [Fine,K] |
| Full Idea: On one view, a semantics for a given language is taken to be an assignment of semantic values to its expressions; according to the other, a semantics is taken to be a theory of truth for that language. | |
| From: Kit Fine (Semantic Necessity [2010], Intro) | |
| A reaction: The first is Frege, the second Tarski via Davidson, says Fine. Fine argues against these as the correct alternatives, and says the distinction prevents us understanding what is really going on. He votes for semantics as giving 'semantic requirements'. |
| 14621 | Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K] |
| Full Idea: Semantics should be conceived as a body of semantic requirements or facts - and not as a body of semantic truths, or as an assignment of semantic values. | |
| From: Kit Fine (Semantic Necessity [2010], 5) | |
| A reaction: The 'truths' view is Tarski, and the 'values' view is Frege. You'll have to read the Fine paper to grasp his subtle claim. |
| 14622 | Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K] |
| Full Idea: What distinguishes the referential position in semantics from Fregeanism is that it makes use of de re semantic facts, in which it is required of an object itself that it enter into certain semantic requirements. | |
| From: Kit Fine (Semantic Necessity [2010], 5) | |
| A reaction: I have a repugnance to any sort of semantics that involves the objects themselves, even when dealing with proper names. If I talk of 'Napoleon', no small Frenchman is to be found anywhere in my sentences. |
| 14619 | The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K] |
| Full Idea: The source of the Quinean scepticism about analytic and synthetic is, first, scepticism over whether we can factor truth into a semantic and a factual component, and (second) if we can, is the factual component ever null? | |
| From: Kit Fine (Semantic Necessity [2010], 1) | |
| A reaction: You certainly can't grasp 'bachelors are unmarried men' if you haven't grasped the full Woosterian truth about men and marriage. But I could interdefine four meaningless words, so that you could employ them in analytic sentences. |