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

Дедукция из этих начал различных логических систем означает их прямое математико-логическое обоснование в том смысле, который вкладывался в понятие обоснования Декартом и Гуссерлем, и принципиально отличается от сложившегося в ХХ веке традиционного математико-логического обоснования, которое является, по существу, косвенным. Методология последнего разрабатывалась К. Поппером применительно к области математического естествознания. Своеобразное epochē Поппера, обратное к феноменологическому, заключалось в его сознательном отказе обсуждать прямой метод, выраженном в терминах отделения «контекста открытия» от «контекста обоснования». Тем самым обоснование редуцируется им к вполне опредмеченной, манипулятивной и лишенной трансцендентальных корней «деятельности», то есть к механическому процессу («пробам и ошибкам»).

Исходным предметом классической онтологии, обосновывающей силлогистики Н.А. Васильева и аристотелевскую, является простой (неделимый) предмет, называемый монадой. Её мышление парадоксально (противоречиво) — так Парменид мыслит бытие в виде ограниченного Сфайроса — и потому порождает три двойственных (двусложных) предмета, называемых диадами, и одиннадцать триад (тройственных предметов). Протологика доводит число диад до пяти, а триад – до пятидесяти четырех, рассматривая также различные единства этих предметов, мыслимые в двух модусах – конъюнктивном и дизъюнктивном.

К этим предметам в протологике добавляются также её служебные предметы — иконы и имена. Иконы, простые (неделимые) имена и сложные имена-описания суть предметы своего рода, выражающие предметы онтологии, создающие предметы протологики и указывающие на предметы. Имена могут порождаться по внутренним правилам языка независимо от онтологии и в силу этой автономии языка могут быть «пустыми» («ложными», «неправильными» в отношении онтологии), то есть ничего не выражать и не создавать и ни на что не указывать. Это создает кардинальное затруднение протологики и логики, известное как проблема истины.

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

Эффективность предложенной концепции обоснования продемонстрирована её развитием вплоть до полной дедукции двух близких разновидностей классической силлогистики — аристотелевской и неаристотелевской (Н.А. Васильева). Эта дедукция является, по существу, переводом протологических силлогизмов на языки соответствующих логик. В частности, строго и экономно дедуцированы полные списки правильных модусов простого категорического силлогизма в силлогистиках Васильева (девять модусов) и аристотелевой (двадцать четыре модуса), решены поставленные Васильевым вопросы о законе исключенного третьего (или его аналогах) и исключенного противоречия.

В «Критике чистого разума» Кант понимает (догматическую) метафизику не как знание, обосновывающее частные науки (науки о феноменах, или «позитивных» предметах), но как особую частную «науку» о традиционных метафизических предметах – Боге, душе и мире. Критическая философия предстаёт в первой «Критике» как знание, находящее основания частных наук (математики и математического естествознания), то есть соответствует аристотелевскому фундаменталистскому пониманию «первой философии».

Разум в поисках основания

Разум в поисках основания

Работа Алексея Андреева — «Весенние наблюдения звезд»

Догматическую же метафизику критическая философия «чистого разума» находит безосновательной и потому ненаучной. Таким образом, первая «Критика» представляет собой фундаменталистскую метафизику. Поскольку своеобразное обоснование или, лучше сказать, моральное оправдание догматической метафизики всё же проводится Кантом в «Критике практического разума», в последней можно усмотреть – при надлежащем определении философского нефундаментализма – образец именно нефундаменталистской метафизики. Итак, две метафизики, «вторая критическая», содержащаяся во второй «Критике», и догматическая, критикуемая в первой «Критике», оказываются (с точки зрения результата, а не метода) тождественными у самого Канта.

Кантианская «первая» (фундаменталистская) критика метафизики имеет своим началом антиномии чистого разума, – самопротиворечия, к которым приходит догматический разум, когда отвечает на метафизические вопросы, полагаемые им корректными. Критика решает антиномии путём полагания вещи в себе, то есть разделения феноменального («позитивного») и ноуменального («негативного») «предметов», разделения, из которого в конечном итоге и следует признание некорректности догматически-метафизических вопросов и ненаучного характера метафизики. В предшествующих антиномике разделах «Критики чистого разума» Кант обосновывает математику и математическое естествознание как научные дисциплины. Он не подозревает, что в будущем в них самих будут открыты антиномии, подобные (а в своей трансцендентальной глубине тождественные) космологическим и угрожающие их основаниям, как будто уже найденным Кантом. В конце XIX – начале XX вв. стали известны антиномии в самой математике (особенно в теории множеств): антиномии Кантора, Рассела, Ришара и др. В этот ряд по праву ставится и антиномия лжеца. Известная ещё в древности, она донесла до ХХ века свой по видимости неисчерпаемый метафизический потенциал, став основанием семантической теории истины и теоремы о невыразимости истины Тарского, теоремы о неполноте формальной арифметики Гёделя и ряда гуманитарных (психологических, социологических, философско-исторических) концепций.

Антиномия

Антиномия, или внутреннее противоречие

Работа Алексея Андреева — Internal contradiction

Антиномии, или парадоксы, были обнаружены и в неклассической, в частности, квантовой, механике. В отношении квантовомеханических парадоксов кантианство оказалось наиболее уместной философией, явно или неявно использованной в копенгагенской интерпретации квантовой механики. По существу, эти парадоксы были решены Бором по неявному образцу кантианского решения космологических антиномий. Вместе с тем, из достижений посткантианских математики и теоретического естествознания квантовая механика более, чем открытие неевклидовых геометрий, обнаружила неадекватность кантианской философии науки в том, что та радикально отделила «физику» от метафизики и математику от «метаматематики». (Последнее имя можно писать без кавычек, поскольку оно, благодаря Гильберту, закрепилось за ветвью математики, обосновывающей прочие ветви математики, но не обосновывающей саму себя). Математический дуализм (двойственность) квантовой механики соответствует антиномичности «чистого разума», обнаруживаемой тогда, когда он ставит перед собой задачу познания «негативных предметов». Дуалистическая корпускулярно-волновая картина мира, или онтология, рисуемая квантовой механикой, соответствует двум догматическим метафизикам, предстающим в тезисах (с одной стороны) и антитезисах (с другой стороны) космологических антиномий. Таким образом, квантовая физика имеет отчётливый метафизический характер, и она неклассична относительно продолжаемой Кантом классической (фундаменталистской) традиции радикального размежевания метафизики и «физики».
More »

Демаркация и обоснование

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

Многие старые проблемы метафизики имею характер демаркации. Философия сначала пытается теоретически разделить один из своих эмпирически данных предметов (например, знание) на две противоположности, а достигнув этой цели, находит состояние разделённости неудовлетворительным и стремится восстановить исходную целостность, произведя её теоретический синтез на новых основаниях. Успех же в решении проблем разъединения и соединения всегда относителен, всегда уязвим для критики.

Часы: машина времени

There is a Creative Commons license attached to this image. AttributionNoncommercialShare Alike  Фотография сделана Pierre J.

Проблема демаркации есть проблема разумного раздела или передела. Но чтó разумно? Представления о разумности менялись в истории мысли. Вот почему однажды разделённое приходилось воссоединять и разделять заново.
More »