Warianty tytułu
Języki publikacji
Abstrakty
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 R(s,,) 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. (original abstract)
Słowa kluczowe
Twórcy
autor
- Bitlis Eren University, Turkey
Bibliografia
- 1. Benthem van, J. Questions about quantifiers, Journal of Symbolic Logic, 49, 2, 1984, pp. 443-466.
- 2. Black, M. A New Method of Presentation of the Theory of the Syllogism, The Journal of Philosophy, 42, 17, 1945, pp. 449-455.
- 3. Bocharov, V. A. Boolean algebra and syllogism, Synthese, 66, 1, 1986, pp. 35-54.
- 4. Corcoran J., Completeness of an ancient logic, Journal of Symbolic Logic, 37, 1972, pp. 696-702.
- 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.
- 6. De Morgan, A. Formal logic: or, the calculus of inference, necessary and probable, Taylor and Walton, 1847.
- 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.
- 8. Eijck van, J.Syllogistics= monotonicity+ symmetry+ existential import, May, 2005, preprint.
- 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.
- 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.
- 11. Łukasiewicz, J. Aristotle's syllogistic from the standpoint of modern formal logic, Oxford University Press, 1957.
- 12. Moss, L. S. Completeness theorems for syllogistic fragments, In F.Hamm & S. Kepser (eds.), Logics for Linguistic Structures, 2008, pp. 143-173.
- 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.
- 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.
- 15. Moss L. S. Syllogistic logics with verbs, Journal of Logic and Computation, 20 (4),2010, pp. 947-967.
- 16. Peirce C. S. On the algebra of logic, American Journal of Mathematics, 3(1), 1880, pp. 15-57.
- 17. Pratt-Hartmann I. & L. S.Moss. Logics for the relational syllogistic, The Review of Symbolic Logic, 2 (04), 2009, pp. 647-683.
- 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.
- 19. Schumann A. On Two Squares of Opposition: the Lesniewskis Style Formalization of Synthetic Propositions, Acta Analytica, 28, 1, 2013, pp. 71-93.
- 20. Sotirov V. Arithmetizations of syllogistic a la Leibniz, Journal of Applied Non-Classical Logics, 9, 2-3, 1999, pp. 387-405.
- 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-4
- 22. Westerståhl, D. On the Aristotelian square of opposition, Kapten Mnemos Kolumbarium, en festskrift med anledning av Helge Malmgrens 60-årsdag, 2005.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171515466