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



страница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
обратиться к администрации

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