On Logics of Transitive Verbs With and Without Intersective Adjectives

Topal, Selçuk

doi:10.2478/sh-2018-0003

Abstract

The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R(∀,∃) containing transitive verbs and a more expressive logical system R(∀,∃, IA) containing both transitive verbs and intersective adjectives.

The paper offers three different set-theoretic semantics which are equivalent for the logics.

References

1. Benthem van, J. Questions about quantifiers, Journal of Symbolic Logic, 49, 2, 1984, pp. 443-466.10.2307/2274176
Open DOI Search in Google Scholar Back to article
2. Black, M. A New Method of Presentation of the Theory of the Syllogism, The Journal of Philosophy, 42, 17, 1945, pp. 449-455.10.2307/2020389
Open DOI Search in Google Scholar Back to article
3. Bocharov, V. A. Boolean algebra and syllogism, Synthese, 66, 1, 1986, pp. 35-54.10.1007/BF00413577
Search in Google Scholar Back to article
4. Corcoran J., Completeness of an ancient logic, Journal of Symbolic Logic, 37, 1972, pp. 696-702.10.2307/2272415
Search in Google Scholar Back to article
5. D‘Alfonso, D. The square of opposition and generalized quantifiers In J. Y. Béziau & D. Jacquette (eds.), Around and Beyond the Square of Opposition. Studies in Universal Logic, Basel:Springer, 2012, pp. 219-227.10.1007/978-3-0348-0379-3_15
Search in Google Scholar Back to article
6. De Morgan, A. Formal logic: or, the calculus of inference, necessary and probable, Taylor and Walton, 1847.
Search in Google Scholar Back to article
7. Eijck van, J. Generalized quantifiers and traditional logic, In J. van Benthem & A. T. Meulen (eds.), Generalized quantifiers in natural language, vol. 4, Walter de Gruyter,1985, pp. 1-19.10.1515/9783110867909.1
Search in Google Scholar Back to article
8. Eijck van, J. Syllogistics= monotonicity+ symmetry+ existential import, May, 2005, preprint.
Search in Google Scholar Back to article
9. Eijck van, J. Natural Logic for Natural Language, In B. D. ten Cate & H.W. Zeevat (eds.), Logic, Language, and Computation, TbiLLC 2005, Lecture Notes in Computer Science, vol. 4363, Berlin, Heidelberg:Springer, 2007.
Search in Google Scholar Back to article
10. Ivanov, N. & D.Vakarelov. A system of relational syllogistic incorporating full Boolean reasoning, Journal of Logic, Language and Information, 21(4), 2012, pp. 433-459.10.1007/s10849-012-9165-1
Search in Google Scholar Back to article
11. Łukasiewicz, J. Aristotle’s syllogistic from the standpoint of modern formal logic, Oxford University Press, 1957.
Search in Google Scholar Back to article
12. Moss, L. S. Completeness theorems for syllogistic fragments, In F.Hamm & S. Kepser (eds.), Logics for Linguistic Structures, 2008, pp. 143-173.10.1515/9783110211788.143
Search in Google Scholar Back to article
13. Moss L.S. Intersecting Adjectives in Syllogistic Logic, In C. Ebert, G. Jäger & J. Michaelis (eds), The Mathematics of Language. Lecture Notes in Computer Science, vol. 6149, Berlin, Heidelberg: Springer, 2010, pp. 223-237.10.1007/978-3-642-14322-9_17
Search in Google Scholar Back to article
14. Moss L. S. Syllogistic Logic with Complements, In J. van Benthem, A. Gupta & E. Pacuit (eds), Games, Norms and Reasons. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, vol. 353, Dordrecht: Springer, Springer Netherlands, 2011, pp. 179-197.10.1007/978-94-007-0714-6_11
Search in Google Scholar Back to article
15. Moss L. S. Syllogistic logics with verbs, Journal of Logic and Computation, 20 (4),2010, pp. 947-967.10.1093/logcom/exn086
Search in Google Scholar Back to article
16. Peirce C. S. On the algebra of logic, American Journal of Mathematics, 3(1), 1880, pp. 15-57.10.2307/2369442
Open DOI Search in Google Scholar Back to article
17. Pratt-Hartmann I. & L. S.Moss. Logics for the relational syllogistic, The Review of Symbolic Logic, 2 (04), 2009, pp. 647-683.10.1017/S1755020309990086
Search in Google Scholar Back to article
18. Schumann, A. & L. Akimova. Syllogistic system for the propagation of parasites, The case of Schistosomatidae (Trematoda: Digenea), Studies in Logic, Grammar and Rhetoric, 40 (53), 2015.10.1515/slgr-2015-0015
Search in Google Scholar Back to article
19. Schumann A. On Two Squares of Opposition: the Lesniewskis Style Formalization of Synthetic Propositions, Acta Analytica, 28, 1, 2013, pp. 71-93.10.1007/s12136-012-0162-4
Open DOI Search in Google Scholar Back to article
20. Sotirov V. Arithmetizations of syllogistic a la Leibniz, Journal of Applied Non-Classical Logics, 9, 2-3, 1999, pp. 387-405.10.1080/11663081.1999.10510975
Search in Google Scholar Back to article
21. Topal, S. Equivalential Structures for Binary and Ternary Syllogistics, Journal of Logic, Language and Information, 2017, https://doi.org/10.1007/s10849-017-9260-410.1007/s10849-017-9260-4
Open DOI Search in Google Scholar Back to article
22. Westerståhl, D. On the Aristotelian square of opposition, Kapten Mnemos Kolumbarium, en festskrift med anledning av Helge Malmgrens 60-årsdag, 2005.
Search in Google Scholar Back to article

On Logics of Transitive Verbs With and Without Intersective Adjectives

Abstract

Paradigm

My account