Социальные угрозы и границы науки
Разработка механизма противостояния современного сообщества людей социальным вызовам. Конституирование математики, логики и метафизики в статус науки как средства сохранения христианских ценностей. Анализ взаимосвязи светской и религиозной философии.
Рубрика | Философия |
Вид | статья |
Язык | русский |
Дата добавления | 09.04.2022 |
Размер файла | 45,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://allbest.ru
Балтийский федеральный университет имени И. Канта
Социальные угрозы и границы науки
Троепольский А.Н.
г. Калининград
Аннотация
Цель. Конституирование науки в широком смысле как средства сохранения христианских ценностей, необходимого для успешного противостояния человечества современным социальным вызовам.
Процедуры и методы. Дан анализ кантовской концепции теоретической метафизики, показано, что она затрудняет сохранение христианских ценностей, представлена концепция науки в широком смысле как средство сохранения христианских ценностей. В исследовании использована логико-семиотическая методология и некоторые выводы из работ Е.К. Войшвилло для конституирования математики, логики и метафизики в статус науки как частей науки в широком смысле.
Результаты. Обоснована правомерность концепции науки в широком смысле. Описан механизм противостояния современного сообщества людей социальным вызовам.
Теоретическая и/или практическая значимость. Разработана новая парадигма познавательного отношения человека к миру. В случае использования научно-культурными элитами в просветительской деятельности концепции науки в широком смысле им рекомендовано учесть определённые обстоятельства, влияющие на формирование у людей нерелигиозного либо религиозного мировоззрения.
Ключевые слова: социальная энтропия, христианские ценности, логико-семиотическая методология, знание и вера, наука в широком смысле, теоретическая светская метафизика, теоретическая религиозная метафизика
Abstract
Social threats and the limits of science
A. Troepolsky
Immanuel Kant Baltic Federal University. Kaliningrad
Aim. The aim of the article is to constitute science in a broad sense as a means of preserving Christian values necessary for successful confrontation of mankind with modern social challenges.
Methodology. The study of Kant's concept of theoretical metaphysics proved that it hinders preservation of Christian values. The research methodology includes logic-semiotic methodology and some findings from the works of E. K. Voischwillo allowing to attribute the status of the parts of science in the broadest sense to mathematics, logic and metaphysics.
Results. The legitimacy of the concept of science in a broad sense is justified. The mechanism of confronting the modern community of people with social challenges is described.
Research implications. A new paradigm of human cognitive attitude to the world has been developed. If scientific and cultural elites use the concept of science in a broad sense in educational activities, they are advised to take into account certain circumstances that affect the formation of a non-religious or religious worldviews among people.
Keywords: social entropy, Christian values, logical-semiotic methodology, knowledge and faith, science in the broadest sense, theoretical secular metaphysics, theoretical religious metaphysics
Введение
Настоящая статья является продолжением исследования «Кант и логико-философская реабилитация вероятности онтологического существования Бога» [9], где показана некорректность тезиса Канта о существовании Бога в идее и обоснована правомерность допущения вероятности Его онтологического существования, что снова возвращает метафизику из сферы практического разума в границы теоретического разума. Однако данная публикация не в состоянии снять «проклятие», которое наложил на теоретическую метафизику Кант, лишив её статуса науки.
Понятно, что для восстановления познавательного авторитета теоретической метафизики необходимо конституировать её в статус науки и показать эффективность этой науки в решении остро актуальных практических задач в жизнедеятельности современного человечества, что и будет сделано в этой работе.
Социальные угрозы и христианские ценности
Нет необходимости убеждать читателя, в том, что просвещённые люди всех континентов, перешагнувшие из ХХ в ХХІ в., начали явно осознавать природные и социальные угрозы существованию человечества в планетарном масштабе. В частности, со стороны природы эти угрозы наиболее заметно обозначились в связи с изменениями климата, а со стороны социума - кризисными явлениями в экономике, политике, морально-нравственном самочувствии человеческого сообщества.
В настоящей статье рассмотрим главные угрозы, исходящие из состояния современного социума, и наметим путь их существенного ослабления, что в дальнейшем несомненно будет способствовать снижению угроз человечеству и со стороны природы. В эпоху глобализма самой глубинной причиной кризисных явлений в экономике, политике и морально-нравственном самочувствии человечества является нарастание тенденции игнорирования людьми традиционных христианских ценностей.
Современное общество функционирует в условиях рыночной экономики как общество потребления. Главная ценность - свобода, в которой по умолчанию стали подразумевать игнорирование всех ограничений на пути достижения людьми высших стандартов материальной жизни, в т. ч. и игнорирование исходных христианских заповедей: не лги, не укради, не убий и др. Конечно, с одной стороны, нужно признать, что без рыночной экономики, раскрепощающей производственную инициативу людей, нельзя достигнуть высоких стандартов их материального благополучия, а, с другой стороны, отказ человечества от христианских моральнонравственных ценностей угрожает привести каждого отдельного человека в состояние бездуховного существа, поступки которого инициируются преимущественно эгоистическими побуждениями. В результате в обществе может существенно вырасти социальная энтропия, т. е. его хаотическое состояние, что таит в себе опасность потери человечеством способности самоуправления. В первую очередь, это ведёт к возникновению и росту уличных протестов граждан с применением физического насилия против сотрудников правоохранительных органов, в результате чего ослабляется и может полностью исчезнуть институт государства - естественный регулятор нормальной жизнедеятельности людей, который легитимно обладает монополией на физическое насилие. В дальнейшем игнорирование христианских ценностей может запустить социальный механизм регрессивной ментальной эволюции человека, т. е. процесс расчеловечивания самого человека. социальный светский религиозный философия наука
Траекторию этой возможной эволюции можно описать как путь превращения человека разумного (Homo capiens), альтруистичного и великодушного в хитроумное, эгоистичное животное, озабоченное исключительно удовлетворением своих психосоматических потребностей.
На первом лицемерно-лукавом этапе этой эволюции у человека лгущего, ворующего и способного на физическое насилие притупляются угрызения совести и чувство стыда за свои низменные поступки. Такой человек недоволен собой не потому, что ему стыдно, а потому, что о его низменном поступке узнают другие. Но у него ещё сохраняется осознание необходимости играть роль порядочного человека, т. к. он понимает, что большинство людей регулирует своё поведение чувством совести и стыда и общественное сознание осуждает акты лжи, воровства и физического насилия. Однако следует иметь в виду, что увеличение в обществе социальной энтропии означает рост числа лгущих, ворующих и способных на физическое насилие людей. И когда распространение социальной энтропии достигнет критической величины, то общественное сознание перестанет осуждать акты лжи, воровства и физического насилия.
Не исключено, что наступит финишный, циничный этап регрессивной эволюции человека. Люди снимут маску порядочности на пути удовлетворения своих простых психосоматических потребностей, забудут о высоких общественных интересах, и человечество окажется на грани самоуничтожения. Хочется верить, что описанный нарратив регрессивной эволюции человека никогда не реализуется, но в современном мире вероятность этого всё же существует.
Итак, представлены две реальные угрозы современному человечеству, исходящие от состояния социума, но этим они не исчерпываются. Отдельного анализа требуют социальные вызовы, исходящие из принципа абсолютизации свободы, такие как деформация традиционных гендерных отношений и крушение института семьи. Не подлежит сомнению, что они порождаются в социуме, где игнорируются традиционные христианские морально-нравственные ценности.
Блокировать эти социальные вызовы можно лишь при осознании современными научно-культурными элитами необходимости сохранения в головах большинства людей христианских морально-нравственных ценностей.
Но как сохранить эти ценности, если со школьной скамьи человек выходит с убеждением, что современная наука доказала, что Бога нет. Так ли это? Чтобы разобраться в этом вопросе, необходимо подвергнуть анализу наиболее резонансные концепции соотношения науки и философии в истории философии Нового времени. И именно такая концепция содержится в критической философии Канта.
Критический анализ философии науки Канта. Методология исследования. Пройденный путь
Умами большинства современных высокообразованных людей овладела критическая философия Канта - вывод Канта об ущербности онтологических доказательств существования бытия Божия, дискредитация теоретической метафизики в статусе науки, потому что в ней отсутствует реальная предметная область, что в ней можно доказывать как тезисы, так и антитезисы относительно сущностей, выходящих за границы возможного опыта, что в метафизике нельзя опереться на верный критерий истинности её синтетических положений [9]. Из этих выводов Канта следовала необходимость гносеологизации философии, т. е. упразднение онтологии как раздела философии и принятие существования Бога лишь в статусе идеи, т. е. признание Его существования только в сфере сознания субъекта познания, что позволяло идеологам посткантовской эпохи объявить религиозные учения архаическими представлениями человечества, т. е. пережитками прошлого.
Справедливости ради нужно отметить, что сам Кант рассматривает перенос вопроса о существовании Бога в сферу практического разума как путь, который подрезает корни атеизму1. Однако возникает вопрос: как можно укрепить религию, лишая Бога онтологического существования? Без допущения вероятности онтологического существования Бога невозможно укрепить религию.
И здесь возможна очень неопределённая познавательная ситуация. Даже если полностью согласиться с данными выводами, это вовсе не означает, что возможен только выбор веры в Бога, ведь вероятностный статус онтологического существования Бога допускает как веру в существование Бога (теистическое мировоззрение), так и веру в Его несуществование (атеистическое мировоззрение).
Отметим, что вплоть до возникновения критической философии Канта просвещённые люди приписывали метафизике высокий познавательной статус, т. е. считали её наукой всех наук, в которой центральное место занимали различные варианты онтологического доказательства существования Бога. Однако следует согласиться, что Кант убедительно показал невозможность онтологического доказательства бытия Божия. Ведь исходя из определений доказательств, принимаемых в современной логике и теории аргументации, с этим трудно не согласиться. Но это не отменяет того, что утверждение об онтологическом существовании Бога имеет вероятностный характер и, следовательно, в философии существует возможность допущения его истинности. Как отмечает Е. К. Войшвилло, наиболее распространённой формой аргументации в науках и в повседневной жизни является подтверждение, и степень его может оказаться настолько высокой, что теория практически будет считаться достоверной [3]. И все же, согласно российскому философу, подтверждение лишь повышает степень вероятности того, что подтверждаемое утверждение истинно, однако оно никогда не достигает 1 как своего предела, приписываемого доказательству.
Е.К. Войшвилло на основе анализа применения гипотетико-дедуктивного метода в естествознании показывает, что все законы физики с теоретической т. зр. всегда гипотетичны, для них не существует строгих доказательств, т. к. вероятность, равная 1, может иметь место лишь в логике. Понятно, что данные аспекты теории аргументации открывают возможность конституирования теоретической метафизики в статус науки.
Мы уже отмечали, что Кант лишил метафизику статуса науки. Таким образом, он существенно понизил познавательный статус метафизики. Однако новейшая история философии обнаруживает тренд реабилитации познавательного статуса метафизики [4; 5; 6; 8; 16]. Всё это делает актуальным исследование проблемы конституирования метафизики в статус науки.
Это конституирование частично осуществлено в работах: «Метафизика, философия, теология, или сумма оснований духовности» [10], в которой изложена версия метафизики (философии) в первом приближении, проведена граница между физическими и метафизическими объектами, между знанием и верой; «Проблема научности философии» [11], где системно представлена онтологическая проблематика метафизики (философии), отклонены все общие аргументы Канта против возможности положительной метафизики в статусе науки; «Проблема научности философии» (Часть II: Теория познания) [12], где основной акцент сделан на гносеологической проблематике метафизики (философии); «Общая логика как практическая» [13], в которой в базисную часть общей логики введено обобщённое понятие логического следования на основе синтеза понятий дедуктивного и индуктивного следования, что расширяет сферу логического анализа в описании познавательного статуса систематической философии; в статье «История противостояния формальной и диалектической логики в отечественной философии» [15] отклонена та часть диалектической логики, которая претендовала на квалификацию суждений вида А Л 1А в качестве истинных, что позволило более ясно изложить систематическую философию в статусе науки. В настоящей статье при изложении концепции сохранения традиционных христианских ценностей автор опирается на вышеуказанные исследования.
Наука в широком смысле. Кантовские критерии научности теории
Будем конституировать науку в широком смысле через включение в неё в качестве частей естествознания, математики, логики и метафизики, а в самой метафизике на основе реабилитации вероятности онтологического существования Бога [9], найдём рациональные аргументы, укрепляющие стремление людей жить в согласии с христианскими морально-нравственными ценностями. Конституирование науки в широком смысле достигается через демонстрацию выполнения в метафизике кантовских критериев научности теории на основе предварительной проверки статуса научности математики и логики, поскольку эти дисциплины во многом являлись для Канта образцами при решении вопроса о научности теорий. Так как Кант признавал научный статус естествознания1, и мы солидарны с ним в этом, то без анализа включим естествознание в качестве части науки в широком смысле.
Согласно Канту, научная теория должна удовлетворять следующим критериям:
1) она должна иметь непустую предметную область;
2) в ней не должны доказываться тезисы и антитезисы, т. е. она должна быть непротиворечивой;
3) она должна расширять познание и в ней должен существовать верный критерий и общее «мерило» необходимой истинности суждений, расширяющих познание.
Итак, начнём анализ с рассмотрения методологических установок Канта на решение проблемы научности различных теорий.
Исходные принципы философии науки Канта и познавательный статус математики
Как известно, Кант различает схематизирование и символизирование понятий: «Представить чистое рассудочное понятие как мыслимое в связи с предметом возможного опыта - значит придать ему объективную реальность и вообще изобразить его. Там, где этого нельзя сделать, понятие пусто, т. е. вовсе не годится для познания.
Это действие называется схематизмом, если объективная реальность сообщается понятию прямо (direkte) через соответствующие ему созерцания, т. е. если понятие изображается непосредственно; если же понятие нельзя изобразить непосредственно, а можно изобразить только в его последствиях (indirecte), то это действие можно назвать символизированием понятия. Первое имеет место в отношении понятий чувственно воспринимаемого мира, второе есть необходимое вспомогательное средство для понятий о сверхчувственном, которые собственно, не могут быть изображены, или даны в каком-либо возможном опыте...»2.
Отсюда следует, что, согласно Канту, объёмы понятий рассудка и разума являются непустыми в двух случаях:
1) если предметы, входящие в объём понятия фиксируются чувствами в возможном опыте;
2) если понятия можно конструировать, ведь «конструировать понятие - это значит показать a priori соответствующее ему созерцание»3.
В работе «Проблема научности философии» [11, с. 117] показано, что конструирование натуральных чисел «1», «2», «3», «4» и т. д. в виде последовательности чувственно фиксируемых штрихов |, ||, |||, |||| и т. д. является чисто условным и произвольным, ибо это конструирование можно выполнить в виде последовательности треугольников Д, ДД, ДДД, ДДДД, кругов ?, ??, ???, ???? и других наглядных геометрических фигур. Это позволяет заключить, что последовательности штрихов, кругов и других фигур есть не сами числа «1», «2», «3», «4», а их символы, а сами эти числа есть сверхчувственные, т. е. метафизические сущности.
В итоге следует заключить, что при конструировании понятий математики осуществляется акт символизирования, а не акт схематизирования, и то, что сама математика на самом деле есть некая точная метафизика, т. к. её базовая часть - теория натуральных чисел - имеет предметную область, состоящую из метафизических сущностей и развертывается по точным правилам, зафиксированным в индуктивном определении натурального числа.
Тем не менее, в современной философии математики вопрос о предметной области математики остаётся актуальным. Некоторые философы считают математику наукой, а другие - всего лишь универсальным языком науки. При этом неявно подразумевается, что язык математики не имеет прямого отношения к описанию действительности, т. е. его знаки не обладают значением.
Характеристика математики как универсального языка науки, не имеющего прямого отношения к описанию действительности, также уходит своими корнями в философию науки Канта. Немецкий философ требовал от любой науки расширения познания. Согласно Канту в математике на основе возможности конструирования её понятий обеспечивается необходимая истинность её синтетических суждений, расширяющих познание. Видимо, на этом основании учёный был склонен приписать математике статус науки.
Однако вполне вероятно, он осознавал, что базовые сущности (предметы) математики - натуральные числа - не могут фиксироваться органами чувств человека и, следовательно, являются метафизическими объектами, а т. к. метафизика (согласно его теории) в границах теоретического разума в статусе науки невозможна, то Кант молчаливо оставил открытым вопрос о предметной области математики, что позволило некоторым философам посткантовской эпохи объявить математику специфическим универсальным языком.
На наш взгляд, объявление математики языком с вышеописанным статусом не выдерживает критики. Любой язык есть система знаков, а в структуре знаков с позиций семиотики как исходной методологической дисциплины выделяют имена, их смыслы и значения. При этом в семиотике постулируется, что смысл имени однозначно определяет его значение. Понятно, что математика, трактуемая как язык, есть система знаков, в структурах которых также необходимо различать имена, их смыслы и значения. Это означает, что в базовом разделе математики - теории натуральных чисел - должны различаться имена, смыслы и значения отдельных натуральных чисел. Как показал Е. К. Войшвилло [2; 3] имена представляют в языке понятия.
Развивая этот подход, отметим, что в теории понятия принято разделять основное и полное содержание понятия и его непустой и пустой объём. При проецировании структуры понятия на структуру языкового знака мы обнаружим, что смыслы простых имён задаются в языке описательными именами и выражают основные содержания понятий, которые выделяют в мире классы предметов, представляющих объёмы понятий.
Применительно к различению в философии объекта и субъекта познания это означает, что имена и их смыслы, равно как и основные содержания понятий, существуют в статусе мыслей познающего мир человека и, следовательно, находятся в сфере субъекта познания, а значения имен, равно как и объёмы понятий, находятся в сфере объекта познания и представляют предметные области различных наук. Всё сказанное относится к языку математики вообще и к языку теории натуральных чисел в частности, где, например, имени «7» можно через явное определение приписать смысл и тем самым выделить в мире его значение в виде некоторой метафизической сущности, которая существует вне смысла (мысли), релевантной имени «7». Выше мы показали, что согласно методологии Канта, её можно конструировать в виде последовательности штрихов. С позиций теории понятия это означает, что «понятие 7» имеет непустой объём. Очевидно, что данное заключение имеет место относительно всех элементов последовательности натуральных чисел.
Это обстоятельство позволяет установить однозначное соответствие между последовательностью натуральных чисел как метафизических сущностей и последовательностью объектов иной природы и таким образом перенести количественные характеристики на физические объекты и в целом на объекты любой природы, что тем самым обеспечивает эффективность применения математики в изучении различных областей действительности. Невольно вспоминается широко известное высказывание математика-интуициониста Л. Кронекера «Бог создал целые натуральные числа, а всё остальное (видимо, их конструирование - А. Т.) есть дело рук человеческих». Напрашивается вывод, что математика имеет свою предметную область, она есть наука со своим языком.
Теперь рассмотрим вопрос о непротиворечивости математики. Известно, что Кант не сомневался в непротиворечивости математики. Математика его времени существовала в виде неформализованных теорий, т. е. в виде теорий, изложенных на чисто содержательном уровне и учёные математики, его современники, были вполне убеждены относительно непротиворечивости своих рассуждений при доказательствах математических теорем даже в тех случаях, когда на этом пути возникали определённые трудности. Однако с возникновением формальной, т. е. формализованной арифметики и обнаружением в ней парадокса Б. Рассела и далее с обнаружением трудностей в системе Рассела и Уайтхеда, возникла необходимость прямого доказательства непротиворечивости формальной арифметики. Как известно, такую попытку предпринял Д. Гильберт, который дал точное изложение формальной арифметики на семантическом и синтаксическом уровнях, т. е. построил её в виде логико-математического исчисления с тем, чтобы в своей метаматематике дать прямое доказательство непротиворечивости формальной арифметики. Но эта попытка оказалась неудачной в связи с доказательством в 1930 г. К. Гёделем теоремы о неполноте формальной арифметики и следовавшей из неё второй теоремы, утверждавшей невозможность доказательства непротиворечивости формальной арифметики средствами самой формальной арифметики при допущении, что сама арифметика непротиворечива [7, с. 188-189].
Однако описанная ситуация не является основанием для отказа математике статуса научности. Во-первых, вторая теорема К. Гёделя не утверждает противоречивость арифметики. Во-вторых, и после теоремы Гёделя математика продвигалась по пути обоснования её непротиворечивости:
• Г. Генцен, П. С. Новиков, Аккерман и К. Шютте Гастев Ю., Шмаин И. Метатеория // Философская эн-циклопедия : в 5 т. Т. 3М.: Советская Энциклопедия, 1964. С. 400-402. для доказательства непротиворечивости классической арифметики успешно применили метод математической индукции по конструктивным трансфинитным числам.
• Гёдель (1932-1933 гг.) показал непротиворечивость классической арифметики относительно интуиционистской арифметики.
• П. С. Новиков установил (1959 г.) непротиворечивость ограниченной арифметики без аксиомы полной математической индукции.
• Была использована ультраинтуиционистская концепция в основаниях математики с использованием весьма строгих критериев убедительности для доказательства непротиворечивости аксиоматической теории множеств (1960 г.).\
* Современная неформальная математика, как и математика эпохи Канта, демонстрирует свою непротиворечивость при доказательствах конкретных содержательных теорем.
Математики успешно обходят содержательные противоречия в своих доказательствах. Боле того, как показал Л. Виттгенштейн в полемике против «скрытых противоречий» в математике, у математиков всегда есть возможность при обнаружении противоречий изменить исходные принципы логики и математики и таким образом на определенном этапе развития математической теории устранить обнаруженные противоречия [1].
Рассмотрим теперь выполнение третьего условия научности математики: её способность расширять познание и иметь верный критерий и общее «мерило» обоснования необходимой истинности её суждений.
В прикладной математике о расширении познания свидетельствует появление новых разделов математики, доказательство новых глубинных математических гипотез, например: доказательство теоремы Ферма английским и американским математиком Эндрю Уайлсом (1994 г.); доказательство гипотезы Пуанкаре российским математиком Григорием Перельманом (2002-2003 гг.).
Соответственно, примером расширения познания в формальной математике, на наш взгляд, являются сами теоремы Гёделя о свойствах формальных аксиоматических систем. Равным образом обстоит дело и с наличием как в прикладной, так и в формальной математике верных (общезначимых) критериев доказательства математических теорем. Ведь строгость доказательства всех известных теорем математики признана всеми высококвалифицированными экспертами в области математики.
Тем не менее, в философии математики имеет смысл рассмотреть вопрос о наличии в математике информации в статусе знания и веры. Ведь как мы отметили выше, следует признать справедливость утверждения профессора Е. К. Войшвилло о том, что строгие доказательства имеют место лишь в логике, из чего следует, что они отсутствуют в математике. Во избежание противоречия этого заключения с констатацией наличия в математике строгих доказательств нужно признать, что в математике, как и в опытном естествознании есть лучше и хуже обоснованные утверждения, более или менее убедительные рассуждения.
Очевидно, что при таком подходе строгие доказательства математики следует понимать как утверждения, вероятность которых практически приближается к 1, однако необходимо также признать, что в ней существуют утверждения и с более низкой степенью вероятности. Тогда первые можно рассматривать как строгие доказательства, содержащие информацию в статусе знания, а вторые - как утверждения в статусе веры.
Понятно, что для математики и философии представляет интерес вопрос распределения конкретных утверждений математики по этим двум классам. Но поскольку научная теория может содержать утверждения как в статусе знания, так и в статусе веры, то напрашивается итоговый вывод: математика является наукой.
Логика с позиций кантовских критериев научности теории
Следует отметить, что слово «логика» употребляется в языке познания омонимическим способом. Так, Кант в своих трудах конституировал трансцендентальную логику, Гегель - диалектическую логику, Аристотель и стоики - формальную логику. Трансцендентальную логику Канта, диалектическую логику Гегеля и современную диалектическую логику следует относить к специфическим методам философского анализа мышления [13, с. 37-39].
В связи с этим их нужно бы называть трансцендентальной и соответственно диалектической методологией мышления, а не логиками. При этом из современной диалектической методологии (логике по старому названию) следует исключить описание диалектического противоречия в виде истинного конъюнктивного суждения типа А ^ ?А [15, с. 14]. Описанная ситуация показывает, что логиками в собственном смысле слова во времена жизни Канта были адаптированные к преподаванию в европейских университетах аристотелевская силлогистика и логическое учение мегаро-стоической школы, кратко - логика стоиков. При этом Кант считал, что логика является полностью содержательно завершенной дисциплиной и не имеет никаких стимулов дальнейшего расширения своего содержания. В предисловии ко второму изданию «Критики чистого разума» он сообщает читателю, что «логика» кажется наукой вполне законченной и завершённой, что «она есть наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления», что её границы точно определены1. Но отсюда следует, что логика не удовлетворяет третьему кантовскому критерию научности теории - расширять познание.
С позиций современности следует сказать, что немецкий философ в этом вопросе ошибался. Сегодня мы знаем, что границы логики существенно раздвинулись: из логического учения стоиков выросла логика высказываний, из аристотелевской силлогистики - логика предикатов. И далее возникли интуиционистская логика, системы модальной, многозначной, релевантной логики и другие логики. И нужно отметить, что процесс образования новых логик продолжается. Данная ситуация свидетельствует о том, что логическое познание перманентно расширяется.
Кант считал логику наукой. Однако с учётом сложности выяснения непротиворечивости современной формальной математики, её неполноты, неразрешимости всё же следует проанализировать с метаматематических позиций на этот предмет базовую часть современной (математической, символической) логики - логику высказываний и первопорядковую логику предикатов. При этом нужно иметь в виду, что в современной формальной логике, как и в формальной арифметике, различается семантический и синтаксический уровни анализа. На синтаксическом уровне логика строится как исчисление, относительно которого выясняется его (не) противоречивость, (не)полнота и (не)раз- решимость. Относительно этих свойств в базовой части современной логики получены следующие результаты: логика высказываний (пропозициональная логика) является непротиворечивой, полной и разрешимой теорией, а первопорядковая логика (теория квантификации), которая является расширением логики высказываний, характеризуется как непротиворечивая, полная, но неразрешимая теория.
Опишем эти результаты с предельно общей философской позиции. Под непротиворечивостью теории будем понимать невозможность доказательства в ней утверждений вида А, ?А, под полнотой теории - доказуемость в ней любого истинного утверждения, а под разрешимостью теории - наличие в ней единой (общей) эффективной процедуры (алгоритма) установления истинности её утверждений.
При этом под утверждением мы понимаем формулу логической теории или её содержательное прочтение в естественном языке, соответственно под истинными утверждениями логической теории - тождественно-истинные формулы теории или их содержательные прочтения, т. е. их прочтения при замене всех входящих в них логических и нелогических выражений, словами естественного языка.
Встаёт вопрос: как интерпретировать свойства непротиворечивости, полноты и разрешимости логической теории с позиции проекции на них второго и третьего кантовских критериев научности теории?
Непротиворечивость логики высказываний говорит о выполнении в ней второго кантовского критерия научности теории, её полнота (всякая тождественно-истинная формула доказуема) - о том, что в ней выполняется вторая часть третьего кантовского условия научности теории - иметь верный критерий обоснования необходимой истинности её суждений, её разрешимость (существование единого алгоритма распознания свойства тождественной - истинности для её произвольной формулы) говорит о выполнении в логике высказываний третьей части третьего кантовского критерия научности теории, - наличия в ней общего «мерила» истинности её суждений. С учётом некоторых нюансов то же самое можно сказать о первопорядковой логике (теории квантификации). Известно, что логика предикатов является непротиворечивой, полной, но неразрешимой теорией. Это значит, что в первопорядковой логике предикатов также выполняется второй кантовский критерий научности теории, и вторая часть третьего кантовского условия научности теории - существование верного критерия обоснования необходимой истинности её суждений.
Некоторые нюансы имеют место в связи с неразрешимостью логики предикатов вообще и первопорядковой логики предикатов в частности. Но здесь следует иметь в виду, что хотя в первопорядковой логике предикатов отсутствует единый алгоритм выяснения тождественно-истинных формул, однако установлено, что для отдельных классов формул этой теории он существует.
В частности, он существует для логики одноместных предикатов, в которой формализуется аристотелевская силлогистика. Это значит, что в формализованной силлогистике Аристотеля выполняется и третья часть третьего кантовского критерия научности теории - существование в ней общего «мерила» истинности её суждений.
Также нужно учесть следующее обстоятельство. Говоря об отсутствии верного критерия необходимой истинности синтетических суждений в метафизике, Кант имел в виду, что в ней отсутствуют строгие доказательства истинности этих суждений. Это значит, что наличие в теории строгих доказательств её суждений является индикатором наличия в ней верного критерия научности теории. И поскольку в силу теоремы Геделя о полноте логики предикатов первого порядка её законы строго доказаны, то следует заключить, что в логике предикатов первого порядка имеется верный критерий научности теории. Более того, для первопорядковой логики предикатов это в высшей степени справедливо, т. к. согласно анализу профессора Е. К. Войшвилло, только в логике (имеются в виду непротиворечивые и полные логические исчисления) вероятность обоснования истинности её утверждений равна 1. И, следовательно, только в логике субъект познания в полной мере имеет дело со строгими доказательствами. Об этом убедительно говорит формулировка понятия «доказательство» как вывода из пустого множества посылок (допущений) в натуральных системах логических исчислений. Наличие строгих доказательств только в логике также показывает, что в ней субъект познания имеет дело исключительно с информацией в статусе знания.
С философско-методологической точки зрения важно отметить следующее: т. к. логика одноместных предикатов выросла из силлогистики, а логика высказываний - из логики сложных суждений мегаро-стоической школы, то следует заключить, что выполнение второй и третьей части третьего кантовского критерия научности теории в современном минимальном логическом базисе (формализованная силлогистика и логика высказываний) создаёт уверенность в том, что эти критерии справедливы и для логики эпохи Канта, т. е. для силлогистики и логики сложных суждений, изложенных в естественном языке.
В заключение анализа логики на предмет научности её как дисциплины рассмотрим вопрос о её предметной области, т. е. вопрос о выполнении в логике первого кантовского критерия научности теории - непустоте предметной области. Для квалифицированного решения этого вопроса рассмотрим классическую логику высказываний и логику предикатов с позиции логической семантики.
Конкретно имеется в виду двузначная логика высказываний и первопорядковая логика предикатов. Глубинным понятием этих логик является понятие «высказывание», под которым в метаязыке понимают повествовательное предложение, рассматриваемое в качестве имени истины, либо лжи. И поскольку в формальной логике правильность (логичность) рассуждения зависит от логической формы рассуждения, а не от его конкретного содержания, то при построении классической логики высказываний и классической логики предикатов значение «и» (истина) и значение «л» (ложь) приписывают формулам, которые в символическом языке представляют логические формы простых либо сложных высказываний.
Таким образом, предметной областью современной классической логики является двухэлементное множество {и,л}. Классическая логика имеет непустую предметную область, следовательно, в ней выполняется первый кантовский критерий научности теории. В итоге можно заключить, что логика является наукой, т. к. в ней выполняются все три кантовских критерия научности теории.
С позиций философии науки представляет интерес вопрос о природе языковых выражений «и», «л». Эти выражения являются физическими объектами, т. к. они фиксируются органами чувств субъекта познания. Однако понятно, что субъект познания в данном случае интересуется не конфигурацией линий, составляющий образ «и», «л», а объектами, на которые указывают «и», «л», и поэтому рассматривает «и», «л» как знаки некоторых других объектов, где «и» - «истина», а «л» - «ложь». Эти слова выражают в языке понятия. Основное содержание понятия «истина» представляет описательное имя «соответствие того, что утверждается в высказывании, выражающим суждение, положению дел в самом мире», а основное содержание понятия «ложь» - «несоответствие этого положению дел в мире».
Таким образом, понятия «истина» и «ложь» выделяют в мире такие объекты (предметы) как соответствие и несоответствие. Эти объекты субъект познания фиксирует не органами чувств, а умом. Следовательно, они являются метафизическими сущностями, и потому логику вслед за математикой следует квалифицировать как науку о метафизических сущностях. При этом чувственно фиксируемые физические языковые конфигурации «и» и «л» необходимо рассматривать как результаты конструирования метафизических сущностей соответствие и несоответствие. Аналогично тому, как в математике, например, число «4» можно конструировать в виде штрихов, треугольников и других фигур, так и в логике конструирование соответствия и несоответствия можно осуществить другими знаками. Всем, изучавшим символическую логику, известна практика, когда формулам вместо знака «и» математики и логики приписывают знак «1», а вместо знака «л» - знак «0».
Выше были квалифицированы объекты соответствие и несоответствие как метафизические сущности. Однако нужно иметь в виду, что субъект познания может высказываться как о чувственно фиксируемых, так и чувственно нефиксируе- мых объектах. Так, признавая истинность суждения «Этот дом высокий», субъект познания неявно констатирует соответствие того, что утверждается в суждении положению дел в чувственно фиксируемом мире.
Следовательно, в данном случае объект соответствие мыслится как физико-метафизическая сущность. Иначе обстоит дело в случае актов рефлексии, т. е. когда субъект познания развертывает свою мысль о мысли.
Например, это имеет место в случае признания истинности суждения «Эта мысль является интересной». В данном случае объект соответствие мыслится как чисто метафизическая сущность. В конечном счёте мы все же приняли квалификацию объектов соответствие и несоответствие в качестве метафизических, т. к. в них возможная компонента чувственной фиксируемости нейтрализуется тем, что сама процедура установления соответствия либо несоответствия фиксируется умом, а не чувствами человека.
Конституирование теоретической метафизики в статус науки
Перейдём к решению главной задачи нашего исследования - конституированию метафизики (философии) в статус науки, что позволит всем людям и прежде всего христианам через авторитет науки укрепить веру в онтологическое существование Бога и тем самым в своём поведении руководствоваться христианскими моральнонравственными императивами. Это конституирование удобно начать с выполнения в метафизике второго кантовского критерия научности теории - невозможности доказательства в ней тезисов и антитезисов, т. е. с возможности избежать в ней противоречий. Согласно Канту, традиционная догматическая метафизика противоречива. Проанализируем эту позицию на примере трансцендентальной космологии. «Здесь мы видим удивительнейшее явление человеческого разума, не имеющее ничего подобного этому ни в каком другом применении разума.
Когда мы, как это обычно случается, мыслим себе явления чувственно воспринимаемого мира как вещи сами по себе, когда мы считаем принципы их связи не значимыми только для опыта, а общезначимыми для вещей самих по себе..., то неожиданно обнаруживается противоречие, не устранимое обычным догматическим путём, так как и тезис, и антитезис можно доказать одинаково ясными и неопровержимыми доказательствами»1.
В работе «Проблема научности философии» [11, с. 120-121] отклоняется второй аргумент Канта против возможности теоретической метафизики в статусе науки на основе анализа кантовского обоснования истинности суждения А: «Мир имеет начало (границу) во времени», которое входит в качестве первой части тезиса математической антиномии I.
Антиномия I.
Тезис: Мир имеет начало (границу) во времени и пространстве.
Антитезис: Мир во времени и пространстве бесконечен.
В анализе показывается, что Кант делает попытку провести доказательства тезисов и антитезисов математических антиномий методом рассуждения от противного по схеме:
если из Г, ?А?В, и из Г, ?А??В, то из Г?А
где:
Г - множество (возможно, пустое) посылок,
«?»есть знак логической выводимости одних высказываний из других,
«?» - знак классического отрицания.
На основе анализа содержательного рассуждения Канта по обоснованию суждения А - «Мир имеет начало (границу) во времени» - мы установили, что это рассуждение Канта лишь по видимости укладывается в схему рассуждения от противного.
На самом деле это рассуждение описывается схемой:
если из Г, ?А?С и из Г, ?А??В, то из Г?А
Но эта схема показывает, что из посылок Г, ?А не выведено противоречие В и ?В. Следовательно, суждение А: «Мир имеет начало (границу) во времени» не доказано. Нетрудно увидеть, что тезис математической антиномии I «Мир имеет начало (границу) во времени и пространстве» есть сокращённое выражение сложного конъюнктивного суждения «Мир имеет начало (границу) во времени и мир имеет начало (границу) в пространстве».
Если первое простое суждение этой конъюнкции не доказано, то следует считать не доказанным и весь тезис.
Нетрудно также показать недоказанность антитезиса данной антиномии, т. е. суждения «Мир во времени и пространстве бесконечен» по схеме рассуждения от противного. Так при доказательстве первой части этого антитезиса, суждения А: «Мир бесконечен во времени» мы должны допустить в качестве ?А: «Мир конечен во времени». Но из него невыводимо противоречие В и ?В. Ведь в этом случае мир в настоящем находится между конечным прошлым и конечным будущим.
Но недоказанность суждения «Мир бесконечен во времени» означает недоказанность и всего антитеза, который в развернутом виде представляет сложное конъюнктивное суждение «Мир бесконечен во времени и мир бесконечен в пространстве». Таким образом, мы с использованием искусственного символического языка для точного выражения мыслей на примере трансцендентальной космологии показали недоказанность тезиса и антитезиса математической антиномии I. И этой демонстрации достаточно для отклонения второго аргумента Канта о невозможности положительной теоретической метафизики в статусе науки, т. к. здесь вариант рассмотрения формализованной метафизики исключается в силу принципиальной неформализуемости метафизики.
Теперь рассмотрим вопрос о выполнимости первого кантовского критерия научности теорий (научная теория должна иметь непустую предметную область) относительно метафизики. Хотя метафизика принципиально не формализуема, т. к. в ней отсутствуют специфические метафизические термины, допускающие точное и однозначное определение, аналогичное тому, как точно и однозначно определяются в логике пропозициональные связки и кванторы, тем не менее некоторые результаты, полученные в процессе описания свойств логического исчисления, можно по аналогии использовать в качестве эвристики для анализа содержательных нелогических теорий, в т. ч. и при анализе метафизики.
Несомненно, что формализованные теории являются образцами научности для неформализованных содержательных теорий. Здесь имеется в виду теорема логики предикатов первого порядка о наличии модели Теорема о существовании модели // Википедия [сайт]. URL: https://ru.wikipedia.org/wiki/ Теорема_о_существовании_модели (дата обраще-ния: 06.09.2020).: любое непротиворечивое множество формул произвольной сигнатуры Z имеет модель. В простом понимании под моделью в логике предикатов подразумевается множество объектов с определёнными на нём свойствами и отношениями.
Сделаем акцент на словосочетании «множество объектов» и перекинем мостик аналогии от формальных систем к анализу понятий. Рассмотрим понятия «квадрат», «круглый квадрат», «лошадь», «крылатая лошадь», «лошадь, которая имеет и не имеет крылья»:
• очевидно, что понятие «квадрат» имеет непротиворечивое содержание и его промысливание снабжается моделью, т. е. образным изображением этой геометрической фигуры;
• понятие «круглый квадрат» имеет противоречивое содержание и его промысливание не сопровождается образным изображением;
• понятие «лошадь» мыслится непротиворечиво и снабжается чувственной картинкой лошади в сознании человека, либо наблюдением реальных лошадей;
• понятие «крылатая лошадь» мыслится непротиворечиво, и хотя крылатые лошади реально не существуют их все же можно изображать на картинках и не исключено, что в будущем на основе механизма эволюции при определённых условиях, могут появиться крылатые лошади;
• в случае понятия «лошадь, которая имеет и не имеет крылья», мы констатируем, что это понятие противоречиво и не сопровождается образной картинкой.
Описанная аналогия подсказывает заключение, что непротиворечивая мыслимость сущности является необходимым условием её онтологического существования.
Переходя к теоретической метафизике, можно утверждать, что условие мыслимой непротиворечивости метафизической сущности обеспечивает вероятность её онтологического существования, а условие её противоречивой мыслимости указывает на её онтологическое несуществование.
Об этом свидетельствует теорема объектного языка логики предикатов ??ч(С(ч)^ ?С(ч)),, которая имеет прочтение: неверно, что существует объект такой, что он обладает и не обладает свойством Р. Философская интерпретация: противоречиво - мыслимые объекты не существуют.
И если теперь снова учесть, что строгие доказательства имеют место лишь в логике, а в других науках все утверждения имеют более-менее вероятностный статус, то теоретическую метафизику следует признать наукой. Таким образом, мы возвращаем теоретической метафизике статус познавательной дисциплины и наделяем её авторитетом науки. При этом видно, что ядро теоретической метафизики составляет ответ на вопрос о (не)существовании метафизических сущностей.
Это ядро мы называем экзистенциальной метафизикой. Она является частью экзистологии - науки о существовании вещей [11, с. 131-171]. В ней мы описали процедуру критериального доказательства существования метафизических сущностей в статусе знания и в статусе веры. При этом в критерий онтологического существования метафизических сущностей в статусе знания мы включили дополнительное условие их интерсубъективной мыслимости, а в критерий их онтологического существования в статусе веры - условие их объективной мыслимости.
В данном подходе мы осуществили попытку закрепления на дискурсивном уровне (на уровне понятий) вполне предсказуемого на интуитивном уровне факта: при социологическом опросе достаточно большого количества людей об онтологическом существовании сущности государство и сущности Бог, число признаний онтологического существования государства окажется больше, чем число признаний онтологического существования Бога.
Можно с уверенностью сказать, что в соответствии с методикой различения строгих доказательств и подтверждений в обосновании истинности суждений, описанных Е. К. Войшвилло, вероятность признания людьми онтологического существования государства будет приближаться к 1, и в данном случае в суждении «Государство онтологически существует» информация имеет статус знания, а во втором случае, т. е. в суждении «Бог имеет онтологическое существование» - статус веры.
Однако сегодня мы осознаем, что объяснение факта существования государства в статусе знания [11, с. 166-167;] недостаточно убедительно. Дело заключается в том, что более детальный анализ сущности государство обнаруживает, что эта сущность имеет физико-метафизическую природу. Её создали люди в процессе своего социального развития по схеме: в своде законов (конституции) создаётся основа государства в виде метафизической решётки, ячейки, которой описывают функционалы всех служебных должностей, необходимых для регулирования жизнедеятельности общества. Это описание удовлетворяет условию непротиворечивости, фиксируется умом субъекта познания и составляет метафизическую компоненту государства.
Далее ячейки метафизической решетки государства через определённые процедуры (выборы, назначения) мысленно заполняются конкретными людьми, которые фиксируются органами чувств субъекта познания и потому составляют физическую компоненту государства. В итоге в сознании всех людей государство ассоциируется с совокупностью людей, обличённых определёнными полномочиями, и его внешнее (онтологическое) существование почти ни у кого не вызывает сомнения. В сухом остатке мы имеем: предметная область метафизики не пуста, т. е. в ней выполняется первый кантовский критерий научности теории.
В заключение анализа статуса теоретической метафизики рассмотрим выполнение третьего кантовского критерия научности теории: наличие верного критерия и общего «мерила» обоснования истинности её синтетических суждений, расширяющих познание на примере суждения «Все вещи в себе существуют».
Несомненно, что это суждение мыслится субъектом познания в границах теоретического разума, т. е. принадлежит теоретической метафизике. Согласно Канту, вещи в себе - это сущности, которые аффицируют чувственность человека и вызывают в его сознании образы явлений. Таким образом, можно сказать, что предикат «существуют» не содержится в субъекте данного суждения «вещи в себе», и на этой основе заключить, что данное суждение является синтетическим и как таковое - расширяет познание. К этому нужно ещё добавить очевидность непротиворечивой мыслимости вещей в себе и то, что было отклонено утверждение Канта о том, что «существование не может быть предикатом вещи» [11, с. 137-138]. Согласно немецкому философу, «рассудок, допуская явления, тем самым признаёт и существование вещей в себе; и в этом смысле мы можем сказать, что представления о таких сущностях, лежащих в основе явлений, стало быть, о чисто умопостигаемых сущностях не только допустимо, но и неизбежно»1.
...Подобные документы
Основные исторические периоды и типы соотношений философии и науки. Опосредованная проверяемость философских знаний. Принципы мировоззрения, применённые к процессу познания и практике. Трактовка концепции науки согласно И. Лакатосу, П. Фейерабенду.
реферат [53,7 K], добавлен 06.02.2011История возникновения и дальнейшего развития логики как науки, а также анализ ее современного значения и содержания. Особенности становления и сравнительная характеристика символической (математической), индуктивной, диалектической и формальной логики.
контрольная работа [33,4 K], добавлен 01.12.2010Учение о науке, ее субъективность, развитие идеи в "духе" (в который переходит природа) в философии Ф. Гегеля. Особенность и своеобразие науки в отличие от философии (метафизики) по И. Канту. Позитивная философия французского философа Огюста Конта.
реферат [20,7 K], добавлен 16.04.2009Призрачный факт существования идеальной математической науки, абсолютного естествознания. Мечта философии - стать научной или наукообразной. Подчинение философии науке как подчинение свободы необходимости. Различие общественных функций философии и науки.
контрольная работа [33,7 K], добавлен 27.02.2011Различие науковедческого и философского анализа науки. Эмпиризм и рационализм Нового времени в качестве методологии науки. Взаимосвязь античной науки и философии. Исторические формы научных картин мира. М. Полани о личносном неявном знании субъекта.
шпаргалка [2,0 M], добавлен 11.11.2011Проблематика философии науки, ее особенности в различные исторические эпохи. Критерии научности и научного познания. Научные революции как перестройка основ науки. Сущность современного этапа развития науки. Институциональные формы научной деятельности.
реферат [44,1 K], добавлен 24.12.2009Предмет и структурные элементы философии. Аспекты дифференциации философских методов. Появление и развитие диалектики и метафизики. Система взаимосвязанных и дополняющих друг друга функций философии, их характеристика. Роль философии в развитии культуры.
контрольная работа [31,3 K], добавлен 18.11.2010Изучение философии как высшей формы духовной деятельности. Сущность и роль науки как феномена культуры и общественной жизни. Исследование основных элементов религии: вероучения, культа, религиозной организации. Соотношение философии, науки и религии.
курсовая работа [31,7 K], добавлен 12.05.2014Философский анализ науки как специфическая система знания. Общие закономерности развития науки, её генезис и история, структура, уровни и методология научного исследования, актуальные проблемы философии науки, роль науки в жизни человека и общества.
учебное пособие [524,5 K], добавлен 05.04.2008Причины возникновения и этапы развития науки логики. Аристотель как основоположник формальной логики. Дедуктивный метод Декарта. Процедуры противопоставления предикату, противопоставления субъекту. Умозаключения, соответствующие 1 и 2 фигурам силлогизма.
контрольная работа [88,7 K], добавлен 23.06.2017Эволюция подходов к анализу науки. Постпозитивистская традиция в философии науки. Культура античного полиса и становление первых форм теоретической науки. Западная и восточная средневековая наука. Эволюция учения о методе в истории философии.
шпаргалка [275,5 K], добавлен 15.05.2007Идеи постпозитивизма и их место в современной философии, направления и их отличительные признаки. Сущность философии науки, попытки создания "науки о науке" и их главные результаты. Причины "отпочкования" от философии различных научных направлений.
материалы конференции [27,9 K], добавлен 19.10.2009Разделение Риккертом наук на "науки о культуре" и "науки о природе". Признанные общечеловеческие ценности. Центральная тема в концепции Риккерта. Принципы разнородности и непрерывности. Риккерт о научном познании. Аргументы оппонентов философии Риккерта.
реферат [34,1 K], добавлен 16.08.2012Философия науки, как ветвь аналитической философии, которая занимается изучением науки как особой сферы человеческой деятельности. Методологическая концепция науки в трудах К. Поппера. Роль парадигм в науке. Методология научно-исследовательских программ.
реферат [48,2 K], добавлен 27.04.2017Процессы дифференциации и интеграции научного знания. Научная революция как закономерность развития науки. Философское изучение науки как социальной системы. Структура науки в контексте философского анализа. Элементы логической структуры науки.
реферат [25,6 K], добавлен 07.10.2010Парадигма как способ деятельности научного сообщества. "Методологические директивы" - один из факторов развития науки. Многоуровневый характер методологических правил. Роль философии в развитии науки. Соотношение правил, парадигм и "нормальной науки".
реферат [24,3 K], добавлен 16.04.2009Теория прогресса как родоначальница философии науки, этапы и специфика ее становления. Происхождение и природа техники, взаимосвязь науки с ее совершенствованием. Основные проблемы формирования философии науки. Обзор спорных вопросов философии техники.
реферат [20,2 K], добавлен 03.05.2014Проблема взаимодействия науки и политики. Экономические следствия взаимодействия политики и естественных наук. Роль государства и науки в создании инновационной экономики. Особая роль исторической науки в формировании мировоззрения современного общества.
реферат [68,4 K], добавлен 13.04.2012Наука как динамическая система объективных знаний о связях действительности. Отличия науки от обыденного познания. Общая функция науки - быть основой целесообразной и наиболее эффективной деятельностью людей. Социальные функции науки и их характеристика.
реферат [17,1 K], добавлен 03.01.2013Человекоразмерность науки в истории. Механистическая парадигма и человекоразмерность. Физика как парадигмальная наука XX века и человекоразмерность. Наука как вид субъективной деятельности. Виртуальные миры, границы и человекоразмерность науки.
реферат [46,3 K], добавлен 02.11.2007