New foundations for imperative logic III: A general definition of argument validity
Abstract
Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors the satisfaction over the violation proposition of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments.
Keywords
Argument validity Imperative logic InconsistencyNotes
Acknowledgments
I am grateful to Daniel Boisvert, Joseph Fulda, Alan Hájek, Casey Hart, Ryan Millsap, David O’Brien, Josh Parsons, Manidipa Sanyal, Michael Titelbaum, and especially Aviv Hoffmann, Joshua Schechter, and several anonymous reviewers for comments. Thanks also to Martin Barrett, John Bengson, John Bishop, Anna Brożek, Heather Dyke, Branden Fitelson, Molly Gardner, Paula Gottlieb, Casey Helgeson, Jacek Jadacki, Matt Kopec, Jonathan Lang, John Mackay, Andrew Moore, Jakub Motrenko, Charles Pigden, Gina Schouten, Benjamin Schwan, Larry Shapiro, Elliott Sober, Ivan Soll, Reuben Stern, and Berislav Žarnić for interesting questions, and to my mother for typing the bulk of the paper. Material from this paper was presented at the 7th Formal Epistemology Workshop (September 2010), the University of Otago (December 2011, via Skype), the 2012 Central APA Meeting (February 2012), the University of Wisconsin-Madison (Department of Mathematics, April 2012, and Department of Philosophy, May 2012), the University of Warsaw (May 2012), and the Beijing Normal University (August 2012)..
References
- Adler, M. J. (1980). A pragmatic logic for commands. Amsterdam: John Benjamins.CrossRefGoogle Scholar
- Åqvist, L. (1967). Review of Rescher 1966. Philosophical Books, 8, 18–23.Google Scholar
- Barker, S., & Jago, M. (2012). Being positive about negative facts. Philosophy and Phenomenological Research, 85, 117–138.CrossRefGoogle Scholar
- Belzer, M., & Loewer, B. (1994). Hector meets 3-D: A diaphilosophical epic. In J. E. Tomberlin (Ed.), Philosophical perspectives: Logic and language (Vol. 8, pp. 389–414). Atascadero, CA: Ridgeview.Google Scholar
- Bennett, J. F. (1970). Review of articles on imperative inference. The Journal of Symbolic Logic, 35, 314–318.CrossRefGoogle Scholar
- Bergström, L. (1962). Imperatives and ethics: A study of the logic of imperatives and of the relation between imperatives and moral judgments. Stockholm: Stockholm University.Google Scholar
- Bergström, L. (1970). Imperatives and contradiction. Mind, 79, 421–424.CrossRefGoogle Scholar
- Bohnert, H. G. (1945). The semiotic status of commands. Philosophy of Science, 12, 302–315.CrossRefGoogle Scholar
- Boisvert, D., & Ludwig, K. (2006). Semantics for nondeclaratives. In E. Lepore & B. C. Smith (Eds.), The Oxford handbook for the philosophy of language (pp. 864–892). New York: Oxford University Press.Google Scholar
- Borchardt, E. (1979). The semantics of imperatives. Logique et Analyse, 22, 191–205.Google Scholar
- Borowski, E. J. (1977). A Pyrrhic defense of moral autonomy. Philosophy, 52, 455–466.CrossRefGoogle Scholar
- Burgess, J. P. (1999). Which modal logic is the right one? Notre Dame Journal of Formal Logic, 40, 81–93.CrossRefGoogle Scholar
- Burgess, J. P. (2003). Which modal logics are the right ones (for logical necessity)? Theoria: An International Journal for Theory, History and Foundations of Science, 18, 145–158.Google Scholar
- Carlson, E. (2000). Incompatibilism and the transfer of power necessity. Noûs, 34, 277–290.CrossRefGoogle Scholar
- Carmo, J., & Jones, A. J. I. (2002). Deontic logic and contrary-to-duties. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 8, pp. 265–343). Dordrecht: Kluwer.CrossRefGoogle Scholar
- Castañeda, H.-N. (1958). Imperatives and deontic logic. Analysis, 19, 42–48.CrossRefGoogle Scholar
- Castañeda, H.-N. (1960a). Imperative reasonings. Philosophy and Phenomenological Research, 21, 21–49.CrossRefGoogle Scholar
- Castañeda, H.-N. (1960b). Outline of a theory on the general logical structure of the language of action. Theoria: A Swedish Journal of Philosophy, 26, 151–182.CrossRefGoogle Scholar
- Castañeda, H.-N. (1963). Imperatives, decisions, and ‘oughts’: A logico-metaphysical investigation. In H.-N. Castañeda & G. Nakhnikian (Eds.), Morality and the language of conduct (pp. 219–299). Detroit: Wayne State University Press.Google Scholar
- Castañeda, H.-N. (1968). Actions, imperatives, and obligations. Proceedings of the Aristotelian Society, 68, 25–48.CrossRefGoogle Scholar
- Castañeda, H.-N. (1974). The structure of morality. Springfield, IL: Charles C Thomas.Google Scholar
- Castañeda, H.-N. (1975). Thinking and doing: The philosophical foundations of institutions. Dordrecht: Reidel.CrossRefGoogle Scholar
- Charlow, N. (2014). Logic and semantics for imperatives. Journal of Philosophical Logic, 43, 617–664.CrossRefGoogle Scholar
- Chaturvedi, A. (1980). In defence of ‘satisfaction-logic’ of commands. Indian Philosophical Quarterly, 7, 471–481.Google Scholar
- Chisholm, R. M. (1963). Contrary-to-duty imperatives and deontic logic. Analysis, 24, 33–36.CrossRefGoogle Scholar
- Clark-Younger, H., & Girard, P. (2013). Imperatives and entailment (unpublished).Google Scholar
- Clarke, D. S., Jr. (1970). Mood constancy in mixed inferences. Analysis, 30, 100–103.Google Scholar
- Clarke, D. S., Jr. (1973). Deductive logic: An introduction to evaluation techniques and logical theory. Carbondale, IL: Southern Illinois University Press.Google Scholar
- Clarke, D. S., Jr. (1975). The logical form of imperatives. Philosophia: Philosophical Quarterly of Israel, 5, 417–427.Google Scholar
- Clarke, D. S., Jr. (1985). Practical inferences. London: Routledge and Kegan Paul.Google Scholar
- Dubislav, W. (1937). Zur Unbegründbarkeit der Forderungssätze. Theoria: A Swedish Journal of Philosophy, 3, 330–342.Google Scholar
- Duncan-Jones, A. (1952). Assertions and commands. Proceedings of the Aristotelian Society, 52, 189–206.CrossRefGoogle Scholar
- Espersen, J. (1967). The logic of imperatives. Danish Yearbook of Philosophy, 4, 57–112.Google Scholar
- Finch, A., & Warfield, T. A. (1998). The Mind argument and libertarianism. Mind, 107, 515–528.CrossRefGoogle Scholar
- Frey, G. (1957). Idee einer Wissenschaftslogik: Grundzüge einer Logik imperativer Sätze. Philosophia Naturalis, 4, 434–491.Google Scholar
- Geach, P. T. (1958). Imperative and deontic logic. Analysis, 18, 49–56.CrossRefGoogle Scholar
- Gensler, H. J. (1990). Symbolic logic: Classical and advanced systems. Englewood Cliffs, NJ: Prentice-Hall.Google Scholar
- Gibbard, A. (2005). Truth and correct belief. In E. Sosa & E. Villanueva (Eds.), Philosophical issues: Normativity (Vol. 15, pp. 338–350). Oxford: Blackwell.Google Scholar
- Gibbons, P. C. (1960). Imperatives and indicatives. Australasian Journal of Philosophy, 38, 107–119 and 207–217.Google Scholar
- Gombay, A. (1967). What is imperative inference? Analysis, 27, 145–152.CrossRefGoogle Scholar
- Greenspan, P. S. (1975). Conditional oughts and hypothetical imperatives. The Journal of Philosophy, 72, 259–276.CrossRefGoogle Scholar
- Grelling, K. (1939, January). Zur Logik der Sollsaetze. In Unity of Science Forum (pp. 44–47).Google Scholar
- Grice, H. P. (1989). Presupposition and conversational implicature. In H. P. Grice (Ed.), Studies in the way of words (pp. 269–282). Cambridge, MA: Harvard University Press. (Originally published 1981).Google Scholar
- Grue-Sörensen, K. (1939). Imperativsätze und Logik. Begegnung einer Kritik. Theoria: A Swedish Journal of Philosophy, 5, 195–202.Google Scholar
- Hamblin, C. L. (1987). Imperatives. Oxford: Blackwell.Google Scholar
- Hansen, J. (2008). Imperatives and deontic logic: On the semantic foundations of deontic logic. Doctoral Dissertation, University of Leipzig, Germany.Google Scholar
- Hare, R. M. (1952). The language of morals. Oxford: Clarendon Press.Google Scholar
- Hare, R. M. (1967). Some alleged differences between imperatives and indicatives. Mind, 76, 309–326.CrossRefGoogle Scholar
- Hare, R. M. (1977). Geach on murder and sodomy. Philosophy, 52, 467–472.CrossRefGoogle Scholar
- Hare, R. M. (1979). Universal and past-tense prescriptions: A reply to Mr. Ibberson. Analysis, 39, 161–165.CrossRefGoogle Scholar
- Harman, G. (1972). Is modal logic logic? Philosophia: Philosophical Quarterly of Israel, 2, 75–84.Google Scholar
- Harnish, R. M. (2006). Mood and inference. Research in Language, 4, 57–75.Google Scholar
- Harrison, J. (1991). Deontic logic and imperative logic. In P. T. Geach (Ed.), Logic and ethics (pp. 79–129). Dordrecht: Kluwer.CrossRefGoogle Scholar
- Heller, J. (1994). Catch-22. New York: Simon and Schuster. (Originally published 1961).Google Scholar
- Hoche, H.-U. (1995). Universal prescriptivism revisited; or: The analyticity of the golden rule. Revista Filosófica de Coimbra, 4, 337–363.Google Scholar
- Holdcroft, D. (1978). Words and deeds: Problems in the theory of speech acts. Oxford: Clarendon Press.Google Scholar
- Horty, J. F. (1994). Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic, 23, 35–65.CrossRefGoogle Scholar
- Horty, J. F. (1997). Nonmonotonic foundations for deontic logic. In D. Nute (Ed.), Defeasible deontic logic (pp. 17–44). Dordrecht: Kluwer.CrossRefGoogle Scholar
- Horty, J. F. (2012). Reasons as defaults. New York: Oxford University Press.CrossRefGoogle Scholar
- Huemer, M. (2000). Van Inwagen’s consequence argument. The Philosophical Review, 109, 525–544.CrossRefGoogle Scholar
- Jørgensen, J. (1938). Imperatives and logic. Erkenntnis, 7, 288–296.Google Scholar
- Jørgensen, J. (1969). Imperatives and logic. Danish Yearbook of Philosophy, 6, 9–17 (reprint of Jørgensen 1938).Google Scholar
- Juárez-Paz, R. (1959). Reasons, commands and moral principles. Logique et Analyse, 2, 194–205.Google Scholar
- Katz, J. J. (1977). Propositional structure and illocutionary force: A study of the contribution of sentence meaning to speech acts. New York: Thomas Y Crowell.Google Scholar
- Kaufmann, M. (2012). Interpreting imperatives. New York: Springer.CrossRefGoogle Scholar
- Kelsen, H. (1979). Allgemeine Theorie der Normen (K. Ringhofer & R. Walter, Eds.). Vienna: Manz.Google Scholar
- Kelsen, H. (1991). General theory of norms (M. Hartney, Trans.). Oxford: Clarendon Press (translation of Kelsen 1979).Google Scholar
- Kolodny, N. (2011). Instrumental reasons (unpublished).Google Scholar
- Kolodny, N., & MacFarlane, J. (2010). Ifs and oughts. The Journal of Philosophy, 107, 115–143.CrossRefGoogle Scholar
- Lalande, A. (1963). La raison et les normes: Essai sur le principe et sur la logique des jugements de valeur (2nd ed.). Paris: Hachette.Google Scholar
- Ledent, A. (1942). Le statut logique des propositions impératives. Theoria: A Swedish Journal of Philosophy, 8, 262–271.Google Scholar
- Lemmon, E. J. (1965). Deontic logic and the logic of imperatives. Logique et Analyse, 8, 39–71.Google Scholar
- MacFarlane, J. (2009). Logical constants. In Stanford encyclopedia of philosophy (fall 2009 edition, originally published 2005). http://plato.stanford.edu/archives/fall2009/entries/logical-constants/.
- MacIntyre, A. (1965). Imperatives, reasons for action, and morals. The Journal of Philosophy, 62, 513–524.CrossRefGoogle Scholar
- MacKay, A. F. (1969). Inferential validity and imperative inference rules. Analysis, 29, 145–156.CrossRefGoogle Scholar
- MacKay, A. F. (1971). The principle of mood constancy. Analysis, 31, 91–96.CrossRefGoogle Scholar
- Mavrodes, G. I. (1968). On deriving the normative from the nonnormative. Papers of the Michigan Academy of Science, Arts, and Letters, 53, 353–365.Google Scholar
- McArthur, R. P., & Welker, D. (1974). Non-assertoric inference. Notre Dame Journal of Formal Logic, 15, 225–244.CrossRefGoogle Scholar
- McKay, T. J., & Johnson, D. (1996). A reconsideration of an argument against compatibilism. Philosophical Topics, 24, 113–122.CrossRefGoogle Scholar
- Molnar, G. (2000). Truthmakers for negative truths. Australasian Journal of Philosophy, 78, 72–86.CrossRefGoogle Scholar
- Moore, G. E. (1942). A reply to my critics. In P. A. Schilpp (Ed.), The philosophy of G. E. Moore (pp. 535–677). Evanston, IL: Northwestern University.Google Scholar
- Moore, G. E. (1944). Russell’s “Theory of descriptions”. In P. A. Schilpp (Ed.), The philosophy of Bertrand Russell (pp. 175–225). New York: Tudor.Google Scholar
- Moore, G. E. (1993). Moore’s paradox. In T. Baldwin (Ed.), G. E. Moore: Selected writings (pp. 207–212). London: Routledge.Google Scholar
- Moritz, M. (1954). Der praktische Syllogismus und das juridische Denken. Theoria: A Swedish Journal of Philosophy, 20, 78–127.CrossRefGoogle Scholar
- Morscher, E. (1972). Poincaré’s Rule (oder: Wie aus einer schlechten Übersetzung eine Legende entsteht). Journal of the History of Philosophy, 10, 350–353.CrossRefGoogle Scholar
- Morscher, E. (1974). Das Sein-Sollen-Problem logisch betrachtet: Eine Übersicht über den gegenwärtigen Stand der Diskussion. Conceptus, 8(25), 5–29.Google Scholar
- Morscher, E., & Zecha, G. (1971). Clarke’s principle of mood constancy. Philosophia: Philosophical Quarterly of Israel, 1, 209–217.Google Scholar
- Moutafakis, N. J. (1975). Imperatives and their logics. New Delhi: Sterling.Google Scholar
- Mulligan, K., & Correia, F. (2009). Facts. In Stanford encyclopedia of philosophy (spring 2009 edition, originally published 2007). http://plato.stanford.edu/archives/spr2009/entries/facts/.
- Nute, D., & Yu, X. (1997). Introduction. In D. Nute (Ed.), Defeasible deontic logic (pp. 1–16). Dordrecht: Kluwer.CrossRefGoogle Scholar
- Parsons, J. (2012). Cognitivism about imperatives. Analysis, 72, 49–54.CrossRefGoogle Scholar
- Parsons, J. (2013). Command and consequence. Philosophical Studies, 164, 61–92.CrossRefGoogle Scholar
- Pietroski, P. (2014). Logical form. In Stanford encyclopedia of philosophy (fall 2014 edition, originally published 1999). http://plato.stanford.edu/archives/fall2014/entries/logical-form/.
- Pigden, C. R. (2011). Is George a traitor? Geach’s problem and imperative consequence (unpublished).Google Scholar
- Pigden, C. R. (2012). Queerness reconfigured (unpublished).Google Scholar
- Poincaré, H. (1913). Dernières Pensées. Paris: Flammarion.Google Scholar
- Pollock, J. L. (1970). The structure of epistemic justification. In N. Rescher (Ed.), Studies in the theory of knowledge (American Philosophical Quarterly monograph series, no. 4, pp. 62–78). Oxford: Blackwell.Google Scholar
- Pollock, J. L. (1974). Knowledge and justification. Princeton, NJ: Princeton University Press.Google Scholar
- Pollock, J. L. (1987). Defeasible reasoning. Cognitive Science, 11, 481–518.CrossRefGoogle Scholar
- Popper, K. R. (1945). The open society and its enemies: The spell of Plato (Vol. 1). London: Routledge.Google Scholar
- Popper, K. R. (1948). What can logic do for philosophy? The Aristotelian Society: Supplementary Volume, 22, 141–154.CrossRefGoogle Scholar
- Prakken, H., & Sergot, M. (1996). Contrary-to-duty obligations. Studia Logica, 57, 91–115.CrossRefGoogle Scholar
- Prior, A. N. (1949). Logic and the basis of ethics. Oxford: Clarendon Press.Google Scholar
- Ramírez, M. P. (2003). Formal pragmatic model for imperatives interpretation. Doctoral Dissertation, University of Essex.Google Scholar
- Rand, R. (1939). Logik der Forderungssätze. Revue Internationale de la Théorie du Droit, 1, 308–322.Google Scholar
- Rand, R. (1962). The logic of demand-sentences. Synthese, 14, 237–254 (translation of Rand 1939).Google Scholar
- Rescher, N. (1966). The logic of commands. London: Routledge and Kegan Paul.Google Scholar
- Rodriguez-Pereyra, G. (2006). Truthmaking, entailment, and the conjunction thesis. Mind, 115, 957–982.CrossRefGoogle Scholar
- Ross, A. (1941). Imperatives and logic. Theoria: A Swedish Journal of Philosophy, 7, 53–71.Google Scholar
- Ross, A. (1944). Imperatives and logic. Philosophy of Science, 11, 30–46 (reprint of Ross 1941).Google Scholar
- Sellars, W. (1956). Imperatives, intentions and the logic of “ought”. Methodos, 8, 227–268.Google Scholar
- Smart, J. J. C. (1984). Ethics, persuasion and truth. London: Routledge and Kegan Paul.Google Scholar
- Sosa, E. (1964). Directives: A logico-philosophical inquiry. Doctoral Dissertation, University of Pittsburgh.Google Scholar
- Sosa, E. (1966). Imperatives and referential opacity. Analysis, 27, 49–52.CrossRefGoogle Scholar
- Sosa, E. (1967). The semantics of imperatives. American Philosophical Quarterly, 4, 57–64.Google Scholar
- Sosa, E. (1970). On practical inference, with an excursus on theoretical inference. Logique et Analyse, 13, 215–230.Google Scholar
- Speak, D. (2011). The consequence argument revisited. In R. Kane (Ed.), The Oxford handbook of free will (2nd ed., pp. 115–130). New York: Oxford University Press.Google Scholar
- Stalley, R. F. (1972). Intentions, beliefs, and imperative logic. Mind, 81, 18–28.CrossRefGoogle Scholar
- Tammelo, I. (1975). The logic of demands in legal thought. ITA Humanidades, 11, 34–42.Google Scholar
- Turnbull, R. G. (1960). Imperatives, logic, and moral obligation. Philosophy of Science, 27, 374–390.CrossRefGoogle Scholar
- Vanderveken, D. (1990). Meaning and speech acts: Principles of language use (Vol. 1). New York: Cambridge University Press.Google Scholar
- Vetter, H. (1971). Deontic logic without deontic operators. Theory and Decision, 2, 67–78.CrossRefGoogle Scholar
- Vranas, P. B. M. (2005). Do cry over spilt milk: Possibly you can change the past. The Monist, 88, 370–387.CrossRefGoogle Scholar
- Vranas, P. B. M. (2007). I ought, therefore I can. Philosophical Studies, 136, 167–216.CrossRefGoogle Scholar
- Vranas, P. B. M. (2008). New foundations for imperative logic I: Logical connectives, consistency, and quantifiers. Noûs, 42, 529–572.CrossRefGoogle Scholar
- Vranas, P. B. M. (2010). In defense of imperative inference. Journal of Philosophical Logic, 39, 59–71.CrossRefGoogle Scholar
- Vranas, P. B. M. (2011). New foundations for imperative logic: Pure imperative inference. Mind, 120, 369–446.CrossRefGoogle Scholar
- Vranas, P. B. M. (2013). Imperatives, logic of. In H. LaFollette (Ed.), International encyclopedia of ethics (Vol. 5, pp. 2575–2585). Oxford: Blackwell.Google Scholar
- Warmbrōd, K. (1999). Logical constants. Mind, 108, 503–538.CrossRefGoogle Scholar
- Warnock, G. (1976). Imperatives and meaning. In H. D. Lewis (Ed.), Contemporary British philosophy: Personal statements (4th series, pp. 292–304). London: Allen and Unwin.Google Scholar
- Wedeking, G. A. (1969). A critical examination of command logic. Doctoral Dissertation, Washington University, Saint Louis.Google Scholar
- Weinberger, O. (1972). Bemerkungen zur Grundlegung der Theorie des juristischen Denkens. In H. Albert, N. Luhman, W. Maihofer, & O. Weinberger (Eds.), Jahrburh für Rechtssoziologie und Rechtstheorie: Rechtstheorie als Grundlagenwissenschaft der Rechtswissenschaft (Vol. 2, pp. 134–161). Düsseldorf: Bertelsmann Universitätsverlag.Google Scholar
- Weinberger, O. (1976). Poincaré’s Rule (oder: Ein bisschen Hermeneutik, Herr Morscher!). Journal of the History of Philosophy, 14, 356–358.CrossRefGoogle Scholar
- Weinberger, O. (1981). Normentheorie als Grundlage der Jurisprudenz und Ethik: Eine Auseinandersetzung mit Hans Kelsens Theorie der Normen. Berlin: Duncker and Humblot.Google Scholar
- Williams, B. A. O. (1966). Consistency and realism. The Aristotelian Society: Supplementary Volume, 40, 1–22.CrossRefGoogle Scholar
- Zellner, H. M. (1971). The logic of imperatives. Doctoral Dissertation, The University of Miami, Coral Gables, FL.Google Scholar