Категория
Информатика
Тип
реферат
Страницы
6 стр.
Дата
10.08.2008
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
18960.zip — 14.36 kb
  • buleva-algebra_18960_1.RTF — 92.04 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо



Текст работы

таких методов по сравнению с другими областями математики. Поэтому формальная логика отстала от потребностей науки (в первую очередь от требований математики); отставание оказалось особенно очевидным в новую эру. Главными недостатками формальной логики являлись
следующие .
1. Она не сумела привести законы выводов к небольшому количеству надежных логических законов; поэтому подтвердила правильность некоторых выводов на основе экспериментов, которые позже были опровергнуты примерами
, доказывающими обратное.
2. Она была неспособна анализировать значительную часть выводов, применяемых в повседневной и научной жизни; доказать правильность или неправильность таких выводов. (Например, не могла доказать, что из правильности предложения «Каждая трапеция является четырехугольником» вытекает правильность предложения «Кто рисует трапецию, тот рисует четырехугольник).
Задача математизации формальной логики была поставлена и осуществлена Лейбницем. Его работу продолжили математики XIX века. На рубеже столетия
с открытием противоречий в теории множеств (см. гл. «Теория множеств») развитие математической логики получило широкий размах. В настоящее время
результаты математической логики используются во всех традиционных областях формальной логики; открыты совершенно новые области. В настоящее время «традиционная» формальная логика по сравнению с математической логикой имеет значение только для истории науки.
Математическая логика не претендует на открытие законов мышления вообще, или еще в меньшей степени на анализ философских проблем, связанных с человеческим мышлением. Эти вопросы больше относятся к «логике» (в более
общем смысле слова) и к философии. (В дальнейшем под словом «логика» будем
подразумевать математическую логику.)




Ваше мнение



CAPTCHA