2020, Июнь
Логика в форме математических формул была оформлена английским филосом Булем. Булева математика лежит в основе электроники и компьютерных технологий. Несмотря на огромный успех логики Буля, мне кажется, что она заужена, и не включает «обратную» логику. В этой статье делается попытка расширить Булеву алгебру, включив в неё обратные операции.
Творческое наследие Зиновьева включает около 40 книг, охватывает ряд областей знания: социологию, социальную философию, математическую логику, этику, политическую мысль. Большинство его работ трудно отнести к какому-либо направлению, поместить в какие-либо рамки, включая академические. Получив известность в 1960-е годы как исследователь неклассической логики, в эмиграции Зиновьев вынужденно стал профессиональным писателем, считая себя в первую очередь социологом. Произведения в оригинальном жанре «социологического романа» принесли Зиновьеву международное признание. Зачастую его характеризуют как независимого русского мыслителя, одну из наиболее крупных, оригинальных и противоречивых фигур русской социальной мысли второй половины XX века.
По воспоминаниям Зиновьева, ещё в школе ему пришла мысль убить Сталина, что он не раз обсуждал с близкими друзьями; «план» провалился, поскольку они не нашли оружие. В МИФЛИ на очередном комсомольском собрании в конце 1939 года Зиновьев эмоционально выступил, рассказав о бедах и несправедливостях, происходивших в деревне, открыто критиковал культ личности Сталина. Зиновьева направили на психиатрическую экспертизу, а затем исключили из комсомола и МИФЛИ. Согласно его воспоминаниям, он был арестован и допрошен на Лубянке. Зиновьев вспоминал, что следователи были уверены, что кто-то внушил ему его взгляды, поэтому его планировали отпустить, чтобы раскрыть всю антисоветскую группу. При переводе на одну из квартир НКВД Зиновьев сумел сбежать. Скрывался в разных местах: на время уехал в Пахтино, затем бродяжничал, позднее вернулся в Москву. В конце 1940 года вступил в РККА, чтобы избежать преследований. В военкомате назвался «Зеновьевым», сказав, что потерял паспорт
Однако вокруг этой тематики с переменным успехом продолжалась борьба «диалектиков» и «формалистов». В 1950—1960-е годы формальная логика (уже уйдя из школы) обосновалась в вузах и исследовательских институтах. Выдающуюся роль в восстановлении логических исследований и преподавания логики в стране сыграли такие представители формалистического направления, как С. А. Яновская, А. С. Есенин-Вольпин, Ю. А. Гастев, А. А. Марков и др. Обратной стороной процесса стала контрреакция со стороны «формалистов» по отношению к логикам, стремившимся разрабатывать логику вне программы её формализации. Уже в 1960—1970-е годы сложности с публикациями испытывали такие логики, как А. А. Зиновьев (вынужденный затем сменить язык и перейти на «математические» символы), Э. В. Ильенков (покинувший коллектив « Философской энциклопедии » в знак протеста против подмены логической проблематики математической) и др.
Фокус на истинностном значении отличал формальную логику от других дисциплин, имеющих дело с формой, как то: лингвистика и такие математические дисциплины, как арифметика, геометрия, алгебра, математический анализ. Соответственно, к формальной логике ими относились все те разделы логики, которые удалось формализовать в символических формах, разработанных в XIX—начале XX век математиками и логиками О. де Морганом, Дж. Булем, Дж. Пеано, Г. Фреге, Расселом и другими.
Очень рада, что возникло желание взять этот пост в цитатник!
Основная сущность логики ее цель и функция всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом рассматриваются только такие выводы, которые зависят только от способа связи и строения входящих в вывод утверждений, а не их конкретного содержания. Изучая, как одни мысли следуют из других, логика выявляет наиболее общие формальные условия правильного мышления. При этом сфера конкретных интересов логики в выявлении условий формального вывода на протяжении её истории существенно менялась. Кроме главного значения, как науки, изучающей законы мышления со стороны формы мыслей, а не их содержания, слово «логика» обладает также близкими, но более специализированными значениями «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»
Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты возникновения и этапов развития логики в перечисленных традициях не слишком достоверны (особенно в случае Индии). Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции ( аристотелевской логики ), которая, однако, была воспринята не непосредственно, а через арабо-мусульманских философов и средневековых европейских логиков и их комментаторскую деятельность. научная революция, с которой началась современная логика, — математизация (внесение в логику математических методов ).