Аргументация и постовские системы
- Страницы / Pages
- 43-49
Аннотация
В статье на примере квантовой логики показано, что критерием, позволяющим провести демаркацию между логическими и постовскими системами, служит возможность построения системы аргументации, подчиняющейся правилам той или иной неклассической системы выводов, которые в современной логике имеют статус «логической системы».
Abstract
B
Список литературы
1. Post E. Formal reductions of the general combinatorial decision problem // Amer. J. Math., vol.65, 1943. P. 197-215.
2. Ацел П. Введение в теорию индуктивных определений // Справочная книга по математической логике. Часть III. Теория рекурсии / Ершов Ю.Л. (ред.), М.: Наука, 1982. С. 224-268.
3. Маслов С.Ю. Теория дедуктивных систем и ее применения. М.: Радио и связь, 1986.
4. Васюков В.Л. О не-фрегевской аргументации // Теория и практика аргументации, М., 2001. С. 130-143.
5. Goldblatt R. I. Semantic analysis of orthologic // J. Phil. Log., vol. 3, No 1-2. 1974. pp.19-35.
6. Васюков В.Л. Квантовая логика. М.: Per Se, 2005.