a semantics for means end ascriptions
play

A Semantics for Means-End Ascriptions Jesse Hughes Technical - PowerPoint PPT Presentation

May 23, 2023 •303 likes •1.71k views

Informal Formal Fuzzy A Semantics for Means-End Ascriptions Jesse Hughes Technical University of Eindhoven September 21, 2004 Jesse Hughes A Semantics for Means-End Ascriptions Informal Formal Fuzzy Outline Means and ends, informally 1

  1. Informal Norms in Knowledge Formal Initial analysis Fuzzy Some examples of functional ascriptions “The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.” We ascribe functions to biological stuff, artifacts, algorithms, personal roles. . . Jesse Hughes A Semantics for Means-End Ascriptions

  2. Informal Norms in Knowledge Formal Initial analysis Fuzzy Some examples of functional ascriptions “The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.” We ascribe functions to biological stuff, artifacts, algorithms, personal roles. . . Jesse Hughes A Semantics for Means-End Ascriptions

  3. Informal Norms in Knowledge Formal Initial analysis Fuzzy How functions relate to means and ends “That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ There is an action involving the switch that will cause the television to be muted. Functions imply means-end relations. Step one: Provide a semantics for means-end relations. Jesse Hughes A Semantics for Means-End Ascriptions

  4. Informal Norms in Knowledge Formal Initial analysis Fuzzy How functions relate to means and ends “That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ There is an action involving the switch that will cause the television to be muted. Functions imply means-end relations. Step one: Provide a semantics for means-end relations. Jesse Hughes A Semantics for Means-End Ascriptions

  5. Informal Norms in Knowledge Formal Initial analysis Fuzzy How functions relate to means and ends “That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ There is an action involving the switch that will cause the television to be muted. Functions imply means-end relations. Step one: Provide a semantics for means-end relations. Jesse Hughes A Semantics for Means-End Ascriptions

  6. Informal Norms in Knowledge Formal Initial analysis Fuzzy How functions relate to means and ends “That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ There is an action involving the switch that will cause the television to be muted. Functions imply means-end relations. Step one: Provide a semantics for means-end relations. Jesse Hughes A Semantics for Means-End Ascriptions

  7. Informal Norms in Knowledge Formal Initial analysis Fuzzy How functions relate to means and ends “That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ There is an action involving the switch that will cause the television to be muted. Functions imply means-end relations. Step one: Provide a semantics for means-end relations. Jesse Hughes A Semantics for Means-End Ascriptions

  8. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  9. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  10. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  11. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  12. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  13. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? No. Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  14. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? No. Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  15. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? No. Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  16. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? No. Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  17. Informal Norms in Knowledge Formal Initial analysis Fuzzy Why use formal semantics? Why not? Formal semantics are artificial. Too simple or bloody complicated. Or both. You’ve convinced me. . . Can we go? No. Formal semantics provide precise claims. Consequences are clear, indisputable. Yield rules of inference and (importantly) . . . In our project description. Jesse Hughes A Semantics for Means-End Ascriptions

  18. Informal Norms in Knowledge Formal Initial analysis Fuzzy What is an end? a mean? An end is some desirable condition. A means is a way of making the end true. Means change things: means are actions . Some controversies. Ends-in-themselves? Objects as means? Jesse Hughes A Semantics for Means-End Ascriptions

  19. Informal Norms in Knowledge Formal Initial analysis Fuzzy What is an end? a mean? An end is some desirable condition. A means is a way of making the end true. Means change things: means are actions . Some controversies. Ends-in-themselves? Objects as means? Jesse Hughes A Semantics for Means-End Ascriptions

  20. Informal Norms in Knowledge Formal Initial analysis Fuzzy What is an end? a mean? An end is some desirable condition. A means is a way of making the end true. Means change things: means are actions . Some controversies. Ends-in-themselves? Objects as means? Jesse Hughes A Semantics for Means-End Ascriptions

  21. Informal Norms in Knowledge Formal Initial analysis Fuzzy What is an end? a mean? An end is some desirable condition. A means is a way of making the end true. Means change things: means are actions . Some controversies. Ends-in-themselves? Objects as means? Jesse Hughes A Semantics for Means-End Ascriptions

  22. Informal Norms in Knowledge Formal Initial analysis Fuzzy What is an end? a mean? An end is some desirable condition. A means is a way of making the end true. Means change things: means are actions . Some controversies. Ends-in-themselves? Objects as means? Jesse Hughes A Semantics for Means-End Ascriptions

  23. Informal Norms in Knowledge Formal Initial analysis Fuzzy What is an end? a mean? An end is some desirable condition. A means is a way of making the end true. Means change things: means are actions . Some controversies. Ends-in-themselves? Objects as means? Jesse Hughes A Semantics for Means-End Ascriptions

  24. Informal Norms in Knowledge Formal Initial analysis Fuzzy Possible worlds and making propositions come true Ends are propositions we want to make true. But actions don’t change the meaning of propositions. Think of a set of possible worlds. At each time, one world is the actual world. And at each world, every proposition is true or false. Jesse Hughes A Semantics for Means-End Ascriptions

  25. Informal Norms in Knowledge Formal Initial analysis Fuzzy Possible worlds and making propositions come true Ends are propositions we want to make true. But actions don’t change the meaning of propositions. Think of a set of possible worlds. At each time, one world is the actual world. And at each world, every proposition is true or false. Jesse Hughes A Semantics for Means-End Ascriptions

  26. Informal Norms in Knowledge Formal Initial analysis Fuzzy Possible worlds and making propositions come true Ends are propositions we want to make true. But actions don’t change the meaning of propositions. Think of a set of possible worlds. At each time, one world is the actual world. And at each world, every proposition is true or false. Jesse Hughes A Semantics for Means-End Ascriptions

  27. Informal Norms in Knowledge Formal Initial analysis Fuzzy Possible worlds and making propositions come true Ends are propositions we want to make true. But actions don’t change the meaning of propositions. Think of a set of possible worlds. At each time, one world is the actual world. And at each world, every proposition is true or false. Jesse Hughes A Semantics for Means-End Ascriptions

  28. Informal Norms in Knowledge Formal Initial analysis Fuzzy Possible worlds and making propositions come true Ends are propositions we want to make true. But actions don’t change the meaning of propositions. Think of a set of possible worlds. At each time, one world is the actual world. And at each world, every proposition is true or false. Jesse Hughes A Semantics for Means-End Ascriptions

  29. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Outline Means and ends, informally 1 Norms in Knowledge Initial analysis Means and ends, formally 2 Propositional Dynamic Logic Brown’s Logic of Ability Means and ends, fuzzily 3 Why go fuzzy? Fuzzy sets Jesse Hughes A Semantics for Means-End Ascriptions

  30. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe A set of worlds involving a footrace and starter pistol. Two basic properties: Footrace started? Pistol loaded? Jesse Hughes A Semantics for Means-End Ascriptions

  31. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe A set of worlds involving a footrace and starter pistol. Two basic properties: Footrace started? Started Pistol loaded? Jesse Hughes A Semantics for Means-End Ascriptions

  32. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe A set of worlds involving a footrace and starter pistol. Two basic properties: Footrace started? Pistol loaded? Loaded Jesse Hughes A Semantics for Means-End Ascriptions

  33. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe A set of worlds involving a footrace and starter pistol. Two basic properties: Footrace started? Started Pistol loaded? Loaded Jesse Hughes A Semantics for Means-End Ascriptions

  34. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe Two basic actions: Loading the pistol Firing the pistol Started Loaded Load Jesse Hughes A Semantics for Means-End Ascriptions

  35. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe Two basic actions: Loading the pistol Firing the pistol Started Loaded Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  36. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe Two basic actions: Loading the pistol Firing the pistol Started Loaded Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  37. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe Started Loaded In Saturn, loading and firing is Load Fire a means to starting the race. Jesse Hughes A Semantics for Means-End Ascriptions

  38. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy A simple example of possible worlds Our Universe Started Loaded In Saturn, loading and firing is Load Fire a means to starting the race. Jesse Hughes A Semantics for Means-End Ascriptions

  39. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe Started Loaded In Saturn, loading and firing is Load Fire a means to starting the race. Jesse Hughes A Semantics for Means-End Ascriptions

  40. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe Started Loaded In Saturn, loading and firing is Load Fire a means to starting the race. Jesse Hughes A Semantics for Means-End Ascriptions

  41. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Examples Basic ingredients: A set act of actions A set prop of propositions act = { load , fire } Action constructions: prop = { Loaded , For building complex actions Started } Composition, iteration, choice, test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  42. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Examples Basic ingredients: A set act of actions A set prop of propositions act = { load , fire } Action constructions: prop = { Loaded , For building complex actions Started } Composition, iteration, choice, test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  43. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Examples Basic ingredients: A set act of actions A set prop of propositions act = { load , fire } Action constructions: prop = { Loaded , For building complex actions Started } Composition, iteration, choice, test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  44. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Examples Basic ingredients: A set act of actions A set prop of propositions act = { load , fire } Action constructions: prop = { Loaded , For building complex actions Started } Composition, iteration, choice, test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  45. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Examples Basic ingredients: A set act of actions A set prop of propositions act = { load , fire } Action constructions: prop = { Loaded , For building complex actions Started } Composition, iteration, choice, test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  46. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Dynamic operators Basic ingredients: A set act of actions A set prop of propositions [ m ] ϕ : Action constructions: m will bring about ϕ . � m � ϕ : For building complex actions Composition, iteration, choice, m can bring about ϕ . test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  47. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Introducing the formal language PDL Propositional dynamic logic Dynamic operators Basic ingredients: A set act of actions A set prop of propositions [ m ] ϕ : Action constructions: m will bring about ϕ . � m � ϕ : For building complex actions Composition, iteration, choice, m can bring about ϕ . test Formula constructions: Boolean connectives [ m ] ϕ — strong dynamic operator � m � ϕ — weak dynamic operator Jesse Hughes A Semantics for Means-End Ascriptions

  48. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe [fire] Started fire will make Started true. Started True: Loaded False: Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  49. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe [fire] Started fire will make Started true. Started True: Loaded False: Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  50. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe [fire] Started fire will make Started true. Started True: Loaded False: Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  51. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe [fire] Started fire will make Started true. Started True: Loaded False: Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  52. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe [fire] Started fire will make Started true. Started True: Loaded False: Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  53. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe [fire] Started fire will make Started true. Started True: Loaded False: Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  54. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe � load � Loaded load can make Loaded true. Started True: Loaded False: But every world satisfies [load] Loaded ! Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  55. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe � load � Loaded load can make Loaded true. Started True: Loaded False: But every world satisfies [load] Loaded ! Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  56. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe � load � Loaded load can make Loaded true. Started True: Loaded False: But every world satisfies [load] Loaded ! Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  57. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Some PDL examples Our Universe � load � Loaded load can make Loaded true. Started True: Loaded False: But every world satisfies [load] Loaded ! Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  58. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy But the world isn’t deterministic, is it? Actions may have uncertain outcomes. Randomness Uncertain conditions Actions may require skill Malfunctioning artifacts Our models should support non-determinism. Jesse Hughes A Semantics for Means-End Ascriptions

  59. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy But the world isn’t deterministic, is it? Actions may have uncertain outcomes. Randomness Uncertain conditions Actions may require skill Malfunctioning artifacts Our models should support non-determinism. Jesse Hughes A Semantics for Means-End Ascriptions

  60. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy But the world isn’t deterministic, is it? Actions may have uncertain outcomes. Randomness Uncertain conditions Actions may require skill Malfunctioning artifacts Our models should support non-determinism. Jesse Hughes A Semantics for Means-End Ascriptions

  61. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy But the world isn’t deterministic, is it? Actions may have uncertain outcomes. Randomness Uncertain conditions Actions may require skill Malfunctioning artifacts Our models should support non-determinism. Jesse Hughes A Semantics for Means-End Ascriptions

  62. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy But the world isn’t deterministic, is it? Actions may have uncertain outcomes. Randomness Uncertain conditions Actions may require skill Malfunctioning artifacts Our models should support non-determinism. Jesse Hughes A Semantics for Means-End Ascriptions

  63. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy But the world isn’t deterministic, is it? Actions may have uncertain outcomes. Randomness Uncertain conditions Actions may require skill Malfunctioning artifacts Our models should support non-determinism. Jesse Hughes A Semantics for Means-End Ascriptions

  64. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Adding non-determinism to our model Our Universe The pistol has a weak spring. Sometimes, bullet doesn’t fire, world doesn’t change. Started � � � � � fire � = . Loaded , Actions take a world to a set of worlds! � fire � : W → PW Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  65. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Adding non-determinism to our model Our Universe The pistol has a weak spring. Sometimes, bullet doesn’t fire, world doesn’t change. Started � � � � � fire � = . Loaded , Actions take a world to a set of worlds! � fire � : W → PW Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  66. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Adding non-determinism to our model Our Universe The pistol has a weak spring. Sometimes, bullet doesn’t fire, world doesn’t change. Started � � � � � fire � = . Loaded , Actions take a world to a set of worlds! � fire � : W → PW Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  67. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Adding non-determinism to our model Our Universe The pistol has a weak spring. Sometimes, bullet doesn’t fire, world doesn’t change. Started � � � � � fire � = . Loaded , Actions take a world to a set of worlds! � fire � : W → PW Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  68. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Adding non-determinism to our model Our Universe The pistol has a weak spring. Sometimes, bullet doesn’t fire, world doesn’t change. Started � � � � � fire � = . Loaded , Actions take a world to a set of worlds! � fire � : W → PW Load Fire Jesse Hughes A Semantics for Means-End Ascriptions

  69. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). Jesse Hughes A Semantics for Means-End Ascriptions

  70. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). Jesse Hughes A Semantics for Means-End Ascriptions

  71. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). Jesse Hughes A Semantics for Means-End Ascriptions

  72. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). Jesse Hughes A Semantics for Means-End Ascriptions

  73. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). Jesse Hughes A Semantics for Means-End Ascriptions

  74. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). Jesse Hughes A Semantics for Means-End Ascriptions

  75. Informal Propositional Dynamic Logic Formal Brown’s Logic of Ability Fuzzy Ability and modal logic: Kenny’s analysis Ability is closely related to Means-end ascriptions. Modal logic cannot represent ability (Kenny). 1 �| = ϕ → Can ϕ I hit the bull, but I am not able to hit the bull. 2 �| = Can ( ϕ ∨ ψ ) → (Can ϕ ∨ Can ψ ) I can hit bottom or top, but NOT (I can hit bottom -or- I can hit top). (1) rules out strong modal logics. Jesse Hughes A Semantics for Means-End Ascriptions

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

epistemic comparativism A Contextualist Semantics for Knowledge Ascriptions 6th International

epistemic comparativism A Contextualist Semantics for Knowledge Ascriptions 6th International

epistemic comparativism A Contextualist Semantics for Knowledge Ascriptions 6th International Symposium of Cognition, Logic and Communication, Riga Latvia November 21, 2010 Zoltn Gendler Szab Yale University 2 1. What is contextualism?

588 views • 40 slides
A Semantics for Means-End Relations Jesse Hughes Technical University of Eindhoven August 29,

A Semantics for Means-End Relations Jesse Hughes Technical University of Eindhoven August 29,

Means-end relations in PDL Additional topics A Semantics for Means-End Relations Jesse Hughes Technical University of Eindhoven August 29, 2005 Hughes A Semantics for Means-End Relations Means-end relations in PDL Additional topics

1.68k views • 149 slides
Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What

Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What

Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What is semantics? 2 / 21 What is the meaning of a program? Recall: aspects of a language syntax : the structure of its programs semantics : the

551 views • 21 slides
Component-Based Semantics Peter D. Mosses Swansea University (emeritus) TU Delft (visitor)

Component-Based Semantics Peter D. Mosses Swansea University (emeritus) TU Delft (visitor)

Component-Based Semantics Peter D. Mosses Swansea University (emeritus) TU Delft (visitor) IFIP WG 2.2 Meeting, Bordeaux, September 2017 Component-based semantics Aims encourage language developers to use formal semantics Means

527 views • 27 slides
Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is

Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is

Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is semantics? 2 / 14 What is the meaning of a program? Recall: aspects of a language syntax : the structure of its programs semantics : the meaning of

588 views • 14 slides
Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures

Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures

11/13/18 Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures discussed Predicate-Argument Structure, and composing meanings of parts to produce the correct global sentence meaning Frame Semantic Parsing

460 views • 14 slides
Preparatory course WS2011 - Semantics The job of semantics Referential theories Conceptual

Preparatory course WS2011 - Semantics The job of semantics Referential theories Conceptual

Semantics J. Ruppenhofer, A. Palmer Preliminaries Preparatory course WS2011 - Semantics The job of semantics Referential theories Conceptual Alexis Palmer semantics Some core problems Lexical analysis Sense and word October 10,

1.53k views • 133 slides
11/19/10 Introduction Semantics can mean quite different things in different

11/19/10 Introduction Semantics can mean quite different things in different

11/19/10 Introduction Semantics can mean quite different things in different contexts; fields concerned with semantics are as diverse as psychology, law, Formal Semantics and Pragmatics: computer science, lexicography, logic,

393 views • 10 slides
PL: A Whirlwind Tour Semantics and Foundations Program Semantics To analyze programs, we

PL: A Whirlwind Tour Semantics and Foundations Program Semantics To analyze programs, we

CMSC 430 Compilers Fall 2018 PL: A Whirlwind Tour Semantics and Foundations Program Semantics To analyze programs, we must know what they mean Semantics comes from the Greek semaino , to mean Most language semantics

883 views • 70 slides
Other Kinds of Semantics Introduction to Operational Semantics Denotational semantics

Other Kinds of Semantics Introduction to Operational Semantics Denotational semantics

Lecture Outline COOL operational semantics Operational Semantics of Cool Motivation Notation Adapted from Lectures by Profs. Alex Aiken and George Necula (UCB) The rules CS781(Prasad) L24CG 2 CS781(Prasad) L24CG 1

320 views • 7 slides
Introductory Notes Jigsaw Semantics or: Dynamic Semantics Put Together Again Formal semantics

Introductory Notes Jigsaw Semantics or: Dynamic Semantics Put Together Again Formal semantics

Jigsaw Semantics Introduction Introductory Notes Jigsaw Semantics or: Dynamic Semantics Put Together Again Formal semantics and formal pragmatics: the disciplines are much scattered and seriously challenged, or so it seems. Formal

164 views • 12 slides
1 K-means clustering The K-means clustering algorithm can be seen as applying the EM algorithm to

1 K-means clustering The K-means clustering algorithm can be seen as applying the EM algorithm to

Statistical Modeling and Analysis of Neural Data (NEU 560) Princeton University, Spring 2018 Jonathan Pillow Lecture 18 notes: K-means and Factor Analysis Tues, 4.17 1 K-means clustering The K-means clustering algorithm can be seen as

547 views • 3 slides
15-411: Dynamic Semantics Jan Ho ff mann Dynamic Semantics Static semantics: definition of

15-411: Dynamic Semantics Jan Ho ff mann Dynamic Semantics Static semantics: definition of

15-411: Dynamic Semantics Jan Ho ff mann Dynamic Semantics Static semantics: definition of valid programs Dynamic semantics: definition of how programs are executed So far: Dynamic semantics is given in English on lab handouts This

1.54k views • 137 slides
Lexical Semantics in Formal Semantics: History and Challenges . Barbara H. Partee

Lexical Semantics in Formal Semantics: History and Challenges . Barbara H. Partee

Lexical Semantics in Formal Semantics: History and Challenges . Barbara H. Partee partee@linguist.umass.edu ESSLLI RefSemPlus Workshop, August 2016 1. Introduction n The early important achievements of formal semantics that made it of

1.01k views • 36 slides
Propositional Logic: Semantics Alice Gao Lecture 4, September 19, 2017 Semantics 1/56

Propositional Logic: Semantics Alice Gao Lecture 4, September 19, 2017 Semantics 1/56

Propositional Logic: Semantics Alice Gao Lecture 4, September 19, 2017 Semantics 1/56 Announcements Semantics 2/56 The roadmap of propositional logic Semantics 3/56 FCC spectrum auction an application of propositional spectrums to

1.3k views • 56 slides
Polyteam Semantics Team Semantics Axiomatisations in team semantics Polyteams and

Polyteam Semantics Team Semantics Axiomatisations in team semantics Polyteams and

Polyteam Semantics Jonni Virtema Backround Polyteam Semantics Team Semantics Axiomatisations in team semantics Polyteams and poly-dependence Jonni Virtema Axioms of poly-dependence Hasselt University, Belgium Poly-independence

712 views • 42 slides
Information Containers Data structures and graphs L EO L IBERTI April 24th, 2011 Contents

Information Containers Data structures and graphs L EO L IBERTI April 24th, 2011 Contents

Information Containers Data structures and graphs L EO L IBERTI April 24th, 2011 Contents Contents iii 1 Introduction 3 1.1 A motivation for data structures . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Motivations for graphs . . .

1.05k views • 50 slides
= Count the object using the product n 1 n 2 n 3 . . . n k EE . 90 4

= Count the object using the product n 1 n 2 n 3 . . . n k EE . 90 4

Goals: Probability CS 70 Tips The probability section in CS 70 usually means: I Lets you quantify uncertainty I One big topic , rather than many small topics I Concretely: has applications everywhere! I Try your best to stay up to date ; use

653 views • 5 slides
A Tale of Two Proofs Kristin Camenga Penn State Altoona, Altoona, PA January 19, 2016 Camenga

A Tale of Two Proofs Kristin Camenga Penn State Altoona, Altoona, PA January 19, 2016 Camenga

A Tale of Two Proofs Kristin Camenga Penn State Altoona, Altoona, PA January 19, 2016 Camenga (Penn State) 1/19/16 January 19, 2016 1 / 66 The Problem Can every map be colored with four colors? Camenga (Penn State) 1/19/16 January 19,

1.19k views • 83 slides
Outline Truth, Truth, Subderivations Subderivations and the Liar and the Liar 1. Why Should

Outline Truth, Truth, Subderivations Subderivations and the Liar and the Liar 1. Why Should

Outline Truth, Truth, Subderivations Subderivations and the Liar and the Liar 1. Why Should I Care about the Liar Sentence? Why Should I Why Should I Care about the Care about the Liar Sentence? Liar Sentence? Uses of the Uses of the

636 views • 11 slides
1.7 Cantillon, Physiocrats, & Turgot ECON 452 History of Economic Thought Fall

1.7 Cantillon, Physiocrats, & Turgot ECON 452 History of Economic Thought Fall

1.7 Cantillon, Physiocrats, & Turgot ECON 452 History of Economic Thought Fall 2020 Ryan Safner Assistant Professor of Economics safner@hood.edu ryansafner/thoughtF20 thoughtF20.classes.ryansafner.com Outline Richard

726 views • 43 slides
Sponsors PRE-CONFERENCE GENERAL SESSION Ann Baddour TEXAS APPLESEED Rosie Castro COMMUNITY

Sponsors PRE-CONFERENCE GENERAL SESSION Ann Baddour TEXAS APPLESEED Rosie Castro COMMUNITY

Thank You to our Sponsors PRE-CONFERENCE GENERAL SESSION Ann Baddour TEXAS APPLESEED Rosie Castro COMMUNITY ADVOCATE Lessons from San Antonio: Opportunity, Equity, and Christine Drennon, PhD TRINITY UNIVERSITY Resiliency Ellen Stone,

736 views • 37 slides
Galactic Cosmic rays as a dark matter probe Carmelo Evoli (Universitt Hamburg) Oslo University

Galactic Cosmic rays as a dark matter probe Carmelo Evoli (Universitt Hamburg) Oslo University

Galactic Cosmic rays as a dark matter probe Carmelo Evoli (Universitt Hamburg) Oslo University - 22th of April 2015 (Hess) Radiazione altamente penetrante A 100 years old discovery! Primi studi sistematici Victor Hess

752 views • 52 slides
The many facets of oxygen in life Harinath Chakrapani, IISER Pune Oxygen Essential for life

The many facets of oxygen in life Harinath Chakrapani, IISER Pune Oxygen Essential for life

The many facets of oxygen in life Harinath Chakrapani, IISER Pune Oxygen Essential for life on earth! Discovering Oxygen https://www.youtube.com/watch?v=R7GdH4O3050 Lavoisier, Priestley and Scheele had key roles to play in the

501 views • 15 slides

More recommend