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