МЕТОДИ ПЕРЕВІРКИ ПРАВИЛЬНОСТІ ВИВЕДЕННЯ ВИСНОВКУ ІЗ ЗАСНОВКІВ У ТЕОРІЇ СИЛОГІСТИКИ

Andrii Synytsia

Анотація


Розкрито суть основних методів перевірки правильності виведення висновку із засновків у теорії силогістики, які розробили Аристотель, Л. Ейлер, Д. Вен, Л. Керол, Я. Лукасевич, В. Смирнов та інші. А також запропоновано власний метод виведення, який отримав назву “метод алгебраїзації”. Ключові слова: силогізм, формалізація, алгебраїзація, деалгебраїзація.

Повний текст:

PDF

Посилання


1. Аристотель. Сочинения в 4 х т. – М.: Мысль, 1978. – Т. 2. – 687 с.

2. Кэрролл Л. История с узелками. – М.: Мир, 1973. – 408 с.

3. Конверський А. Логіка (традиційна та сучасна): Підручник. – К: Центр навчальної літератури, 2004. – 535 с.

4. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. – М: ИИЛ, 1959. – 312 с.

5. Смирнов В. Логические методы анализа научного знания. – М.: Наука, 1987. – 256 с.

6. Субботин А. Смысл и ценность формализации в логике // Философские вопросы современной формальной логики. – М.: Из-во АН СССР, 1962. – 364 с.

7. Шуман А. Философская логика: Истоки и эволюция. – Минск.: Экономпресс, 2001. – 368 с.


Посилання

  • Поки немає зовнішніх посилань.


Lviv University Journal of Philosophy