Нередко можно встретить противопоставление строгих методов построения доказательств эвристическим принципам, которые используются в отыскании формулировок будущих теорем, в выработке идеи доказательства и т. п. Основу этого противопоставления составляет следующий ошибочный, по-нашему мнению, взгляд: строгие методы надежны, неоспоримы, а эвристические принципы ненадежны, спорны...
СОДЕРЖАНИЕ:
Введение
Современная формальная логика и научная эвристика
Общие замечания о методах формальной дедукции Аналоги принципов эвристической деятельности в логических исчислениях
Системное выражение эвристических принципов в логических исчислениях
Роль принципов логики в развитии научного знания
Критерии нетривиальной выводимости (регулярная выводимость)
О так называемых "парадоксах" формальной выводимости
Регулярная выводимость в классической логике высказываний
Одно регулярное логическое исчисление
Сравнение полного (классического) исчисления высказываний и регулярного исчисления высказываний
Приложение А:
Теория естественного вывода с точки зрения современной формальной логики
Семантика логических знаков. Истинностные таблицы
Понятие логического следования
Логические системы естественного вывода
Корректность, непротиворечивость и полнота логических систем
Силлогистика
Приложение Б:
Техника естественного вывода в модальной логике
Литература
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
)
отличное;
В продаже с 02.11.2024
