Hostname: page-component-7c8c6479df-7qhmt Total loading time: 0 Render date: 2024-03-29T09:18:01.839Z Has data issue: false hasContentIssue false

LOGICS FOR THE RELATIONAL SYLLOGISTIC

Published online by Cambridge University Press:  01 December 2009

IAN PRATT-HARTMANN*
Affiliation:
School of Computer Science, University of Manchester
LAWRENCE S. MOSS*
Affiliation:
Department of Mathematics, Indiana University
*
*SCHOOL OF COMPUTER SCIENCE, UNIVERSITY OF MANCHESTER, MANCHESTER M13 9PL, UK
DEPARTMENT OF MATHEMATICS, INDIANA UNIVERSITY, 831 EAST THIRD STREET, BLOOMINGTON, IN 47405-7106, USA

Abstract

The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question of whether reductio ad absurdum is needed. Thus our main goal is to derive results on the existence (or nonexistence) of syllogistic proof systems for relational fragments. We also determine the computational complexity of all our fragments.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Arnauld, A. (1662). Logic, or, the Art of Thinking (“The Port-Royal Logic”). tr. Dickoff, J., and James, P.Indianapolis: Bobbs-Merrill, 1964.Google Scholar
Corcoran, J. (1972). Completeness of an ancient logic. The Journal of Symbolic Logic, 37(4), 696702.Google Scholar
De Morgan, A. (1847). Formal Logic: or, the Calculus of Inference, Necessary and Probable. London: Taylor and Walton.Google Scholar
De Morgan, A. (1860). On the syllogism, Part IV. Transactions of the Cambridge Philosophical Society, 10, 331357.Google Scholar
Englebretsen, G. (1981). Three Logicians. Assen, The Netherlands: Van Gorcum.Google Scholar
Grädel, E., Kolaitis, P., & Vardi, M. (1997). On the decision problem for two-variable first-order logic. The Bulletin of Symbolic Logic, 3(1), 5369.Google Scholar
Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic Logic. Cambridge, MA: MIT Press.Google Scholar
Łukasiewicz, J. (1957). Aristotle’s Syllogistic (second edition). Oxford, UK: Clarendon Press.Google Scholar
Martin, J. N. (1997). Aristotle’s natural deduction revisited. History and Philosophy of Logic, 18(1), 115.CrossRefGoogle Scholar
McAllester, D. A., & Givan, R. (1992). Natural language syntax and first-order inference. Artificial Intelligence, 56, 120.Google Scholar
Merrill, D. D. (1990). Augustus De Morgan and the Logic of Relations. Dordrecht, The Netherlands: Kluwer Academic Publishers.Google Scholar
Moss, L. S. (to appear). Syllogistic logics with verbs. Journal of Logic and Computation. doi: 10.1093/logcom/exn086.Google Scholar
Moss, L. S. (2007). Syllogistic logic with complements. Manuscript, Indiana University.Google Scholar
Moss, L. S. (2008). Completeness theorems for syllogistic fragments. In Hamm, F., and Kepser, S., editors. Logics for Linguistic Structures. Berlin: Mouton de Gruyter, pp. 143173.Google Scholar
Nishihara, N., Morita, K., & Iwata, S. (1990). An extended syllogistic system with verbs and proper nouns, and its completeness proof. Systems and Computers in Japan, 21(1), 760771.Google Scholar
Papadimitriou, C. H. (1994). Computational Complexity. Reading, MA: Addison-Wesley.Google Scholar
Pratt-Hartmann, I. (2004). Fragments of language. Journal of Logic, Language and Information, 13, 207223.Google Scholar
Smiley, T. J. (1973). What is a syllogism? Journal of Philosophical Logic, 2, 135154.Google Scholar
Sommers, F. (1982). The Logic of Natural Language. Oxford, UK: Clarendon Press.Google Scholar
Westerståhl, D. (1989). Aristotelian syllogisms and generalized quantifiers. Studia Logica, XLVIII(4), 577585.Google Scholar