Abstract
This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper.
‘Have some wine,’ the March Hare said in an encouraging tone.
Alice looked all round the table, but there was nothing on it but tea. ‘I don’t see any wine,’ she remarked.
‘There isn’t any,’ said the March Hare.
‘Then it wasn’t very civil of you to offer it,’ said Alice angrily.
‘It wasn’t very civil of you to sit down without being invited,’ said the March Hare.
—Alice’s Adventures in the Wonderland [6, p. 96]
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In [26] Veltman develops a semantics for counterfactuals and introduces “retraction function” that shares the same traits as the function presented here. They differ only in technical sense: since Veltman relies on use of partial valuations (“situations”) while I use relation of minimal difference between full valuations.
- 2.
A more advanced semantics for AGM theory, but without contraction, is given in [22].
- 3.
See Yamada, Chapter 10, this volume.
- 4.
The unbound variables are assumed to be universally quantified in all the formulas.
- 5.
Proposition on recovery is stronger than acceptability claim: it shows that what has been “undone” can also be “redone.”
- 6.
Change expression syntax for imperatives was re-introduced in [31].
- 7.
The March Hare’s suggestion in the motto violates positive condition.
- 8.
In [32] contrariety of imperative is called “negative imperative.”
- 9.
For discussion on varieties of relations of meaning inclusion that can be distinguished within dynamic semantics see [4].
- 10.
Note that a translation for the conditional imperative in dynamic modal language can be given by:
$$\begin{aligned}&\left(\left(\cdot(\varphi/\top)\right)\mathsf{?};\mathsf{ex}\left(!(\top/\psi)\right)\right) \\ &\cup \\ &\left(\left(\mathsf{do}(\mathsf{ex}( \cdot(\lnot\varphi/\top))\lor \mathsf{do}(\mathsf{ex}(!(\top/\lnot\psi))))\right)\mathsf{?};\mathsf{ex}\left(\mathsf{do}(!(\varphi/\psi))\land \lnot\mathsf{do}(!(\varphi/\lnot\psi))\right)\right)\textrm{.} \end{aligned}$$Therefore, the claim put forward in Section 11.1.1 has been proved as well.
- 11.
For this idea I am indebt to Vukičević, Damir. 2001. Digraph Representation of a Model of Dynamic Semantics. Unpublished manuscript.
References
Alchourrón, Carlos, Peter Gärdenfors, and David Makinson. 1985. “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.” Journal of Symbolic Logic 50:510–30.
Belnap, Nuel and Michael Perloff. 1988. “Seeing to It That: A Canonical Form of Agentives.” Theoria 54:175–99.
Benthem, Johan van. 1989. Modal Logic as a Theory of Information. Technical Report LP-89-05. ILLC, University of Amsterdam.
Benthem, Johan van. 1993. Exploring Logical Dynamics. Stanford, CA: CSLI Publications.
Benthem, Johan van, and Fenrong Liu. 2007. “Dynamic Logic of Preference Upgrade.” Journal of Applied Non-classical Logics. 17:157–82.
Carroll, Lewis. 2007. Alice’s Adventures in Wonderland: A Facsimile Reprint of the 1866 Edition. Rockville, MD: Wildside Press.
Chellas, Brian. 1971. “Imperatives.” Theoria 37:114–29.
Does, Jaap van der, Willem Groeneveld, and Frank Veltman. 1997. “An Update on “Might”.” Journal of Logic, Language, and Information 6:361–80.
Eijck, Jan van. 2000. “Making Things Happen.” Studia Logica 66:41–58.
Grice, Paul. 1989. Studies in the Way of Words. Cambridge, MA: Harvard University Press.
Groenendijk, Jeroen. 2007. “The Logic of Interrogation.” In Questions in Dynamic Semantics, edited by Maria Aloni, Alastair Butler and Paul Dekker, 43–62. Amsterdam: Elsevier.
Hansson, Sven Ove. 1999. A Textbook of Belief Dynamics : Theory Change and Database Updating. Dordrecht: Kluwer Academic Publishers.
Horn, Laurence. 1985. “Metalinguistic Negation and Pragmatic Ambiguity.” Language 61:121–74.
Kanger, Stig. 1972. “Law and Logic.” Theoria 38:105–29.
Lemmon, Edward. 1965. “Deontic Logic and the Logic of Imperatives.” Logique et Analyse 8:39–71.
Mastop, Rosja. 2005. What can you do?: Imperative Mood in Semantic Theory. Amsterdam: Institute for Logic, Language, and Computation.
Rijke, Maarten de. 1998. “A System of Dynamic Modal Logic.” Journal of Philosophical Logic 27:109–42.
Ross, Alf. 1941. “Imperatives and Logic.” Theoria 7:53–71.
Schwager, Magdalena. 2006. “Conditionalized Imperatives.” In Proceedings of Semantics and Linguistic Theory XVI, edited by Masayuki Gibson and Jonathan Howell, 241–58. Ithaca, NY: Cornell University.
Searle, John. 1999. Expression and Meaning: Studies in the Theory of Speech Acts. Cambridge: Cambridge University Press.
Segerberg, Krister. 1990. “Validity and Satisfaction in Imperative Logic.” Notre Dame Journal of Formal Logic 31:203–21.
Segerberg, Krister. 2001. “The Basic Dynamic Doxastic Logic of AGM.” In Frontiers in Belief Revision, edited by Mary-Anne Williamson and Hans Rott, 57–84. Dordrecht: Kluwer Academic Publishers.
Stenius, Erik. 1967. “Mood and Language Game.” Synthese 19:27–52.
Tappenden, Jamie. 1999. “Negation, Denial and Language Change in Philosophical Logic.” In What Is Negation?, edited by Dov Gabbay and Heinrich Wansing, 261–98. Dordrecht: Kluwer.
Veltman, Frank. 1996. “Defaults in Update Semantics.” Journal of Philosophical Logic 25:221–61.
Veltman, Frank. 2005. “Making Counterfactual Assumptions.” Journal of Semantics 22:159–80.
Vranas, Peter. 2008. “New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.” Noûs 42:529–72.
Wittgenstein, Ludwig. 1986. Philosophical Investigations. Oxford: Basil Blackwell Ltd.
Wright, Georg Henrik von. 1963. Norm and Action: A Logical Inquiry. London: Routledge & Kegan Paul.
Yamada, Tomoyuki. 2008. Logical Dynamics of Some Speech Acts that Affect Obligations and Preferences. Synthese 165:295–315.
Žarnić, Berislav. 2003. “Imperative Change and Obligation to Do.” In Logic, Law, Morality: Thirteen Essays in Practical Philosophy in Honour of Lennart Åqvist, edited by Krister Segerberg and Rysiek Sliwinski, 79–95. Uppsala: University of Uppsala.
Žarnić, Berislav. 2003. “Imperative Negation and Dynamic Semantics.” In Meaning: The Dynamic Turn, edited by Jaroslav Peregrin, 201–11. Amsterdam: Elsevier.
Acknowledgments
The investigation presented in the paper is supported by the MZOŠ project “Logical structures and intentionality” (191-1911111-2730). Parts of the paper were presented at the 1st World Congress on Universal Logic 2005 (Montreux, Switzerland), the Analytic Philosophy and Logical Investigations 2006 conference (Rijeka, Croatia), and the Logical Foundations of Metaphysics 2007 course (Dubrovnik, Croatia). I wish to thank Srećko Kovač and Tomoyuki Yamada for discussion, and Mirjana Dedaić and Siniša Ninčević for language advice. All mistakes remain mine.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Žarnić, B. (2012). Is Unsaying Polite?. In: Trobok, M., Miščević, N., Žarnić, B. (eds) Between Logic and Reality. Logic, Epistemology, and the Unity of Science, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-2390-0_11
Download citation
DOI: https://doi.org/10.1007/978-94-007-2390-0_11
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-2389-4
Online ISBN: 978-94-007-2390-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)