39.Бертельс Е.С. Суфизм и суфийская литература. М.,1965.
40.Болтаев М.Н. Вопросы гносеологии и логики в произведениях Ибн-Сины и его школы. Душанбе, 1965.
41.Конрад Н.И. Запад и Восток. М., 1972.
42.Гегель. Лекции по истории философии. // Соч. Т.9-11.-М.,1932-35.
43.Гегель. Философия истории. // Соч.Т.8.-Разд."Германский мир".
44.Бруно Дж. Диалоги.-М.,1949.
45. Данте. Божественная комедия.-М.,1957.
46. Кампанелла Т. Город Солнца.-М.-МСМV.
47.Лосев А.Ф. Эстетика Возрождения.-М.:ИПЛ, 1978.
48.Философия эпохи Возрождения.-М.:Наука, 1982.
49.Бэкон Ф. Новый Органон // Соч.Т.2.-М.:Мысль, 1972.
50.Декарт Р. Рассуждение о методе.-М., 1959. Изд. АНСССР.
51.Декарт Р. Избран.произв.-М., 1950.
52.Спиноза Б. Этика // Избр. произв.-Т.1.-М., 1957.
53.Кертман Л.Е. История культуры стран Европы и Америки ( 1870-1917 ).М., Высшая школа, 1987.
54.Покровский Н.Е. Ранняя американская философия. М., Высшая школа, 1987.
55.Ольшки. История научной литературы на новых языках. Т.II-III,М.-Л. 1934.
56.Гегель. Наука логики // Энциклопедия философских наук.-Т.1.М., Мысль 1974.
57.Гегель. Философия духа. // Энциклопедия философских наук.-Т.3.М.,Мысль, 1977.
58.Кант И. Критика чистого разума // Соч. в 6 Т.-Т.3.-М.:Мысль. 1964.
59.Фейербах Л. Сущность христианства // Избр. филос.произ.-Т.1.М.,1955.
60.Маркс К. Экономико-философские рукописи 1844г. // Соч. Т.42.
61.Плеханов Г.В. К вопросу о развитии монистического взгляда на историю // Избр. филос.произв.-Т.1.-М.,1956.
Теорема Геделя - важнейший результат, полученный австрийским логиком и математиком К. Геделем ( 1906-1978 г. ). В 1931г. в статье "О формально неразрешимых предложениях Principia Mathematica и родственных систем" Гедель доказал теорему о неполноте: если система Z ( содержащая арифметику натуральных чисел ) непротиворечива, то в ней существует такое предложение A, что ни само A, ни его отрицание не могут быть доказаны средствами Z. В достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т.е. предложения недоказуемые и одновременно неопровержимы. Он показал неосуществимость программы формализации математики выдвинутой Д. Гильбертом. Как показывает теорема Геделя, даже арифметику невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимы. С философско-методологической точки зрения значение теоремы Геделя заключается в том, что она показывает невозможность полной формализации человеческого знания.
Логика ( построенный на рассуждении, слово, понятие, разум )- формальная наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области.