1 / 66

Senses

Senses. Problems for Structured Propositions. Fineness of Grain. Problem for propositions = sets of possible worlds: the set of worlds where “2 + 2 = 4” is true is the same as the set of worlds where “ e i π + 1 = 0” is true. Fineness of Grain.

ganit
Download Presentation

Senses

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Senses

  2. Problems for Structured Propositions

  3. Fineness of Grain Problem for propositions = sets of possible worlds: the set of worlds where “2 + 2 = 4” is true is the same as the set of worlds where “eiπ + 1 = 0” is true

  4. Fineness of Grain But many people believe that “2 + 2 = 4” is true without believing that “eiπ + 1 = 0” is true. The structured propositions theorist has no such problem: she can say there are two propositions. On proposition, for example, contains the number 2, the other does not.

  5. Grain Too Fine? However, the structured propositions theorist will also be forced to admit that these are different propositions: B A B A & &

  6. Meaning of “Superman Flies”

  7. Meaning of “Clark Kent Flies”

  8. Why Are They Truth-Evaluable? According to the structured propositions theorist, propositions are abstract structures with objects and properties occupying certain places in those structures. Most abstract structures are not true or false. Why are these ones?

  9. Language-Like Structure Structured propositions obviously have a structure. Where do they get it from? Why do they have the structure they do? The isomorphism with language suggests the structure comes from language.

  10. Young Propositions But if structured propositions get their structure from language, then they could not exist before language. Thus the proposition that dinosaurs exist did not itself exist until dinosaurs were extinct!

  11. Animal Thought Also, if the structure of propositions comes from language, and propositions are the objects of thought, doesn’t that mean non-linguistic animals cannot think? (Cf. LOT)

  12. Interpreted Logical Forms

  13. Fineness of Grain Returning to the Superman/ Clark Kent problem, perhaps we can increase the fineness of grain of structured propositions by not replacing the words with their meanings, but instead adding the meanings to the words.

  14. Interpreted Logical Form Michael, likes, Paisley,

  15. Meaning of “Superman Flies” flies, Superman,

  16. Meaning of “Clark Kent Flies” flies, Clark Kent,

  17. Language-Bound Beliefs The unfortunate thing about ILFs is that now it seems that French people don’t believe the world is round! Le monde estrond.

  18. Sense

  19. GottlobFrege • 1848-1925 • German mathematician • Principal contributor to modern logic • Worked on the foundations of mathematics • Anti-semite, not very nice

  20. GottlobFrege Lived in relative obscurity—the mathematicians of his time could not comprehend the scope and value of his groundbreaking work Luckily, he was known to Russell and Wittgenstein

  21. Mathematical Truths Frege’s life-long goal: reduce arithmetic to logic. Kant: the truths of arithmetic are synthetic a priori, and we know them through our faculty of intuition, they are preconditions of experience.

  22. Mathematical Truths Frege: such truths are analytic a priori. We know them via proofs which can be mechanically verified. This is called “logicism.” (Frege still thought geometry was synthetic a priori.)

  23. Russell’s Paradox Right before the publication of the 2nd volume of the Foundations of Arithmetic, Frege received a letter from Bertrand Russell. For the remaining 21 years of his life, Frege only published papers elaborating his philosophy of language.

  24. Overview of “On Sense and Reference”

  25. Naïve View Fregerejects the view that the meaning of a term is the object to which it refers (its denotation). ‘Naïve’ view because, lacking a theory, signs are signs of things, right? The naïve view is motivated by Frege’s conception of logic, if we take what logic preserves to be meaning.

  26. Two-Level Theory of Meaning Frege instead opts for a two-level theory of meaning: sense & reference.

  27. means Dog determines grasps ? Sense of “Dog” Dog Mind

  28. Dummett on Sense Different interpreters have given distinct glosses on Frege’s “sense.” (a) Dummett: mode of presentation as a path to referent, method for determining reference.

  29. Evans on Sense Different interpreters have given distinct glosses on Frege’s “sense.” (b) Evans: mode of presentation like a mode of dancing, way of relating to the referent

  30. Sense & Reference Clearly, Frege thinks that sense determines reference “Reference” is known variously as ‘nominatum’, ‘denotation’, ‘bedeutung’, and even ‘meaning’ The two-level view is motivated by its solution to two puzzles: the puzzle of cognitive significance and “Frege’s Puzzle”

  31. Cognitive Significance

  32. Names, for Frege • A proper name (‘George Foreman’, ‘Denmark’, ‘512’, etc.) • A definite description (‘the square root of 2’, ‘the first female senator’, ‘the center of mass of the universe’, etc.) • Presumably other definite NPs, like ‘he’, ‘it’, ‘that dog’ • As we’ll see, sentences • But not: verbs, common nouns, or quantifier phrases

  33. Identity Statements It’s plausible to think that identity statements have as their meaning a relation that hold between a thing and itself (and nothing else) But this runs into a problem when we assume: • That the meaning of a term is its referent • Anyone who knows the meanings of t and t’, where those meanings are identical, knows that t = t’

  34. A Posteriori Identities • Superman is Clark Kent • Today is Tuesday • Garth Brooks is Chris Gaines • William Sydney Porter is O. Henry • Cilantro is coriander • Groundhogs are woodchucks • Orcutt is the greatest Russian spy • That guy is the chief executive of Hong Kong

  35. The Problem The problem of cognitive significance is not about identity statements, however The problem is about co-referring terms that nevertheless have different meanings. It arises whenever there are two different ways of talking about the same thing.

  36. Not about Identity Sentences The sentences: • Superman can fly. • Clark Kent can fly. Differ in cognitive significance, even though they are not identity sentences.

  37. The Metalinguistic Solution Perhaps ‘A = B’ really just means “the referent of ‘A’ is the same as the referent of ‘B’” That is, ‘=’ doesn’t express identity of referent but coreference of sign. Makes identity statements informative. Indeed, Frege held this view in his earlier work

  38. A Posteriori Identities • ‘Superman’ refers to the same thing as ‘Clark Kent’ • ‘Today’ refers to the same thing as ‘Tuesday’ • ‘Garth Brooks’ refers to the same thing as ‘Chris Gaines’ • ‘William Sydney Porter’ refers to the same thing as ‘O. Henry’ • ‘Cilantro’ refers to the same thing as ‘coriander’ • ‘Groundhogs’ refers to the same thing as ‘woodchucks’ • ‘Orcutt’ refers to the same thing as ‘the greatest Russian spy’ • ‘That guy’ co-refers with ‘the chief executive of Hong Kong’

  39. Word vs. World Frege didn’t even think it got the informativity of identity statements right, though We learn something about the world when we are told ‘the center of mass of the universe is the tip of the nose of Barack Obama’ On the proposed theory, however, we only learn about words.

  40. Wrong Predictions Further, the manner of designation makes the difference, not merely differential signs For example ‘V = 5’ does not differ in cognitive significance from ‘5 = 5’

  41. Doesn’t Work for Variables Finally, this account doesn’t explain the use of the identity symbol between variables (as in Leibniz’s Law): LL: For all objects x and y, if x = y, then Fx if and only if Fy.

  42. Doesn’t Work for Variables Finally, this account doesn’t explain the use of the identity symbol between variables (as in Leibniz’s Law): LL: For all objects x and y, if ‘x’ refers to the same thing as ‘y’, then Fx if and only if Fy.

  43. Not about Identity Sentences And to top it all off, the metalinguistic account makes no headway on the general problem of cognitive significance.

  44. Not about Identity Sentences • Superman can fly. • The referent of ‘Superman’ can fly. • Clark Kent = the referent of ‘Superman.’ • Clark Kent can fly.

  45. Frege’s Puzzle

  46. Leibniz’s Law Those objects are the same which may be switched for one another without changing the truth (salvaveritate). For any two names ‘A’ and ‘B’, the object ‘A’ designates is the object ‘B’ designates if and only from any sentence S(A) containing A, we can infer S(B) and vice versa.

  47. Instances John met Benjamin Franklin. Benjamin Franklin = the inventor of bifocals. Therefore, John met the inventor of bifocals. Plato taught Aristotle. Aristotle = the teacher of Alexander the Great. Therefore, Plato taught the teacher of Alexander the Great.

  48. Counterexamples Fregenoticed a certain class of words that can wreak havoc with Leibniz’s Law, the propositional attitude verbs: believe, know, discover, understand, recognize, say, doubt, etc

  49. 1. John believes Benjamin Franklin liked Belgian waffles. 2. Mary discovered that Benjamin Franklin liked potato salad. 3. Sam doubts that Benjamin Franklin liked deep dish pizza. 1’. John believes that the inventor of bifocals liked Belgian waffles. 2’. Mary discovered that the first postmaster general liked potato salad. 3’. Sam doubts that the author of Poor Richard’s Almanac liked deep dish pizza.

More Related