Он показал неосуществимость программы формализации математики выдвинутой Д. Гильбертом. Как показывает теорема Геделя, даже арифметику невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимы. С философско-методологической точки зрения значение теоремы Геделя заключается в том, что она показывает невозможность полной формализации человеческого знания.
Логика ( построенный на рассуждении, слово, понятие, разум )- формальная наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области.
Законы формальной логики:
1. Закон тождества не изменения понятия;
2. Закон не противоречия;
3. Закон исключенного третьего;
4. Достаточного основания.
Диалектическая логика - логическое учение диалектического материализма, наука о законах и формах отражения мышлении развития общественного мира. Диалектическая логика не отвергает формальную логику, а позволяет уточнить ее границы:
1. Восхождение от абстрактного к конкретному;
2. Единство исторического и логического.
1 Гегель. Соч. М.-Л., 1929. Т.1. С. 340.



1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22