PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Czasopismo
2018 | 7(1) | 31--43
Tytuł artykułu

On Logics of Transitive Verbs With and Without Intersective Adjectives

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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
Czasopismo
Rocznik
Tom
Strony
31--43
Opis fizyczny
Twórcy
  • 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

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.