Abstract
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist view is addressed, and a methodology is given. The pure invariantist view is contrasted with logical pluralism, and a methodology for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference, including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance.
Similar content being viewed by others
References
Arló-Costa Horacio (2005) ‘Non-adjunctive inference and classical modalities’. Journal of Philosophical Logic 34: 581–605
Beall J.C., Greg Restall (2006) Logical Pluralism. Oxford University Press, Oxford
Byrd Michael (1989) ‘Russell, logicisn and the choice of logical constants’. Notre Dame Journalof FormalLogic 30(3): 343–361
Casanovas Enrique (2007) ‘Logical operations and invariance’. Journal of Philosophical Logic 36(1): 33–60
Chellas Brian (1980) Modal Logic. Cambridge University Press, Cambridge
Douven Igor, Timothy Williamson (2006) ‘Generalizing the lottery paradox’. The British Journal for the Philosophy of Science Philosophy of Science 57(4):755–779
Fisher Ronald A. (1936) ‘Uncertain inference’. Proceedings of the American Academy of Arts and Sciences 71: 245–258
Fisher, Ronald A., ‘On the mathematical foundations of theoretical statistics’, in J. H. Bennett, (ed.), CollectedPapers of R.A.Fisher, University of Adelaide, Adelaide, 1971. Originally published in 1922.
Frege, Gottlob, The Foundations of Arithmetic, j. l. austin (trans). edn., Basil Blackwell, Oxford, 1893(1950).
Gabbay, Dov, ‘Theoretical foundations for nonmonotonic reasoning in expert systems’, in K. Apt, (ed.), Logics and Models of Concurrent Systems, Springer-Verlag, Berlin, 1985.
Halpern Joseph Y. (2003) Reasoning about Uncertainty. MIT Press, Cambridge, MA
Harman Gilbert (1986) Change in View. MIT Press, Cambridge, MA
Harman, Gilbert,and Sanjeev R. Kulkarni, ‘The problem of induction’, Philosophy and Phenomenological Research, (2005). Presented at the 2005 Rutgers Epistemology Workshop.
Hawthorne James, David Makinson (2007) ‘The quantitative/qualitative watershed for rules of uncertain inference’. Studia Logica 86(2): 247–297
Kraus Sarit, Daniel Lehman, Menachem Magidor (1990) ‘Nonmonotonic reasoning, preferential models and cumulative logics’. Artificial Intelligence 44: 167–207
Kyburg, Henry E., Jr., Choh Man Teng,and Gregory Wheeler, ‘Conditionals and consequences’, Journal of Applied Logic, (2007).
Lindenbaum, Adolf,and Alfred Tarski, ‘On the limitations of the means of expression of deductive theories’, in John Corcoran, (ed.), Logic, Semantics, Metamathematics, Hackett, Indianapolis, 1983.
MacFarlane, John, What does it mean to say that logic is formal, Ph.D. thesis, University of Pittsburgh, 2000.
Makinson, David C., ‘General patterns in nonmonotonic reasoning’, in Dov Gabbay, Chris Hogger, and John Alan Robinson, (eds.), Handbook of Logic in Artificial Intelligence and Uncertain Reasoning, vol. 3, Clarendon Press, Oxford, 1994.
Makinson David C. (2005) Bridges from Classical to Nonmonotonic Logic. King’s College Publications, London
Marek V. Wiktor, Mirosław Truszczyński (1993) Nonmonotonic Logic. Springer-Verlag, Berlin
McGee Van (1996) ‘Logicaloperations’. Journal of Philosophical Logic 25: 567–580
Morgan Charles G. (1998) ‘Non-monotonic logic is impossible’. Canadian Journal of Artificial Intelligence 42: 19–25
Morgan Charles G. (2000) ‘The nature of nonmonotonic reasoning’. Minds and Machines 10: 321–360
Pearl Judea (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco, CA
Pearl, Judea, ‘System Z: A natural ordering of defaults with tractable applications to default reasoning’, in Theoretical Aspects of Reasoning about Knowedge, 1990, pp. 121–135.
Pratt-Hartmann Ian (2004) ‘Fragments of language’. Logic, Language and Information, 13(2): 207–223
Reiter Ray (1980) ‘A logic for default reasoning’. Artificial Intelligence 13: 81–132
Restall Greg (2002) ‘Carnap’s tolerance, meaning and logical pluralism’. Journal of Philosophy 99: 426–443
Sher Gila (2003) ‘A characterization of logical constants is possible’. Theoria 18(47): 189–198
Tamminga, Allard, Belief Dynamics: Epistemological Investigations, Ph.D. thesis, University of Amsterdam, Amsterdam, 2001.
van Benthem Johan (1989) ‘Logical constants across varying types’. Notre Dame Journal of Formal Logic 30(3): 315–342
Warmbrod Ken (1999) ‘Logical constants’. Mind 108(431): 503–538
Wheeler Gregory (2006) ‘Rational acceptance and conjunctive/disjunctive absorption’. Journal of Logic, Language and Information 15(1-2):49–63
Wheeler, Gregory, ‘Two puzzles concerning measures of uncertainty and the positive Boolean connectives’, in José Neves, Manuel Santos, and José Machado, (eds.), Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, LNAI 4874, Springer-Verlag, Berlin, 2007, pp. 170–180.
Author information
Authors and Affiliations
Corresponding author
Additional information
Edited by Hannes Leitgeb
Rights and permissions
About this article
Cite this article
Wheeler, G. Applied Logic without Psychologism. Stud Logica 88, 137–156 (2008). https://doi.org/10.1007/s11225-008-9095-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-008-9095-8