А. Р. Познер доктор философских наук, профессор кафедры философии Московского Государственного техни­ческого университета им Н. Э. Баумана



страница99/255
Дата28.09.2018
Размер3.25 Mb.
Название файлаStudmed.ru_lebedev-sa-filosofiya-nauki-slovar-osnovnyh-terminov_d01e2a6ed32.doc
Учебное заведениеА.Р. Познер - доктор философских наук, профессор кафедры философии Московского Государственного техни­ческого университета им Н.Э. Баумана;
1   ...   95   96   97   98   99   100   101   102   ...   255
ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО - последова­тельность высказываний, часть которых является ее исходными утверждениями — аксиомами, а все дру­гие выводятся из них по четко указанным правилам вывода (основные из них — дедукция, математичес­кая индукция, правило подстановки) или вводятся с помощью вспомогательных высказываний, определе­ний и лемм. Основное применение логические дока­зательства имеют в логических и математических науках, а также на теоретическом уровне познания в других науках. В последних логическое доказательство является лишь одним из фрагментов научной теории. Разработкой законов и правил логического доказатель­ства занимается современная (математическая) логи­ка, которую часто кратко определяют как науку о до­казательстве. Методологическая ценность логическо­го доказательства состоит в том, что сколь бы длинным оно ни было (с увеличением длины его методологичес­кая ценность только возрастает), оно всегда гаранти­рует истинность любого своего следствия (теоремы), если посылки (аксиомы) были истинными. Однако имеются определенные ограничения на мощность ло­гических доказательств для научных теорий. Как до­казал К. Гедель, даже самая простая в содержатель­ном отношении математическая теория — арифмети­ка натуральных чисел не может быть представлена в виде одного логического доказательства, так как мно­жество ее истинных утверждений всегда будет боль­ше множества ее доказанных утверждений в рамках одного доказательства. Поэтому для любой, особенно

достаточно богатой по содержанию научной теории, всегда неизбежно имеет место дополнение ее логичес­ки доказанной части соображениями содержательного характера, принимаемых на эмпирической или интуи­тивной основе. (См. вывод, доказательство, логика).





Поделитесь с Вашими друзьями:
1   ...   95   96   97   98   99   100   101   102   ...   255


База данных защищена авторским правом ©nashuch.ru 2017
обратиться к администрации

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общие сведения
Общая характеристика
Физическая культура
Теоретические аспекты
Федеральное государственное
Дипломная работа
Общая часть
Самостоятельная работа
Методическое пособие
История развития
квалификационная работа
государственное бюджетное
Выпускная квалификационная
Направление подготовки
Техническое задание
Технологическая карта
Теоретическая часть
Понятие предмет
Краткая характеристика
прохождении производственной
Общие положения
Общие требования
Методическая разработка
Исследовательская работа
Описание технологического
Металлические конструкции
Электрические машины
Практическое занятие
Гражданское право
Технология производства
Математическое моделирование
Техническое обслуживание
История возникновения
физическая культура
Основная часть
Описание конструкции
История создания
Решение задач
Правовое регулирование
учреждение высшего
Сравнительная характеристика