Traktatas apie išvedimus (ištrauka)
Tractatus de consequentiis (excerpt)

Summary/Abstract: The translation of the fourth part of Tractatus de consequentiis (Tractatus de consequentiis) of the French logician John Buridan of the 14th century into the Lithuanian language is presented, carried out as part of the project of research groups "Traditional modal logic research using modern logic theories and information technologies". Scientists participating in this project, prof. Jonas Dagys (VU Institute of Philosophy), dr. Haroldas Giedra (VU Informatics Institute) and dr. Živile Pabijutaitė (VU Institute of Philosophy) sought to determine the relationship between Buridan's modal logic and the widely known and used systems of modern quantum modal logic K, T, S4, S5. In order to answer this question, Buridan's two logical treatises were examined - Treatise on Deductions and Summulae de dialectica, in which he teaches the basics of modal syllogistic, understood as an extension of Aristotle's assertoric syllogistic.

• Details
• Contents