58.Кант И. Критика чистого разума // Соч. в 6 Т.-Т.3.-М.:Мысль. 1964.

59.Фейербах Л. Сущность христианства // Избр. филос.произ.-Т.1.М.,1955.

60.Маркс К. Экономико-философские рукописи 1844г. // Соч. Т.42.

61.Плеханов Г.В. К вопросу о развитии монистического взгляда на историю // Избр. филос.произв.-Т.1.-М.,1956.

Теорема Геделя - важнейший результат, полученный австрийским логиком и математиком К. Геделем ( 1906-1978 г. ). В 1931г. в статье "О формально неразрешимых предложениях Principia Mathematica и родственных систем" Гедель доказал теорему о неполноте: если система Z ( содержащая арифметику натуральных чисел ) непротиворечива, то в ней существует такое предложение A, что ни само A, ни его отрицание не могут быть доказаны средствами Z. В достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т.е. предложения недоказуемые и одновременно неопровержимы. Он показал неосуществимость программы формализации математики выдвинутой Д. Гильбертом. Как показывает теорема Геделя, даже арифметику невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимы. С философско-методологической точки зрения значение теоремы Геделя заключается в том, что она показывает невозможность полной формализации человеческого знания.

Логика ( построенный на рассуждении, слово, понятие, разум )- формальная наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области.

Законы формальной логики:

1. Закон тождества не изменения понятия;

2. Закон не противоречия;

3. Закон исключенного третьего;

4. Достаточного основания.

Диалектическая логика - логическое учение диалектического материализма, наука о законах и формах отражения мышлении развития общественного мира. Диалектическая логика не отвергает формальную логику, а позволяет уточнить ее границы:

1. Восхождение от абстрактного к конкретному;

2. Единство исторического и логического.

1 Гегель. Соч. М.-Л., 1929. Т.1. С. 340.