40 ideas
12124 | Metaphysics is the best knowledge, because it is the simplest [Bacon] |
Full Idea: That knowledge is worthiest which is charged with least multiplicity, which appeareth to be metaphysic | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.6) | |
A reaction: A surprising view, coming from the father of modern science, but essentially correct. Obviously metaphysics aspires to avoid multiplicity, but it is riddled not only with complexity in its researches, but massive uncertainties. |
12123 | Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon] |
Full Idea: Knowledges are as pyramides, whereof history is the basis. So of natural philosophy, the basis is natural history, the stage next the basis is physic; the stage next the vertical point is metaphysic. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.6) | |
A reaction: The father of modern science keeps a place for metaphysics, as the most abstract level above the physical sciences. I would say he is right. It leads to my own slogan: science is the servant of philosophy. |
12119 | Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon] |
Full Idea: Physic should contemplate that which is inherent in matter, and therefore transitory; and metaphysic that which is abstracted and fixed | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.3) | |
A reaction: He cites the ancients for this view, with which he agrees. One could do worse than hang onto metaphysics as the study of necessities, but must then face the attacks of the Quineans - that knowledge of necessities is beyond us. |
12120 | Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon] |
Full Idea: Physic inquireth and handleth the material and efficient causes; and metaphysic handleth the formal and final causes. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.3) | |
A reaction: Compare Idea 12119. This divides up Aristotle's famous Four Causes (or Explanations), outlined in 'Physics' II.3. The concept of 'matter', and the nature of 'cause' seem to me to fall with the purview of metaphysics. Interesting, though. |
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. |
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. |
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. |
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. |
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. |
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. |
15592 | The usual Tarskian interpretation of variables is to specify their range of values [Fine,K] |
Full Idea: The usual Tarskian way of indicating how a variable is to be interpreted is to simply specify its range of values. | |
From: Kit Fine (Semantic Relationism [2007], 1.B) |
15593 | Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K] |
Full Idea: The alternative Tarskian way of indicating how a variable is to be interpreted is that a variable x will be a special case of the semantic value of the term; it will be a function which takes each assignment into the individual which it assigns to x. | |
From: Kit Fine (Semantic Relationism [2007], 1.B) |
15590 | It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K] |
Full Idea: Once Frege had provided a clear syntactic account of variables and once Tarski had supplemented this with a rigorous semantic account, it would appear that there was nothing more of significance to be said. | |
From: Kit Fine (Semantic Relationism [2007], 1) | |
A reaction: He later remarks that there are now three semantic accounts: the Tarskian, the instantial, and the algebraic [see xref ideas]. He offers a fourth account in his Semantic Relationism. This grows from his puzzles about variables. |
15591 | In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K] |
Full Idea: When we consider the semantic role of 'x' and 'y' in two distinct expressions x>0 and y>0, their semantic roles seems the same. But in the same expression, such as x>y, their roles seem to be different. | |
From: Kit Fine (Semantic Relationism [2007], 1.A) | |
A reaction: [compressed] This new puzzle about variables leads Fine to say that the semantics of variables, and other expressions, is not intrinsic to them, but depends on their external relations. Variables denote any term - unless another variable got there first. |
15595 | The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K] |
Full Idea: In the 'algebraic' approach to variables, we move from a quantified sentence to the term specifying a property (the λ-term), and then reducing to the algebraic operations for atomic formulas. | |
From: Kit Fine (Semantic Relationism [2007], 1.C) | |
A reaction: [Bealer is a source for this view] Fine describes it as an 'algebra of operations'. I presume this is a thoroughly formalist approach to the matter, which doesn't seem to get to the heart of the semantic question. |
15594 | 'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K] |
Full Idea: According to the 'instantial' approach to variables, a closed quantified sentence is to be understood on the basis of one of its instances; from an understanding of an instance we understand satisfaction by an arbitrary individual. | |
From: Kit Fine (Semantic Relationism [2007], 1.D) | |
A reaction: Fine comments that this is intuitively plausible, but not very precise, because it depends on 'abstraction' of the individual from the expression. |
15599 | Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K] |
Full Idea: There may be a semantic relationship between 'Cicero' and 'Cicero' that does not hold between 'Cicero' and 'Tully', despite the lack of an intrinsic semantic difference between the names themselves. | |
From: Kit Fine (Semantic Relationism [2007], 2.E) | |
A reaction: This is the key idea of Fine's book, and a most original and promising approach to a rather intractable problem in reference. He goes on to distinguish names which are 'strictly' coreferential (the first pair) from those that are 'accidentally' so. |
15603 | I can only represent individuals as the same if I do not already represent them as the same [Fine,K] |
Full Idea: I can only represent two individuals as being the same if I do not already represent them as the same. | |
From: Kit Fine (Semantic Relationism [2007], 3.A) | |
A reaction: A very nice simple point. If I say 'Hesperus is Hesperus' I am unable to comment on the object, but 'Hesperus is Phosphorus' has a different expressive power. Start from contexts where it is necessary to say that two things are actually one. |
15604 | If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K] |
Full Idea: 'Cicero=Cicero' and 'Cicero=Tully' are both dyadic predications. It is unnatural to suppose that the use of the same name converts a dyadic predicate into a reflexive predicate, or that there is one reference to Cicero in the first and two in the second. | |
From: Kit Fine (Semantic Relationism [2007], 3.A) | |
A reaction: I am deeply suspicious of the supposed 'property' of being self-identical, but that may not deny that it could be a genuine truth (shorthand for 'the C you saw is the same as the C I saw'). Having an identity makes equality with self possible. |
12121 | We don't assume there is no land, because we can only see sea [Bacon] |
Full Idea: They are ill discoverers that think there is no land, when they can see nothing but sea. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.5) | |
A reaction: Just the sort of pithy remark for which Bacon is famous. It is an obvious point, but a nice corrective to anyone who wants to apply empirical principles in a rather gormless way. |
12117 | Science moves up and down between inventions of causes, and experiments [Bacon] |
Full Idea: All true and fruitful natural philosophy hath a double scale or ladder, ascendent and descendent, ascending from experiments to the invention of causes, and descending from causes to the invention of new experiments. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.1) | |
A reaction: After several hundred years, I doubt whether anyone can come up with a better account of scientific method than Bacon's. |
12127 | Many different theories will fit the observed facts [Bacon] |
Full Idea: The ordinary face and view of experience is many times satisfied by several theories and philosophies. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VIII.5) | |
A reaction: He gives as his example that the Copernican system and the Ptolemaic system both seem to satisfy all the facts. He wrote in 1605, just before Galileo's telescope. His point is regularly made in modern discussions. In this case, he was wrong! |
12126 | People love (unfortunately) extreme generality, rather than particular knowledge [Bacon] |
Full Idea: It is the nature of the mind of man (to the extreme prejudice of knowledge) to delight in the spacious liberty of generalities, as in a champaign region, and not in the inclosures of particularity. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VIII.1) | |
A reaction: I have to plead guilty to this myself. He may have pinpointed the key motivation behind philosophy. We all want to know things, as Aristotle said, but some of us want the broad brush, and others want the fine detail. |
15602 | Mental files are devices for keeping track of basic coordination of objects [Fine,K] |
Full Idea: Mental files should be seen as a device for keeping track of when objects are coordinated (represented as-the-same) and, rather than understand coordination in terms of mental files, we should understand mental files in terms of coordination. | |
From: Kit Fine (Semantic Relationism [2007], 3.A) | |
A reaction: Personally I think that the metaphor of a 'label' is much closer to the situation than that of a 'file'. Thus my concept of Cicero is labelled 'Tully', 'Roman', 'orator', 'philosophical example'... My problem is to distinguish the concept from its labels. |
15588 | You cannot determine the full content from a thought's intrinsic character, as relations are involved [Fine,K] |
Full Idea: There is no determining the full content of what someone thinks or believes from the individual things that he thinks or believes; we must also look at the threads that tie the contents of these thoughts or beliefs together. | |
From: Kit Fine (Semantic Relationism [2007], Intro) | |
A reaction: I'm not sure what 'full' content could possibly mean. Does that include all our background beliefs which we hardly ever articulate. Content comes in degrees, or needs an arbitrary boundary? |
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. |
15596 | The standard aim of semantics is to assign a semantic value to each expression [Fine,K] |
Full Idea: The aim of semantics, as standardly conceived, is to assign a semantic value to each (meaningful) expression of the language under consideration. | |
From: Kit Fine (Semantic Relationism [2007], 1.G) | |
A reaction: Fine is raising the difficulty that these values can get entangled with one another. He proposes 'semantic connections' as a better aim. |
15587 | That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K] |
Full Idea: In my 'Semantic Relationism' the fact that two utterances say the same thing is not entirely a matter of their intrinsic semantic features; it may also turn on semantic relationships among the utterances of their parts not reducible to those features. | |
From: Kit Fine (Semantic Relationism [2007], Intro) | |
A reaction: You'll need to read the book slowly several times to get the hang of this, but at least it allows that two different utterances might say the same thing (express the same proposition, I would say). |
15589 | The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K] |
Full Idea: For holists a proper theory will be broadly inferential, while for their opponents it will be representational in character, describing relations between expressions and reality. Representational semantics is atomist, holist semantics inferential. | |
From: Kit Fine (Semantic Relationism [2007], Intro) | |
A reaction: Fine presents these as the two main schools in semantics. His own theory then proposes a more holistic version of the Representational view. He seeks the advantages of Frege's position, but without 'sense'. |
15598 | We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K] |
Full Idea: A 'semantics' is a body of semantic facts, and a 'semantic theory' is a body of semantic truths. The natural order is a theory being understood as truths, which state facts. Davidson, alas, reversed this order, with facts understood through theories. | |
From: Kit Fine (Semantic Relationism [2007], 2.C) | |
A reaction: [compressed; he cites Davidson 1967, and calls it 'one of the most unfortunate tendencies in modern philosophy of language, ..as if chemistry were understood in terms of formulae rather than chemical facts']. |
15600 | Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K] |
Full Idea: The standard referentialist semantics for a language with names is that the semantic value of the name is the object, the content of a predicate is a property, and the content of a logical connective is an operation on propositions. | |
From: Kit Fine (Semantic Relationism [2007], 2.F) | |
A reaction: My particular bęte noire is the idea that every predicate names a property. It is the tyranny of having to have a comprehensive semantic theory that drives this implausible picture. And I don't see how an object can be a semantic value… |
15601 | Fregeans approach the world through sense, Referentialists through reference [Fine,K] |
Full Idea: Fregeans emphasise an orientation towards the speaker: possession of sense makes language meaningful, and language relates to the world through sense. For the Referentialist its representational relationships make it meaningful, and relate it to the world | |
From: Kit Fine (Semantic Relationism [2007], 2.G) | |
A reaction: The Referentialist approach is for Kripkean fans of direct reference, rather than the Fregean reference through descriptions. I am inclined to favour the old-fashioned, deeply discredited, much mocked Fregean approach. |
15605 | I take indexicals such as 'this' and 'that' to be linked to some associated demonstration [Fine,K] |
Full Idea: Demonstrative uses of an indexical such as 'this' or 'that' should be taken to be anaphoric on an associated demonstration. It is a semantic requirement on the use of the indexical that it be coreferential with the demonstration. | |
From: Kit Fine (Semantic Relationism [2007], Post 'Indexicals') | |
A reaction: Similarly 'now' must connect to looking at a clock, and 'I' to pointing at some person. The demonstration could be of a verbal event, as much as a physical one. |
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? |
12125 | Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon] |
Full Idea: To say 'leaves are for protecting of fruit', or that 'clouds are for watering the earth', is well inquired and collected in metaphysic, but in physic they are impertinent. They are hindrances, and the search of the physical causes hath been neglected. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.7) | |
A reaction: This is the standard rebellion against Aristotle which gave rise to the birth of modern science. The story has been complicated by natural selection, which bestows a sort of purpose on living things. Nowadays we pursue both paths. |
12118 | Essences are part of first philosophy, but as part of nature, not part of logic [Bacon] |
Full Idea: I assign to summary philosophy the operation of essences (as quantity, similitude, diversity, possibility), with this distinction - that they be handled as they have efficacy in nature, and not logically. | |
From: Francis Bacon (The Advancement of Learning [1605], II.VII.3) | |
A reaction: I take this to be a splendid motto for scientific essentialism, in a climate where modal logicians appear to have taken over the driving seat in our understanding of essences. |