Combining Texts

All the ideas for 'works', 'Models' and 'Mathematical Logic (revised)'

unexpand these ideas     |    start again     |     specify just one area for these texts


13 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
     Full Idea: A 'quasi-quotation' [corner quotes, Quine quotes] designates that (unspecified) expression which is obtained from the contents of the corners by replacing the Greek letters by the (unspecified) expressions which they designate.
     From: Willard Quine (Mathematical Logic (revised) [1940], 1.6)
     A reaction: Filed under 'variables', as they seem to be variables that can refer to actual expressions, like algebra. Quine was determined to distinguish clearly between 'mention' and 'use'. 'Half-hearted substitutional quantification', says Fine.
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Quine, by Kirkham]
     Full Idea: Quine suggests that we can have a language with just predicates and no names. Thus for 'Ralph is red' we say 'x Ralphises and x is red'.
     From: report of Willard Quine (Mathematical Logic (revised) [1940]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.6
     A reaction: Kirkham discusses this as a way of getting round the lack of names in Tarski's theory of truth (which just uses objects, predicates and quantifiers). Otherwise you must supplement Tarski with an account of what the names refer to.
14. Science / B. Scientific Theories / 7. Scientific Models
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.
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...
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?
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?
'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.
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.
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
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.
15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind
Freud treats the unconscious as intentional and hence mental [Freud, by Searle]
     Full Idea: Freud thinks that our unconscious mental states exist as occurrent intrinsic intentional states even when unconscious. Their ontology is that of the mental, even when they are unconscious.
     From: report of Sigmund Freud (works [1900]) by John Searle - The Rediscovery of the Mind Ch. 7.V
     A reaction: Searle states this view in order to attack it. Whether such states are labelled as 'mental' seems uninteresting. Whether unconscious states can be intentional is crucial, and modern scientific understanding of the brain strongly suggest they can.
16. Persons / C. Self-Awareness / 3. Limits of Introspection
Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker]
     Full Idea: Freud persuaded many that beliefs, wishes and feelings are sometimes unconscious, and even sceptics about Freud acknowledge that there is self-deception about motive and attitudes.
     From: report of Sigmund Freud (works [1900]) by Sydney Shoemaker - Introspection p.396
     A reaction: This seems to me obviously correct. The traditional notion is that the consciousness is the mind, but now it seems obvious that consciousness is only one part of the mind, and maybe even a peripheral (epiphenomenal) part of it.
18. Thought / A. Modes of Thought / 3. Emotions / a. Nature of emotions
Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon]
     Full Idea: Freud argued that the passions in general …were the pressures of a yet unknown 'quantity' (which he simply designated 'Q'). He first thought this flowed through neurones, …and always couched the idea in the language of hydraulics.
     From: report of Sigmund Freud (works [1900]) by Robert C. Solomon - The Passions 3.4
     A reaction: This is the main target of Solomon's criticism, because its imagery has become so widespread. It leads to talk of suppressing emotions, or sublimating them. However, it is not too different from Nietzsche's 'drives' or 'will to power'.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch]
     Full Idea: Freud takes a thoroughly pessimistic view of human nature. ...Introspection reveals only the deep tissue of ambivalent motive, and fantasy is a stronger force than reason. Objectivity and unselfishness are not natural to human beings.
     From: report of Sigmund Freud (works [1900], II) by Iris Murdoch - The Sovereignty of Good II
     A reaction: Interesting. His view seems to have coloured the whole of modern culture, reinforced by the hideous irrationality of the Nazis. Adorno and Horkheimer attacking the Enlightenment was the last step in that process.