51 ideas
| 4739 | In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel] |
| Full Idea: Necessary and sufficient conditions are usually expressed by "if and only if" (abbr. "iff"), where "if" is the sufficient condition, and "only if" is the necessary condition. | |
| From: Pascal Engel (Truth [2002], §1.1) | |
| A reaction: 'I take my umbrella if and only if it is raining' (oh, and if I'm still alive). There may be other necessary conditions than the one specified. Oh, and I take it if my wife slips it into my car… |
| 3870 | The real problem of science is how to choose between possible explanations [Newton-Smith] |
| Full Idea: Once we move beyond investigating correlations between observables the question of what does or should guide our choice between alternative explanatory accounts becomes problematic. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], IX.2) |
| 3859 | We do not wish merely to predict, we also want to explain [Newton-Smith] |
| Full Idea: We do not wish merely to predict, we also want to explain. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], II.3) |
| 3853 | For science to be rational, we must explain scientific change rationally [Newton-Smith] |
| Full Idea: We are only justified in regarding scientific practice as the very paradigm of rationality if we can justify the claim that scientific change is rationally explicable. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.2) |
| 3854 | Positivists hold that theoretical terms change, but observation terms don't [Newton-Smith] |
| Full Idea: For positivists it was taken that while theory change meant change in the meaning of theoretical terms, the meaning of observational terms was invariant under theory change. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.4) |
| 3855 | Critics attack positivist division between theory and observation [Newton-Smith] |
| Full Idea: The critics of positivism attacked the conception of a dichotomy between theory and observation. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.4) |
| 4737 | Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel] |
| Full Idea: The tradition of the Stoics and Frege says that truth-bearers are propositions, Descartes and the classical empiricist say they are ideas or beliefs, and Ockham and Quine say they are sentences or utterances. | |
| From: Pascal Engel (Truth [2002], §1.1) | |
| A reaction: I'm with propositions, which are unambiguous, can be expressed in a variety of ways, embody the 'logical form' of sentences, and could be physically embodied in brains (the language of thought?). |
| 3869 | More truthful theories have greater predictive power [Newton-Smith] |
| Full Idea: If a theory is a better approximation to the truth, then it is likely that it will have greater predictive power. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], VIII.8) |
| 3861 | Theories generate infinite truths and falsehoods, so they cannot be used to assess probability [Newton-Smith] |
| Full Idea: We cannot explicate a useful notion of verisimilitude in terms of the number of truths and the number of falsehoods generated by a theory, because they are infinite. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.4) |
| 4750 | The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel] |
| Full Idea: The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p'. | |
| From: Pascal Engel (Truth [2002], §2.2) | |
| A reaction: But then when you ask what p means, you have to give the truth-conditions for its assertion, and you find you have to mention the facts after all. |
| 4744 | We can't explain the corresponding structure of the world except by referring to our thoughts [Engel] |
| Full Idea: The correspondence theory implies displaying an identity or similarity of structure between the contents of thoughts and the way the world is structured, but we seem only to be able to say that the world's structure corresponds to our thoughts. | |
| From: Pascal Engel (Truth [2002], §1.2) | |
| A reaction: I don't accept this. The structure of the world gives rise to our thoughts. There is an epistemological problem here (big time!), but that doesn't alter the metaphysical situation of what truth is supposed to be, which is correspondence. |
| 4738 | The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel] |
| Full Idea: The coherence theory of truth says that it is a relationship between truth-bearers themselves, that is between propositions or beliefs or sentences. | |
| From: Pascal Engel (Truth [2002], §1.1) | |
| A reaction: We immediately begin to wonder how many truth-bearers are required. Two lies can be coherent. It is hard to make thousands of lies coherent, but not impossible. What fixes the critical number. 'All possible propositions' is not much help. |
| 4745 | Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel] |
| Full Idea: Any coherent set of beliefs can be made more coherent by adding to it one or more false beliefs. | |
| From: Pascal Engel (Truth [2002], §1.3) | |
| A reaction: A simple but rather devastating point. It is the policeman manufacturing a bogus piece of evidence to clinch the conviction, the scientist faking a single observation to fill in the last corner of a promising theory. |
| 4753 | Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel] |
| Full Idea: Deflationism about truth seems to deprive us of any hope of asking genuinely metatheoretical questions, which are the questions that occupy philosophers most of the time. | |
| From: Pascal Engel (Truth [2002], §2.5) | |
| A reaction: This seems like the best reason for moving from deflationism to at least minimalism. Clearly one can talk meaningfully about the success of assertions and theories. You can say a sentence is true, but not assert it. |
| 4755 | Deflationism cannot explain why we hold beliefs for reasons [Engel] |
| Full Idea: The deflationist view is silent about the fact that our assertions and beliefs are generally made or held for certain reasons. | |
| From: Pascal Engel (Truth [2002], §2.5) | |
| A reaction: The point here must be that I attribute strength to my beliefs, depending on how much support I have for them - how much support for their real truth. I scream "That's really TRUE!" when I have very good reasons. |
| 4751 | Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel] |
| Full Idea: We could compare the status of 'true' with the status of the logical operator 'and' in logic. Once we have explained how it functions to conjoin two propositions, there is not much more to be said about it. | |
| From: Pascal Engel (Truth [2002], §2.4) | |
| A reaction: A good statement of the minimalist view. I don't believe it, because I don't believe that truth is confined to language. An uneasy feeling I can't put into words can turn out to be true. Truth is a relational feature of mental states. |
| 4752 | Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel] |
| Full Idea: It is said that deflationism cannot even formulate the principle of bivalence, for 'either p is true or p is false' will amount to the principle of excluded middle, 'either p or not-p'. | |
| From: Pascal Engel (Truth [2002], §2.4) | |
| A reaction: Presumably deflationists don't lost any sleep over this - in fact, it looks like a good concise way to state the deflationist thesis. However, excluded middle refers to a proposition (not-p) that was never mentioned by bivalence. Cf Idea 6163. |
| 3867 | De re necessity arises from the way the world is [Newton-Smith] |
| Full Idea: A necessary truth is 'de re' if its necessity arises from the way the world is. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], VII.6) |
| 3872 | We must assess the truth of beliefs in identifying them [Newton-Smith] |
| Full Idea: We cannot determine what someone's beliefs are independently of assessing to some extent the truth or falsity of the beliefs. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], X.4) |
| 4762 | The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel] |
| Full Idea: A problem for the Humean theory of motivation is that it is disputed that beliefs are only representational states, which cannot, unlike desires, move us to act. | |
| From: Pascal Engel (Truth [2002], §4.2) | |
| A reaction: This is a crucial issue for Humeans and empiricists. Rationalists claim that people act for reasons, so that reasons are intrinsically motivational (like the Form of the Good), and reasons may even be considered direct causes of actions. |
| 4754 | Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel] |
| Full Idea: Belief is said to 'aim at truth', in the sense that beliefs are the kind of mental states that have to be true for the mind to 'fit' the world (where our desires have the opposite 'direction of fit'; the world is supposed to fit our desires). | |
| From: Pascal Engel (Truth [2002], §2.5) | |
| A reaction: I don't think it is possible to give a plausible definition of belief without mentioning truth. Hume's account of them as thoughts with a funny feeling attached is ridiculous. Thinking is an activity, not a passive state. |
| 4763 | 'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel] |
| Full Idea: The 'evidentialists' (such as Locke and Hume) deny, and the 'voluntarists' (such as William James) affirm, that we ought to, or at least may, believe for other reasons than evidential epistemic reasons (e.g. for pragmatic reasons). | |
| From: Pascal Engel (Truth [2002], §5.2) | |
| A reaction: No need to be black-or-white here. Blatant evidence compels belief, but we may also come to believe by spotting a coherence, without additional evidence. We can also be in a state of trying to believe something. But see 4764. |
| 4746 | Pragmatism is better understood as a theory of belief than as a theory of truth [Engel] |
| Full Idea: Pragmatism in general is better construed as a certain conception of belief, rather than as a distinctive conception of truth. | |
| From: Pascal Engel (Truth [2002], §1.5) | |
| A reaction: Which is why aspiring relativists drift towards the pragmatic theory - because they want to dispense with truth (and hence knowledge), and put mere belief in its place. |
| 4764 | We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel] |
| Full Idea: Direct psychological voluntarism about beliefs seems to be false, but we can have an indirect voluntary control on many of our beliefs, by manipulating the states in us that are involuntary and which lead to certain beliefs. | |
| From: Pascal Engel (Truth [2002], §5.2) | |
| A reaction: Very nice! This points two ways - to scientific experiments, which can have compelling outcomes (see Fodor), and to brain-washing, and especially auto-brainwashing (only reading articles which support your favourites theories). What magazines do you take? |
| 3857 | Defeat relativism by emphasising truth and reference, not meaning [Newton-Smith] |
| Full Idea: The challenge of incommensurability can be met once it is realised that in comparing theories the notions of truth and reference are more important than that of meaning. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], I.6) |
| 3858 | A full understanding of 'yellow' involves some theory [Newton-Smith] |
| Full Idea: A full grasp of the concept '…is yellow' involves coming to accept as true bits of theory; that is, generalisations involving the term 'yellow'. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], II.2) |
| 3862 | All theories contain anomalies, and so are falsified! [Newton-Smith] |
| Full Idea: According to Feyerabend all theories are born falsified, because no theory has ever been totally free of anomalies. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.9) |
| 3863 | The anomaly of Uranus didn't destroy Newton's mechanics - it led to Neptune's discovery [Newton-Smith] |
| Full Idea: When scientists observed the motion of Uranus, they did not give up on Newtonian mechanics. Instead they posited the existence of Neptune. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.9) |
| 3864 | Anomalies are judged against rival theories, and support for the current theory [Newton-Smith] |
| Full Idea: Whether to reject an anomaly has to be decided on the basis of the availability of a rival theory, and on the basis of the positive evidence for the theory in question. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], III.9) |
| 3865 | Why should it matter whether or not a theory is scientific? [Newton-Smith] |
| Full Idea: Why should it be so important to distinguish between theories that are scientific and those that are not? | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], IV.3) |
| 3866 | If theories are really incommensurable, we could believe them all [Newton-Smith] |
| Full Idea: If theories are genuinely incommensurable why should I be faced with the problem of choosing between them? Why not believe them all? | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], VII.1) |
| 4759 | Mental states as functions are second-order properties, realised by first-order physical properties [Engel] |
| Full Idea: For functionalism mental states as roles are second-order properties that have to be realised in various ways in first-order physical properties. | |
| From: Pascal Engel (Truth [2002], §3.3) | |
| A reaction: I take that to be properties-of-properties, as in 'bright red' or 'poignantly beautiful'. I am inclined to think (with Edelman) that mind is a process, not a property. |
| 3871 | Explaining an action is showing that it is rational [Newton-Smith] |
| Full Idea: To explain an action as an action is to show that it is rational. | |
| From: W.H. Newton-Smith (The Rationality of Science [1981], X.2) |
| 20624 | Work degrades into heat, but not vice versa [Close] |
| Full Idea: William Thomson, Lord Kelvin, declared (in 1865) the second law of thermodynamics: mechanical work inevitably tends to degrade into heat, but not vice versa. | |
| From: Frank Close (Theories of Everything [2017], 3 'Perpetual') | |
| A reaction: The basis of entropy, which makes time an essential part of physics. Might this be the single most important fact about the physical world? |
| 20623 | First Law: energy can change form, but is conserved overall [Close] |
| Full Idea: The first law of thermodynamics : energy can be changed from one form to another, but is always conserved overall. | |
| From: Frank Close (Theories of Everything [2017], 3 'Perpetual') | |
| A reaction: So we have no idea what energy is, but we know it's conserved. (Daniel Bernoulli showed the greater the mean energy, the higher the temperature. James Joule showed the quantitative equivalence of heat and work p.26-7) |
| 20625 | Third Law: total order and minimum entropy only occurs at absolute zero [Close] |
| Full Idea: The third law of thermodynamics says that a hypothetical state of total order and minimum entropy can be attained only at the absolute zero temperature, minus 273 degrees Celsius. | |
| From: Frank Close (Theories of Everything [2017], 3 'Arrow') | |
| A reaction: If temperature is energetic movement of atoms (or whatever), then obviously zero movement is the coldest it can get. So is absolute zero an energy state, or an absence of energy? I have no idea what 'total order' means. |
| 20622 | All motions are relative and ambiguous, but acceleration is the same in all inertial frames [Close] |
| Full Idea: There is no absolute state of rest; only relative motions are unambiguous. Contrast this with acceleration, however, which has the same magnitude in all inertial frames. | |
| From: Frank Close (Theories of Everything [2017], 3 'Newton's') | |
| A reaction: It seems important to remember this, before we start trumpeting about the whole of physics being relative. ....But see Idea 20634! |
| 20628 | The electric and magnetic are tightly linked, and viewed according to your own motion [Close] |
| Full Idea: Electric and magnetic phenomena are profoundly intertwined; what you interpret as electric or magnetic thus depends on your own motion. | |
| From: Frank Close (Theories of Everything [2017], 3 'Light!') | |
| A reaction: This sounds like an earlier version of special relativity. |
| 20635 | The general relativity equations relate curvature in space-time to density of energy-momentum [Close] |
| Full Idea: The essence of general relativity relates 'curvature in space-time' on one side of the equation to the 'density of momentum and energy' on the other. ...In full, Einstein required ten equations of this type. | |
| From: Frank Close (Theories of Everything [2017], 5 'Gravity') | |
| A reaction: Momentum involves mass, and energy is equivalent to mass (e=mc^2). |
| 20642 | Photon exchange drives the electro-magnetic force [Close] |
| Full Idea: The exchange of photons drives the electro-magnetic force. | |
| From: Frank Close (Theories of Everything [2017], 6 'Superstrings') | |
| A reaction: So light, which we just think of as what is visible, is a mere side-effect of the engine room of nature - the core mechanism of the whole electro-magnetic field. |
| 20627 | Electric fields have four basic laws (two by Gauss, one by Ampère, one by Faraday) [Close] |
| Full Idea: Four basic laws of electric and magnetic fields: Gauss's Law (about the flux produced by a field), Gauss's law of magnets (there can be no monopoles), Ampère's Law (fields on surfaces), and Farday's Law (accelerated magnets produce fields). | |
| From: Frank Close (Theories of Everything [2017], 3 'Light!') | |
| A reaction: [Highly compressed, for an overview. Close explains them] |
| 20630 | Light isn't just emitted in quanta called photons - light is photons [Close] |
| Full Idea: Planck had assumed that light is emitted in quanta called photons. Einstein went further - light is photons. | |
| From: Frank Close (Theories of Everything [2017], 3 'Light!') | |
| A reaction: The point is that light travels as entities which are photons, rather than the emissions being quantized packets of some other stuff. |
| 20637 | In general relativity the energy and momentum of photons subjects them to gravity [Close] |
| Full Idea: In Einstein's general theory, gravity acts also on energy and momentum, not simply on mass. For example, massless photons of light feel the gravitational attraction of the Sun and can be deflected. | |
| From: Frank Close (Theories of Everything [2017], 5 'Planck') | |
| A reaction: Ah, a puzzle solved. How come massless photons are bent by gravity? |
| 20629 | Electro-magnetic waves travel at light speed - so light is electromagnetism! [Close] |
| Full Idea: Faradays' measurements predicted the speed of electro-magnetic waves, which happened to be the speed of light, so Maxwell made an inspired leap: light is an electromagnetic wave! | |
| From: Frank Close (Theories of Everything [2017], 3 'Light!') | |
| A reaction: Put that way, it doesn't sound like an 'inspired' leap, because travelling at exactly the same speed seems a pretty good indication that they are the same sort of thing. (But I'm not denying that Maxwell was a special guy!) |
| 20632 | In QED, electro-magnetism exists in quantum states, emitting and absorbing electrons [Close] |
| Full Idea: Dirac created quantum electrodynamics (QED): the universal electro-magnetic field can exist in discreet states of energy (with photons appearing and disappearing by energy excitations. This combined classical ideas, quantum theory and special relativity. | |
| From: Frank Close (Theories of Everything [2017], 3 'Light!') | |
| A reaction: Close says this is the theory of everything in atomic structure, but not in nuclei (which needs QCD and QFD). So if there are lots of other 'fields' (e.g. gravitational, weak, strong, Higgs), how do they all fit together? Do they talk to one another? |
| 20639 | Quantum fields contain continual rapid creation and disappearance [Close] |
| Full Idea: Quantum field theory implies that the vacuum of space is filled with particles and antiparticles which bubble in and out of existence on faster and faster timescales over shorter and shorter distances. | |
| From: Frank Close (Theories of Everything [2017], 6 'Intro') | |
| A reaction: Ponder this sentence until you head aches. Existence, but not as we know it, Jim. Close says calculations in QED about the electron confirm this. |
| 20641 | Electrons get their mass by interaction with the Higgs field [Close] |
| Full Idea: The electron gets its mass by interaction with the ubiquitous Higgs field. | |
| From: Frank Close (Theories of Everything [2017], 6 'Hierarchy') | |
| A reaction: I thought I understood mass until I read this. Is it just wrong to say the mass of a table is the 'amount of stuff' in it? |
| 20631 | Dirac showed how electrons conform to special relativity [Close] |
| Full Idea: In 1928 Paul Dirac discovered the quantum equation that describes the electron and conforms to the requirements special relativity theory. | |
| From: Frank Close (Theories of Everything [2017], 3 'Light!') | |
| A reaction: This sounds like a major step in the unification of physics. Quantum theory and General relativity remain irreconcilable. |
| 20626 | Modern theories of matter are grounded in heat, work and energy [Close] |
| Full Idea: The link between temperature, heat, work and energy is at the root of our historical ability to construct theories of matter, such as Newton's dynamics, while ignoring, and indeed being ignorant of - atomic dimensions. | |
| From: Frank Close (Theories of Everything [2017], 3 'Arrow') | |
| A reaction: That is, presumably, that even when you fill in the atoms, and the standard model of physics, these aspects of matter do the main explaiining (of the behaviour, rather than of the structure). |
| 20633 | The Higgs field is an electroweak plasma - but we don't know what stuff it consists of [Close] |
| Full Idea: In 2012 it was confirmed that we are immersed in an electroweak plasma - the Higgs field. We curently have no knowledge of what this stuff might consist of. | |
| From: Frank Close (Theories of Everything [2017], 4 'Higgs') | |
| A reaction: The second sentence has my full attention. So we don't understand a field properly until we understand the 'stuff' it is made of? So what are all the familiar fields made of? Tell me more! |
| 20640 | Space-time is indeterminate foam over short distances [Close] |
| Full Idea: At very short distances, space-time itself becomes some indeterminate foam. | |
| From: Frank Close (Theories of Everything [2017], 6 'Intro') | |
| A reaction: [see Close for a bit more detail of this weird idea] |