ОБҐРУНТУВАННЯ КРИТЕРІЇВ ЛОГІЧНОГО ВИПЛИВАННЯ

Ihor Dutsiak

Анотація


Описано варіанти, у яких використовувати метатеорему дедукції для виявлення наявності відношення логічного випливання, а отже, і для формулювання правил виведення, – некоректно. Обґрунтовано критерій та відповідний метод виявлення наявності відношення логічного випливання, позбавлені недоліків метатеореми дедукції як основи формулювання правил виведення.

Ключові слова: логічне випливання, правила виведення.


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

PDF

Посилання


1. Ивин А. А., Никифоров А. Л. Словарь по логике. – М.: Гуманит. изд. центр ВЛАДОС, 1997. – 384 с.

2. Серебрянников О. Ф. Эвристические принципы и логические исчисления. – М.: Наука, 1970. – 283 с.

3. Сидоренко Е. А. Общая теория логического следования / Теория логического вывода. – М.: Наука, 1973. – С. 14–50.

4. Попович М. В. Философские вопросы семантики. – К.: Наукова думка, 1975. – 299 с.

5. Мельников В. Н. Логические задачи. – Киев – Одесса: Выща шк., 1989. – 344 с.


Посилання

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


Lviv University Journal of Philosophy