Поиск
Подать статью
Кантовский сборник

2018 Том 37 №1

Назад к списку Скачать статью Download the article
Драгалина-Черная Е. Г.

Консеквенции и дизайн в общей и трансцендентальной логике

Аннотация

Кантовская дихотомия общей и трансцендентальной логик рассматривается в свете ретроспективной реконструкции двух подходов к демаркации формальных и материальных консеквенций, коренящихся в схоластике XIV в. Согласно первому подходу (Жан Буридан, Альберт Саксонский, Марсилий Ингенский), консеквенция формальна, если она валидна исключительно в силу своей формы для любой материи. Поскольку материя консеквенции связывается с категорематическими терминами, ее формальная валидность определяется как инвариантность относительно подстановок таких терминов. Согласно второму подходу (Ричард Биллингем, Роберт Фланд, Ральф Строуд, Ричард из Лавенема), валидность формальной консеквенции обеспечивается формальным подразумеванием консеквента в ее антецеденте. Выдвигается гипотеза о попытке примирения в кантовской логической систематике подстановочной трактовки формальных консеквенций и формального анализа трансцендентальных отношений предметов опыта. Показывается, однако, что интерпретация ограничений, накладываемых транс­цендентальной логикой на способность суждения, в духе схоластической онтологии трансцендентальных отношений вошла бы в противоречие с кантовской критикой догматической онтологии. Следуя Лучано Флориди, трансцендентальная логика истолковывается не как система консеквенций с онтологически фундированными трансцендентальными ограничениями, а как логика дизайна, которая обогащает традиционный логический инструментарий серией понятий, заимствованных преимущественно из программирования: дизайнер проектируемой системы формулирует требования ее осуществимости и определяет ее функции, позволяющие достигать заданной цели на основе доступных ресурсов. Кантовский проект накладывает запрет на догматическую апелляцию к трансцендентальным отношениям и вечным истинам схоластики, однако конститутивный характер правил трансцендентальной логики в отношении способности суждения исключает плюрализм концептуальных систем, имеющих интерпретацию в пределах возможного опыта. Таким образом, задача оптимизации поиска концептуального дизайна выходит за границы компетенции трансцендентальной логики.

Список литературы

  1. Аристотель. Метафизика // Соч. : в 4 т. М., 1975. Т. 1.
  2. Аристотель. Первая Аналитика // Соч. : в 4 т. М., 1978. Т. 1.
  3. Аристотель. Физика // Соч. : в 4 т. М., 1981. Т. 3.
  4. Больцано Б. Учение о науке. СПб., 2003.
  5. Брюшинкин В. Н. Взаимодействие формальной и транс­цендентальной логики // Кантовский сборник. 2006. Вып. 26. С. 148—167.
  6. Брюшинкин В. Н. Логика Канта и метафизика Стросона // Кантовский сборник. 2011. Вып. 37. С. 3—17.
  7. Витгенштейн Л. Логико-философский трактат. М., 2008.
  8. Декарт Р. Правила для руководства ума // Соч. М., 1989. Т. 1. С. 80—153.
  9. Декарт Р. Беседа с Бурманом // Соч. М., 1994а. Т. 2. С. 447—488.
  10. Декарт Р. Письмо Мелану // Соч. М., 1994б.  Т. 2. С. 496—500.
  11. Драгалина-Черная Е. Г. Неформальные заметки о логической форме. СПб., 2015.
  12. Жильсон Э. Учение Декарта о свободе и теология // Избранное: Христианская философия. М., 2004. С. 5—320.
  13. Кант И. Критика чистого разума // Соч. : в 8 т. М., 1994а. Т. 3.
  14. Кант И. Логика. 1800 // Соч. : в 8 т. М., 1994б. Т. 8. С. 266—398.
  15. Кант И. Ложное мудрствование в четырех фигурах силло­гизма // Соч. : в 8 т. М., 1994в. Т. 2. C. 23—40.
  16. Лисанюк Е. Н. Ж. Буридан о верификации предложений // Homo philosophans. Сер. «Мыслители». Вып. 12. Сборник к 60-летию профессора К. А. Сергеева. СПб., 2002. С. 49—61.
  17. Лисанюк Е. Н. Средневековая логика (XI—XIV вв.) // Историко-логические исследования. СПб., 2003. С. 92—110.
  18. Оккам У. Избранное. М., 2010.
  19. Ясперс К. Кант: жизнь, труды, влияние. М., 2015.
  20. Benthem J. van. The Variety of Consequence, According to Bolzano // Studia Logica. 1989. Vol. 44, № 4. Р. 389—403.
  21. Benthem J. van. Is There Still Logic in Bolzano’s Key? // Bernard Bolzanos Leistungen in Logik, Mathematik und Physik / hrsg. von E. Morscher. Sankt Augustin, 2003. Bd. 16. Р. 11—34.
  22. Bonnay D., Westerståhl D. Consequence Mining. Constants versus Consequence Relations // Journal of Philosophical Logic. 2012. Vol. 41. Р. 671—709.
  23. Buridan J. Summulae de Dialectica. New Haven, 2001.
  24. Buridan J. Treatise on Consequences. N. Y., 2015.
  25. Dragalina-Chernaya E. The Roots of Logical Hylomorphism // Логические исследования / Logical Investigations. 2016а. Vol. 22, № 2. Р. 59—72.
  26. Dragalina-Chernaya E. Kant’s Dynamic Hylomorphism in Logic // Con-Textos Kantianos. 2016б. № 4. P. 127—137.
  27. Dutilh Novaes C. Medieval Theories of Consequence // Stanford Encyclopedia of Philosophy. 2016. Jul 7. URL: https://plato.stanford.edu/entries/consequence-medieval/ (дата обращения: 04.09.2017).
  28. Fland R. Consequentiae (ed. by P. V. Spade) // Mediaeval Studies. 1976. Vol. 38. Р. 54—58.
  29. Floridi L. The Logic of Design as a Conceptual Logic of Information // Minds and Machines. 2017. Vol. 28. Р. 495—519.
  30. King P. Medieval Proof Theory // Medieval Formal Logic / ed. by M. Yrjönsuuri. Dordrecht, 2001. Р. 117—145.
  31. Klima G. Consequences of a Closed, Token-Based Semantics: The Case of John Buridan // History and Philosophy of Logic. 2004. Vol. 25. Р. 95—110.
  32. Klima G. Consequence // The Cambridge Companion to Medieval Logic / ed. by C. Dutilh Novaes, S. Read. Cambridge, 2016. Р. 216—341.
  33. Lavenham, R. Consequentiae (1370) (ed. & transl. by P. V. Spade in “Five Logical Tracts by Richard Lavenham”) // Essays in Honor of Anton Charles Pegis / ed. J. R. O’Donnell. Toronto, 1974. Р. 99—112.
  34. Martin C. J. Formal Consequence in Scotus and Ockham: Towards an Account of Scotus’ Logic // 1302: Duns Scot à Paris 1302—2002. Actes du colloque de Paris, septembre 2002 / ed. O. Boulnois, E. Karger, J. — L. Solre, G. Sondag. Turnout, 2005.
  35. Normore C. The Necessity in Deduction: Cartesian Inference and its Medieval Background // Synthese. 1993. Vol. 96. Р. 437—454.
  36. Ockham W. Philosophical Writings: A Selection. Indianapolis; Cambridge, 1990.
  37. Paulus Venetus. Logica Parva / transl. with an intr. and notes by A. R. Perreiah. München; Wien, 1984.
  38. Read S. Introduction // Buridan J. Treatise on Consequences. N. Y., 2015. P. 1—52.
  39. Simons P. Bolzano, Tarski, and the Limits of Logic // Simons P. Philosophy and Logic in Central Europe from Bolzano to Tarski: Selected Essays. Dordrecht, 1992. Р. 13—40.
  40. Strodus R. Consequentiae cum Commento Alexandri Sermonetae et Declarationibus Getani de Thienis… Venice, 1493.
  41. Tarski A. Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Indianapolis, 1983.
  42. Wittgenstein L. Remarks on Colour. Oxford, 1997.