47 ideas
| 6334 | The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich] |
| Full Idea: We must distinguish the function of the truth predicate, what it is to understand 'true', the meaning of 'true', grasping the concept of truth, and a theory of truth itself. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.8) | |
| A reaction: It makes you feel tired to think about it. Presumably every other philosophical analysis has to do this many jobs. Clearly Horwich wants to propose one account which will do all five jobs. Personally I don't believe these five are really distinct. |
| 6342 | Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich] |
| Full Idea: One correspondence theory (e.g. early Wittgenstein) concerns representations and facts; alternatively (Tarski, Davidson) the category of fact is eschewed, and the truth of sentences or propositions is built out of relations of reference and satisfaction. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.7.35) | |
| A reaction: A helpful distinction. Clearly the notion of a 'fact' is an elusive one ("how many facts are there in this room?"), so it seems quite promising to say that the parts of the sentence correspond, rather than the whole thing. |
| 6332 | The common-sense theory of correspondence has never been worked out satisfactorily [Horwich] |
| Full Idea: The common-sense notion that truth is a kind of 'correspondence with the facts' has never been worked out to anyone's satisfaction. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.1) | |
| A reaction: I've put this in to criticise it. Philosophy can't work by rejecting theories which can't be 'worked out', and accepting theories (like Tarski's) because they can be 'worked out'. All our theories will end up minimal, and defiant of common sense. |
| 6335 | The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich] |
| Full Idea: The redundancy theory is unable to account for the inference from "Oscar's claim is true" and "Oscar's claim is that snow is white" to "the proposition 'that snow is white' is true", and hence to "snow is white". | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.9) | |
| A reaction: Earlier objections appealed to the fact that the word 'true' seemed to have a use in ordinary speech, but this seems a much stronger one. In general, showing the role of a term in making inferences pins it down better than ordinary speech does. |
| 6344 | Truth is a useful concept for unarticulated propositions and generalisations about them [Horwich] |
| Full Idea: All uses of the truth predicate are explained by the hypothesis that its entire raison d'être is to help us say things about unarticulated propositions, and in particular to express generalisations about them. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Concl) | |
| A reaction: This certain is a very deflationary notion of truth. Articulated propositions are considered to stand on their own two feet, without need of 'is true'. He makes truth sound like a language game, though. Personally I prefer to mention reality. |
| 6336 | No deflationary conception of truth does justice to the fact that we aim for truth [Horwich] |
| Full Idea: It has been suggested that no deflationary conception of truth could do justice to the fact that we aim for the truth. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.11) | |
| A reaction: (He mentions Dummett and Wright). People don't only aim for it - they become very idealistic about it, and sometimes die for it. Personally I think that any study of truth should use as its example police investigations, not philosophical analysis. |
| 23299 | Horwich's deflationary view is novel, because it relies on propositions rather than sentences [Horwich, by Davidson] |
| Full Idea: Horwich's brave and striking move is to make the primary bearers of truth propositions - not exactly a new idea in itself, but new in the context of a serious attempt to defend deflationism. | |
| From: report of Paul Horwich (Truth (2nd edn) [1990]) by Donald Davidson - The Folly of Trying to Define Truth p.30 | |
| A reaction: Davidson rejects propositions because they can't be individuated, but I totally accept propositions. I'm puzzled why this would produce a deflationist theory, since I think it points to a much more robust view. |
| 6337 | The deflationary picture says believing a theory true is a trivial step after believing the theory [Horwich] |
| Full Idea: According to the deflationary picture, believing that a theory is true is a trivial step beyond believing the theory. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.17) | |
| A reaction: What has gone wrong with this picture is that you cannot (it seems to me) give a decent account of belief without mentioning truth. To believe a proposition is to hold it true. Hume's emotional account (Idea 2208) makes belief bewildering. |
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1) | |
| A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark. |
| 6339 | Logical form is the aspects of meaning that determine logical entailments [Horwich] |
| Full Idea: The logical forms of the sentences in a language are those aspects of their meanings that determine the relations of deductive entailment holding amongst them. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.30) | |
| A reaction: A helpful definition. Not all sentences, therefore, need to have a 'logical form'. Is the logical form the same as the underlying proposition. The two must converge, given that propositions lack the ambiguity that is often found in sentences. |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise. |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea. |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| Full Idea: If there is indeed no property of existence that is expressed by the word 'exist', then it makes no sense to ask for its essence. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
| A reaction: As far as I can tell, this was exactly Aristotle's conclusion, so he skirted round the question of 'being qua being', and focused on the nature of objects instead. Grand continental talk of 'Being' doesn't sound very interesting. |
| 19482 | Current physics says matter and antimatter should have reduced to light at the big bang [New Sci.] |
| Full Idea: Our best theories of physics imply we shouldn't be here. The big bang ought to have produced equal amounts of matter and antimatter particles, which would have almost immediately annihilated each other, leaving nothing but light. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.05.23) | |
| A reaction: This is not, of course, a rejection of physics, but a puzzle about the current standard model of physics. |
| 19483 | CP violation shows a decay imbalance in matter and antimatter, leading to matter's dominance [New Sci.] |
| Full Idea: The phenomenon of charge-parity (CP) violation says that under certain circumstances antiparticles decay at different rates from their matter counterpart. ...This might explain matter's dominance in the universe, but the effect is too small. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.05.23) | |
| A reaction: Physicists are currently studying CP violations, hoping to explain why there is any matter in the universe. This will not, I presume, explain why matter and antimatter arrived in the first place. |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| Full Idea: A Tarskian model can in a sense be seen as a model of a possible state of affairs. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: I include this remark to show how possible worlds semantics built on the arrival of model theory. |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| Full Idea: The notion of a possible worlds model was extended (resulting in the concept of a 'spheres model') in order to obtain a satisfactory logical treatment of counterfactual conditional sentences. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Thus we add 'centred' worlds, and an 'actual' world, to the loose original model. It is important to remember when we discuss 'close' worlds that we are then committed to these presuppositions. |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| Full Idea: The idea of 'impossible worlds' was introduced into epistemic logic. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
| A reaction: Nathan Salmon seems interested in their role in metaphysics (presumably in relation to Meinongian impossible objects, like circular squares, which must necessarily be circular). |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| Full Idea: Each possible worlds model contains a set of possible worlds. For this reason, possible worlds semantics is often charged with smuggling in heavy metaphysical commitments. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
| A reaction: To a beginner it looks very odd that you should try to explain possibility by constructing a model of it in terms of 'possible' worlds. |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| Full Idea: When the possible worlds semantics were further extended to model notions of knowledge and of moral obligation, the application was beginning to look distinctly forced and artificial. | |
| From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 5) | |
| A reaction: They accept lots of successes in modelling necessity and time. |
| 19737 | A system can infer the structure of the world by making predictions about it [New Sci.] |
| Full Idea: If we can train a system for prediction, it can essentially infer the structure of the world it's looking at by doing this prediction. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.12.12) | |
| A reaction: [AI expert] This seems to be powerful support for the centrality of mathematical laws of nature in achieving understanding of the world. We may downplay the 'mere' ability to predict, but this idea says that the rewards of prediction are very great. |
| 19736 | Neural networks can extract the car-ness of a car, or the chair-ness of a chair [New Sci.] |
| Full Idea: Early neural nets were really good at recognising general categories, such as a car or a chair. Those networks are good at extracting the 'chair-ness' or the 'car-ness' of the object. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.12.12) | |
| A reaction: [Interview with Yann LeCun, Facebook AI director] Fregean philosophers such as Geach think that extracting features is a ridiculous idea, but if even a machine can do it then I suspect that human beings can (and do) manage it too. |
| 16419 | No one has yet devised a rationality test [New Sci.] |
| Full Idea: The financial sector has been clamouring for a rationality test for years. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) | |
| A reaction: Many aspects of intelligence tests do actually pick out what I would call rationality (which includes 'rational intuition', a new favourite of mine). But they are mixed in with rather mechanical geeky sort of tests. |
| 16417 | About a third of variation in human intelligence is environmental [New Sci.] |
| Full Idea: Possibly a third of the variation in our intelligence is down to the environment in which we grew up - nutrition and education, for example. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) | |
| A reaction: This presumably leaves the other two-thirds to derive from genetics. I am a big believer in environment. Swapping babies between extremes of cultural environment would hugely affect intelligence, say I. |
| 16418 | People can be highly intelligent, yet very stupid [New Sci.] |
| Full Idea: You really can be highly intelligent, and at the same time very stupid. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) | |
| A reaction: This is closely related to my observation (from a lifetime of study) that a talent for philosophy has a very limited correlation with standard notions of high intelligence. What matters is how conscious reasoning and intuition relate. Greek 'phronesis'. |
| 19484 | Psychologists measure personality along five dimensions [New Sci.] |
| Full Idea: Psychologists have long thought that measuring on a scale of just five personality dimensions - agreeableness, extroversion, neuroticism, conscientiousness and openness to new experiences - can capture all human variations in behaviour and attitude. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.06.13) | |
| A reaction: Researchers are considering a sixth - called 'honesty-humility' - which is roughly how devious people are. The five mentioned here seem to be a well entrenched orthodoxy among professional psychologists. Is personality more superficial than character? |
| 6338 | We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich] |
| Full Idea: Someone who does not understand German and is told 'Schnee ist weiss' is true if frozen H2O is white, does not understand the German sentence, even though he knows the truth-conditions. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.5.22 n1) | |
| A reaction: This sounds like a powerful objection to Davidson's well-known claim that meaning is truth-conditions. Horwich likes the idea that meaning is use, but I think a similar objection arises - you can use a sentence well without knowing its meaning. |
| 6340 | There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich] |
| Full Idea: There are pure, Fregean, abstract, de dicto propositions, in which a compositional structure is filled only with senses; there are pure, Russellian, concrete, de re propositions, which are filled with referents; and there are mixed propositions. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.31) | |
| A reaction: Once Frege has distinguished sense from reference, this distinction of propositions is likely to follow. The current debate over the internalist and externalist accounts of concepts seems to continue the debate. A mixed strategy sounds good. |
| 6341 | Right translation is a mapping of languages which preserves basic patterns of usage [Horwich] |
| Full Idea: The right translation between words of two languages is the mapping that preserves basic patterns of usage - where usage is characterised non-semantically, in terms of circumstances of application, assertibility conditions and inferential role. | |
| From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.32) | |
| A reaction: It still strikes me that if you ask why a piece of language is used in a certain way, you find yourself facing something deeper about meaning than mere usage. Horwich cites Wittgenstein and Quine in his support. Could a machine pass his test? |
| 19950 | Entropy is the only time-asymmetric law, so time may be linked to entropy [New Sci.] |
| Full Idea: All our physical laws are time-symmetric, ...so things can run forwards or backwards. But entropy is an exception, saying that disorder increases over time. Many physicists therefore suspect that the flow of time is linked to entropy. | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) |
| 19478 | Light moves at a constant space-time speed, but its direction is in neither space nor time [New Sci.] |
| Full Idea: A light ray always moves at one unit of space per unit of time - a constant diagonal on the graph. ...But the direction that light rays travel in is neither space nor time, and is called 'null'. It is on the edge between space and time. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Don't understand this, but it sounds fun. |
| 19474 | Quantum states are measured by external time, of unknown origin [New Sci.] |
| Full Idea: When we measure the evolution of a quantum state, it is to the beat of an external timepiece of unknown provenance. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: It is best not to leap to philosophical conclusions when studying modern physics. Evidently time has a very different status in quantum mechanics and in relativity theory. |
| 19473 | The Schrödinger equation describes the evolution of an object's wave function in Hilbert space [New Sci.] |
| Full Idea: A quantum object's state is described by a wave function living in Hilbert space, encompassing all of its possible states. We see how the wave function evolves in time, moving from one state to another, using the Schrödinger equation. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: [These idea are basic explanations for non-scientific philosophers - please forgive anything that makes you wince] |
| 19953 | In string theory space-time has a grainy indivisible substructure [New Sci.] |
| Full Idea: String theory suggests that space-time has a grainy substructure - you can't keep chopping it indefinitely into smaller and smaller pieces. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) | |
| A reaction: Presumably the proposal is that strings are the true 'atoms'. |
| 19954 | It is impossible for find a model of actuality among the innumerable models in string theory [New Sci.] |
| Full Idea: String theory has more than 10-to-the-500th solutions, each describing a different sort of universe, so it is nigh-on impossible to find the one solution that corresponds to our geometrically flat, expanding space-time full of particles. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) |
| 19476 | String theory needs at least 10 space-time dimensions [New Sci.] |
| Full Idea: String theory needs at least 10 space-time dimensions to be mathematically consistent. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Apparently because of 'Ads/CFT', it may be possible to swap this situation for a more tractable 4-dimensional version. |
| 19947 | Hilbert Space is an abstraction representing all possible states of a quantum system [New Sci.] |
| Full Idea: The elements of the abstract mathematical entity called Hilbert Space represent all the possible states of a quantum system | |
| From: New Scientist writers (New Scientist articles [2013], 1017.02.04) |
| 19948 | Einstein's merging of time with space has left us confused about the nature of time [New Sci.] |
| Full Idea: Our hunt for the most basic ingredients of reality has left us muddled about the status of time. One culprit for this was Einstein, whose theory of general relativity merged time with space. | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) |
| 19955 | Space-time may be a geometrical manifestation of quantum entanglement [New Sci.] |
| Full Idea: A promising theory (based on the 'Maldacena duality' - that string equations for gravity are the same as quantum equations for surface area) is that space-time is really just geometrical manifestations of quantum entanglement. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) | |
| A reaction: This is a speculation which might unite the incompatible quantum and general relativity theories. |
| 19475 | Relativity makes time and space jointly basic; quantum theory splits them, and prioritises time [New Sci.] |
| Full Idea: Relativity says space and time are on the same footing - together they are the fabric of reality. Quantum mechanics, on the other hand, treats time and space differently, with time occasionally seeming more fundamental. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Interesting. When talking about time, people glibly cite relativistic space-time to tell you that time is just another dimension. Now I can reply 'Aaah, but what about time in quantum mechanics? Eh? Eh?'. Excellent. |
| 19949 | Quantum theory relies on a clock outside the system - but where is it located? [New Sci.] |
| Full Idea: After general relativity, quantum mechanics reinstated our familiar notion of time. The buzzing of the quantum world plays out according to the authoritative tick of a clock outside the described system, ...but where is this clock doing its ticking? | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) |
| 19951 | Entropy is puzzling, so we may need to build new laws which include time directionality [New Sci.] |
| Full Idea: Smolin observes that if entropy increases, the early universe must have been highly ordered, which we cannot explain. Maybe we need to build time directionality into the laws, instead of making time depend on entropy. | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) | |
| A reaction: [compressed] |
| 19477 | General relativity predicts black holes, as former massive stars, and as galaxy centres [New Sci.] |
| Full Idea: Black holes are predicted by general relativity, and are thought to exist where massive stars once lived, as well as at the heart of every galaxy. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Since black holes now seem to be a certainty, that is one hell of an impressive prediction. |
| 19952 | Black holes have entropy, but general relativity says they are unstructured, and lack entropy [New Sci.] |
| Full Idea: Black holes have a temperature, and hence entropy. ...But if a black hole are just an extreme scrunching of smooth space-time, it should have no substructure, and thus no entropy. This is probably the most obvious incompleteness of general relativity. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) |
| 16420 | 84.5 percent of the universe is made of dark matter [New Sci.] |
| Full Idea: Dark matter makes up 84.5 percent of the universe's matter. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) |
| 17604 | We are halfway to synthesising any molecule we want [New Sci.] |
| Full Idea: Ei-ichi Negishi (Nobel chemist of 2010) says 'the ultimate goal is to be able to synthesise any molecule we want. We are probably about halfway there'. | |
| From: New Scientist writers (New Scientist articles [2013], 2010.10.16) |
| 17603 | Chemistry just needs the periodic table, and protons, electrons and neutrinos [New Sci.] |
| Full Idea: Ei-ichi Negishi (Nobel chemist of 2010) says 'I work with the periodic table in front of me at all times, and approach all challenges in terms of three particles, positively charged protons, negatively charged electrons, and neutral neutrinos'. | |
| From: New Scientist writers (New Scientist articles [2013], 2010.10.16) |