<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Vukutu &#187; Philosophy of Language</title>
	<atom:link href="http://www.vukutu.com/blog/category/philosophy-of-language/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.vukutu.com/blog</link>
	<description>away beyond many a far meridian</description>
	<lastBuildDate>Fri, 03 Feb 2012 12:36:23 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.1</generator>
		<item>
		<title>Michael Dummett RIP</title>
		<link>http://www.vukutu.com/blog/2011/12/michael-dummett-rip/</link>
		<comments>http://www.vukutu.com/blog/2011/12/michael-dummett-rip/#comments</comments>
		<pubDate>Thu, 29 Dec 2011 12:09:39 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Mathematics]]></category>
		<category><![CDATA[Matherati]]></category>
		<category><![CDATA[Obituaries]]></category>
		<category><![CDATA[Philosophy of Language]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=3790</guid>
		<description><![CDATA[The death has just occurred of the philosopher Michael Dummett (1925-2011), formerly Wykeham Professor of Logic at Oxford.    His writings on the philosophy of language and the philosophy of mathematics have influenced me, particularly his thorough book on intuitionism.   Having been educated by pure mathematicians who actively disparaged intuitionist and constructivist ideas, I found it [...]]]></description>
			<content:encoded><![CDATA[<p>The death has just occurred of the philosopher Michael Dummett (1925-2011), formerly Wykeham Professor of Logic at Oxford.    His writings on the philosophy of language and the philosophy of mathematics have influenced me, particularly his thorough book on intuitionism.   Having been educated by pure mathematicians who actively disparaged intuitionist and constructivist ideas, I found it liberating to see these ideas taken seriously and considered carefully.  The precision of Dummett&#8217;s writing and thought clearly marked him out as a member of the Matherati, as also his other formal work, such as that on voting procedures.</p>
<p><strong><em>POSTSCRIPT (2012-01-21):  </em></strong>The logician Graham Priest <a href="http://opinionator.blogs.nytimes.com/2012/01/04/remembering-michael-dummett/" target="_blank">remembers Dummett</a> as follows:</p>
<blockquote><p>It is clear that Dummett was one of the most important — perhaps the most important — British philosopher of the last half century. His work on the philosophy of language and metaphysics, inspired by themes in intuitionist logic, was truly groundbreaking. He took intuitionism from a somewhat esoteric doctrine in the philosophy of mathematics to a mainstream philosophical position.</p>
<p>Perhaps his greatest achievement, as far as I am concerned, was to demonstrate beyond doubt the intellectual respectability of a fully-fledged philosophical position based on a contemporary heterodox logic. Philosophers in the United Kingdom, even if they do not subscribe to Dummett’s views, no longer doubt the possibility of this. Dummett had an influence in Australia, too. It was quieter there than in the U.K., but the relevant philosophical lesson was amplified by logicians who endorsed heterodox logics of a different stripe (for which, I think, Dummett had little sympathy). The result has been much the same.</p>
<p>In the United States, though, Dummett had virtually no significant impact. Indeed, I am continually surprised how conservative philosophy in the United States is with regard to heterodox logics. It is still awaiting a Dummett to awaken it from its dogmatic logical slumbers.</p>
<p><em>Graham Priest, City University of New York Graduate Center, and the University of Melbourne (Australia)</em></p></blockquote>
<p><em>References:</em></p>
<p>His Guardian obituary is <a href="http://www.guardian.co.uk/world/2011/dec/28/sir-michael-dummett" target="_blank">here</a>.  An index to posts about members of the Matherati can be found <a href="http://www.vukutu.com/blog/2011/07/the-matherati-index/" target="_blank">here</a>.</p>
<p>M. Dummett [1977/2000]: <em>Elements of Intuitionism.</em> (Oxford: Clarendon Press, 1st edition 1977; 2nd edition 2000).</p>
]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2011/12/michael-dummett-rip/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Automating prayer</title>
		<link>http://www.vukutu.com/blog/2011/11/automating-prayer/</link>
		<comments>http://www.vukutu.com/blog/2011/11/automating-prayer/#comments</comments>
		<pubDate>Fri, 04 Nov 2011 11:42:06 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Computer Science]]></category>
		<category><![CDATA[Human intelligence]]></category>
		<category><![CDATA[Philosophy of Language]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=3523</guid>
		<description><![CDATA[I have recently re-read Michael Frayn&#8217;s The Tin Men, a superb satire of AI.  Among the many wonderful passages is this, on the semantic verification problem of agent communications: &#8220;Ah,&#8221; said Rowe, &#8220;there&#8217;s a difference between a man and a machine when it comes to praying.&#8221;   &#8220;Aye. The machine would do it better. It wouldn&#8217;t [...]]]></description>
			<content:encoded><![CDATA[<p>I have recently re-read Michael Frayn&#8217;s <em>The Tin Men, </em>a superb satire of AI.  Among the many wonderful passages is this, on the <a href="http://www.csc.liv.ac.uk/~mjw/pubs/jaamas2000a.pdf" target="_blank">semantic verification problem of agent communications</a>:</p>
<blockquote><p>&#8220;Ah,&#8221; said Rowe, &#8220;there&#8217;s a difference between a man and a machine when it comes to praying.&#8221;   &#8220;Aye. The machine would do it better. It wouldn&#8217;t pray for things it oughtn&#8217;t pray for, and its thoughts wouldn&#8217;t wander.&#8221;</p>
<p>&#8220;Y-e-e-s. But the computer saying the words wouldn&#8217;t be the same . . .&#8221;</p>
<p>&#8220;Oh, I don&#8217;t know. If the words &#8216;<em>O Lord, bless the Queen and her Ministers</em>&#8216; are going to produce any tangible effects on the Government, it can&#8217;t matter who or what says them, can it?&#8221;</p>
<p>&#8220;Y-e-e-s, I see that. But if a man says the words he <em>means</em> them.&#8221;</p>
<p>&#8220;So does the computer. Or at any rate, it would take a damned complicated computer to say the words <em>without</em> meaning them. I mean, what do we mean by &#8216;mean&#8217;? If we want to know whether a man or a computer <em>means</em> &#8216;O Lord, bless the Queen and her Ministers,&#8217; we look to see whether it&#8217;s grinning insincerely or ironically as it says the words. We try to find out whether it belongs to the Communist Party. We observe whether it simultaneously passes notes about lunch or fornication. If it passes all the tests of this sort, what other tests <em>are</em> there for telling if it means what it says? All the computers in my department, at any rate, would pray with great sincerity and single-mindedness. They&#8217;re devout wee things, computers.&#8221; (pages 109-110).</p></blockquote>
<p><em>Reference:</em></p>
<p>Michael Frayn [1995/1965]: <em>The Tin Men </em>(London, UK: Penguin, originally published by William Collins, 1965)</p>
]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2011/11/automating-prayer/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>A salute to Charles Hamblin</title>
		<link>http://www.vukutu.com/blog/2011/01/a-salute-to-charles-hamblin/</link>
		<comments>http://www.vukutu.com/blog/2011/01/a-salute-to-charles-hamblin/#comments</comments>
		<pubDate>Mon, 10 Jan 2011 12:24:38 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Argumentation]]></category>
		<category><![CDATA[Computer Science]]></category>
		<category><![CDATA[Computing-as-interaction]]></category>
		<category><![CDATA[Logic]]></category>
		<category><![CDATA[Matherati]]></category>
		<category><![CDATA[Obituaries]]></category>
		<category><![CDATA[Philosophy of Language]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=2769</guid>
		<description><![CDATA[This short biography of Australian philosopher and computer scientist Charles L. Hamblin was initially commissioned by the Australian Computer Museum Society. Charles Leonard Hamblin (1922-1985) was an Australian philosopher and one of Australia&#8217;s first computer scientists. His main early contributions to computing, which date from the mid 1950s, were the development and application of reverse [...]]]></description>
			<content:encoded><![CDATA[<p>This short biography of Australian philosopher and computer scientist Charles L. Hamblin was initially commissioned by the <a href="http://www.acms.org.au/" target="_blank">Australian Computer Museum Society</a>.</p>
<p>Charles Leonard Hamblin (1922-1985) was an Australian philosopher and one of Australia&#8217;s first computer scientists. His main early contributions to computing, which date from the mid 1950s, were the development and application of reverse polish notation and the zero-address store. He was also the developer of one of the first computer languages, GEORGE. Since his death, his ideas have become influential in the design of computer interaction protocols, and are expected to shape the next generation of e-commerce and machine-communication systems.</p>
<p><span id="more-2769"></span></p>
<p>Hamblin was born in 1922 and attended North Sydney Boys&#8217; High School and Geelong Grammar. He then took degrees in Arts (Philosophy and Mathematics) and in Science (Physics), followed by an MA in Philosophy (First Class Honours) at Melbourne University, with his studies interrupted by work as a radar officer in the RAAF during World War II. Following the war, he gained a PhD at the London School of Economics, University of London on the topic, <em>&#8220;Language and the Theory of Information&#8221;</em>, apparently under Karl Popper (Hamblin 1957a). Hamblin&#8217;s thesis presented a critique of Shannon&#8217;s theory of information from a semantic perspective, and developed a possible-worlds semantics for question-response exchanges. Between 1955 and his death in 1985 he was a Lecturer and Professor in the School of Philosophy at New South Wales University of Technology (NSWUT), which later became the University of New South Wales (UNSW).</p>
<p>In 1956, the University purchased a <a href="http://users.tpg.com.au/eedeuce/">DEUCE</a> computer manufactured by the <a href="http://ed-thelen.org/comp-hist/EarlyBritish-13-17.html#Ch-13">English Electric Company (EEC)</a>, an early British computer manufacturer, and Hamblin, with his radar background, became involved in working with this machine. This was the <a href="http://www.asap.unimelb.edu.au/pubs/guides/csirac/pearcey/pearcey1.htm">second</a> academic computer in Australia, after that of the University of Sydney. Hamblin soon became aware of the problems of (a) computing mathematical formulae containing brackets, and (b) the memory overhead in having dealing with memory stores each of which had its own name. One solution to the first problem was <a href="http://www.calculator.org/Lukasiewicz.html">Jan Lukasiewicz&#8217;s</a> Polish notation, which enables a writer of mathematical notation to instruct a reader the order in which to execute the operations (e.g. addition, multiplication, etc) without using brackets. Polish notation achieves this by having an operator (+, *, etc) precede the operands to which it applies, e.g., +ab, instead of the usual, a+b. Hamblin, with his training in formal logic, knew of Lukasiewicz&#8217;s work.</p>
<p>However, this does not solve the second problem. Hamblin realized that placing the operation symbol to the right of the operands (i.e., reversing the polish notation, as in ab+) would enable the machine to make use of a store which did not require an address &#8211; the current operation would always be conducted on the most-recent operands inserted and still remaining in the store. This store came to be called a stack, or last-in, first-out (LIFO) store. He implemented these ideas in a programming language for the DEUCE machine, a language he called <a href="http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?GEORGE">GEORGE</a>, for General Order Generator. This work was undertaken at a time when there were only a handful of programming languages, and indeed still some resistance to the idea of non-assemblor languages (due to their greater memory requirements). Hamblin&#8217;s work on the DEUCE machine at UNSW overlapped with that of <a href="http://research.microsoft.com/%7EGBell/">Gordon Bell</a> and Bob Brigham, who wrote a symbolic assembler and run-time system called <a href="http://foldoc.org/?query=SODA">SODA</a> (or Symbolic Optimum DEUCE Assembly Program) (Brigham and Bell 1959). GEORGE used the SODA runtime library.</p>
<p>Hamblin presented his work at the first Australian conference on computing, which was held at the Weapon Research Establishment in Salisbury, South Australia, in June 1957 (Hamblin 1957b). Employees of the English Electric Company were present at this conference, and took his ideas back to England. As a consequence, Hamblin&#8217;s architecture was implemented in the company&#8217;s next machine, which came to be called the <a href="http://ed-thelen.org/comp-hist/EarlyBritish-13-17.html">KDF9</a>. The architecture of this machine even used Hamblin&#8217;s terminology. This machine was announced in 1960 and delivered (i.e. made available commercially) in 1963. Hamblin published his ideas in 1957 (Hamblin 1957b, 1957c) and 1962 (Hamblin 1962). An earlier paper (Burks <em>et al.</em> 1954) presented the same ideas in a more general notational framework, and that paper was briefly reviewed in the <em>Journal of Symbolic Logic</em> in 1955 (Nelson 1955). Hamblin may have seen the Burks paper, or (with greater probability) the <em>JSL</em> review, although neither of these articles is cited in his 1962 <em>Computer Journal</em> paper which presents RPN (Hamblin 1962). (When accessed on 2010-07-20, the catalogue of the Library of the University of New South Wales indicated that the UNSW Library did not currently carry the journal in which the Burks paper was published, <em>Mathematical Tables and Other Aids to Computation</em>; of course, the Library may have carried this journal in the past.)</p>
<p>Another computer, the American <a href="http://ed-thelen.org/comp-hist/BRL64-b.html#BURROUGHS-B5000">Burroughs B5000</a>, announced in 1961 and delivered in 1963, also used a zero-address architecture, and also enabled reverse polish notation to be used for programming. R. S. Barton, one of the designers of the B5000, has written that he developed RPN independently of Hamblin, sometime in 1958 while reading a textbook on symbolic logic, and before he was aware of Hamblin&#8217;s work (Barton 1970). A decade after Hamblin first published his ideas, engineers at Hewlett-Packard (HP) developed a personal calculator, the <a href="http://www.hp.com/hpinfo/abouthp/histnfacts/museum/personalsystems/0021/">9100A Desktop Calculator</a>, which used RPN. This calculator, the first in a long line by HP, was released in 1968, and it popularized RPN among the scientific and engineering communities; note, however, that early <a href="http://www.hp.com/hpinfo/abouthp/histnfacts/museum/personalsystems/0021/other/0021ad.pdf">advertisements</a> for the 9100A did not mention RPN.</p>
<p>Even if Hamblin&#8217;s work on RPN was not the first to be published that applied Polish Notation to a computational domain, people at the  time thought it was, as evidenced by the refereed publication of his 1962 paper in the <em>Computer Journal</em>, and Barton&#8217;s comments published in 1970.   Hamblin&#8217;s contribution to computer science was also recognized with an obituary in the <em>Australian Computer Journal</em> (Allen 1985) and in an influential <a href="http://ed-thelen.org/comp-hist/EarlyBritish-13-17.html">history</a> of British computing (Lavington 1980). In addition, GEORGE is listed in Bill Kinnersley&#8217;s comprehensive directory of computer languages, <a href="http://people.ku.edu/%7Enkinners/LangList/Extras/langlist.htm">The Language List</a>. In the 1960s, Hamblin also worked on implementing Tarski&#8217;s decision method for real closed fields (Tarski 1951), the first order theory of real numbers with addition and multiplication, and hired two programmers to assist in this project, <a href="http://cs.anu.edu.au/personnel/staffDisplay.html?staffId=126">Malcolm Newey</a> and <a href="http://boole.stanford.edu/pratt.html">Vaughan Pratt</a>. However, only in 1974 was it shown by Fischer and Rabin (1974) that the running time of this problem had an exponential lower bound.</p>
<p>Although usually not credited, Hamblin was the originator of two other ideas which subsequently became important in Artificial Intelligence. Firstly, Hamblin appears to have been the first person to define a formal measure of <em>plausibility</em>, distinct from that of probability, in a paper published in 1959. Alternative formalisms for uncertainty have come to play a very important role in Artificial Intelligence, particularly in the design of knowledge-based systems, due to the failure of the standard Kolmogorov axioms of probability to adequately account for all forms of uncertainty and for its manipulation. One person particularly taken by Hamblin&#8217;s work in this area was the British economist, George Shackle, who in the 1940s and 1950s had developed a theory of decision-making under uncertainty based on the potential surprise of rival uncertain beliefs, and focusing on the best-case and worst-case outcomes of alternative decision-options (see pp. 97 &#8211; 100 of Shackle 1969). (Shackle&#8217;s theory, based on his real-world experience of government economic policy making and business investment decisions, differed from the Maximum Expected Utility theory of Leonard J. Savage which has <a href="http://www.vukutu.com/blog/2010/11/coupling-preferences-and-decision-processes/" target="_blank">unfortunately</a> come to dominate mainstream economics.)</p>
<p>Secondly, Hamblin was the first person to propose an axiomatic account of time based on intervals, rather than points. This was in a paper published in 1969. An interval calculus for time was later proposed by James Allen (1984), and has been influential in AI, both as a basis for reasoning about time, and, when extended to multiple dimensions, as a basis for reasoning about space (Anger and Rodriguez 1991).</p>
<p>From the 1960s, Hamblin returned to work in philosophy, particularly the philosophy of argumentation, and wrote two very influential books. One of these, <em>Fallacies</em>, published in 1970, is a study of the classical logical fallacies, such as begging the question, which Hamblin examined by means of formal dialogue games. These are games between speakers who utter statements according to strict rules, and they were first studied by Aristotle. Being rule-governed, these games have gained the attention of computer scientists, and, from about 1989, they have been applied in a number of areas, including: natural language processing; human-machine interaction; the design of complex software; and for dialogues between autonomous software agents (McBurney and Parsons 2009). Interaction and communication protocols based on formal dialogue games are likely to form the basis for the next generation of e-commerce systems and systems supporting high-level machine-to-machine communications. Another of Hamblin&#8217;s books, <em>Imperatives</em>, published posthumously in 1987, has also been influential in recent work in computer science, in modeling and implementing delegation of tasks between software agents (Atkinson <em>et al.</em> 2008, Reed and Norman 2007, Norman and Reed 2010).</p>
<p>Hamblin was fluent in several languages, including ancient Greek and Latin. He was one of three fellow-students from his time at Geelong Grammar to become professors of philosophy (the others being David Armstrong and Michael Scriven). At the time of his death, he was apparently attempting to set text of Wittgenstein to music.</p>
<p>Charles Hamblin was a pioneer computer scientist and a prominent philosopher, whose influence on the subject is still being felt. His contributions to applied and theoretical computing show the deep links which Computer Science has had, and continues to have, with philosophy and logic.</p>
<p><em>References:</em></p>
<p>In addition to the works cited in the text above, I have also listed all of Hamblin&#8217;s publications known to me.</p>
<blockquote><p>J. F. Allen [1984]: Towards a general theory of action and time. <em>Artificial Intelligence</em>, <strong>23(2):</strong> 123-154.</p>
<p>M. W. Allen [1985]: Charles Hamblin (1922-1985). <em>The Australian Computer Journal</em>, <strong>17(4):</strong> 194-195.</p>
<p>F. D. Anger and R. V. Rodriguez [1991]: Time, tense, and relativity revisited. In: B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh (Editors): <em>Uncertainty in Knowledge Bases: Proceedings of the Third International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 1990)</em>, pp. 286-295. Heidelberg, Germany: Springer.</p>
<p>K. Atkinson, R. Girle, P. McBurney and S. Parsons [2008]: Command dialogues. In: I. Rahwan and P. Moraitis (Editors): <em>Proceedings of the Fifth International Workshop in Argumentation in Multi-Agent Systems (ArgMAS 2008)</em>. AAMAS 2008, Lisbon, Portugal.</p>
<p>R. S. Barton [1970]: Ideas for computer systems organization: a personal survey. pp. 7-16 of: J. S. Jou (Editor): <em>Software Engineering: Volume 1: Proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December 1969</em>. New York, NY, USA: Academic Press.</p>
<p>R. C. Brigham and C. G. Bell [1959]: A Translation Routine for the DEUCE Computer. <em>The Computer Journal</em>, <strong>2 (2):</strong> 76-84.</p>
<p>A. W. Burks, D. W. Warren and J. B. Wright [1954]: An analysis of a logical machine using paranthesis-free notation. <em>Mathematical Tables and Other Aids to Computation</em>, 8 (46): 53-57.</p>
<p>M. J. Fischer and M. O. Rabin [1974]: Super-exponential complexity of Pressburger arithmetic. <em>Complexity of Computation, AMS-SIAM Proceedings.</em> <strong>7:</strong> 27-41.</p>
<p>R. J. Gillings and C. L. Hamblin [1964]: Babylonian reciprocal tables on UTECOM. <em>Technology</em>, <strong>9 (2)</strong>: 41-42, August 1964. An expanded version appeared in <em>Australian Journal of Science</em>, <strong>27</strong>, 1964.</p>
<p>C. L. Hamblin [1957a]: <em>Language and the Theory of Information</em>. PhD Thesis, Logic and Scientific Method Programme, University of London, London, UK. Submitted October 1956, awarded 1957.</p>
<p>C. L. Hamblin [1957b]: An addressless coding scheme based on mathematical notation. <em>Proceedings of the First Australian Conference on Computing and Data Processing</em>, Salisbury, South Australia: Weapons Research Establishment, June 1957.</p>
<p>C. L. Hamblin [1957c]: Computer Languages. <em>The Australian Journal of Science</em>, <strong>20:</strong> 135-139. Reprinted in <em>The Australian Computer Journal</em>, <strong>17(4):</strong> 195-198 (November 1985).</p>
<p>C. L. Hamblin [1957d]: Review of: W. R. Ashby: <em>Introduction to Cybernetics.</em> <em>Australasian Journal of Philosophy</em>, <strong>35</strong>.</p>
<p>C. L. Hamblin [1958a]: Questions. <em>Australasian Journal of Philosophy</em>, <strong>36(3)</strong>: 159-168.</p>
<p>C. L. Hamblin [1958b]: Review of: <em>Time and Modality</em>, by A. N. Prior. <em>Australasian Journal of Philosophy</em>, <strong>36</strong>: 232-234.</p>
<p>C. L. Hamblin [1958c]: Surprises, innovations and probabilities. <em>Proceedings of the ANU Symposium on Surprise</em>, Canberra, July 1958.</p>
<p>C. L. Hamblin [1958d]: Review of: <em>Formal Analysis of Normative Systems</em>, by A. R. Anderson. <em>Australasian Journal of Philosophy</em>, <strong>36</strong>.</p>
<p>C. L. Hamblin [1958e]: <em>GEORGE Programming Manual</em>. Duplicated, 1958. Revised and enlarged, 1959.</p>
<p>C. L. Hamblin [1959]: The Modal &#8220;Probably&#8221;. <em>Mind</em>, New Series, <strong>68</strong>: 234-240.</p>
<p>C. L. Hamblin [1962]: Translation to and from Polish notation. <em>Computer Journal,</em> <strong>5:</strong> 210-213.</p>
<p>C. L. Hamblin [1963]: Questions aren&#8217;t statements. <em>Philosophy of Science</em>, <strong>30(1)</strong>: 62-63.</p>
<p>C. L. Hamblin [1964a]: Has probability any foundations? <em>Proceedings of the Symposium on Probability of the Statistical Society of New South Wales</em>, May 1964. Reproduced in <em>Science Yearbook</em>, University of New South Wales, Sydney, 1964.</p>
<p>C. L. Hamblin [1964b]: Review of: <em>Communication: A Logical Model</em>, by D. Harrah. <em>Australasian Journal of Philosophy</em>, <strong>42</strong>.</p>
<p>C. L. Hamblin [1964c]: Review of: <em>Analysis of Questions</em>, by N. D. Belnap.<em>Australasian Journal of Philosophy</em>, <strong>42</strong>.</p>
<p>C. L. Hamblin [1965]: Review of: <em>A Preface to the Logic of Science</em>, by P. Alexander. <em>The British Journal for the Philosophy of Science</em>, <strong>15(60)</strong>: 360-362.</p>
<p>C. L. Hamblin [1966]: <em>Elementary Formal Logic, a Programmed Course</em>. (Sydney: Hicks Smith). Republished by Methuen, in London, UK, 1967. Also translated into Swedish by J. Mannerheim, under the title: <em>Element&#8221;ar Logik, ein programmerad kurs.</em> (Stockholm: Laromedelsf&#8221;orlagen, 1970).</p>
<p>C. L. Hamblin [1967a]: One-valued logic. <em>Philosophical Quarterly</em>, <strong>17</strong>: 38-45.</p>
<p>C. L. Hamblin [1967b]: Questions, logic of. <em>Encyclopedia of Philosophy</em>. (New York: Collier Macmillan).</p>
<p>C. L. Hamblin [1967c]: An algorithm for polynomial operations. <em>Computer Journal</em>, <strong>10</strong>.</p>
<p>C. L. Hamblin [1967d]: Review of: <em>New Approaches to the Logical Theory of Interrogatives</em>, by L. Aqvist. <em>Australasian Journal of Philosophy</em>, <strong>44</strong>.</p>
<p>C. L. Hamblin [1969]: Starting and stopping. <em>The Monist</em>, <strong>53</strong>: 410-425.</p>
<p>C. L. Hamblin [1970a]: <em>Fallacies.</em> London, UK: Methuen.</p>
<p>C. L. Hamblin [1970b]: The effect of when it&#8217;s said. <em>Theoria</em>, <strong>36</strong>: 249-264.</p>
<p>C. L. Hamblin [1971a]: Mathematical models of dialogue. <em>Theoria</em>, <strong>37</strong>: 130-155.</p>
<p>C. L. Hamblin [1971b]: Instants and intervals. <em>Studium Generale</em>, <strong>24</strong>: 127-134.</p>
<p>C. L. Hamblin [1972a]: You and I. <em>Analysis</em>, <strong>33</strong>: 1-4.</p>
<p>C. L. Hamblin [1972b]: Quandaries and the logic of rules. <em>Journal of Philosophical Logic</em>, <strong>1</strong>: 74-85.</p>
<p>C. L. Hamblin [1973a]: Questions in Montague English. <em>Foundations of Language</em>, <strong>10</strong>: 41-53.</p>
<p>C. L. Hamblin [1973b]: A felicitous fragment of the predicate calculus. <em>Notre Dame Journal of Formal Logic</em>. <strong>14</strong>: 433-446.</p>
<p>C. L. Hamblin [1974]: La logica dell&#8217;iniziare e del cessare. Italian translation by C. Pizzi of an unpublished article: The logic of starting and stopping. Pages 295-317 in: C. Pizzi (Editor): <em>La Logica del Tempo</em>. Torino: Bringhieri.</p>
<p>C. L. Hamblin [1975a]: Creswell&#8217;s colleague TLM. <em>Nous</em>, <strong>9(2)</strong>: 205-210.</p>
<p>C. L. Hamblin [1975b]: Saccherian arguments and the self-application of logic. <em>Australasian Journal of Philosophy</em>, <strong>53</strong>: 157-160.</p>
<p>C. L. Hamblin [1976]: An improved &#8220;Pons Asinorum&#8221;? <em>Journal of the History of Philosophy</em>, <strong>14</strong>: 131-136.</p>
<p>C. L. Hamblin [1984]: <em>Languages of Asia and the Pacific: A Phrasebook for Travellers and Students.</em> (North Ryde, NSW: Angus and Robertson).</p>
<p>C. L. Hamblin [1987]: <em>Imperatives.</em> Oxford, UK: Basil Blackwell.</p>
<p>C. L. Hamblin and P. J. Staines [1992]: An extraordinarily simple theory of the syllogism. <em>Logique et Analyse</em>, <strong>35</strong>: 81.</p>
<p>S. H. Lavington [1980]: <em><a href="http://ed-thelen.org/comp-hist/EarlyBritish.html">Early British Computers: The Story of Vintage Computers and the People who Built Them</a>.</em> Manchester, UK: Manchester University Press.</p>
<p>P. McBurney and S. Parsons [2009]: Dialogue games for agent argumentation. Chapter 13 in: I. Rahwan and G. Simari (Editors): <em>Argumentation in Artificial Intelligence</em>. Berlin, Germany: Springer, pp. 261-280.</p>
<p>R. J. Nelson [1955]: Review of: &#8220;An analysis of a logical machine using paranthesis-free notation&#8221; by Arthur W. Burks, Don. W. Warren and Jesse B. Wright, <em>The Journal of Symbolic Logic</em>, 20 (1): 70-71.</p>
<p>T. J. Norman and C. Reed [2010]: A logic of delegation. <em>Artificial Intelligence</em>, 174 (1): 51-71.</p>
<p>T. Pearcey [1994]: <em><a href="http://www.asap.unimelb.edu.au/pubs/guides/csirac/pearcey/pearcey1.htm">Australian Computing: The Second Generation</a></em>. Published in: J. M. Bennett, R. Broomham, P. M. Murton, T. Pearcey and R. W. Rutledge (Editors): <em>Computing in Australia: The Development of a Profession</em>. Australian Computer Society.</p>
<p>C. A. Reed. and T. J. Norman [2007]: A formal characterisation of Hamblin&#8217;s action-state semantics. <em>Journal of Philosophical Logic</em>, 36 (4): 415-448.</p>
<p>G. L. S. Shackle [1969]: <em>Decision Order and Time in Human Affairs.</em> Cambridge, UK: Cambridge University Press. Second Edition.</p>
<p>A. Tarski [1951]: <em>A Decision Method for Elementary Algebra and Geometry.</em> Berkeley, CA, USA: University of California Press.</p>
<p>R. A. Vowels [1978]: <em>Introduction to PL/I, Algorithms and Structured Programming</em>. Melbourne, 1978.</p>
<p>G. Williams [1985]: A shy blend of logic, maths and languages. (Obituary of Charles Hamblin). <em>Sydney Morning Herald</em>, 1985.</p></blockquote>
<p>In compiling this biography, I am grateful for information and support received from: Gordon Bell, Jim Crosswhite, David Hitchcock, Jim Mackenzie, Vaughan Pratt, Michael Scriven, Phillip Staines, Robin Vowels, Doug Walton, and the family of the late Charles Hamblin. The views I express here are, of course, solely my own.</p>
<p>Copyright, 2003-2011.  All rights reserved.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2011/01/a-salute-to-charles-hamblin/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Dialogs over actions</title>
		<link>http://www.vukutu.com/blog/2010/12/dialogs-over-actions/</link>
		<comments>http://www.vukutu.com/blog/2010/12/dialogs-over-actions/#comments</comments>
		<pubDate>Fri, 24 Dec 2010 20:57:52 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Argumentation]]></category>
		<category><![CDATA[Computer Science]]></category>
		<category><![CDATA[Computing-as-interaction]]></category>
		<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Philosophy of Language]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=2691</guid>
		<description><![CDATA[In the post below, I mentioned the challenge for knowledge engineers of representing know-how, a task which may require explicit representation of actions, and sometimes also of utterances over actions.  The know-how involved in steering a large sailing ship with its diverse crew surely includes the knowledge of who to ask (or to command) to [...]]]></description>
			<content:encoded><![CDATA[<p>In the post <a href="http://www.vukutu.com/blog/2010/12/on-meaning/" target="_blank">below</a>, I mentioned the challenge for knowledge engineers of representing know-how, a task which may require explicit representation of actions, and sometimes also of utterances over actions.  The know-how involved in steering a large sailing ship with its diverse crew surely includes the knowledge of who to ask (or to command) to do what, when, and how to respond when these requests (or commands) are ignored, or fail to be executed successfully or timeously.</p>
<p>One might imagine epistemology &#8211; the philosophy of knowledge &#8211; would be of help here.  Philosophers, however, have been seduced since Aristotle with propositions (factual statements about the world having truth values), largely ignoring actions, and their representation.   Philosophers of language have also mostly focused on speech acts &#8211; utterances which act to change the world &#8211; rather than on utterances about actions themselves.  Even among speech act theorists the obsession with propositions is strong, with attempts to analyze utterances which are demonstrably not propositions (eg, commands) by means of implicit assertive statements &#8211; propositions  asserting something about the world, where &#8220;the world&#8221; is extended to include internal mental states and intangible social relations between people &#8211; which these utterances allegedly imply.  With only a few exceptions (Thomas Reid 1788, Adolf Reinach 1913, Juergen Habermas 1981, Charles Hamblin 1987), philosophers of language have mostly ignored utterances  about actions.</p>
<p>Consider the following two statements:</p>
<blockquote><p><em>I promise you to wash the car.</em></p>
<p><em>I command you to wash the car.</em></p></blockquote>
<p>The two statements have almost identical English syntax.   Yet their meanings, and the intentions of their speakers, are very distinct.  For a start, the action of washing the car would be done by different people &#8211; the speaker and the hearer, respectively (assuming for the moment that the command is validly issued, and accepted).  Similarly, the power to retract or revoke the action of washing the car rests with different people &#8211; with the hearer (as the recipient of the promise) and the speaker (as the commander), respectively.</p>
<p>Linguists generally use &#8220;semantics&#8221; to refer to the real-world referants of syntactically-correct expressions, while &#8220;pragmatics&#8221; refers to other aspects of the meaning and use of an expression not related to their relationship (or not) to things in the world, such as the speaker&#8217;s intentions.  For neither of these two expressions does it make sense to speak of  their truth value:  a promise may be questioned as to its sincerity, or its feasibility, or its appropriateness, etc, but not its truth or falsity;  likewise, a command  may be questioned as to its legal validity, or its feasibility, or its morality, etc, but also not its truth or falsity.</p>
<p>For utterances about actions, such as promises, requests, entreaties and commands, truth-value semantics makes no sense.  Instead, we generally need to consider two pragmatic aspects.  The first is <em>uptake</em>, the acceptance of the utterance by the hearer (an aspect first identified by Reid and by Reinach), an acceptance which generally creates a social commitment to execute the action described in the utterance by one or other party to the conversation (speaker or hearer).    Once uptaken, a second pragmatic aspect comes into play:  the <em>power to revoke or retract</em> the social commitment to execute the action.  This revocation power does not necessarily lie with the original speaker; only the recipient of a promise may cancel it, for example, and not the original promiser.  The revocation power also does not necessarily lie with the uptaker, as commands readily indicate.</p>
<p>Why would a computer scientist be interested in such humanistic arcana?  The more tasks we delegate to intelligent machines, the more they need to co-ordinate actions with others of like kind.  Such co-ordination requires conversations comprising utterances over actions, and, for success, these require agreed syntax, semantics and pragmatics.  To give just one example:  the use of intelligent devices by soldiers have made the modern battlefield a place of overwhelming information collection, analysis and communication.  Lots of this communication can be done by intelligent software agents, which is why the US military, <em>inter alia</em>, sponsors research applying the philosophy of language and the  philosophy of argumentation to machine communications.</p>
<p>Meanwhile, the philistine British Government intends to cease funding tertiary education in the arts and the humanities.   Even utilitarians should object to this.</p>
<p><em>References:</em></p>
<p>Juergen  Habermas [1984/1981]:   <em>The Theory of Communicative Action:  Volume 1:  Reason and the Rationalization of Society</em>.  London, UK:  Heinemann.   (Translation by T. McCarthy of:  <em>Theorie des Kommunikativen Handelns, Band I,  Handlungsrationalitat und gesellschaftliche Rationalisierung</em>. Suhrkamp, Frankfurt, Germany, 1981.)</p>
<p>Charles  L. Hamblin [1987]:  <em>Imperatives</em>. Oxford, UK:  Basil Blackwell.</p>
<p>P. McBurney and S. Parsons [2007]:  Retraction and revocation in agent deliberation dialogs.  <em>Argumentation</em>, 21 (3):  269-289.</p>
<p><span style="font-family: Verdana,Arial,Helvetica,sans-serif; color: #000000; font-size: x-small;"> </span></p>
<p>Adolph Reinach [1913]:  Die apriorischen Grundlagen des bürgerlichen Rechtes. <em> Jahrbuch für Philosophie und phänomenologische Forschung</em>, 1: 685-847.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2010/12/dialogs-over-actions/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Syntax Attacks</title>
		<link>http://www.vukutu.com/blog/2010/11/syntax-attacks/</link>
		<comments>http://www.vukutu.com/blog/2010/11/syntax-attacks/#comments</comments>
		<pubDate>Fri, 26 Nov 2010 11:37:23 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Anthropology]]></category>
		<category><![CDATA[Computer Science]]></category>
		<category><![CDATA[Computing-as-interaction]]></category>
		<category><![CDATA[Literature]]></category>
		<category><![CDATA[Philosophy of Language]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=2600</guid>
		<description><![CDATA[Thanks to the ever-watchful Normblog, I encounter an article by Colin Tatz inveighing against talk about sport.  Norm is right to call Tatz to account for writing nonsense &#8211; talk about sport is just as meaningful as talk about politics, history, religion, nuclear deterrence, genocide, or any other real-world human activity.  Tatz says: Sport is [...]]]></description>
			<content:encoded><![CDATA[<p>Thanks to the ever-watchful <a href="http://normblog.typepad.com/normblog/2010/11/gday-sport.html" target="_blank">Normblog</a>, I encounter an article by Colin Tatz <a href="http://www.theage.com.au/opinion/society-and-culture/sport-so-much-chatter-about-nothing-20101124-186wc.html" target="_blank">inveighing against talk about sport</a>.  Norm is right to call Tatz to account for writing nonsense &#8211; talk about sport is just as meaningful as talk about politics, history, religion, nuclear deterrence, genocide, or any other real-world human activity.  Tatz says:</p>
<blockquote><p>Sport is international phatic but also a crucial Australian (male) vehicle. It enables not just short, passing greetings but allows for what may seem like deep, passionate and meaningful conversations but which in the end are unmemorable, empty, producing nothing and enhancing no one.</p></blockquote>
<p>Unmemorable?! Really?   What Australian could forget Norman May&#8217;s shouted <em>&#8220;Gold! Gold for Australia! Gold!&#8221;</em> commentary at the end of the men&#8217;s 400-metre swimming medley at the 1980 Olympics in Moscow.  Only a churlish gradgrind could fail to be enhanced by hearing this.   And what Australian of a certain age could forget the inimitable footie commentary of Rex Mossop, including, for example, such statements as,  <em>&#8220;That&#8217;s the second consecutive time he&#8217;s done that in a row one straight after the other.&#8221; </em>Mossop&#8217;s heat-of-the-moment sporting talk was commemorated with his many winning places in playwright Alex Buzo&#8217;s Australian Indoor Tautology Pennant, an annual competition held, as I recall,  in Wagga Wagga, Gin Gin and Woy Woy (although not in Woop Woop or in The Never Never), before moving internationally to exotic locations such as Pago Pago, Xai Xai and Baden Baden.  Unmemorable, Mr Tatz?  Enhancing no one?  Really?  To be clear, these are not memorable sporting events, but memorable sporting commentary.   And all I&#8217;ve mentioned so far is sporting <em>talk</em>, not the great writers on baseball, on golf, on cricket, on swimming,  . . .</p>
<p>But as well as misunderstanding what talk about sport is about and why it is meaningful, Tatz is wrong on another score.   He says:</p>
<blockquote><p>But why so much natter and clatter about sport? Eco&#8217;s answer is that sport &#8220;is the maximum aberration of &#8216;phatic&#8217; speech&#8221;, which is really a negation of speech.</p>
<p>Phatic speech is meaningless speech, as in &#8220;G&#8217;day, how&#8217;s it going?&#8221; or &#8220;have a nice day&#8221; or &#8220;catch you later&#8221; — small talk phrases intended to produce a sense of sociability, sometimes uttered in the hope that it will lead to further and more real intercourse, but human enough even if the converse goes no further.</p></blockquote>
<p>Phatic communications are about establishing and maintaining relationships between people.  Such a purpose is the very essence of speech communication, not its negation.  Tatz, I fear, has fallen into the trap of so many computer scientists &#8211; to focus on the syntax of messages, and completely ignore their semantics and pragmatics.    The syntax of messages concerns their surface form, their logical structure, their obedience (or not) to rules which determine whether they are legal and well-formed statements (or not) in the language they purport to arise from.  The semantics of utterances concerns their truth or falsity, in so far they describe real objects in some world (perhaps the one we all live in, or some past, future or imagined world),  while their pragmatics concerns those aspects of their meaning unrelated to their truth status (for example, who has power to revoke or retract them).</p>
<p>I have discussed this <em>syntax-is-all-there-is</em> mistake <a href="http://www.vukutu.com/blog/2008/08/complexity-of-communications/" target="_blank">before</a>.    I believe the root causes of this mistaken view are two-fold: the mis-guided focus of philosophers these last two centuries on propositions to the exclusion of other types of utterances and statements (of which profound error <a href="http://www.vukutu.com/blog/2009/09/speech-acts/" target="_blank">Terry Eagleton has shown himself guilty</a>), and the <a href="http://www.vukutu.com/blog/2009/09/computing-as-interaction/" target="_blank">mis-guided view that we now live in some form of Information Society</a>, a view which wrongly focuses attention on the information  transferred by utterances to the exclusion of any other functions that utterances may serve or any other things we agents (people and machines) may be doing and aiming to do when we talk.   If you don&#8217;t believe me about the potentially complex functionality of utterances, even when viewed as nothing more than the communication of factual propositions, then read this <a href="http://www.vukutu.com/blog/2008/12/hearing-is-not-necessarily-believing/" target="_blank">simple example</a>.</p>
<p>If communications were only about the transfer of explicit information, then life would be immensely less interesting.  It would also not be human life, for we would be no more intelligent than desktop computers passing <a href="http://www.w3.org/Protocols/rfc2616/rfc2616.html" target="_blank">HTTP</a> requests and responses to one another.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2010/11/syntax-attacks/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Vale:  Stephen Toulmin</title>
		<link>http://www.vukutu.com/blog/2009/12/vale-stephen-toulmin/</link>
		<comments>http://www.vukutu.com/blog/2009/12/vale-stephen-toulmin/#comments</comments>
		<pubDate>Wed, 09 Dec 2009 17:08:24 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Argumentation]]></category>
		<category><![CDATA[Computer Science]]></category>
		<category><![CDATA[Computing-as-interaction]]></category>
		<category><![CDATA[Economics]]></category>
		<category><![CDATA[Global Economic Crisis]]></category>
		<category><![CDATA[Logic]]></category>
		<category><![CDATA[Obituaries]]></category>
		<category><![CDATA[Philosophy of Language]]></category>
		<category><![CDATA[Rhetoric]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=1440</guid>
		<description><![CDATA[The Anglo-American philosopher, Stephen Toulmin, has just died, aged 87.   One of the areas to which he made major contributions was argumentation, the theory of argument, and his work found and finds application not only in philosophy but in computer science.     For instance, under the direction of John Fox, the Advanced Computation Laboratory at [...]]]></description>
			<content:encoded><![CDATA[<p>The Anglo-American philosopher, Stephen Toulmin, <a href="http://uscnews.usc.edu/obituaries/in_memoriam_stephen_e_toulmin_87.html" target="_blank">has just died</a>, aged 87.   One of the areas to which he made major contributions was argumentation, the theory of argument, and his work found and finds application not only in philosophy but in computer science.    </p>
<p>For instance, under the direction of <a href="http://www.eng.ox.ac.uk/people/fox.jp.html" target="_blank">John Fox</a>, the <a href="http://www.acl.icnet.uk/lab/index.html" target="_blank">Advanced Computation Laboratory</a> at Europe&#8217;s largest medical research charity, <a href="http://www.cancerresearchuk.org/" target="_blank">Cancer Research UK</a> (formerly, the Imperial Cancer Research Fund) applied Toulmin&#8217;s model of argument in computer systems they built and deployed in the 1990s to handle conflicting arguments in some domain.  An example was a system for advising medical practitioners with the arguments for and against prescribing a particular drug to a patient with a particular medical history and disease presentation.  One company commercializing these ideas in medicine is <a href="http://www.infermed.com/" target="_blank">Infermed</a>.    Other applications include the automated prediction of chemical properties such as toxicity (see for example, the work of <a href="http://www.lhasalimited.org/index.php" target="_blank">Lhasa Ltd</a>), and dynamic optimization of extraction processes in mining.</p>
<p><img class="aligncenter size-full wp-image-1445" title="S E Toulmin" src="http://www.vukutu.com/blog/wp-content/uploads/2009/12/S-E-Toulmin.jpg" alt="S E Toulmin" width="175" height="175" /></p>
<p>For me, Toulmin&#8217;s most influential work was was his book <em>Cosmopolis</em>, which identified and deconstructed the main biases evident in contemporary western culture since the work of Descartes:</p>
<ul>
<li>A bias for the written over the oral</li>
<li>A bias for the universal over the particular</li>
<li>A bias for the general over the local</li>
<li>A bias for the timeless over the timely.</li>
</ul>
<p>Formal logic as a theory of human reasoning can be seen as example of these biases at work. In contrast, argumentation theory attempts to reclaim the theory of reasoning from formal logic with an approach able to deal with conflicts and gaps, and with special cases, and less subject to such biases.    <a href="http://normblog.typepad.com/normblog/2009/12/teabags-second-law.html" target="_blank">Norm&#8217;s dispute with Larry Teabag</a> is a recent example of resistance to the puritanical, Descartian desire to impose abstract formalisms onto practical reasoning quite contrary to local and particular sense.</p>
<p>Another instance of Descartian autism is the widespread deletion of economic history from gradaute programs in economics and the associated priviliging of deductive reasoning in abstract mathematical models over other forms of argument (eg, narrative accounts, laboratory and field experiments, field samples and surveys, computer simulation, etc) in economic theory.  One consequence of this autism is the <a href="http://www.vukutu.com/blog/2011/09/the-macroeconomic-dark-ages/" target="_blank">Great Moral Failure of Macroeconomics</a> in the Great World Recession of 2008-onwards.</p>
<p><em>References:</em></p>
<p>S. E. Toulmin [1958]:  <em>The Uses of Argument</em>.  Cambridge, UK: Cambridge University Press. </p>
<p>S. E. Toulmin [1990]: <em>Cosmopolis:  The Hidden Agenda of Modernity</em>.  Chicago, IL, USA: University of Chicago Press.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/Stephen+Toulmin" rel="tag">Stephen Toulmin</a>, <a href="http://technorati.com/tag/argumentation" rel="tag">argumentation</a>, <a href="http://technorati.com/tag/logic" rel="tag">logic</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/12/vale-stephen-toulmin/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
		<item>
		<title>Speech acts</title>
		<link>http://www.vukutu.com/blog/2009/09/speech-acts/</link>
		<comments>http://www.vukutu.com/blog/2009/09/speech-acts/#comments</comments>
		<pubDate>Fri, 25 Sep 2009 12:16:13 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Argumentation]]></category>
		<category><![CDATA[Logic]]></category>
		<category><![CDATA[Philosophy of Language]]></category>
		<category><![CDATA[Religion]]></category>
		<category><![CDATA[Rhetoric]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=1251</guid>
		<description><![CDATA[Thanks to Normblog, I have seen Terry Eagleton&#8217;s recent interview on matters of religion, in which he is reported as saying: All performatives imply propositions.  There&#8217;s no point in my operating a performative like, say, promising, or cursing, unless I have certain beliefs about the nature of reality: that there is indeed such an institution as promising, [...]]]></description>
			<content:encoded><![CDATA[<p>Thanks to <a href="http://normblog.typepad.com/normblog/2009/09/what-a-performance.html" target="_blank">Normblog</a>, I have seen Terry Eagleton&#8217;s <a href="http://mrzine.monthlyreview.org/eagleton200909.html" target="_blank">recent interview on matters of religion</a>, in which he is reported as saying:</p>
<blockquote><p><em>All performatives imply propositions.  There&#8217;s no point in my operating a performative like, say, promising, or cursing, unless I have certain beliefs about the nature of reality: that there is indeed such an institution as promising, that I am able to perform it, and so on.  The performative and the propositional work into each other.   </em></p></blockquote>
<p><a href="http://www.vukutu.com/blog/2009/10/know-all/" target="_blank">Before commenting on the substance here</a> (ie, religion), some words on Eagleton&#8217;s evident mis-understanding of speech act theory and the philosophy of language, a mis-understanding that should have been clear if he tested his words against his own experiences of life.  His statement concerns performatives &#8211; utterances which potentially change the state of the world by their being uttered.  Examples include promises, commands, threats, entreaties, prayers, various legal declarations (eg, that a certain couple are now wed),  etc.  But mere propositional statements (that some description of the world is true) may also change the state of the world by the mere fact of being uttered.</p>
<p><span id="more-1251"></span>First sentence:  <em>&#8220;All performatives imply propositions.&#8221; </em> Well, no, Professor E., not at all.  All rationally-uttered, effectively-executed performatives may be used by rational observers to infer propositions.   But different participants and observers in a dialog (speaker, intended audience, over-hearers) may infer different propositions from the very same utterance.  Worse than that, none, some, or indeed all of these inferred propositions may be true.   All manner of propositional content (including none, some and lots) may be intended to be stated or believed by the speaker of a performative utterance, even when that utterance is not effective in changing the state of the world.   Moreover, utterances which change the state of the world may do so in ways not intended or even not predicted by the speaker.</p>
<p>Even when an utterance is itself just a proposition and not intended to change the state of the world, inferring what proposition the speaker intended to state and &#8211; a separate question, this - what propositions are true as a result of the utterance, are non-trivial reasoning tasks with the possibility of no definitive solutions, <a href="http://www.vukutu.com/blog/2008/12/hearing-is-not-necessarily-believing/" target="_blank">as this example makes clear</a>.</p>
<p>Second sentence:  <em>&#8220;There&#8217;s no point in my operating a performative like, say, promising, or cursing, unless I have certain beliefs about the nature of reality: that there is indeed such an institution as promising, that I am able to perform it, and so on.&#8221;  </em> This statement too is in error.    First, it only makes sense if it applies to rational speakers of performatives (eg, those seeking to achieve some goal), since performatives may be uttered for for any reasons or none at all.   Otherwise, parrots would be allowed to be speakers of performatives.   Second, malicious or deceiving or whimsical speakers may have goals, for which performative utterances not based on reality may be very effective and thus appropriate.  Third, even if we assume a speaker is not malicious, whimsical or being intentionally-deceptive, he or she may make a performative utterance in order to FORM a belief about reality, rather than starting from one.  I may promise you to do some task in order to find out if you desire that task to be done, or to discover if that task be feasible, or to discover if you believe that task to be feasible, or to discover if you are willing to indicate to me that you believe that task to be feasible, or to discover if you are willing to let me think that you believe that task to be feasible, or to allow you to form the belief that you have led me to believe that you believe that task to be feasible, and so on, <em>ad infinitum</em>.</p>
<p>Third sentence: <em>&#8220;The performative and the propositional work into each other.&#8221; </em> They may do so, but not necessarily.  As the analysis above makes clear, there is no necessary connection between a performative utterance and any particular proposition believed by the speaker or by the intended hearer, or by any over-hearer.  How could there be such a necessary connection when an infinite number of propositions  may be validly inferred from any performative utterance, as I just showed?</p>
<p>So three erroneous statements in three sentences:   Quite an achievement!   I guess some charitable allowance should be given for the fact that these remarks were in a spoken interview and presumably made off-the-cuff.  But one wonders if the good Prof. E. has ever played poker or bridge, or ever negotiated with a plumber, or ever been in business, or ever instructed any recalcitrant child to do something they don&#8217;t wish to.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/speech+act+theory" rel="tag">speech act theory</a>, <a href="http://technorati.com/tag/philosophy+of+language" rel="tag">philosophy of language</a>, <a href="http://technorati.com/tag/performatives" rel="tag">performatives</a>, <a href="http://technorati.com/tag/propositions" rel="tag">propositions</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/09/speech-acts/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

