АЛЬФРЕД ТАРСКИЙ Реферат по философии на тему: “ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА ФИЛОСОФИИ. АЛЬФРЕД ТАРСКИЙ”.
Подготовила: студентка 206 группы, Армеева Е.А.. Преподаватель: Радул Д.Н..
Москва-2005
ВВЕДЕНИЕ
Этот реферат посвящен истории польской философской школы, просуществовавшей неполных полстолетия- с 1895 по 1939 год. Ее становление, расцвет и гибель охватывают время жизни одного поколения и, вместе с тем, почти совпадают с временными рамками (1891-1938) творческой жизни ее создателя - Казимира Твардовского (1866-1938). Все без исключения исследования, посвященные этому интеллектуальному содружеству, единогласно роль основателя научной школы отводят только Твардовскому. Вместе с тем еще недавно имя этого философа было известно главным образом историкам философии, тогда как широким кругам философов, и особенно логикам, школа была известна более именами А.Тарского, Я.Лукасевича, С.Лесьневского, Т.Котарбинского, В.Татаркевича, К.Айдукевича. Иногда к школе относят и тех философов, которые не являются прямыми учениками Твардовского, но которые когда-то слушали его лекции, пользовались его советами, были университетскими коллегами, или же признавались в идейном родстве с культивируемыми в школе методами исследования. Поэтому в более или менее тесной связи со Львовско-варшавской школой часто упоминают не только имена Р.Ингардена, которого Твардовский благословил на отъезд в Геттинген к Э.Гуссерлю, или же Ю.Бохеньского, поддерживавшего со школой в лице Лукасевича тесный контакт, но и математика С.Банаха, и даже Л.Хвистека, прибывшего уже зрелым ученым во Львов из Кракова с тем, чтобы занять в 1930 г. кафедру математической логики. Можно даже сказать, что со временем Львовско-варшавская школа стала обрастать легендами, в чем-то симпатичными исследователям и историкам этого научного содружества, особенно отечественным. Не в последнюю очередь этому способствовала личность Твардовского, харизматичность натуры которого отмечалась его учениками. И это несмотря на то, что главным требованием жизни и деятельности этого человека было неукоснительное подчинение принятым правилам, как и ясная, отчетливая их пропаганда.
Феномен появления Львовско-варшавской школы в начале ХХ столетия, отмеченного бурным ростом естественных наук, остается и в конце этого века загадкой. В то время, когда процесс специализации философского знания, учитывающего достижения отдельных наук, углублялся, а философия распадалась на отдельные дисциплины - этику, эстетику, методологию, логику и даже отделяла некоторые из них для всеобщего использования, например, психологию или логику (математическую), в то время, когда философское содружество все более явственно распадалось по течениям, направлениям, группировкам и кружкам, во Львове возникла школа, с которой свое творчество идентифицировали ученые самых различных специальностей, а не только профессиональные философы. Примеров принадлежности к Школе медиков, юристов, филологов, математиков, физиков, инженеров и просто образованных людей из всех слоев общества можно привести не один десяток. В определенной мере эффект столь многочисленного и разнообразного присутствия ученых в Школе объясняется педагогическими установками ее создателя - К.Твардовского, одна из которых, унаследованная Т.Котарбинским, в устах последнего получила название «минималистской философии», а ее реализация состояла в том, что адепт философии не был ограничен в выборе предмета исследования, зато к методам изучения предъявлялись чрезвычайно высокие требования. В этой установке образцами служили схоластическая наука и, конечно, Органон Аристотеля. Однако без культивирования в Школе платоновского аксиологического идеала единства научных и моральных ценностей эффект школы не был бы заметен. Его появление является заслугой харизматической личности, каковой был основатель Школы К.Твардовский. Несомненно в своем поведении он наследовал учителя - Ф.Брентано, поставившего в теории психических актов в один ряд как действия утверждения (отбрасывания) суждения, так и любовь (ненависть). Можно было бы сказать, что Твардовский, а за ним и его ученики апеллировали к сродности, только уже не вещей, как это было в древнегреческой философии, а к сродности труда, к которому был призван каждый из участников Школы. Показателем этого качества для Твардовского служила ясное и отчетливое артикулирование задания, в котором и проявлялось интенциональное отношение выносящего суждение субъекта к имманентному (схоластическая парафраза термина сродность) предмету, данному в этом же суждении. Поэтому в Школе языку, а суждению особенно, уделялось пристальное внимание. Твардовский писал: «Суждение является как бы центральным пунктом всякой деятельности сознания, которой занимается логика и от способа, каким будет окончательно сформулирована наука о суждениях, зависит формулирование прочих многочисленных логических утверждений».
Начиная с первых контактов Школы с Венским кружком польские ученые выразительно дистанцировались от узкоэмпирических взглядов своих коллег. Айдукевич писал: "Безоглядных сторонников Венского кружка в Польше нет, точнее я не знаю ни одного польского философа, который бы воспринял и присвоил тезисы Венского кружка; родство некоторых польских философов с Венским кружком заключается в подобии основной методологической позиции и близости рассматриваемых вопросов . Характерными чертами этой позиции следовало бы назвать, во-первых, антииррационализм, т.е. постулат узнавания только таких утверждений, которые обоснованы таким образом, что могут быть контролированы; во-вторых, постулат ясности понятий и точности языка. Кроме этих двух черт особенно следует подчеркнуть третью – усвоение понятийного аппарата логики и заметное влияние символической логики. Относительно же области исследований на первый план выходят вопросы, предметом которых является научное познание, т.е. проблематика т.н. метатеоретических исследований. С этим связана заинтересованность семантикой, имеющей свой источник в убеждении, что само познание удается исследовать только посредством рассмотрения его словесного выражения. В тесной связи с изложенным остаются вопросы оснований наук, т.е. уже не метатеоретическая, а интратеоретическая заинтересованность основными частями отдельных наук, особенно дедуктивных».
Не обсуждая отношение философов Львовско-варшавской школы к логическому позитивизму по существу, т.е. в вопросах концепции значения, концепции метафизики, позиции, согласно которой философия является логическим анализом языка науки, индукционизма, физикализма, аналитического характера логики и математики .Становится очевидным, что отмеченные события произошли соответственно через 27 и 34 года после получения Твардовским кафедры во Львове. Приводя эти факты историк Школы Воленский заключает: "Следовательно, не может быть и речи о том, чтобы Львовско-варшавская школа была генетически связана с Венским кружком. Таким образом те, кто утверждает, что Львовско-варшавская школа была неопозитивистской должны подразумевать одно из двух: или она была таковой изначально, или же эволюционировала в направлении логического эмпиризма и под его влиянием" . Как кажется, истина лежит по середине, а ее истоки находятся в эмпирическом характере философии Брентано. Тем, что изначально разделяло венцев и философов Школы - было отношение к языку. Обобщенно говоря, для первых язык был помехой, тем убранством, что переодевает мысли, а для вторых - орудием добывания и сохранения знаний. Следствием такого подхода к языку в Школе было сохранение традиций (чего не хватало Венскому кружку) и преображение исходных философских идей (не обязательно сформулированных в рамках брентанизма) в убранство современной логики. Именно в этом следует искать оригинальность Школы, а не в усматривании ее отличий по отношению к Венскому кружку. Можно надеяться, что верность философским традициям обеспечит не только непреходящую роль Львовско-варшавской школы в истории философии, но послужит основанием для программы будущей аналитической философии
Истоки Львовско-варшавской философской школы.
Философская позиция Ф.Брентано.
Творчество ученых Львовско-варшавской школы классифицируют как философию аналитическую, или, характеризуемую более широко, как научную. В середине ХХ ст. широко распространенным представлением о научной философии было мнение, будто бы наиболее характерным ее представителем был Венский кружок. Сегодня, т.е. в конце ХХ ст. истоки научной философии в Центральной Европе усматривают в австрийской философии XIX ст., центральной фигурой которой был Франц Брентано. Б.Смит высказывает даже следующий тезис: « [...] центрально- европейскую традицию логического позитивизма, в частности, а научной философии в общем следует понимать как часть наследия точной и аналитической философии Франца Брентано».
Девятнадцатое столетие изобиловало различными философскими направлениями, течениями, интеллектуальными ориентациями, группировками, исповедующими различные методологические установки в решении стоящих в то время проблем. Философские взгляды провозглашались устами материалистов, эмпириков, эволюционистов, конвенционалистов, неосхоластов или же мессионистов и спиритуалистов. Философия культивировалась на философских кафедрах и вне стен университетов. Философские концепции выдвигались и развивались не только профессиональными философами, но и натуралистами, врачами, гуманистами. Как правило, попытки создания всеобъемлющих философских систем не предпринимались, ибо непрофессиональные философы не имели ни соответствующей подготовки, ни намерений подобного синтеза.
В этой атмосфере интеллектуальных поисков Брентано избрал другой путь. Он начинался в субъекте и был направлен к позитивным наукам. В 1866 г. в 25 тезисах диссертации Брентано изложил составляющие научного метода построения философских знаний. Наиболее известное положение, содержащееся в 4-ом тезисе, гласит: Vera philosophiae methodus nulla alia nisi scientiae naturalis est. (Истинный метод философии ни в чем не отличается от того, что применяется в естественных науках). В первом же тезисе своей диссертации Брентано полностью отбрасывает немецкую метафизику: Philosophia neget oportet, scientias in speculativas et exactas dividi posse; quod si non recte negaretur, esse eam ipsam jus non esset. (Философия должна отрицать, что науки можно разделить на спекулятивные и точные: если она это решительно не сделает, то сама потеряет право на существование) Наиболее приемлемой наукой, в которой воплотился бы синтез гуманитарных и естественных дисциплин, Брентано считал психологию, в которой понятие опыта достаточно хорошо коррелировало с обоими областями человеческого знания. Конструируя свою систему философского знания, выросшую из критики спекулятивной метафизики, Брентано при помощи психологии стремился создать «первую философию», научную философию, вершиной которой стала бы метафизика.
В том же 1866 г., когда были оглашены тезисы Брентано, он читает лекции по логике, истории философии и метафизике. Карл Штумпф - ученик Брентано, во вступлении к работе "Психологический источник представления пространства" среди прочего пишет: «Метафизика была началом и концом его мышления. Совершенно искренне его больше всего интересовала метафизика». Также и следующее высказывание Брентано, заимствованное из его переписки 70-х годов со Штумпфом, часто приводится исследователями творчества венского философа как его credo: «Я совершенейший метафизик. Должен признать, что после пар ы лет бытия психологом эта перемена меня даже радует.
Методологическая установка Брентано акцентирует внимание не на «сиюминутном озарении», но направлена на исследование единичных фактов и постепенном их теоретическом обобщении. К метафизике ведет трудный путь, на котором исследователь собирает предложение за предложением (Satz um Satz) , истину за истиной (Wahrheit um Wahrheit) , что придает эмпирическое и рациональное обличье его философии, а также гарантирует «научный» ее характер, сходный с характером эмпирических наук. Ситуацию во второй половине XIX ст. в философии Брентано определяет следующим образом: «Сегодня ситуация опять изменилась. Борьба прошлых времен окончена [...] , но чтобы философ мог в своем знании продвигаться вперед, он должен шаг за шагом (Schritt fü r Schritt) исследовать свою область» .
В конце творческого пути отношение Брентано к метафизике не изменилось, разве что несколько обострилось в связи с реистической позицией. Неизменным осталось и отношение Брентано к исходному пункту поисков - к психологии. Брентано пишет: «Сейчас я вижу лучше, чем раньше, что метафизика находится еще в начале долгого пути. [...] Психология должна формулировать всеобщие законы науки таким образом, чтобы предоставить будущим метафизикам эмпирические основания » .
Здесь нас не интересуют метафизические взгляды Брентано, сформировавшие в конечном счете его реистическую онтологию. Сегодня мы так же как и сто лет назад не уверены в ее абсолютной правильности, и как сто лет тому вынуждены обращаться к методу Брентано и источникам его познания, которые повлияли на формирование Львовско-варшавской школы.
Рождение и развитие Школы.
Твардовский Казимир Намерения, с которыми Твардовский прибыл во Львов, можно реконструировать на основании его инаугурационной речи при вступлении в должность профессора. По традиции в такой речи излагается позиция ученого и предполагаемое направление его деятельности на кафедре, которую отныне он будет возглавлять. Конечно, от доклада, рассчитанного на широкие круги университетских преподавателей, не следует ожидать субтильных дистинкций в решении фундаментальных вопросов философии, но важна аргументация Твардовского при отстаивании научного характера философии и ее ядра - метафизики.
Прежде всего автор подвергает сомнению правомерность отнесения творчества какого-либо философа к одной из рубрик широко распространенных классификаций, полагая, что идеализм, реализм, материализм, монизм и т.д. не более чем лозунги, «под которыми философы приучились восхвалять собственные и преследовать чужые плоды разума.» И уж конечно, Твардовский отвергает в границах философских направлений, например идеализма, авторитарное начало в виде приверженности к платонизму, берклеизму и т.д. Когда же Твардовского спрашивали, куда он себя относит, его ответ был следующим: «Образцом для себя я выбрал Сократа и на вопрос отвечал вопросом; я спрашивал, как выглядел бы аналогичный вопрос, обращенный к представителю какой-либо естественной науки? Можно ли вообще подобным образом спрашивать зоолога или физика и что по отношению к исследователю природы подобный вопрос мог бы значить?». Вызванное таким «ответом» недоумение у приверженцев разного вида «- измов» Твардовский объясняет молчаливо разделяемым большинством философов допущением о существовании бездны между естественными и философскими науками.
Таким образом, центральным пунктом первого публичного доклада при вступлении в должность было выяснение отношения между естественными науками и философскими. Рассматривая предмет и метод как первых, так и вторых Твардовский связующее звено между ними видит в метафизике, к которой относит прежде всего теорию отношений; не разделяют эти две группы наук и используемые в них методы, среди которых Твардовский выделяет индукцию и дедукцию, причем он неявно предполагает, что по мере развития научной дисциплины в ней начинает превалировать дедуктивный метод, как например в механике. На этом основании автор доклада считает, что со временем «этика и эстетика также должны быть дедуктивными науками, только здесь еще нет согласия в отношении основных законов, из которых удалось бы путем дедукции вывести отдельные нормы этического и эстетического оценивания».
Будучи сторонником метафизики Твардовский вместе с тем являлся противником т.н. метафизицизма, усматривая недостаток этого последнего как в априорности принимаемых постулатов и их максимальной общности, так и в источнике понятий, которые «дремлют где-то на дне человеческой души. А поскольку нет двух одинаковых душ, то каждый из иного исходя допущения и к иным приходил выводам. Отсюда - заключает Твардовский - возникло большое число конкурирующих между собой систем».Выход он видит в наследовании примеров, которые подают естественные науки «тихой, систематической, опирающейся на факты, а не витающей в облаках работой, медленно продвигаясь уверенным шагом все дальше и выше».
Трезво глядя на состояние дел в выбранной области Твардовский ратует «не браться за построение философской системы», не боясь осуждения за то, что он отнимает у метафизики ее существеннейшую черту, предполагающую целостное трактование результатов отдельных исследований. Не без сожаления он констатирует: «Итак все, что бы мы в метафизике не делали, является частичным синтезом; то, что мы не обладаем полным синтезом, охватывающим все без исключения - это несомненная истина, факт. Если естественные науки аккумулируют знания, то почему в философских науках должно быть иначе, почему каждый в философии должен начинать ab ovo? - спрашивает Твардовский. Конечно, так не должно быть и, если философия - наука, то кроме поисков истины у нее нет «никаких амбиций», заключает автор вступительной речи во Львовском университете.
Помимо основателя, выдающегося философа Кзимира Твардовского научная школа предполает не только учителя, но и учеников, являющихся последователями, если не в предмете, то в методе. Первыми учениками Твардовского были Владислав Витвицкий и Ян Лукасевич. После защиты докторских диссертаций под руководством Твардовского оба остались работать во Львовском университете. Витвицкий специализировался в психологии, а Лукасевич - в логике. Значительным событием, повлиявшим на будущность школы, стало чтение Лукасевичем в 1907/08 академическом году лекций по алгебре логики Это были первые лекции по математической логике, читавшиеся в Польше. В 1911 г. Я.Лукасевич стал экстраординарным профессором философии Львовского университета.
Круг учеников Твардовского, Лукасевича и Витвицкого стал быстро расширяться. Во львовском периоде университет окончили Казимир Айдукевич, Херш Бад, Степан Балей, Бронислав Бандровский, Стефан Блаховский, Мариан Боровский, Тадеуш Чежовский, Рышард Ганшинец, Мечислав Гембарович, Соломон Игель, Людвик Якса-Быковский, Станислав Качоровский, Юлиуш Кляйнер, Тадеуш Котарбинский, Мечислав Кройтц, Манфред Кридль, Ежи Курилович, Станислав Лемпицкий, Зигмунт Лемпицкий, Богдан Наврочинский, Остап Ортвин, Францишек Смолька, Казимир Сосницкий, Владислав Шумовский, Даниела Теннерувна (позже Громская), Мечислав Третер, Зигмунт Завирский. Начинал учебу на философском отделении Роман Ингарден, но вскоре уехал в Гёттинген к Гуссерлю. В 1911 г. к ученикам Твардовского присоединился Станислав Лесьневский, ранее учившийся в Германии, и тогда же, в 1911 г., перед габилитацией контакт со школой установил Владислав Татаркевич.
Не все названные ученые выбрали своим уделом философию. Балей, Блаховский, Якса-Быковский и Кройтц посвятили себя психологии, Наврочинский и Сосницкий - педагогике, Ганшинец - классической филологии, Кляйнер, Кридль и Станислав Лемпицкий - полонистике, Курилович - языкознанию, Зигмунт Лемпицкий - германистике, Ортвин - литературной критике, Гембарович, Третер - теории и истории искусства.
Шумовский и Балей помимо философского имели также медицинское образование и были какое-то время практикующими врачами. Особенно следует отметить Шумовского, который читал во Львове лекции по истории медицины, а позже получил кафедру истории медицины в Ягеллонском университете и написал учебник "Логика для медиков". Прочие из названных работали профессиональными философами.
Котарбинский докторскую диссертацию защитил в 1912 г. и до 1919 г. работал в Варшаве учителем гимназии, преподавая классические языки. Однако научную работу он не оставил и издал "Практические очерки", а также в виде монографии свою диссертацию об этике Милля и Спенсера. Айдукевич после защиты диссертации , получив стипендию, выехал в Гёттинген, где слушал лекции Гильберта и Гуссерля. Он дебютировал статьей об обращении отношения следования . Во время І мировой войны сражался в австрийской армии, был отмечен за отвагу, а на войну 1920 г. пошел добровольцем и командовал бронепоездом. Чежовский защитил диссертацию в 1914г. Вначале работал учителем гимназии, в 1915-1916 годах был директором канцелярии Львовского университета. Одна из первых значительных его публикаций посвящена теории классов. Завирский степень доктора получил в 1906, работал учителем гимназии, но не оставлял научной работы и среди прочего опубликовал работу о причинности, получившую ІІІ премию на конкурсе "Пшеглёнда филозофичнего", а также статью о модальности суждений. Лесьневский докторскую работу защитил в 1912 г. В 1915 г. он выехал в Москву, где до 1918 г. преподавал математику в польской гимназии. В 1912-1916 гг. им был опубликован ряд работ по философии и логике, в том числе известный трактат по теории множеств. Татаркевич учился в Марбурге и Париже и в Польшу прибыл уже со степенью доктора и автором работы о философии Аристотеля . В 1915 г. он получил кафедру философии во вновь открытом Варшавском университете; другую кафедру этого университета возглавил Лукасевич.
Твардовский не ограничивал своих учеников в выборе предмета исследования и поэтому так разнообразны темы докторских диссертаций, принадлежащие различным философским дисциплинам: логике, психологии, истории философии, этике. Так Лесьневский свою работу посвятил экзистенциальным предложениям, Котарбинский писал об этике Милля и Спенсера, Чежовский о теории классов, Айдукевич об априорности пространства и времени у Канта, Завирский о модальности суждений. Однако вскоре начали проявляться наклонности выдающихся учеников Твардовского. Чежовский, Лесьневский, Котарбинский, Айдукевич и Завирский начали в основном работать в области логики и методологии наук, причем в случае с Котарбинским заинтересованность логикой и методологией наук с самого начала шла в паре с исследованиями практических действий - этикой и теорией познания; этот параллелизм сохранялся на протяжении всего творческого пути философа, а теория деятельности стала началом праксеологии. Татаркевич остался верен истории философии, добавив к ней специализацию в области эстетики и ее истории.
Пути в науке названных выше философов, как правило, не были легкими. Научная карьера многих из них проходила вне стен университета. Только Витвицкий и Лукасевич с самого начала были связаны с университетом. Прочие же, за исключением Татаркевича, который сравнительно недолго ждал университетский должности, какое-то время работали преподавателями в гимназиях. Многие ученики Твардовского - историк философии Бад, логик Качоровский, продолжатель Твардовского в области дескриптивной психологии Игель, - все они в своей научной карьере так никогда и не поднялись выше ступеньки учителя гимназии, хотя и оставили выразительный след в польской философии. Историк школы Я.Воленский справедливо отмечает тот факт, что присутствие компетентных философов не только как знатоков философии, но также как оригинальных исследователей в качестве учителей средних школ являлось элементом программы Твардовского, направленной на реформу философии в Польше.
Твардовский не был тем единственным философом, который оказал влияние на становление научной школы. В 1909-1910 Лукасевич, будучи стипендиатом, пребывал в Граце, где принимал участие в работе семинара Мейнонга, являющегося так же как и Твардовский учеником Брентано. Выше уже упоминалось, что Айдукевич ездил в Гёттинген, Лесьневский учился в немецких университетах, в частности у Корнелиуса в Мюнхене, а Татаркевич приехал во Львов из Марбурга уже с докторской степенью.
Твардовский не был и единственным профессором философии во Львовском университете. Вторую кафедру философии занимал горячий поклонник метафизики Мстислав Вартенберг. И хотя Твардовский рекомендовал своим студентам посещать лекции Вартенберга каких-либо заметных следов метафизики этого приверженца Канта найти в творчестве членов школы не удается.
Первая мировая война нарушила нормальную работу в университете и какое-то время он прекратил свою деятельность, а его административный центр переместился в Вену, где в то время пребывали Твардовский и Чежовский. Другим важным для развития научной школы событием того времени стало возобновление работы Варшавского университета, куда на кафедры философии были приглашены Лукасевич и Татаркевич. Этот факт знаменует вступление школы, все еще львовской, в новый этап.
После получения Польшей в 1918 г. независимости одной из задач молодого государства стало восстановление высшего образование и налаживание научной жизни. Наряду с возобновлением работы Варшавского университета был возрожден университет им. Стефана Батория в Вильнюсе, а также заложены университеты в Познани и Люблинский католический. Таким образом, в Польше в период между двумя мировыми войнами действовало шесть университетов: Ягеллонский в Кракове, Львовский, Варшавский, Вильнюсский, Познаньский и католический в Люблине. Только первые два из названных университетов имели собственные кадры философов, тогда как остальные должны были искать сотрудников. В этом процессе философы из школы Твардовского сыграли огромную роль, что свидетельствует о известности и авторитете этого научного содружества. На кафедры в Варшаву, помимо уже упоминавшихся Лукасевича и Татаркевича, были приглашены в 1919 г. Котарбинский и Лесьневский. Лесьневский возглавил на естественно-математическом отделении кафедру философии математики, а Котарбинский - кафедру на гуманитарном отделении после Лукасевича, который получил кафедру философии на естественно-математическом отделении. Профессорами в Варшаве стали Витвицкий (психология, 1919г.), Кляйнер (история польской литературы, 1916г.), а также З.Лемпицкий (германистика, 1919г.). В 1925-1926 годах профессором Варшавского университета был Айдукевич.
Татаркевич в 1919-1921 гг. занимал кафедру философии во вновь открытом университете в Вильнюсе, а его преемником в 1923 г. стал Чежовский; профессором истории литературы в университете им. Стефана Батория с 1932 г. был Кридль.
В Познани Якса-Быковский и Блаховский стали профессорами психологии (1919), а в 1921 г. кафедру эстетики Познаньского университета занял Татаркевич, который и руководил ею два года, после чего вернулся в Варшаву. В 1928 г. в Познань прибыл, приглашенный на кафедру методологии наук, Завирский, который до этого (с 1924 г.) преподавал философию во Львовском политехническом институте. В 1937 г. Завирский перешел в Ягеллонский университет.
В колыбели школы остался Твардовский. После ухода на пенсию его кафедра в 1931 г. была ликвидирована. В 1928 г. кафедру философии во Львове, возвратившись из Варшавы, получил Айдукевич. Кафедра Вартенберга в 1933 г. досталась Ингардену. Кафедру психологии возглавил Кройтц (1928), а в 1920 г. во Львов вернулся Кляйнер. Ко львовским профессорам - ученикам Твардовского принадлежат также Гембарович, С.Лемпицкий и Курилович.
Выходцы из Львова начали интенсивно пропагандировать научные и дидактические идеалы Твардовского. Его школа перестала быть школой львовской, а стала школой обще польской. Обычно используется название "Львовско-варшавская школа", в котором добавление "варшавская" тем объясняется, что наиболее выдающихся успехов школа Твардовского добилась в области математической логики, а эта последняя развивалась главным образом в Варшаве.
Варшавская логическая школа является общим делом философов и математиков и в польской историографии можно встретить мнение, что она является частью польской математической школы. Создатель этой последней - Зигмунд Янишевский был живо заинтересован основаниями математики и логикой. Поэтому нет ничего удивительного в том, что начертанная им программа математических исследований охватывала математическую логику как составную часть математики. Решающим моментом в развитии варшавской логической школы было то, что Янишевский, совместно с другими выдающимися варшавскими математиками - Вацлавом Серпинским и Стефаном Мазуркевичем - видел будущее польской математической школы в исследованиях, связанных с появлением новых ветвей математики - с теорией множеств и топологией. Со временем оказалось, что именно эти области математики оказались особенно близкими математической логике.
Воленский особенно подчеркивает, что организационные и дидактические программы Твардовского и Янишевского оказались во многих пунктах сходными. Обоих организаторов польской науки волновало обновление тех дисциплин, которые они представляли, оба они ставили акцент на научных новинках, международных контактах, важности научного сотрудничества, специализированных профессиональных изданиях, создании отличных от университетов научных учреждений, оба стремились к фундаментальному образованию молодых адептов науки. Таким образом, Лесьневский и Лукасевич - создатели варшавской логической школы - оказались в атмосфере, хорошо знакомой им по Львову. Немаловажную роль сыграл и тот факт, что две кафедры на естественно-математическом отделении университета были отданы философам по образованию. Обе они были в сущности кафедрами математической логики. Вот как вспоминал о начале педагогической деятельности Лукасевича Казимир Куратовский: "Другим профессором, который оказывал большое влияние на интересы молодых математических кадров был Ян Лукасевич. Кроме лекций по логике и истории философии профессор Лукасевич читал более специальный курс, который бросал новый свет на методологию дедуктивных наук и основания математической логики. И хотя Лукасевич не был математиком, однако обладал исключительно сильной математической интуицией, благодаря чему его лекции находили особенно сильный отклик у математиков".
Сотрудничество математиков и философов на педагогическом поприще принесло чудесные плоды. Под руководством Лесьневского, Лукасевича, Серпинского и Мазуркевича (Янишевский умер в 1920 г.) получила образование великолепная плеяда логиков. Первым среди них был Альфред Тарский, который после защиты под руководством Лесьневского в 1924 г. докторской диссертации быстро стал одним из столпов варшавской логической школы и со временем получил наибольшую в мире известность среди всех членов Львовско-варшавской школы. К сообществу варшавских логиков также принадлежали Станислав Яськовский, Чеслав Леевский (филолог-классик по образованию), Адольф Линденбаум, Анджей Мостовский, Мойжеш Пресбургер, Ежи Слупецкий, Болеслав Собоцинский (философ) и Мордухай Вайсберг; Яськовский, Линденбаум, Пресбургер, Собоцинский и Вайсберг были поколением двадцатых годов, а оставшиеся - тридцатых годов.
Связь логики и философии в работах варшавской логической школы не сводилась исключительно к генетическим узам. Руководимая Лукасевичем и Лесьневским группа логиков поддерживала тесные отношения с философами, особенно с Котарбинским, который весьма много сделал для утверждения престижа логики в Варшаве. Ученики Лесьневского и Лукасевича посещали лекции Котарбинского, а студенты Котарбинского - лекции профессоров логики.
Историк Львовско-варшавской школы Воленский считает, что Котарбинский возможно был наиболее выдающимся продолжателем педагогических традиций, заложенных Твардовским. Изданные в 1934 г. "Философские фрагменты. Памятная книга чествования 15-летия дидактической работы проф. Котарбинского в Варшавском университете" подписаны 51 учеником. Назовем, вслед за Воленским, некоторых из них вместе со специальностями: Ян Древновский (методология науки, метафилософия), Ирена Филозофувна (история философии), Евгениуш Геблевич (психология, а позже - праксеология и науковедение), Янина Хосиассон-Линденбаумова (методология науки), Ежи Кречмар (семантика), Мечислав Мильбрандт (эстетика), Ян Мосдорф (история философии), Мария Недзьвецка-Оссовская (семантика, а позже этика и социология), Станислав Оссовский (семантика, эстетика, а позже социология), Антоний Паньский (методология науки), Эдвард Познаньский (методология науки), Якуб Райгородский (эпистемология), уже упоминавшийся логик Болеслав Собоцинский, Дина Штейнбарг (методология науки), Мечислав Валлис-Вальфиш (эстетика), Рафал Вундхайлер (методология науки). В приведенном перечне преобладают методологи и философы языка, но все же разнообразие специализаций значительно.
Другим профессором философии в Варшаве был Татаркевич. Его влияние на студентов было менее сильным, чем влияние Котарбинского и из упомянутых философов только Мильбрандта связывали с Татаркевичем творческие узы. В последние годы перед II мировой войной Татаркевич собрал некоторое количество студентов. К сожалению, почти все они погибли во время войны.
Во Львове между двумя войнами философия развивалась также интенсивно, как и до 1918 г. Учениками Твардовского, а позже Айдукевича (доцента, а затем и профессора) были Вальтер Ауэрбах (психология), Евгения Блауштайн (дескриптивная психология), Леопольд Блауштайн (дескриптивная психология), Изидора Домбская (история философии, методология науки, семантика), Мария Кокошинская-Лутманова (семантика, методология науки), Северина Лущчевская-Романова (семантика, методология науки, логика), Генрик Мельберг (методология науки, философия физики), Галина Слоневская (психология), Тадеуш Витвицкий (психология).[61] Как и до 1918 г. стараниями Твардовского выезжали на стипендии за границу (главным образом в Англию, Францию, Германию и Австрию) наиболее талантливые его ученики (В.Ауербах, Л.Блауштайн, И.Домбская, М.Креутц, Г.Мельберг, Е.Слоневская, Т.Витвицкий). Из учеников Айдукевича конца 30-х годов необходимо упомянуть Зигмунта Шмирера (логика) и Стефана Свежавского (история философии). Во "львовском" списке так же как и в "варшавском" преобладают методологи и философы языка, но удельный вес психологов остается все еще значительным.
Ситуация 1918-1939 годов во Львове интересна тем, что здесь встретились философы всех поколений Львовско-варшавской школы: от Твардовского через Айдукевича и Кройтца до учеников самого Айдукевича. Это не могло не вызвать идейной конфронтации поколений, поскольку ученики того же Твардовского были ориентированы на постоянное отслеживание "новинок" в своих дисциплинах и со временем предыдущее поколение по различным причинам не поспевало за ними. Так Твардовский до конца остался верен своим начальным философским концепциям и никогда не стал поклонником математической логики. Айдукевич, наоборот, придавал философии во Львове выразительно логизирующий характер. И все же логике во Львове не уделяли столько внимания, сколько в Варшаве. Речь прежде всего идет о математической логике, или логистике, как тогда называли исчисление, прежде всего, высказываний. Причин тому может быть несколько. Во-первых, Айдукевич преподавал на философском отделении университета и не мог сыграть той роли, какая выпала Лукасевичу и Лесьневскому. Во-вторых, львовская математическая школа (Хуго Штейнгауз, Стефан Банах) в областях своих исследований дальше отстояла от логики, чем варшавские математики. В 1930 г. на естественно-математическом отделении Львовского университета была создана кафедра математической логики. Ее получил прибывший из Кракова Леон Хвистек, чьи эзотерические концепции были далеки как львовским математикам, так и философам, что не послужило ликвидации барьера между логикой и математикой, а скорее этот барьер укрепило.
Имевшие место отличия центров философского образования в Польше в период между двумя войнами историк школы Воленский объясняет, выделяя, с одной стороны, Львов и Варшаву, а с другой Познань и Вильнюс следующим образом. Во Львове продолжали поддерживать и развивать собственные традиции, а Варшава, благодаря обширному импорту философских кадров из Львова, эти традиции восприняла. В Вильнюсе и Познани таких традиций не было, к тому же стабилизация профессорских коллективов в этих центрах продолжалась по сравнению с Варшавой достаточно долго, почти десять лет. Кроме того Чежовский в Вильнюсе и Завирский в Познани были одиноки, не говоря уже о том, что они стали профессорами в момент, когда преподавание философии уже продолжалось и было обращено к иной интеллектуальной традиции, нежели та, которую культивировал Твардовский. Это же относится и к Ягеллонскому университету, в котором Завирский начал преподавать в 1937 г. Таким образом, хотя Львовско-варшавская школа географически не ограничивалась Львовом и Варшавой, все же эти города были несомненно ее центрами.
Историки философии в Польше часто не ограничивают школу именами тех философов, которые были непосредственными учениками Твардовского - либо студентами, либо аспирантами, или же просто поддерживали с ним связь, не будучи ни тем, ни другим, как, например, Татаркевич. Историк школы Воленский причисляет к Львовско-варшавскому интеллектуальному содружеству также о.Иннокентия Бохеньского, ксёндза Антония Корцика, ксёндза Яна Саламуху, Савву Фридмана (после войны Чеслава Новиньского), а также Юзефа Зайковского. Бохеньский учился не в Польше, но после возвращения занялся историей логики, обращаясь к исследованиям Лукасевича. Корцик изучал теологию в Вильнюсе и под влиянием Чежовского занялся логикой и ее историей. Саламуха учился теологии в Варшаве, посещал лекции Лукасевича по логике и его научной специализацией стала история логики. Все трое были неотомистами, но в научной работе в области истории логики были тесно связаны с Лукасевичем и наследовали его стиль изучения этой дисциплины. Фридман и Зайковский были теоретиками права, учениками профессоров Ежи Ланды и Бронислава Врублевского в Вильнюсе. Они получили основательное философское образование под руководством Чежовского и, что важно, в своих научных работах явно обращались к концепциям, возникшим во Львовско-варшавской школе, в частности к концепциям Айдукевича и Котарбинского (Фридман, Зайковский).
В обширной монографии Я.Воленского "Львовско-варшавская философская школа" приводится список членов этого интеллектуального содружества, насчитывающий 81 особу. Польский философ считает этот список не полным. Критерий Воленского, согласно которому тот или иной философ включен в список членов школы, состоит в том, что в него попали те, кто хоть как-то оказался заметен, прежде всего публикациями. Но и с этой точки зрения, считает Воленский, список не полон. Действительно, в нем отсутствуют имена В.Беганьского, П.Дойссена, Е.Гинзберг, Ф.Габрыля, А.Штёгбауера, т.е. прежде всего львовских философов. Список имен обрывается на тех философах, которые дебютировали в науке в половине тридцатых годов. Студенты последних предвоенных лет такого дебюта вообще не дождались, или же должны были долго ожидать его.
Воленский задает вопрос: не является ли такое понимание Львовско-варшавской школы чересчур широким? Действительно, не все из вышеупомянутых прямых или непрямых учеников Твардовского были философами. Оставляя в стороне случаи неоднозначные, т.е. филологов, педагогов, психологов и специалистов в области математической логики, которые одновременно были авторами философских произведений, трудно признать философами Блаховского, Яксу-Быковского, Ксату, Ганшинца, Кридля, Линденбаума, Пресбургера или Вайсберга. Вместе с тем проблематика в школе концентрировалась вокруг логики, семантики, методологии науки, а также, хотя и в меньшей степени, вокруг эпистемологии и онтологии, культивируемых согласно четко очерченному логистическому стереотипу. Под этот стереотип не попадает большинство названных ученых, например, Бад, Блауштайн, Филозофувна, Кляйнер, С.Лемпицкий, З.Лемпицкий, Мильбрандт, Наврочинский , Слоневская, Свежавский, Третер или Т.Витвицкий, в том числе и главные представители Львовско-варшавской школы - Татаркевич и Витвицкий. Воленский[ считает использование "логистического" стереотипа в качестве показателя принадлежности к школе ошибочным. Он справедливо замечает, что этот "стереотип не принимает во внимание этики, но именно в этой области многое связывало Татаркевича, Витвицкого, Чежовского и Котарбинского, т.е. логиков и не логиков".
О связующем начале в школе Домбская пишет следующим образом: "Львовских философов не соединяла какая-нибудь общая доктрина, какой-либо однообразный взгляд на мир. То, что служило основанием духовного единства этих людей, было не содержание науки, а только способ, метод философствования и общий научный язык. Поэтому из этой школы могли выйти спиритуалисты и материалисты, номиналисты и реалисты, логицисты и психологи, философы природы и теоретики искусства". В основе этого разнообразия чужих подходов и проблем лежала забота Твардовского о формировании национальной философии. Ее выражение можно найти в небольшой работе «Еще словцо о польской национальной философии». В этой заметке Твардовский отталкивается от статьи Г.Струве «Словцо о польской национальной философии», в которой автор условие развития польской философской мысли видит во «внутренней преемственности (ciaglosci)» и, солидаризуясь со Струве, спрашивает: чем объяснить неудовлетворительное состояние философских исследований и каким путем идти, чтобы устранить его в будущем. Как и Струве он полагает, что национальная философия чрезмерно податлива чуждым влияниям. Развитие национальной философии возможно только тогда, считает Твардовский, когда ее продвижение имеет присущее ей оригинальное направление, а чуждые влияния, имеющие внешнее происхождение, не смогут сбить ее с этого направления. А таких примеров в истории философии достаточно и «тогда чуждые влияния вместо того чтобы побуждать и оживлять собственную философскую мысль народа, поглощают ее и делают ее полностью зависимой». Вместе с тем национальная философия не может возвести китайскую стену, охраняющую ее от чуждых влияний. Выход Твардовский видит в том, чтобы отсечь в чужой философии то, что в ней опасно, а «опасна в ней односторонность и исключительность, которые безраздельно и неустанно превозмогают отечественную философию. Отечественная философия должна быть открыта всем влияниям одновременно, которые пересекаясь и соединяясь, будут уравновешивать друг друга и тем самым, ослабляя свою силу, не утратят ничего из своего богатства и более того - взаимно обогатятся. Тогда ни одна из чужих философий не сможет вторгнуться на ниву отечественной философии, поскольку те прочие ей в этом помешают, но все вместе будут удобрять почву, на которой все буйней будет разрастаться отечественная философия.»
Тему национальной философии во вступительной речи в Варшавском университете продолжил Я. Лукасевич . Пафос его выступления понятен и объясняется долгожданным открытием польского университета в Варшаве.Он высказался следующим образом: « Мы до сих пор не имеем собственного, национального взгляда на мир и жизнь. Сегодня мы еще не способны на такой взгляд, ибо мы измучены горькой вековой недолей и бедами настоящей войны. И в прошлом мы никогда не имели собственного взгляда на мир и жизнь, а были всегда подвержены чужим взглядам [...] Канта, [...] Гегеля, [...] Конта и Милля. И сегодня мы поддаемся чужым взглядам, немецкому идеализму, английскому прагматизму, французскому бергсонизму [...]. Но сегодня мы, польские философы способны к тому, чтобы склоняя голову перед каждой заслугой, не гнуть шею перед чужими авторитетами. И в философии мы должны освободиться от посторонних влияний и работать над созданием собственного, польского взгляда на мир и жизнь».
Философы школы были открыты для новых веяний, течений и направлений зарубежной философии, влияние которой было следствием выездов на стипендии, личных контактов, а также работы над конкретными проблемами. Последний фактор особенно сказался в логике, развитие которой проходило под знаком отношений Фреге и Рассела. Используя заграничные стипендии побывали у Мура - Оссовская , у Виттгенштейна - Кокошинская, Домбская и Мельберг - у Шлика. В свою очередь, в Польшу приезжали молодые философы из-за границы, например, Куайн. Польские ученые устанавливали личные контакты на международных конгрессах, а также выезжали с докладами за границу, например, Тарский в Вену, а Лесьневский в Мюнстер, или же принимали заграничных философов в Польше, например, Карнапа, Шольца, Менгера, Вуджера.
Организационные структуры в Школе.
Начало организационным структурам Школы было положено во Львове созданием Польского философского общества. На его открытии 12 февраля 1904 г., приуроченном к сотой годовщине смерти И.Канта, Твардовский так охарактеризовал задачи, стоящие перед Обществом: «Польское Философское Общество не будет служить исключительно какому-либо одному философскому направлению, поскольку оно стремится охватить все направления. Оно будет свободно от всякой односторонности, будет как можно разностороннее. Единственной догмой Общества будет убеждение, что догматизм является наибольшим врагом всякой научной работы. Мы хотим, чтобы все направления научной работы и все взгляды в нашем обществе были направлены к одной цели - поиску истины. Путь к ней - научный критицизм.» Провозглашенный на открытии Общества курс выдерживался Твардовским с неукоснительной строгостью в течении всего периода функционирования общества. Через четверть века после начала работы Общества его основатель в юбилейной речи говорил: «Наше Общество можно было бы обвинить в том, [...] что будучи обществом философским оно чрезвычайно мало или, пожалуй, вовсе не занимается вопросами мировоззрения. Все же, - мог бы кто-нибудь сказать, - это важнейшая сторона всякой работы, свойственной философии, если уж формированию такого взгляда служили и служат самые изнурительные творческие усилия выдающихся философов всех времен. А кто же будет отрицать, что потребность в философском мировоззрении все более проявляется также и в нашем обществе. [...] Эти устремления должны быть удовлетворены вне Польского Философского Общества, которое таким образом, возможно, и не выполняет важнейшего из лежащих на нем заданий. Несомненно, для каждого, кому не хватает традиционного религиозного взгляда и кто вместе с тем не умеет смотреть на мир, бессмысленно вышагивая по жизни, для того вопрос философского мировоззрения является чрезвычайно важным делом. Но разве может заниматься распространением какого-либо философского, т.е. метафизического мировоззрения организация, которой присущ характер научного общества, посвятившего себя исключительно методической научной работе, и которая стремится этот характер сохранить? Разве может быть община приверженцев какой-то метафизической системы обществом, которое, будучи основано в сотую годовщину смерти Эммануила Канта, главным принципом для себя выбрало научный критицизм, как это я имел честь отметить 25 лет тому, открывая торжественное собрание Польского Философского Общества. Разве научный критицизм не исключает принятие и распространение взглядов, претендующих на окончательный ответ в самых трудных вопросах, которые встают перед человеком? В вопросах, затрагивающих сущность, начало и цель всякого бытия и предназначение человека? Разве можно обосновать их научными методами, сделать при помощи логической аргументации правдоподобными? Как кажется, между философским, т.е. метафизическим взглядом на мир и наукой зияет непреодолимая пропасть, которую еще перед Кантом и, между прочим, сильнее него обозначил Давид Юм.»
Первые восемь лет Общество работало без дотаций и лишь затем стало получать помощь от Австро-венгерской монархии. Свои доходы Общество предназначало на различные цели: на организацию конкурсов, объявленных в «Пшеглёнде филозофичнем», на награждение лучшего доклада, прочитанного в «Философском кружке» среди студентов, выделяло средства на издание журнала библиографии «Die Philosophie der Gegenwart« (члены Общества входили в Международный Комитет этого издания). Работа проходила в основном на собраниях Общества, предназначавшихся для лекций, рефератов, дискуссий. Многие доклады публиковались в «Пшеглёнде филозофичнем», а отчеты о заседаниях и рецензии на доклады - в «Руху филозофичнем». Твардовский следующим образом характеризовал созданное им общество: «Эти собрания отличаются от собраний прочих научных обществ такого типа тем, что право входа в них имеют только члены Общества. Это правило возникло из убеждения, что в области философии следует более старательно, чем в какой-либо иной области предостерегаться от дилетантства. Этому убеждению соответствует также решение статута Общества, согласно которому вступление в Общество в статусе действительного члена зависит от единогласия отделения».
В действительности интеллектуальное содружество, группировавшееся вокруг Твардовского, не стремилось к созданию организации с наперед заданной программой. Такой организации и не было создано, а речь может и должна идти об усилиях ученых, небезразличных к судьбе народа. Поэтому Школа не стремилась к образованию собственных организационных структур в виде специальных обществ или собственных периодических изданий, а все ее начинания с полным правом могут быть названы не львовско-варшавскими, а попросту - польскими. Подводя итог своей педагогической и организаторской деятельности Твардовский писал: «Я не учил некой «философии» в смысле какого-то готового мировозрения. Используя выражение Канта, я учил философствовать. Это значит, что я не стремился создать философскую школу, но общий тип философского вышкола именно потому, что те, кто создавал школы, часто грешили неясностью, туманностью и т.п.; я же стремился к ясности мышления и выражения, т.е. к тому, что сегодня, например, Виттгенштейн и Шлик считают сущностью философии». Примером другого общепольского начинания может служить забота Твардовского о создании библиографии польской философской мысли. В статье «К вопросу о польской философской библиографии» он писал: «Исчерпывающая и точная библиография является одним из важнейших факторов организации научной работы. Это убеждение привилось даже у нас, хотя вообще-то мы так мало склонны к организации самих себя и своей деятельности. Однако не в каждой области научной работы это убеждение преобразилось в действие; хуже всего дела обстоят, быть может, в сфере философии, где более чем в каких-либо иных областях рациональной деятельности это отсутствие [библиографии] становится препятствием в поддержании преемственности (ciaglosci) в работе». Ретроспективная библиография, считает Твардовский, нужна сегодняшнему поколению, но еще более она нужна поколениям будущих философов. Выполнению этой задачи должен был служить основанный Твардовским «Рух филозовичны», публиковавший библиографию и рецензии на появившиеся работы. Задача эта чрезвычайно трудная и Твардовский обращается ко всем работающим в области философии с тем, чтобы «каждый философствующий автор прислал в редакцию «Руху Филозофичнего» по одному экземпляру каждой работы, хотя бы эта работа представляла собой какую-то маленькую заметку, помещенную в журнале». Начиная с 1911 г. стараниями Твардовского библиография польской философии становится доступной и на международной арене в издаваемой А.Руге «Международной философской библиографии». Материал к этим публикациям готовили члены Польского Философского Общества.
Среди организационных начинаний, помимо уже упоминавшегося первого в Польше философского общества во Львове (1904), следует назвать созданный в Варшаве по инициативе В.Вериго Институт философии (1915). После преждевременной смерти В.Вериго в 1916 г. Институтом стал руководить Лукасевич. В 1927 г. Институт соединился с Польским психологическим обществом, образовав Варшавское философское общество. Философские общества появились также и в других университетских центрах - в Кракове, Люблине, Познани и Вильнюсе. До 1939 г. все философские общества в Польше существовали самостоятельно и их объединение произошло только после второй мировой войны. Научная, а особенно лекционная деятельность в этих обществах проходила весьма интенсивно и участие в ней философов Львовско-варшавской школы было значительным; во Львове и Варшаве влияние членов школы было доминирующим. В 1933 г. по инициативе Лукасевича в Варшаве было создано Польское логическое общество.
В период между двумя войнами состоялось три обще польских философских съезда: I съезд - во Львове (1923), II съезд - в Варшаве (1927), III - в Кракове (1936). Активно участвовал в подготовке двух последующих. Съезды во Львове и Варшаве проходили под знаком Школы, участники которой были на этих съездах основными докладчиками; в Кракове же из 70 представленных докладов только 24 принадлежали участникам Школы.
Философские съезды имели свою предысторию в секциях съездов польских врачей и естествоиспытателей, первый из которых состоялся в 1869 г. в Кракове. В программы этих съездов философия входила сначала опосредованно в той мере, в какой ее проблематика касалась естественных наук, прежде всего медицины и психологии. Со временем психологические секции съездов врачей и естествоиспытателей своей проблематикой начали контрастировать с тематикой медицины и естествознания. Например, на секции психологии IX съезда в 1900 г. были прочитаны доклады В.Беганьского - "Психологический анализ аксиом логики", Ю.Кодисовой - "О сущности научных понятий", К.Твардовского - "К вопросу классификации явлений психики". Философская секция на X съезде появилась в результате предложения Твардовского, предполагаемого руководителя секции психологии. Свои мотивы он аргументировал тем, "что в последние десятилетия прошедшего столетия философия обрела свое старое значение, что сами представители естественных наук все чаще и интенсивнее начали заниматься философской проблематикой. Кажется, тогда было бы желанным, чтобы это отношение между философскими науками и естественными нашло свое выражение в создании отдельной философской секции на съездах естествоиспытателей. Для предлагающего забрезжила также надежда, что секции философии Съездов врачей и естествоиспытателей смогут скорее, чем это могли сделать секции психологов, собрать всех, кто работает у нас в области философии, что эти секции станут чем-то в роде съездов польских философов". В 1907 г. состоялся X съезд, на секции философии которого было прочитано 18 докладов (было подано 31, но 13 отклонено). Но лишь на XI съезде естествоиспытателей и врачей в 1910 г. секция философии, собравшая практически всех работающих в этой области знаний, приняла решение о созыве в 1914 г I Польского Философского Съезда. В организационный комитет вошли представители различных кругов философской мысли: К.Твардовский, Я.Лукасевич, В.Вериго, И.Гальперн, Т.Гарбовский, М.Страшевский. Это был последний съезд врачей и естествоиспытателей, в составе которого философы выступали отдельной секцией. Однако события 1914 г. не позволили созвать I съезд. Принятое на секции предложение Твардовского удалось реализовать лишь через 12 лет.
Решением от 12 мая 1921 г. руководство Польского философского общества во Львове вновь взялось за организацию съезда, предложив место и дату - Львов, 1923 г. Эта инициатива была поддержана в Варшаве и вновь был создан оргкомитет, включавший представителей всех университетских центров Польши. Первый съезд философов собрал 123 участника, из которых 47 проживало во Львове, 36 - в Варшаве, 10 - в Кракове и прочие в других городах Польши. Таким образом, в 1923 г. Львов еще оставался философской столицей Польши. Материалы Первого философского съезда были изданы "Памятной книгой" как 4 тетрадь ежегодника N30 (1927) "Пшеглёнда филозофичнего". Отчет о съезде был также помещен в "Рухе филозофичнем". Работа съезда проходила в пяти секциях: логики (пред. Т.Чежовский и Л.Хвистек), метафизики и эпистемологии (пред.- Т.Гарбовский и Б.Борнстайн), психологии (пред. - В.Витвицкий и С.Блаховский), истории философии (пред. - В.Татаркевич и И.Мысьлицкий), в общей секции (пред. - З.Геринг).
Отметим некоторые выступления, которое в дальнейшем получили развитие. Первое пленарное заседание было посвящено свободе воли, на котором выступили представители Вильнюсского университета. На втором пленарном заседании рассматривалась теория действий в двух докладах - Т.Котарбинского (Варшавский университет) "Основы теории действий" и М.Боровского (Варшава) "О составляющих и видах действия". Первый докладчик постулировал отдельную специальность, которую предложил назвать праксеологией. На объединенном заседании секций логики и истории философии Ян Лукасевич говорил "О логике стоиков", сравнивая ее с аристотелевской логикой, считая, что историю логики стоиков следует написать заново, а существующие в ней оценки поддать ревизии. В дискуссии по этому докладу прозвучал один голос. Состоялось также совместное заседание секций логики и метафизики и эпистемологии, на котором К.Айдукевич выступил с докладом "О применении критерия истинности". В дискуссии по докладу выступило 9 человек.
Темы выступлений участников в общем соответствовали названиям секций и были разнообразны. На съезде не доминировало какое-либо единственное мировоззрение или единственная методология, хотя с учетом места проведения значительное число участников принадлежало к школе Твардовского.
Среди резолюций I польского философского съезда отметим ту, которая способствовала формированию не только собственно философской среды, но и на многие годы определила развитие прочих наук, семена которых падали на обработанную философской рефлексией почву разума подрастающего поколения. Речь идет об увеличении числа часов, предназначенных на преподавание философии в средней школе. Вместе с тем съезд обратил внимание на необходимость написания школьных учебников и выработки рекомендаций для учителей философии в средней школе.
Созыву Второго философского съезда предшествовала дискуссия о проведении общеславянского философского съезда. Идея такого съезда пропагандировалась профессором философии Загребского университета Владимиром Дворниковичем. С польской стороны за организацию общеславянского съезда на страницах чешского журнала "Prager Presse" в 1928 г. высказался С.Блаховский. Отстранено, но пожалуй негативно, к идее общеславянского съезда отнесся В.Витвицкий в отчете с Международного философского конгресса в Неаполе, который он опубликовал в "Руху филозофичнем". Критические замечания Витвицкого побудили Блаховского вернуться к идее такого съезда и вновь изложить аргументы "за" именно на страницах "Руху филозофичнего". Он напомнил, что еще во время Международного философского конгресса в Болоньи в 1911 г. собравшиеся отдельно славянские философы обсуждали вопрос созыва общеславянского съезда в Праге. В связи со вспыхнувшей Первой мировой войной работы по подготовке проведения такого съезда были прерваны, но идея оказалась незабытой и вновь ожила в начале 20-х годов. Редакция "Руху филозофичнего" предоставила свои страницы для дискуссии по вопросу, затронутому Блаховским, хотя вскоре оказалось, что идея созыва общеславянского съезда в Праге вновь неактуальна. "За" съезд решительно высказались Т.Чежовский, Т.Котарбинский, Я.Лукасевич, М.Собеский и Ч.Знамеровский. В прочих голосах звучали разного толка оговорки, но никто из высказывающихся на страницах журнала не отбрасывал идеи съезда.
В марте 1926 г. в Варшаве собрался Объединенный комитет философских съездов под председательством К.Твардовского и принял постановление о созыве Второго съезда в Варшаве осенью 1927 г. К идее проведения общеславянского съезда, высказанной в статье С.Блаховского и затем дискутировавшейся на страницах журналов, Комитет отнесся позитивно, решив, что на Второй польский философский съезд славянские философы будут приглашены поименно. Был избран Исполнительный комитет съезда во главе с Твардовским и членами - Т.Котарбинским, Я.Лукасевичем, В.Татаркевичем и В.Витвицким. На одном из его заседаний в рабочем порядке была установлена дата проведения съезда и формы приглашения для участия в его работе. В отношении славянских философов было предложено выбрать в каждом из центров философии за пределами Польши по одному представителю и поручить ему пригласить земляков, установив предварительно верхний предел участников от страны. Представлять Комитет съезда от российской эмиграции было решено просить Николая Лосского.
Заседаниям Второго польского философского съезда непосредственно предшествовал I съезд философских кружков студентов польских университетов. С вступительной лекцией "О понятиях и функциях философии вообще" выступил Я.Лукасевич. Среди участников этого собрания можно встретить имена активных позже философов и логиков: Л.Блауштайна, Т.Витвицкого[79], И.Домбской, А.Линденбаума, Е.Гинзберга, М.Кокошинской, В.Ауербаха, М.Енджеевской, С.Лушчевской, Г.Мельберга, С.Фридмана.
Второй польский философский съезд собрал 147 участников из всех научных центров Польши. Было выдано 206 входных билетов для студентов и желающих присутствовать на заседаниях. Из заграничных гостей в работе съезда приняли участие: Н.Бердяев - русский (Кламар под Парижем); Р.Буяс -хорват (Загреб); С.Франк - русский (Берлин); С.Гессен - русский (Прага); И.Лапшин - русский (Прага); Н.Лосский - русский (Прага); И.Мирчук - украинец (Берлин); Б.Петроневич - серб (Белград); К.Воровка - чех (Прага); К.Чехович - украинец (Берлин); С.Карчевский - русский (Прага); Ф.Пеликан - чех (Прага). Открыл съезд 23 сентября в зале Варшавского университета К.Твардовский. Среди прочих с приветствием к съезду от имени Русского научного общества в Праге обратился Н.Лосский. Помимо пленарных заседаний работа съезда проходила в семи секциях: истории философии, метафизики и эпистемологии, семантики, логики, философии естествознания, эстетики и психологии.
Остановимся на некоторых пленарных докладах, собравших наибольшее число голосов в дискуссиях по ним. В день открытия с первым пленарным докладом "Про метод в философии" выступил Я.Лукасевич. Его выступление было пронизано критикой существующей философии и содержало программу развития философии научной, основывающейся исключительно на аксиоматическом методе, культивируемом логиками. В девяти выступлениях по докладу Лукасевича оппоненты ставили ему в вину необъективность оценок философии как в целом, так и ее частей, чрезмерное упование на используемые в настоящее время формализм, а также разрыв исторической преемственности с последующими исследованиями. Н.Бердяев выступил с пленарным докладом "Метафизическое исследование свободы", в котором предполагал существование двух видов свободы: иррациональную свободу, недетерминированную - это свобода выбора между Благом и Злом, и разумную свободу, определяемую Истиной и Благом. Он полагал, что иррациональная свобода порождает Зло, разумная же свобода, определяемая Истиной, является Божественной свободой, а не человеческой. Хрестиянская философия - это философия свободы, а ее настоящим основанием служит идея Бога-Человечества. Выступление Бердяева вызвало чрезвычайно оживленную дискуссию, в которой приняло участие 10 делегатов. Наряду со словами признания представленной концепции прозвучали и голоса сомнения, относящиеся к понятию недетерминированной свободы и возможности психологического исследования определенных состояний (чувств) свободы.
В последний день пленарных заседаний с докладом "Славянская философия" выступил Иван Мирчук (Берлин), в котором дал общую оценку славянской философии и наметил направления дальнейшего сотрудничества на основе характерного свойства славянской мысли, каковым является гармония между теорией и практикой. Исходной позицией для Мирчука послужила философия Г.Сковороды. В дискуссии по докладу выступило восемь участников съезда, большинство которых подвергло сомнению осмысленность выражения "славянская философия".
Отметим также работу секции логики, в которой председательствовали Я.Лукасевич и К.Твардовский, а секретарем был Г.Греневский. Состоялось 11 выступлений. С тремя докладами, посвященными основаниям теории классов, онтологии и логистике выступил С.Лесьневский. Всего было прочитано 70 докладов 59 участниками. Материалы Съезда оказались опубликованными в виде "Памятной Книги" как 1-2 тетради "Пшеглёнда Филозофичнего" (1928)). Наиболее активными были философы Варшавы, затем Львова, Кракова и Познани. Гости Съезда выступили с 15 докладами, в том числе 8 было прочитано русскими, 3 -украинцами, чехами и югославами - по 2. По завершении Второго съезда от имени Варшавского университета с прощальным словом выступил ректор, а затем от имени Российского научного института в Берлине речь произнес С.Франк. Кратким словом благодарности участникам съезда К.Твардовский закрыл заседания.
Инициатива проведения Третьего польского философского съезда также принадлежит К.Твардовскому, направившему 25 февраля 1933 г. письмо к членам Объединенного комитета философских съездов. Будучи председателем этого комитета Твардовский поставил перед его членами ряд вопросов, касающихся организации съезда. Относительно места проведения члены Комитета быстро пришли к согласию, выбрав Краков. Однако со временем созыва съезда возникли трудности из-за дат проведения предполагаемых в будущем международных конференций. После долгих консультаций членов Комитета было решено созвать съезд в 1936 г.
Третий съезд польских философов начал работу 24 сентября 1936 г. в зале Ягеллонского университета. После выборов Президиума, почетным председателем которого стал К.Твардовский, с первым пленарным докладом "Что дала современной философии математическая логика?" выступил Я.Лукасевич. Речь в нем шла о значении многозначных логик. Однако логика не только не доминировала на съезде в Кракове, но и была представлена, пожалуй, убого. На секции логики, которую возглавлял Лукасевич, было прочитано только три доклада, два из которых принадлежали гостям из Белграда (Б.Петроневич) и Вены (Р.Ранд). Много интенсивнее работа проходила в других секциях: истории философии (18 докладов), теории познания и онтологии (18 докладов), эстетики (10 докладов), социологии и этики (17 докладов), психологии (19 докладов). Всего было прочитано 88 докладов, которые затем редакцией "Пшегёнда Филозофичнего" были напечатаны в виде "Памятной Книги" Третьего польского философского съезда .
Это был последний съезд философов перед II мировой войной. Даже короткий обзор первых трех Съездов свидетельствует о решающей роли в их организации интеллектуального содружества, названного затем Львовско-варшавской философской школой.
Философы Львовско-варшавской школы публиковали свои работы в обще польских изданиях - "Пшеглёнде филозофичнем" (Философском обозрении), "Руху филозофичнем" (Философском движении), "Квартальнику филозофичнем" (Философском ежеквартальнике), главным образом в первом из названных изданий. Ряд работ логики публиковали в журнале "Fundamenta Mathematicae". В 1935 году по инициативе Р.Ингардена увидел свет журнал "Studia Philosophica", предназначенный для публикации работ польских философов на иностранных языках. Война прервала издание этого журнала (до 1951 г. вышло четыре тома с многочисленными работами философов Львовско-варшавской школы.) Я.Лукасевич намеревался издавать специализированный журнал по логике "Collectanea Logica". Первый том оказался подготовленным к печати в 1939 году, но был уничтожен в сентябре во время бомбардировки Варшавы.
Школа в период II мировой войны и послевоенное время.
Обычно принято считать, что с началом войны Школа прекратила свое существование. И тем не менее, как кажется, необходимо обсудить судьбы отдельных представителей и Школы в целом после 1939 года.
В мае 1939 г. умер один из наиболее оригинальных и выдающихся участников Львовско-варшавской школы - Станислав Лесьневский. Война произвела ужасные опустошения в рядах этого интеллектуального содружества. Утратили жизни (главным образом были убиты) следующие упоминавшиеся выше философы и логики: Ауэрбах, Бад, чета Блауштайнов, Вайсберг, Зайковский, Игель, чета Линденбаумов, З.Лемпицкий, Мильбрандт, Мосдорф, Ортвин, Паньский, Пресбургер, Райгородский, Рутский, Саламуха, Шмирер, Третер. В первые годы после войны умерли Витвицкий, Завирский и Смолька.
В предисловии к "Философским фрагментам. Серия II. Памятная книга к юбилею 40-летия педагогической работы профессора Тадеуша Котарбинского в Варшавском университете" можно прочитать: "Первая серия "Философских фрагментов" вышла в 1934 г. за счет учеников, чьи имена фигурируют на одной из первых страниц книжки. Сегодня из состава в пятьдесят одну особу не живет двадцать. О пяти наших коллегах отсутствуют какие-либо сведения и кажется обоснованным предположение, что их имена следует дописать к двадцати предыдущим". Приводя эту цитату в своей книге о Львовско-варшавской школе ее историк Я.Воленский с болью и сожалением продолжает: "И хотя эти слова были написаны в 1958 году, эти двадцать пять человек в действительности полностью являются жертвами войны. А ведь первые "Фрагменты" изданы 51 особой, теми, кто уже в 1934 году был квалифицированным философом. А сколько погибло тех, кто закончил учебу позже, кому учебу прервала война и наконец те, кто приступил к учебе во время войны? Не знаю, возможен ли ответ на этот вопрос, в конечном счете касающийся не только Львовско-варшавской школы, но и польской философии вообще".
Военные потери Львовско-варшавской школы - это не только персональные потери. Это также замедление на шесть лет нормального процесса научной и педагогической работы, это утрата значительной части публичных и частных библиотечных фондов. В годы войны был уничтожен ряд написанных и уже подготовленных к публикации работ, в том числе монографии Лукасевича о силлогистике Аристотеля и Бохеньского о логике Теофраста, содержащая важные результаты рукопись Лесьневского и обширная реконструкция его теорий, проведенная Собоцинским, уже упоминавшийся первый том "Collectanea Logica", а также перевод Котарбинским "Нового Органона" Ф.Бэкона. Но было в это время написано и несколько значительных работ. Витвицкий создавал свои "Нравственные беседы", Оссовская кончила написание трактата о морали , а Татаркевич подготовил свои размышления о счастье. Не удивительно, что во время войны этическая проблематика превалировала. В предисловии к своей книге Татаркевич пишет: "Значительная часть этой книги была написана во время второй мировой войны, в 1939 - 1943 гг. Может показаться странным, что работа о счастье создавалась тогда, когда люди переживали самое большое несчастье. И однако, это понятно: в несчастье больше думается о счастье".
Во время оккупации польские университеты не проводили занятий. Учеба продолжалась путем тайного преподавания. Философы Львовско-варшавской школы также принимали участие в работе т.н. "подземного университета". В Варшаве читали лекции и проводили семинарские занятия Лукасевич, Котарбинский, Татаркевич, Оссовские, Саламуха, Слупецкий, Собоцинский, Штейнбарг, во Львове - Айдукевич и Домбская, в Вильнюсе - Чежовский. Время войны совпало со временем учебы Генрика Хижа, Яна Калицкого, Анджея Гжегорчика, Ежи Пельца, которых можно считать последними представителями Львовско-варшавской школы. Пельц вспоминает: "Вошел очень щуплый, вроде бы уставший, с проседью, но еще не совсем седой, пожилой господин. Быстро поздоровавшись, подошел к указанному ему хозяйкой креслу и присел на краешек. [...] Затем наклонился вперед, вытянул долгую, худую шею из просторного, как и у всех в то время, воротничка, прикрыл глаза и [...] начал говорить: "Сегодня я буду говорить о том, что значит "выражать непосредственно", "опосредованно", "высказывать", "высказывать мысль"". Так без излишних вступлений началась первая лекция Тадеуша Котарбинского в первом семестре наших тайных университетских занятий осенью 1942 г." .
Но не только смерть опустошила шеренги Львовско-варшавской школы. Во время войны или вскоре после нее Польшу оставили, Бохеньский, Вундхайлер, Йордан, Калицкий, Леевский Лукасевич, Мельберг, Познаньский, Собоциньский, Хиж, а Тарский оказался в Соединенных Штатах Америки еще перед войной. Судьбы оставивших Польшу философов различны, но все (кроме Вундхайлера) продолжили научную карьеру. Наиболее значительного положения достиг Тарский. Он стал профессором в Калифорнийском университете, создал большую, т.н. калифорнийскую школу теории моделей, которая оказала доминирующее влияние на развитие логики после второй мировой войны. Лукасевич получил кафедру логики в Королевской Академии наук в Дублине. Хиж является профессором лингвистики в университете Пенсильвании. Мельберг был профессором философии науки в Торонто, а затем возглавил кафедру в Чикагском университете (после Карнапа). Познаньский стал профессором в Еврейском университете Иерусалима, Сабоциньский - в католическом Notre Dame университета штата Индиана, а Бохеньский - в католическом университете швейцарского Фрайбурга. Калицкий работал преподавателем в Калифорнийском университете, а Леевский - в университете Манчестера. Вне университетского окружения остался только Йордан. Как правило, научная деятельность перечисленных философов после войны продолжалась в сферах тех интересов, которые сформировались еще в Польше и были связаны главным образом с логикой и ее историей.
После войны в Польше проходила бурная организация и реорганизация научной жизни, вызвавшая миграцию университетских преподавателей. Вследствие территориальных изменений два университета - во Львове и Вильнюсе оказались за границами страны. Но тут же возникли четыре новых: в Люблине, Лодзи , Торуне и Вроцлаве. Миграционные процессы коснулись также ученых из Львовско-варшавской школы. Чежовский и Яськовский оказались в Торуне, Айдукевич - в Познани (до 1954 г.), а позже - в Варшаве, Домбская - в Гданьске, приезжая на лекции в Варшаву, Кокошинская - во Вроцлаве, Слупецкий - в университете им. М. Кюри-Склодовской в Люблине, а с 1948 года - во Вроцлаве, Свежавский и Корцик начали работать в Католическом университете Люблина, Лушчевская-Романова - в Познани, Мельберг (до момента выезда из Польши) - во Вроцлаве. Котарбинские, Мостовский, Оссовские, Татаркевич и Витвицкий остались в Варшаве, Завирский - в Кракове. Какое-то время Котарбинский преподавал в Лодзи, но более занимался организацией университетской жизни, будучи ректором Лодзинского университета. В тяжелые послевоенные годы (1949 - 1956) некоторые философы Школы были лишены права преподавания (Оссовские, Татаркевич, Домбская), другим (Котарбинский, Айдукевич, Чежовский, Кокошинская) было позволено преподавать исключительно логику. Окончательная "географическая" стабилизация Школы наступила в 1957 г. Айдукевич, Котарбинские, Мостовский, Оссовские и Татаркевич были профессорами Варшавского университета, Домбская и Громская возглавили кафедры в Ягеллонском университете Кракова, Чежовский, Яськовский, Кокошинская, Корцик, Лушчевская-Романова, Слупецкий и Свежавский остались в тех научных центрах, в которых работали в конце сороковых годов. В середине 50-х годов во всех университетах, кроме Лодзинского и Люблинского, работали представители Львовско-варшавской школы.
После войны было возобновлено издание выходящих ранее изданий: в 1946 г. в Варшаве появился "Пшеглёнд Филозофичны", в Кракове - "Квартальник Филозофичны", в 1948 г. в Торуни - "Рух Филозофичны". В 1948 г. увидел свет третий очередной том "Studia Philosophica" (за 1939-1946 гг.), а в 1951 г. - четвертый том (за 1949-1950 гг.). После непродолжительного довольно мирного сосуществования различных философских направлений в конце 40-х годов дошло до открытой конфронтации представителей различных течений с марксистами, выступавшими в роли хозяев идеологии и цензоров. Их стремление унифицировать философскую среду привело к тому, что уже в 1949 г. перестает выходить "Пшеглёнд Филозофичны", в 1950 г. - "Рух Филозофичны" и "Квартальник Филозофичны".
После 1945 г. в общей сложности с университетами Польши были связаны и активно работали 19 человек, принадлежавших к Львовско-варшавской школе, а после 1948 г. - 16 человек. Несомненно, число это велико, но все же превалирует мнение, что Школа прекратила свое существование. Почему же нельзя считать послевоенный период еще одной стадией развития философской школы? Историк Школы Воленский пишет, что «уклончиво на этот вопрос можно дать простой ответ: это был период упадка». Однако он уходит от прямого ответа, пытаясь привести, главным образом, социологические объяснения. Но помимо социологических факторов были причины метафилософского характера, которые можно весьма грубо очертить следующим образом: Школа исчерпала потенциал философии, которую культивировала, несмотря на то, что существенной философской переориентации не произошло. Вернемся к социологическим объяснениям Я.Воленского , достаточно полно отразившим внешние причины «упадка» Львовско-варшавской школы. Вследствие смерти и эмиграции школа в 1939-1948 гг. утратила 34 философа, в том числе нескольких первого ранга; к этим последним принадлежат прежде всего Лесьневский, Лукасевич, Тарский, Витвицкий и Завирский. Таким образом, Варшава потеряла лидеров прежде всего среди логиков, из которых в Польше осталось только три человека - Яськовский, Мостовский и Слупецкий. Наибольшие потери пришлись на вторую и третью генерации школы, т.е. поколения, которые должны были составить будущее школы. Однако реальные потери были более значительны. После второй мировой войны многие не вернулись к философии, а филологи, педагоги, психологи, принадлежавшие к Школе, стали высказывать меньшую заинтересованность философией, чем ранее. Но и среди оставшихся произошли существенные изменения. Логики почувствовали себя более связанными с математикой, чем с философией. В этой связи историк Школы Воленский считает, что научная школа полностью потеряла один из своих столпов - математическую логику и это было следствием неизбежного процесса специализации. Специализация сказалась и на других областях философии. Попросту говоря, чувствовать себя историком философии, специалистом по эстетике, этике или эпистемологом стало более существенным, чем принадлежать к Львовско-варшавской школе. Воленский справедливо замечает, что «силой Львовско-варшавской школы было мощное окружение, склонное к самоидентификации со школой; оно служило противовесом, наметившейся уже в межвоенный период специализации. Между прочим это окружение не возродилось после войны и по причине упоминавшихся миграционных процессов, а также более значительной, чем ранее географической разбросанности; следовательно школа утратила основной фактор самоидентификации».
Почему не возродилась школа, конечно, уже не львовская и даже не варшавская, а просто польская философская мысль, формирующим началом которой стали бы принципы, заложенные Твардовским? Ведь остались старые мастера - Айдукевич, Чежовский, Котарбинский и Татаркевич - необычайно деятельные на педагогическом поприще. После войны они действительно воспитали не меньшее число учеников, нежели перед войной, но почти никто из них не причислял себя к наследникам Школы . Многие восприняли проблематику, язык и даже стиль мышления, культивировавшийся в Школе, но вместе с тем относились к ней как чему-то прошлому. Воленский считает, что «основным фактором было сознание необходимости иной концепции философии, философии, не избегающей выборов мировоззрения. Частично это было влияние марксизма, частично - влияние общей ситуации в мировой философии, которая после войны шла в направлении «ангажированной философии»». Но поскольку ученики профессоров из Львовско-варшавской школы занимались прежде всего конкретными проблемами, то пожалуй это скорее всего свидетельствует об обратном, о нежелании участвовать в разработке проблем, окрашенных каким-либо мировоззрением. Правда, были сторонники той или иной философской ориентации, чувствовавшие себя марксистами, феноменологами, экзистенциалистами, неопозитивистами или неотомистами. Значимость психологической компоненты, определяющей единение Львовско-варшавской школы, ее самоидентификацию, позволившую выработать иммунитет к различного рода идеологиям, заключалась в том, что в Школе были безразличны ко всему, кроме истины. В новых условиях такая позиция плохо согласовывалась с окружающей действительностью. Да и сама истина оказалась чем-то более сложным, нежели считал Твардовский; научная истина оказалась ограниченной интерпретациями в различных областях знания и потому частичной. Как кажется, открытие многозначных логик, разложивших истину, уже предвещало не столько трудности с их интерпретацией, сколько разделение последующих поколений на течения, специализации, направления, группировки и т.п.
АЛЬФРЕД ТАРСКИЙ. Краткая справка из БСЭ.
ТАРСКИЙ Альфред (1902—88) — польский логик, математик и методолог науки, один из виднейших представителей львовско-варшавской школы; с 1938 в США. Т. принадлежит ряд значительных результатов в теории моделей, определимости,понятий, в разработке проблем разрешимости, различных разделов математической логики и оснований математики. Т.— один из основоположников логической семантики. Значительное место в творчестве Т. занимают проблемы методологии дедуктивных наук, исследования познавательных возможностей и границ применимости формальных методов (аксиоматического метода, формализации и др.) в научном познании. В основополагающей для последующего развития логической семантики и металогике работе “Понятие истины в формализованных языках” (1936) Т. раскрыл специфику содержания и использования понятия истины в формализованных теориях, дал определение этого понятия для большой группы формализованных языков (Истина в формализованных языках). С философско-методологической т. зр: наиболее важный результат, полученный Т. в этой работе,— доказательство внутренней ограниченности выразительных возможностей формализованных теорий (невозможность строго формальными средствами передать все то познавательное содержание, к-рое выражается достаточно богатыми содержательными научными теориями, подвергшимися формализации). Наряду с теоремами Гёделя о неполноте достаточно богатых формальных систем результаты Т. стали важной вехой на пути осознания принципиальной невозможности полной формализации научного знания, способствовали углублению представлений о диалектике взаимосвязи содержательного и формального в познании. В 30-х гг. философские взгляды Т. были близки к неопозитивизму; впоследствии он выступил с критикой формализма и субъективизма в истолковании логики и математики. Осн. соч.: “Введение в логику и методологию дедуктивных наук” (1936, рус. пер. 1948), “Семантическая концепция истины и основания семантики” (1944), “Логика, семантика, метаматематика” (1956), “Истина и доказательство” (1972).
Выдающийся польский математик и логик Альфред Тарский (1901-1984) считал, что “вплоть до конца девятнадцатого столетия понятие доказательства имело главным образом психологический характер” . По существу, на аргументы, применяемые при доказательствах, не накладывалось никаких ограничений, кроме интуитивной убедительности, хотя уже и начала ощущаться потребность в анализе самого понятия “доказательства”. Такой анализ был проделан логиками, так что, начиная с работ крупнейшего немецкого математика Готлоба Фреге (1848-1925), который первым в явной форме ввел в математическую логику кванторы и систематически использовал их, было определено новое понятие “формального доказательства”. Осуществив дедуктивное аксиоматическое построение математической логики, и применив ее в качестве метода обоснования арифметики, Фреге представил математику как продолжение логики. И, тем не менее, за исключением некоторых элементарных теорий, Альфред Тарский делает вывод “о несовпадении понятий истинности и доказуемости” относительно всех формализованных теорий, имеющий почти универсальный характер. “Тот факт, что философские следствия этого результата негативны по своему характеру, нисколько не уменьшает его значения”, – утверждает он . Даже в области математики понятие доказуемости, вообще говоря, не замещает понятия истинности. Однако именно доказательство по-прежнему остается единственным методом в любой математической теории, используемым для утверждения истинности ее предложений.
Из истории метаматематических исследований во Львовско-варшавской школе
Первой публикацией в области метаматематики является книжка К. Айдукевича "Из методологии дедуктивных наук". Правда, термин "метаматематика" в ней не используется и автор уже много позже, в 1960 г., все еще определяет ее как "первую польскую работу в области методологии дедуктивных наук, остающуюся под влиянием математической логики". Термин "метаматематика" вошел в обиход в школе, главным образом в ее варшавской части, основной состав которой составляли математики с философской родословной, обязанной "апостатам" философии - Лесьневскому и Лукасевичу. Однако следует заметить, что в польском восприятии этот род занятий определялся как методология дедуктивных наук. А.Тарский - ученик Лесьневского оказался главным действующей фигурой в проведении метаматематических исследований, которые должны были свободный стиль комментариев к логической системе преобразовать в точные методы изучения этих систем путем разделения уровней языка на язык-объект и метаязык. В проекте метаматематики Тарский учитывал идеи Гильберта, который провозглашал создание теории дедуктивных систем под названием "метаматематики". Свое видение метаматематики Тарский изложил следующим образом: "Дедуктивные дисциплины в том смысле составляют предмет методологии дедуктивных наук, которая сегодня вслед за Гильбертом называется метаматематикой, в каком пространственные объекты являются предметами геометрии, а звери - зоологии. Естественно, не все дедуктивные дисциплины представлены в форме, пригодной для научных исследований. Например, непригодны те, которые не основаны на определенном логическом базисе, не имеют точных правил вывода и утверждения которых, как правило, сформулированы в многозначных и нечетких терминах естественного языка, одним словом те, которые не формализованы. В конечном счете метаматематические исследования ограничиваются дискуссиями о формализованных дедуктивных дисциплинах. Короче говоря, метаматематика не должна считаться единой теорией. С целью исследования каждой дедуктивной теории может быть построена специальная метадисциплина. Однако эта стадия имеет более общий характер: целью в ней является уточнение ряда важных метаматематических понятий, которые общи отдельным метадисциплинам, и определение основных свойств этих понятий. Одним из результатов этого исследования является то, что некоторые понятия, которые могут быть определены с помощью отдельных метадисциплин, здесь будут рассмотрены как первичные понятия и охарактеризованы последовательностью аксиом". В этом высказывании важным является стремление использовать точные методы в методологии, применение которых диктуется самим предметом - дедуктивными дисциплинами. В этом смысле намерения Тарского совпадали со стремлением Гильберта, однако в вопросе точности методов имеются и расхождения. Метаматематика развивалась Гильбертом в связи с доказательствами непротиворечивости, тогда как в варшавской школе метаматематические исследования не определялись достижением каких-либо конкретных целей, а состояли в уточнении главным образом семантических понятий. Кроме того, и это особенно важно подчеркнуть, Гильберт в метаматематических исследованиях допускал использование только финитных методов, составляющих ядро его программы формализма, тогда как "методология дедуктивных наук" понималась в Варшаве независимо от той или иной философии математики и была направлена на формализацию отдельных семантических понятий с единственной, пожалуй, целью - освободиться от парадоксов, антиномий и прочих химер, препятствующих введению точных методов в методологию вообще, и дедуктивных наук в частности.
Обращаясь к творчеству Тарского как одного из создателей матаматематики нельзя не подчеркнуть роль Лесьневского, установок которого в методе его ученик придерживался неукоснительно, что вовсе не означает приверженности Тарского, например, к концепции радикального номинализма, которую он перестал разделять именно в процессе развития методологии дедуктивных наук. Основным методом, оказавшимся достаточно универсальным, а тем самым пригодным для построения метаматематики было определение. Определения послужили инструментом Тарскому и при написании одной из его первых работ - "О первичном выражении логистики" (докторская диссертация), они же явились высшей и конечной целью его метаматематических исследований, как например, определение понятия истинного предложения. В диссертации еще невозможно найти разделение уровней языка, а комментарии к утверждениям заменяют собой по сути их доказательство, но шаг за пределы логической системы, названный позже методологическим, сделан. Во вступлении к докторским тезисам Тарский пишет: "Я не провожу свои рассуждения на основе какой-то определенной системы логистики" . Но не смотря на эту оговорку "логическую теорию типов" Лесьневского он считает безупречной возможно потому, что ее развитие происходит путем определений, ведь именно их Тарский выбирает в качестве средства решения поставленной задачи: "Можно ли построить логическую систему, принимая знак эквивалентности как единственное первичное выражение (очевидно, кроме квантификаторов)". Совершенно очевидно, что это вопрос метатеоретического исследования Прототетики Лесьневского, однако сформулированный уже безотносительно к самой системе, которая служит источником инспираций при введении прочих логических понятий, в том числе констант "истина" и "ложь", отсутствующих у Лесьневского. (Роль константы "истина" у Лесьневского косвенно представляли предложения Онтологии). Следует особенно подчеркнуть, что Тарский не прибегает к какому-либо отдельному знаку "по определению" для введения необходимых ему констант, но, как Лесьневский, использует эквивалентность. Основное утверждение его работы составляет предложение, определяющее конъюнкцию, тогда как все прочие логические знаки вводятся на основании этого знака и принятых дефиниций
Дальнейшее изложение посвящено изучению свойств истинностнозначных функций, аргументами которых являются предложения, в частности функций подстановки. В связи с этим вопросом Тарский замечает, что "Лесьневский сконструировал некоторый общий метод, который позволяет элиминировать из языка функции, не являющиеся истинностнозначными функциями", однако в примечании добавляет, что этот результат не опубликован.
Метаматематические результаты 20-х годов Тарский изложил в двух работах, составивших начальный этап этой новой дисциплины. Существенным достижением в этих исследованиях было формулирование теории присоединения следствий в аксиоматической форме.
Пусть X, Y, S, Cn(X), nx, cxy означают соответственно множества предложений X и Y, множество всех предложений S некоторого языка (X и Y суть подмножества множества S), множество логических следствий множества X, отрицание предложения x и импликацию с антецедентом x и консеквентом y. В этих обозначениях аксиомы логической теории присоединения следствий таковы: (1) S £Ào , (2) XÍ Cn(X), (3) Cn(Cn(X))=Cn(X), (4) Cn(X)=$YCn(Y), где Y является конечным подмножеством множества X, (5) $ xCn(x) = S, (6) если x и y принадлежат S, то nx и cxy также принадлежат S, (7) если cxy Î Cn(X), то y Î Cn(X)+{x}, (8) если y Î Cn(X)+{x}, то cxy Î Cn(X), (9) Cn{x,nx}=S, (10) Cn{x}× Cn{nx}=Cn0.
Первые пять аксиом - это т.н. общие аксиомы, составляющие первую группу, не учитывающие конкретное исчисление. Аксиома (1) утверждает, что множество S содержит не более, чем перечислимое число предложений, (2) - что каждое множество содержится в множестве своих следствий, (3) - что операция присоединения следствий идемпотентна, (4) - что операция Cn конечна, т.е. если что-либо удается вывести из множества X, то это же удается вывести из его конечного подмножества, (5) - что существует предложение, следствия которого составляют весь язык S. Аксиомы (6)-(10) относятся к дедуктивным системам, использующим двузначную логику. Аксиома (6) говорит о том, что Cn как раз выражает такую логику в импликативно-негативном представлении, (7) - это правило отделения, (8) - теорема дедукции, сформулированная, как информирует Тарский в 1921 г. в связи с дискуссией, вызванной книжкой Айдукевича,[2] в (9) утверждается, что следствие пары взаимно противоречивых предложений есть множество S и в (10) - что пересечение множества следствий предложения x и множества следствий предложения nx равняется множеству следствий, полученных из пустого множества. Из аксиом (1)-(5) следует, что если X Í Y, то Cn(X) Í Cn(Y) (монотонность операции присоединения следствий), а также Cn(X+Y) = Cn(Cn(X)+Cn(Y)). Множество логических следствий множества X интуитивно понимается как множество доказуемых предложений, выведенных из множества X при помощи принятых правил вывода. Далее Тарский приводит точные определения метаматематических понятий, используемых до тех пор интуитивно: понятия непротиворечивости, полноты, аксиоматизируемости, конечной аксиоматизируемости, независимости; все эти понятия определены для произвольного множества предложений.
Понятие дедуктивной системы является весьма важным понятием, позволяющим определить собственно логику как частный случай такой системы. Так множество предложений X будет дедуктивной системой тогда и только тогда, когда Cn(X)=X. Поскольку Тарским доказывается, что для каждого множества предложений X существует множество Y, содержащее X и такое, что Y=Cn(X), то легко заключить, что Cn(0) является наименьшей дедуктивной системой и представляет собой теоретико-множественное пересечение всех дедуктивных систем. Вполне естественным будет считать Cn(0) логикой.
Активное участие в исследовании дедуктивных систем принимал Линденбаум. Тарский приводит несколько важных результатов, касающихся таких систем. Так оказывается, что число всех дедуктивных систем составляет неперечислимое множество, а число всех аксиоматизируемых систем перечислимо. Вместе с тем ни одну систему не удается представить в виде конечной суммы отличных друг от друга систем, а каждое непротиворечивое множество предложений можно расширить до непротиворечивого и полного множества предложений. Правда, утверждение Линденбаума неэффективно, поскольку оно не предоставляет конкретного метода для получения конструкции расширения, а поэтому может служить примером использования таких методов в варшавской логической школе и их отличия от гильбертовской программы построения метаматематики.
Для Тарского свойство эффективности построения формул сохранялось implicite в начальном периоде построения матаматематики тем, что он разделял концепцию радикального номинализма Лесьневского. Но он замечает, что в аксиоме (6) предложения не удается трактовать как конкретные материальные объекты и приходится использовать не понятие инскрипции, например, "x", а понятие типа-инскрипции как класса записей эквиморфных "x". Тем самым в метаматематику был введен абстрактный предмет - тип выражения.
В работах [1935],[1936] Тарским предложена иная версия метаматематики в форме т.н. исчисления систем. В исчислении систем первичными терминами являются: множество предложений логики L, множество всех предложений S, отрицание n, импликация c. Аксиоматику исчисления систем составляют следующие утверждения: (1) 0 < S £Ào , (2) если x,yÎ S, то nx, cxyÎ S, (3) L Í S, (4) ccxyccyzcxz, ccnxxx, cxcnxy Î L (принадлежность стандартного исчисления L2 к L), (5) если x, cxy Î L, то yÎ L. Если X является множеством предложений, то Cn(X) может быть определено как наименьшее множество, содержащее множества L и X и замкнутое относительно правила (операции) отделения. Из аксиом исчисления систем (1)-(5) и определения отношения следования Тарский выводит аксиомы общей теории следования, а также принимает равенство L = Cn(0). При этом оказывается, что из аксиом общей теории следования и определения L = Cn(0) можно вывести аксиомы исчисления логических систем. Таким образом, обе версии метаматематики эквивалентны, но Тарский считает исчисление систем интуитивно более прозрачным. Тот факт, что логика определяется как множество следствий пустого множества посылок, т.е. общей части всех логических систем подтверждает интуитивные соображения, что логика инвариантна относительно "содержания". Вместе с тем такое определение логики служит также иллюстрацией высказанного выше тезиса о том, что в ней процесс (вывода) = результату, под которым следует понимать логическую форму без какого-либо номиналистического субстрата в духе радикального номинализма, например, Лесьневского. Как кажется, именно так и понимал логику Лукасевич, правда, несколько акцентируя логический процесс как необходимый. Тарский, сотрудничая с обоими основателями варшавской логической школы, более упор делал на результате, нежели на самом логическом процессе. Возможно поэтому им был поставлен вопрос: возможна ли алгебра систем? Оказалось, что этот результат получить можно, если определить сумму систем и их дополнение. Однако такая алгебра не изоморфна алгебре Буля, или же алгебре множеств, являющихся интерпретациями исчисления высказываний. Алгебра систем оказалась изоморфной алгебре Буля, которая служит моделью интуиционистского исчисления высказываний и, в частности, она не содержит закона исключенного среднего. Этот неожиданный результат можно представить следующим образом: отношение между алгеброй множеств и алгеброй систем подобно отношению между классическим и интуиционистским исчислением высказываний.
Теория истинности А.Тарского.
Семантическая теория истинности является наиболее выдающимся достижением школы не только в области логики, но прежде всего в философии. В определенном, философском смысле, о котором будет сказано ниже, определение истинности является также и завершением семантических исследований в школе, ибо генерализация этого определения касается только формализованных языков, семантика которых определяется понятием модели, а это последнее есть ничто иное, как математическая структура. Таким образом, нет ничего удивительного в том, что Тарский, будучи математиком, к математике же и редуцировал определение истинного предложения: только в ней понятие истины оказалось универсальным, тогда как в естественных языках оно частично. В продолжение этой редукции выявился ряд вопросов семантики, имеющих прежде всего философское значение в виде соотношения двух упомянутых выше парадигм - философии имени и философии предложения. Однако прежде, чем обсуждать определение истинности, данное Тарским , последуем вслед за ним с тем, чтобы подробно проследить мотивы, которым он руководствовался, создавая эту конструкцию логической семантики.
В первые десятилетия ХХ ст. семантические понятия (истины, обозначения, определения, выполнения и т.п.) воспринимались с подозрением, поскольку рассуждения с их использованием часто приводили к антиномиям, например, лжеца (Эвбулида), антиномии, использующей выражение "гетерологический" (Греллинга-Нельсона) или определимости при помощи ограниченного числа слов (Ришара). В результате сложившегося положения ученые стремились избегать вопросов семантики и не выходить за границы синтаксиса в своих исследованиях. Полученные же в области семантики результаты были сформулированы в неточных понятиях, используемых часто интуитивно. Поэтому необходимость создания теории семантики как точной дисциплины ощущалась весьма остро. Тот факт, что такая теория возникла в Варшаве неудивителен, поскольку главным ее инструментом стало разделение языка-объекта и метаязыка, введенное implicite Лесьневским. Более того, не только инструмент был предложен Лесьневским, но и само поле исследований было в значительной мере им подготовлено. Об этом свидетельствует одно из первых примечаний Тарского к работе "Понятие истины в языках дедуктивных наук" , в котором он пишет: "Замечания, которые я сделаю в этом контексте, большей частью не составляют достояние моих собственных исследований: в них нашли свое выражение взгляды, развитые г. Ст. Лесьневским в его лекциях в Варшавском университете (начиная с 1919/20 акад. г.), в научных дискуссиях и частных беседах; особенно это относится почти ко всему, что я скажу о выражениях в кавычках и семантических антиномиях". Кроме того, Лесьневскому принадлежит также подробнейшим образом разработанная теория определений, как и другие вопросы семантики, например, денотации (референции) или обозначения, в полной мере используемые Тарским в своей работе. Самому же Тарскому принадлежит использование по существу понятия "выполнения", которое ему было , вероятно, "ближе" как математику.
Цель своего исследования Тарский формулирует следующим образом: "Настоящая работа посвящена почти полностью только одному вопросу: проблеме дефиниции истины; ее сущность состоит в том, чтобы, имея в виду тот или иной язык, сконструировать по существу верную и формально правильную дефиницию термина "истинное предложение". Этот вопрос, относящийся к классическим проблемам философии, вызывает немалые трудности: несмотря на то, что существующее обыденное значение этого термина кажется достаточно выразительным и прозрачным, все попытки окончательного уточнения его значения кончались до сих пор неудачей, а рассуждения, в которых выступал упомянутый термин, основанные на интуитивных посылках, неоднократно приводили к парадоксам и антиномиям (которые все же удавалось более или менее удовлетворительно распутывать). С этой точки зрения понятие истины разделило судьбу прочих аналогичных понятий из области т.н. семантики языка".
Исходным пунктом для Тарского является "семантическая дефиниция" истины в естественном языке, наиболее приближающаяся к классическому ее определению, которое он заимствует у Котарбинского :
(1) истинным предложением является предложение, которое говорит, что дело обстоит так-то и так и дело обстоит именно так.
Хотя приведенное высказывание, считает Тарский, несовершенно как с формальной точки зрения, так и с точки зрения очевидности и однозначности используемых в нем понятий, тем не менее "интуитивный смысл и общая интенция этого высказывания кажутся достаточно прозрачными и понятными; задачей семантического определения было бы как раз уточнение этой интенции и выражение ее в безукоризненной форме". Исходным пунктом для дальнейших уточнений (1) могут быть предложения, построенные по следующей схеме:
(2) x является истинным предложением тогда и только тогда, когда p.
Схема (2) порождает ряд частичных дефиниций истины, реализуемых тогда, когда символ "p" заменяется некоторым предложением, а "x" - произвольным индивидуальным именем этого предложения. Наиболее часто встречаемой категорией индивидуальных имен, для которых выполняется условие (2), являются имена в кавычках. Примером может служить следующее выражение:
(3) "Снег падает" является истинным предложением тогда и только тогда, когда снег падает.
И здесь мы встречаемся с первым отступлением Тарского от концепции радикального номинализма Лесьневского, которую он вначале разделял. В частности, Тарский предлагает при помощи именования некоторых морфологических категорий языка выражения в кавычках понимать как общие имена именно морфологии, а не произвольные классы выражений, определяемые эквиморфностью, "поскольку в приведенной интерпретации закавыченные имена должны пониматься как общие имена (а не единичные), обозначающие одновременно как запись, взятую в кавычки, так и каждую запись одной с ней формы. Чтобы избежать подобных упреков и при этом не вводить некоторые излишние усложнения в рассуждения, связанные, между прочим, с необходимостью оперировать понятием эквиморфности, удобно договориться, что такие термины как "выражение", "слово", "предложение" и т.д. будут постоянно обозначать не конкретные записи, а целые классы записей, эквиморфные с некоторой данной записью, и в этом единственном смысле трактовать закавыченные имена как индивидуальные имена выражений." Однако морфологические особенности языка можно использовать explicite (при этом само понятие морфологии как понятие вышестоящее и выражающее результаты отодвигается на задний план), выделив процесс составления имени и тем самым образовать для индивидуальных имен предложений "т.н. структурно-описательные имена", выделяющие знаки, из которых составлен десигнат данного имени. Следующий пример иллюстрирует использование структурно-описательного имени:
(4) Выражение, составленное из двух слов, первое из которых состоит из следующих пяти букв: эс, ен, е, гэ, второе - из следующих четырех букв: пэ, а, дэ, а, е, тэ является истинным предложением тогда и только тогда, когда снег падает.
Несмотря на то, что конкретизация схемы (2) в вопросе очевидности и интуитивности не вызывает сомнений, однако в некоторых ситуациях схема (2) становится источником антиномии лжеца (ее Тарский приводит в формулировке Лукасевича). Пусть символ "c" является сокращением для следующего предложения:
(5) "Предложение, написанное в [?] строке сверху".
Рассмотрим предложение
(6) "c не является истинным предложением".
В результате применения схемы (2) к (6) получим:
(7) "c не является истинным предложением" есть предложение истинное тогда и только тогда, когда c не является истинным предложением.
Памятуя о значении символа "c" можно сформулировать следующее утверждение:
(8) "c не является истинным предложением" идентично с c.
Сопоставление (7) и (8) тотчас приводит к противоречивому заключению:
(9) c является истинным предложением тогда и только тогда, когда c не является истинным предложением.
Источником антиномии служит подстановка вместо символа "p" в (2) выражения, содержащего термин "истинное предложение", но Тарский замечает, что разумного повода, по которому подобные подстановки должны бы быть принципиально запрещены, не видать." Оставляя в стороне сформулированную выше антиномию Тарский пробует обобщить предложения типа (3) так, чтобы все же получить дефиницию истины. Для этого необходимо получить такую схему, которая бы охватывала все предложения типа (3). Такой схемой могла бы быть следующая конструкция:
(10) Для произвольного p - "p" является истинным предложением тогда и только тогда, когда p.
Однако (10) еще не обладает желаемой общностью, ибо область возможных подстановок "x" ограничена именами в кавычках. Для ее расширения Тарский использует тот факт, что каждому истинному предложению (и вообще каждому предложению) соответствует имя в кавычках, обозначающее именно это предложение:
(11) Для произвольного x - x является истинным предложением тогда и только тогда, когда - для некоторого p - x идентично с "p" и p.
В таком использовании закавыченных имен Тарский также видит опасность. Имена в кавычках можно понимать как простые выражения, т.е. как синтаксически не составные. Тогда каждое имя в кавычках является индивидуальным именем некоторого конкретного выражения. Тарский замечает, что такая интерпретация весьма согласуется с интуицией, но тогда частичные дефиниции типа (3) невозможно каким-либо разумным способом обобщить. В частности, в (2) и (3) оказывается невозможным что-нибудь подставить вместо "p", ибо подстановка совершается на место переменной, а "p" таковой не является. Невозможно использовать также и структурно-описательное имя (как в (4)), ибо и оно также является именем индивидуальным.
Можно закавыченные имена понимать как составные выражения, в которых кавычки являются функтором от аргументов-предложений, значениями которого будут имена. Но и это решение, считает Тарский, неудовлетворительно: кавычки не являются экстенсиональным функтором и выражение (11) не может быть принято сторонниками элиминации интенсиональных выражений, к которым и он сам принадлежит в согласии с "идеологией" варшавской школы. Но и помимо этого трактовка кавычек как функций чревата антиномией лжеца даже без использования термина "истинное предложение". Пусть "c" является типографическим сокращением выражения
(12) Предложение, записанное на этой странице в [?] строке сверху.
Примем во внимание предложение
(13) Для произвольного p, если c идентично с предложением "p", то не-p.
Эмпирическим путем устанавливаем, что:
(14) Предложение "для произвольного p, если c идентично предложению "p", то не-p" идентично c.
Не вызывает сомнений и следующее предложение:
(15) Для произвольных p и q, если предложение "p" идентично предложению "q", то p тогда и только тогда, когда q.
Выражения (14) и (15) тотчас приводят к противоречию, а значит трактовка "p" как функции от аргумента p содержит непреодолимые препятствия.
Итак, непосредственное решение задачи построения дефиниции истинного предложения, состоящее в том, что предложение именуется терпит крах: имя, выражающее непосредственно результат процесса суждения не может быть использовано, даже если это не имя истины, а только предложения. Подводя итоги первому этапу построения искомой дефиниции Тарский заключает, "что проба построения правильной семантической дефиниции выражения "истинное предложение" сталкивается с весьма существенными трудностями. Мы не знаем даже общего метода, который позволил бы установить значение произвольного конкретного оборота типа "x есть истинное предложение", где вместо "x" выступает какое-либо индивидуальное имя предложения". Таким образом, использование индивидуальных имен предложений, говоря неточно, не поддается обобщению, не распространяется на процессы, будь то интралингвистические процессы составления имени предложения, или же экстралингвистические процессы, о которых нечто в предложении говорится. И Тарский приходит к единственно правильному выводу: уточнению подлежат не результаты, выражением коих являются индивидуальные имена, а процессы, прежде всего интралингвистические, которые можно было бы уточнить, используя логические законы.
Тем самым следующей попыткой Тарского является "проба построения структурной дефиниции", т.е. такой дефиниции, которая бы позволила установить, что предложение, обладающее определенными структурными свойствами, является истинным, а также истинными будут предложения, которые удастся получить при помощи описанных структурных преобразований. Под структурными свойствами и структурными преобразованиями Тарский понимает такие свойства и такие преобразования, которые можно описать в языке логического синтаксиса. Однако вывод, к которому приходит Тарский, следует сразу же из "идеи", настолько очевидным он ему кажется: "Отсюда замысел: установить достаточно много и достаточно сильных и общих законов этого типа так, чтобы каждое предложение подпадало под один из этих законов; таким образом мы пришли бы к общей структурной дефиниции истинного предложения. Однако и этот путь мне кажется почти безнадежным, по крайней мере относительно естественного языка. Естественный язык не является чем-то "готовым", завершенным, с выразительно очерченными границами; не установлено, какие выражения можно включать в этот язык, а тем самым какие в некотором смысле уже "потенциально" ему принадлежат [...]. Попытка построения структурной дефиниции термина "истинное предложение" в применении к естественному языку наталкивается на трудности, которые не удается преодолеть." О причинах этих трудностей Тарский говорит так: "Характерной чертой естественного языка (в отличие от различных научных языков) является его универсализм: было бы несогласно с духом этого языка, если бы в каком-нибудь другом языке выступали выражения или обороты, которые не удается перевести на естественный язык; "если о чем-либо можно вообще осмысленно говорить, то об этом можно говорить и в естественном языке". Культивируя эти универсалистские тенденции естественного языка в отношении семантических рассуждений, мы должны последовательно включать в язык наряду с произвольными его предложениями или прочими выражениями также и имена таких предложений и выражений, предложения, содержащие эти имена, затем такие семантические выражения как "истинное предложение", "имя", "обозначает" и т.д. С другой стороны, именно этот универсализм естественного языка в области семантики, предположительно, является существенным источником всевозможных т.н. семантических антиномий, таких как антиномия лжеца или антиномия гетерологических имен; эти антиномии, кажется, попросту показывают, что на основе каждого языка, который был бы в вышеуказанном смысле универсальным, и который при этом подчинялся бы нормальным законам логики, должно появиться противоречие. [...] Если приведенные выше замечания верны, то сама возможность последовательного (и при этом находящегося в согласии с принципами логики и духом естественного языка) оперирования выражением "истинное предложение" и, что за этим следует, возможность построения какой-нибудь правильной дефиниции этого выражения, кажется, весьма проблематична."
Таким образом, осознав, что в естественном языке, иначе, языке универсальном в том смысле, что он является смешением языков различных типов, что выражается в смешении процессов и результатов как интралингвистических, так и экстралингвистических, Тарский обращается к формализованным языкам и конструирует для них дефиницию истины.
Формализация языка состоит в том, что приводится либо же эффективно описывается список элементарных выражений, а также правила образования составных выражений, и прежде всего предложений. Поскольку формализованные языки образованы с намерением их использования в дедуктивных науках, то к описанию структуры языка, как правило, добавляется список аксиом данной дисциплины и правила вывода, что приводит к общему понятия утверждения в этой дисциплинеТарский выразительно подчеркивает: "То обстоятельство, что каждому выражению (а особенно предложению) рассматриваемого языка можно подчинить в метаязыке, с одной стороны, некоторое индивидуальное имя этого выражения, с другой же стороны - некоторое выражение, являющееся переводом данного выражения на метаязык, играет решающую роль в конструировании дефиниции истины". Тот факт, что не только перевод предложения в метаязык, но и индивидуальное имя этого предложения в метаязыке носит характер структурно-описательный, т.е. характер процесса, этот факт сыграет решающую роль при обобщении частичных условий истинности, заключающуюся в том, что дефиниция будет сформулирована в терминах процесса, а именно, процесса выполнения. К этой особенности дефиниции истинности мы вернемся при обсуждении значения ее философского аспекта. Сейчас же обратим внимание еще на одну трудность, препятствующую распространению частичного условия истинности до статуса универсальной характеристики истинного предложения несмотря на то, что язык нашего рассмотрения формализованный, а не естественный. Трудность эта связана с нефинитным характером образования выражений в метаязыке. Тарский пишет: "Здесь в игру вступают достаточно тонкие моменты. Выражения обычно понимаются как образования человеческой деятельности (соотв. как классы таких образований); при таком понимании допущение, что существует бесконечно много выражений, кажется явной нелепостью. Однако предоставляется возможность иной интерпретации термина выражение: а именно, можно было бы считать выражениями различные физические тела определенной формы и величины. Тогда центр тяжести проблемы переносится в физику [...]”.Очевидно, Тарский с таким решением согласится не может и более концепцию радикального номинализма не затрагивает, принимая к употреблению имена классов и множеств Дефиниция истинного предложения оказывается частичной, ибо у нас нет уверенности в ее применимости ко всем предложениям, число которых бесконечно. Тарский выдвигает идею применения "рекуррентного метода" с тем, "чтобы указать все операции, при помощи которых простые предложения соединяются в более сложные и установить как истинность, соотв. ложность более сложных предложений зависит от истинности, соотв. ложности входящих в их состав более простых предложений". Но и этот путь, считает Тарский, наталкивается "на весьма существенное препятствие: даже поверхностный анализ [...] показывает, что в общем случае более сложные предложения вовсе не являются соединением более простых: пропозициональные функции действительно возникают этим путем из элементарных функций, т.е. как включения, предложения же мы получаем как некоторый специальный случай пропозициональных функций. При таком положении вещей не видно метода, который бы позволил определить непосредственно рассматриваемое понятие путем рекурренции".
В этом месте своих рассуждений Тарский делает решающий шаг: он находит "понятие более общей природы, которое будучи применимо к произвольным пропозициональным функциям, уже удается определить рекуррентно, а примененное к предложениям, оно приводит нас опосредованно к понятию истинности; а именно, этим условиям удовлетворяет понятие выполнения данной пропозициональной функции данными предметами, а в рассматриваемом случае - данными классами индивидов". В последней цитате необходимо отметить два сделанные Тарским уточнения: во-первых, он считает понятие выполнения более общим, нежели понятие истинности, с чем трудно согласиться, и, во-вторых, справедливо указывает на опосредованный характер этого понятия. Не будучи философом Тарский мог и не знать, не чувствовать климата той научной атмосферы, которая наполняла львовское окружение Твардовского и которую отличала античная нота нераздельности моральных и познавательных ценностей. Твардовский писал: "Нетрудно заметить, что противоположности между истиной и ложью, между прекрасным и отвратительным, между добром и злом удается представить как отдельные виды одной общей противоположности; таковой является противоположность между тем, что мы называем правильным и тем, что называем неправильным". В частности, правильными назывались действия, поступки, процессы, в том числе и процесс суждения, который, если был правильным формально и материально, то приводил к истинному суждению. Нетрудно заметить, что приведенные Твардовским категории выражают оценки, т.е. результаты процессов, которые относятся соответственно к логике, эстетике и этике. В свете же работы Твардовского "О действиях и результатах" категории каждой науки могут быть представлены в терминах действия и результата, которые являются различными ипостасями одного и того же восприятия, тогда как характеристика "правильности" или "неправильности" действительно является не рядоположенной, а вышестоящей.
Понятие выполнения или невыполнения, используемые Тарским, в любом случае означают действие, правильное в первом случае и неправильное во втором, но во всех случаях эти характеристики относятся к действиям, тогда как логика (и всякая другая наука) имеют дело с результатами (методология, имеющая дело с действиями, принимает их во внимание также с позиции получаемых результатов). Таким результатом будет оценка действия высказывания, т.е. истинностное значение "истина", или "ложь". Здесь можно заметить, что опосредующим элементом оказывается не понятие действия выполнения, а понятие оценки, истинностного значения или понятие "истинного предложения" в терминологии Тарского. Таким образом, Тарский переходит от рассмотрения результата действия к самому действию и формулирует условия, когда эти понятия оказываются эквивалентными.
Немецкий перевод работы о понятии истины содержит новые результаты. В частности там приведено утверждение о неопределимости истины в формализованной системе, содержащей арифметику натуральных чисел. Уточнил Тарский и общие условия, каковым должен удовлетворять метаязык ML с тем, чтобы в нем можно было сконструировать ("формально и материально правильную") адекватную дефиницию истины, а именно, ML должен быть языком более высокого типа, нежели L, ибо иначе в ML не удается сформулировать дефиницию истины для L.
Свою концепцию истины Тарский сформулировал в тот период, когда Гедель показал, что каждая формализованная дедуктивная система, содержащая арифметику натуральных чисел, неполна. Тарский сообщает, что утверждение о неопределимости понятия истинного предложения было им сформулировано уже во время печатания книжки вместо предположения, что такое утверждение может иметь место; Тарский признается, что изменения были им внесены под влиянием результата Геделя. Несомненно, между утверждением Тарского и утверждением Геделя существует тесная связь: невозможность сформулировать дефиницию истины подсказывает вполне определенно метод доказательства утверждения Геделя. Уже после войны Тарский (Tarski, Mostowski, Robinson ), обобщая свои ранние концепции, выработал общий метод неразрешимости формализованных теорий. Правда, встречается утверждение, что множество доказуемых предложений алгебры классов является непротиворечивым и не полным, однако это утверждение не есть аналог теоремы Геделя, не говоря уже о том, что Тарский вообще не поставил вопрос о возможной непротиворечивости данной теории в границах этой же теории. Кроме того, между методами Геделя и Тарского имеется существенное различие: Гедель привел конструктивное доказательство неполноты и недоказуемости непротиворечивости арифметики в границах самой арифметики, тогда как методы Тарского были нефинитны. Из результатов Тарского следует, что для использования семантики достаточно богатых математических теорий необходимо в метаязыке предположить наличие теории множеств, что равносильно использованию нефинитных методов. Таким образом оказалось, что результат Геделя был фальсификацией программы Гильберта в границах самой программы, тогда как исследования Тарского с самого начала выходили за пределы этой программы. В этом смысле результаты Тарского и Геделя трудно сравнивать, ибо такое сравнение лишь указывает на глубокое различие семантических и синтаксических методов.
Философский аспект теории истинности и концепция общей семантики А.Тарского.
Ранее уже упоминалось, что вопрос о природе истины в философском аспекте затрагивался во львовском периоде существования школы. Таким образом, у Тарского были предшественники и прежде всего Котарбинский и Лесьневский , посредством которых он был связан с творчеством Твардовского. Однако во львовском периоде школы точкой приложения усилий в вопросе об истинности было суждение, сформулированное, конечно, в естественном языке, да к тому же не был изжит и психологизм. Этими факторами отчасти может быть объяснена этическая составляющая теории истинности. Несмотря на то, что этический фактор в логических исследованиях, как правило, затушевывали, его влияние на выбор позиции ученого был несомненен. Наличие этической составляющей объясняется тем, что с ней связывается деятельностный, процессуальный аспект предмета изучения, например, суждения, тогда как в логике, а особенно в идиогенической теории суждений, был важен результат, с которым тот же Твардовский связывал истинностное значение. Нетрудно убедиться, что оценка, являясь результатом действия суждения, носит объективный характер тогда, когда высказанное находится в согласии с фактами; оценить же само действие как правильное или неправильное с точки зрения смысла, а потому ведущее к истине или ложности весьма трудно: позиция внешнего наблюдателя оказывается субъективной позицией, а позиция деятельностного агента, являющегося субъектом суждения приводит к антиномии, например, лжеца. Поэтому задачей Тарского было сохранение объективного характера истинности и одновременно следовало выработать такой взгляд изнутри на действие, например, суждения, чтобы никоим образом не изменить реальность, а тем самым течение происходящих в ней событий, или иначе - не деформировать предметную область. Начальным условием в решении поставленной задачи стало условие формализации языка, к которому затем добавилось ограничение на богатство выразительных возможностей в виде разделения языка-объекта и метаязыка.
Приступая к определению понятия истины в формализованных языках Тарский писал: "Отмечу [...], что во всей этой работе меня заботит исключительно выражение той интуиции, которая содержится в т.н. "классическом" понимании истинности, т.е. в того вида понимании, по которому "истинное" - это то же, что "согласие с действительностью" (в отличие, например,. от "утилитаристского" понимания, согласно которому "истинное - это с некоторой точки зрения употребляемое". Эта позиция Тарского на протяжении времени не претерпела изменений. Он также не скрывал возможных философских выводов из своей теории, полагая, что сделанные им уточнения классической концепции истинности заменят формулировку Аристотеля. Он писал: "Буду рад, если настоящая работа убедит читателя, что упомянутые средства уже в настоящий момент составляют необходимый вспомогательный аппарат даже при рассмотрении вопросов чисто философского характера [...] Ее центральный вопрос - конструкция дефиниции истинного предложения и выяснение научных оснований теории истины - принадлежит сфере теории познания и даже иногда относится к главным проблемам этой ветви философии. Тем самым я рассчитываю на то, что этой работой заинтересуются в первую очередь теоретики познания, что - не отвратившись местами трудным аппаратом понятий и методов, не используемых до настоящего в культивируемой ими области знания - они критически проанализируют содержащиеся в этой работе результаты и смогут их использовать в дальнейших исследованиях из этой области".
Действительно, интерес, вызванный семантической теорией истины, был велик и в первую очередь, конечно, среди польских философов. Значимость предложенной дефиниции была признана Айдукевичем, Котарбинским, Кокошинской, Мельбергом, Чежовским; среди заграничных философов (благодаря личным контактам Тарского) она была положительно воспринята Р.Карнапом и К.Поппером. Однако появились и голоса, отрицающие философскую ангажированность семантической теории истинности и приписывающие ей роль конструкции исключительно формальной. Так Д.Гильберт и П.Бернайс писали: "Термин определение истинности сам по себе не должен вводить нас в соблазн. Мы не должны ожидать от такого определения философского объяснения понятия истины. Напротив, в большинстве случаев речь здесь идет лишь о некотором уточнении того понимания формул, которое и без того лежит в основе обычного использования формализма, и задача такого определения заключается в том, чтобы выразить это понимание в общем виде, в его зависимости от структуры рассматриваемой формулы". Из этого замечания трудно понять, что его авторы понимают под "философским объяснением понятия истины". Очевидно одно - понятие истины как соответствие фактам их не удовлетворяет. Эти сомнения можно даже отчасти разделить, имея в виду конвенцию Т, формулирующую условия частичного определения истины. Дело в том, что соответствие устанавливается между вещами - высказываниями и фактами, к которым относятся эти высказывания. Эти вещи разной природы, или говоря иначе, из разных универсумов, что приводит к выделению семантического метаязыка (метаязык, в котором можно говорить об объектном языке, но не о фактах, к которым он относится Тарский называет "семантическим"). Вот этот семантический метаязык и является тем инструментом, при помощи которого устанавливается соответствие. Ограничения на такой метаязык являются одновременно и ограничениями частичного использования конвенции Т. Между тем философское объяснение претендует на универсальность, а понятие соответствия, предполагающее очевидность факта, таковым быть не может, ибо далеко не все факты очевидны. В примечаниях к работе "О обосновании научной семантики" Тарский пишет: "В виде окончания добавлю, что из-за отсутствия места и времени в этом сообщении я не затронул вопроса о значении семантических понятий, особенно понятия истинности в методологии эмпирических наук; полагаюсь на то, что в будущем я найду возможность высказать несколько замечаний, которые возникают у меня в связи с этим важным вопросом". К этому важному вопросу Тарский более не возвращался. Зато его активно разрабатывал К.Поппер, вывод которого был категоричен: "Старый научный идеал episteme - абсолютно достоверного, демонстративного знания - оказался идолом". Продолжая обсуждение дефиниции истинности Поппер выделяет два весьма важных ее аспекта: критериальность и регулятивность. Он пишет: "Одно из важных преимуществ теории объективной, или абсолютной, истины состоит в том, что она позволяет нам сказать [...], что мы ищем истину, но не знаем, когда нам удается найти ее; что у нас нет критерия истины, но мы тем не менее руководствуемся идеей истины как регулятивным принципом [...]; что хотя у нас нет общего критерия, позволяющего нам отличить истину - исключая, может быть тавтологии,- существует критерий прогрессивного движения к истине". К сказанному добавим, что Гильберт, вероятно, хотел бы видеть такой критерий формальным и конструктивным.
Такой взгляд, в соответствии с которым только обладание определенными критериями позволяет понять, что собственно имеется в виду, Поппер называет "философией критериев", справедливо отмечая, что метатеоретическое утверждение Тарского о невозможности сформулировать универсальный критерий истины (универсализм которого по крайней мере определялся бы наличием в этой теории арифметики), это утверждение установлено при помощи понятия истины, для которого у нас нет критерия. В терминах процессов и результатов понятие критерия есть результат, который еще только предстоит получить, а потому критерий истины действительно не более, чем "регулятивный принцип" процесса установления истины. Поэтому анализ дефиниции истинного предложения должен проводится в терминах процесса, частным случаем которого является понятие выполнения. Так в частности, конвенция Т устанавливает эквивалентность оценки процесса высказывания с результатом, коим является факт реальности, тогда как дефиниция истинности есть эквивалентность процессов высказывания и выполнимости; ограничения касаются этих процессов, но не понятия истинности, особый статус которого в отношении к процессам может быть сравнен с понятием предмета, являющегося summum genus, т.е. истина также является наивысшим родом, но для процессов, а не результатов. Причем характеризуя процессы как правильные или неправильные мы подчеркиваем абсолютную их сторону, являющуюся иллюзорной вследствие, если не прямой, то имагинитивной вовлеченности наблюдателя в процесс. Попытка отстранится от процесса путем именования приводит или к его оценке, или полной элиминации субъекта как наблюдателя; использование же имени оценки является всегда косвенным, т.е. упоминается. Воистину нет другого способа, как оценить результаты: "По плодам их узнаете их."
Тогда определение истины, являясь семантическим процессом, может быть уточнено путем анализа процессов, входящих в это определение. На этом пути Тарский обобщил конструкцию семантической теории истины до теории семантики. Семантику он понимал следующим образом: "Термином "семантика" мы будем здесь пользоваться в смысле несколько более узком, чем это обычно делают: под семантикой будем понимать все рассуждения, касающиеся того вида понятий, которые,- говоря общо и не совсем точно - выражают определенные связи между выражениями языка и предметами, "о которых в этих выражениях идет речь". В качестве типичных примеров понятий из области семантики достаточно привести понятия обозначения, выполнения, определения...". Обоснование так понимаемой семантики, по мнению Тарского, возможно только для формализованных языков: "Поскольку от ясности и обстоятельности описания зависит степень точности всех дальнейших исследований, то совершенно точными методами удается развивать семантику единственно языков формализованных". Правда, несколько позже Тарский выскажет мысль, что используемые им методы построения семантики с некоторым приближением удастся применить к языкам неформализованным и, возможно, это высказывание послужило толчком для многочисленных попыток применения семантических понятий, например, истинного предложения в естественном языке. Так К.Поппер пишет без околичностей: "Мнение о том, что его (Тарского-Б.Д.) теория применима только к формализованным языкам, мне представляется ошибочным. Она применима к любому непротиворечивому языку, в том числе даже к "естественному языку... ".За использование методов Тарского в семантике естественного языка, да еще с использованием понятия "значение" ратует Д.Дэвидсон. (Семантика Тарского является т.н. референциальной семантикой и непосредственно не содержит понятие значения.)
Эти и подобные попытки можно, как кажется, объяснить исходя из модуса использования термина "истина". Выше уже отмечалось, что не только в теории суждений, т.е. в естественном языке, но и в языках формализованных термин "истина" не употребляется, а упоминается. Иллюзии употребления можно добиться, если предположить, что все имена объектов из универсума рассмотрения также упоминаются, но операции, как синтаксические, так и семантические, в частности, выполнения замкнуты, т.е. не выводят за пределы универсума. Этот тотальный перевод терминов из модуса употребления в модус упоминания и является центром кристаллизации процессов, приводящих к формализации. Результат этих процессов определен заранее, что равносильно его формализации. Условие формализации implicite заложено уже в левой части конвенции Т, когда индивидуальное имя предложения закавычивается, т.е. упоминается, как упоминается и термин "истинно": "p" истинно тогда и только тогда, когда p. Поэтому формализация являет собой ограничение прежде всего в сфере интралингвистической как изменение модусов использования имен, как некую интравертность - свойство, которое по своей природе противоречит духу естественного языка, обращенного к окружающему его миру. Формализация - это точность и платой за нее послужило понятие интерпретации, ненужное при употреблении имен в естественном языке. Поэтому в естественном языке вполне допустимо частичное применение определения истинности в виде конвенции Т, тогда как универсальным характером понятие истины обладает только в языках формализованных.
Таким образом, первым этапом подготовки языка, который подлежит семантическому исследованию, является его формализация. Вторым этапом - построение языка, в котором исследование будет проводиться, т.е. метаязыка. Центральным пунктом построения семантики является наделение метаязыка достаточным запасом средств, необходимых для описания отношений между выражениями объектного языка и предметами. Так в метаязыке должны быть имена выражений объектного языка, имена классов таких выражений, имена отношений между выражениями языка-объекта, т.е. все то, что необходимо для описания исследуемого языка в метаязыке. Термины, при помощи которых в метаязыке описывается структура объектного языка, Тарский выделяет и относит их к разделу морфологии языка. Тем самым семантика данного языка L исследуется в метаязыке ML, наделенным морфологическими и общелогическими терминами. Третьим этапом изучения является уточнение условий адекватности семантических понятий; примером может служить построение конвенции Т.
В построении семантики Тарский видит два пути: один из них преодолевается аксиоматическим методом, другой - методом определений. Первый метод заключается в введении семантических понятий в состав первичных понятий метаязыка, характеризуемых системой соответствующих аксиом, из которых затем выводились бы "семантические утверждения". Этот путь Тарский считает сомнительным по нескольким причинам. Он пишет: "В этом представлении семантика является самостоятельной дедуктивной теорией, для которой логическим фундаментом является морфология языка. Этот метод, кажущийся легким и простым, в сущности однако чреват рядом трудностей и вызывает всевозможные сомнения". Во-первых, отсутствуют объективные критерии выбора аксиом и они могут носить "в определенной мере случайный характер, зависящий от разных второстепенных факторов, например, от актуального состояния знаний в рассматриваемой области". Во-вторых, "трудно с психологической точки зрения признать естественным такой метод построения науки, в котором роль первичных понятий,- а следовательно понятий, содержание которых вроде как понятно само по себе и не требует дальнейших выяснений - выполняют того рода понятия, которые в прошлом были неоднократно источником путаницы и недоразумений". В-третьих, Тарский опасается, удастся ли аксиоматическое представление семантики согласовать с постулатами физикализма и единства знаний, ибо "нелегко было бы согласиться с таким широким пониманием физики, при котором семантика помещалась бы еще и в ее границах." . Тарский выбирает метод дефинитивного построения семантики, использование которого возможно только тогда, когда метаязык является языком более высокого уровня, нежели предметный язык. "Главный результат" Тарский формулирует следующим образом: "Тогда и только тогда можно сконструировать в метаязыке формально правильные и предметные по существу определения семантических понятий (и на этом пути обосновать семантику языка как раздел его морфологии), когда метаязык наделен переменными более высоких логических типов, чем все переменные языка, являющегося предметом исследования"(S.55). Семантическая теория истины является примером такого определения. Другим примером может служить следующая дефиниция обозначения: термин t обозначает данный объект тогда и только тогда, когда этот объект выполняет пропозициональную функцию "x идентично с t". По мнению Тарского, эти примеры показывают, что задачу обоснования "научной семантики" на базе морфологии языка "можно признать совершенно решенной".
Весьма важным использованием развиваемой концепции семантики является конструирование Тарским дефиниции логического следования . Как и в случае с истинностью Тарский обращается к интуитивному пониманию следования, которое может быть выражено следующим образом: X логически следует из класса предложений К тогда и только тогда, когда невозможно, чтобы все предложения из класса К были истинны, а предложение X - ложно. Определение логического следования посредством выводимости при помощи совокупности правил, по мнению Тарского, не может помочь в реконструкции вышеприведенной интуитивной выражения, ибо, согласно утверждению Геделя о неполноте, можно всегда построить предложение (например, в арифметике натуральных чисел), которое не выводимо, хотя к нему и применимо интуитивное понятие следования. Тем не менее понятие логического следования удается сформулировать точно, используя семантические понятия. Так понятие выполнения позволяет определить понятие модели, а при помощи этого последнего Тарский предлагает следующую дефиницию: Предложение X логически следует из предложений класса К тогда и только тогда, когда каждая модель класса К является одновременно и моделью предложения X.
Результат Тарского показывает, что следование в семантическом смысле (логическое следование) не перекрывается понятием следования в синтаксическом смысле, т.е. выводимостью: если X выводимо из класса К, то X логически следует из класса К, но не всегда верно обратное. Этот результат может служить подтверждением того факта, что семантика "богаче" синтаксиса, а одним из главных результатов "идейных" работ Тарского ,считать обоснование тезиса, что семантику языка никогда не удается полностью погрузить в его синтаксис (за исключением простых языков).
И наконец, отметим сам метод семантического анализа, используемого Тарским при построении "научной семантики". Занимаемая им позиция - это, как правило, простая и интуитивно ясная формулировка (классическая теория истинности, понятие выполнения), которая затем совершенствуется при помощи точных логических понятий.
ЗАКЛЮЧЕНИЕ
Что ж, в заключение работы, очертим требования, которые предъявлялись к философу из Львовско-варшавской школы. Во-первых, он должен иметь философское образование, а также обладать знаниями в объеме университетского курса по одной из дисциплин, желательно естественнонаучной. Философское образование должно быть историческим и систематическим. Особое внимание обращалось на знакомство с современным состоянием философских знаний, так необходимых философу-аналитику. Вместе с тем истории философии уделялось особое внимание, а членов Школы среди приверженцев аналитической философии особенно выделяло как раз знание истории, которое может служить знаменем школы. Согласно принятому в Школе стандарту философ должен свободно себя чувствовать во всех областях систематической философии, а в одной из них особенно основательно ориентироваться. К сказанному остается добавить знание иностранных языков, непременно включающих старогреческий и латынь. В подтверждение сказанному все же приведем цитату из работы, названной «О потребностях польской философии». Твардовский пишет: «Философ должен уметь справляться с оригинальными текстами древних авторов, ибо иначе он не сможет обратиться к источникам европейской философии; он должен настолько знать математику, чтобы перед ним не были закрыты врата к исследованиям с пограничья математики и логики, а также к психофизическим методам; он должен обладать необходимыми ему в психологии мышления сведениями из области физики и химии, а в области психологии вообще - из области анатомии и физиологии нервной системы; он должен ориентироваться в результатах и направлениях современной биологии, знакомство с которыми ему необходимо при изучении современных теорий этики и эстетики».
Первое поколение учеников Твардовского полностью соответствовало перечисленным требованиям, хотя уже тогда началась специализация. Несмотря на наступающую специализацию с этими условиями справлялись и философы, получившие образование в межвоенный период - за исключением, разумеется, группы молодых варшавских логиков, окончивших естественно-математическое отделение, но и они, как правило, имели солидную философскую подготовку. Согласно принятому в Школе стилю философ обязан ясно мыслить и четко формулировать вопросы и ответы. Он постоянно должен заботиться о как можно лучшем обосновании своих утверждений как с формальной, так и с лексической точек зрения. Вместе с тем он должен постоянно помнить, что эпистемологические ценности имеют также и моральное достоинство, а моральные - эпистемологическое..
Источники написания работы:
2. www.phylosophy.ru (Домбровский Борис «Львовско-варшавская школа философии»).
|
|
= Design by Koljan = |