Формальная феноменология тема диссертации и автореферата по ВАК РФ 09.00.07, доктор философских наук Васюков, Владимир Леонидович
- Специальность ВАК РФ09.00.07
- Количество страниц 256
Оглавление диссертации доктор философских наук Васюков, Владимир Леонидович
Оглавление
Стр.
0. Введение
1. Формальная онтология и формальная феноменология
1.1. Лесьневский и брентанисты
1.2. Онтология, онтологика и формальная онтология
1.3. От формальной онтологии к формальной феноменологии
1.4. Онтология Ф. Брентано
1.5. О системах С. Лесьневского
1.6. О лесьневскианских системах
2. Лесьневскианский путеводитель по гуссерлевским и мейнонговским джунглям
2.1. Гуссерль об интенциональных объектах и способах их существования
2.2. Исследуя гуссерлевские джунгли: ноэмы и модальные объекты
2.3. Проблема интерсубъективности в феноменологии Гуссерля
2.4. "Субъективный" образ гуссерлевских джунглей
2.5. О теории объектов Мейнонга
2.6. Карта мейнонговских джунглей: бимодальные, релевантные,
паранепротиворечивые объекты
2.7. Заключительные замечания: возможные миры, атрибуты, ситуации, смыслы
3. Как существует время: антидиодоровы логики и концепция внутреннего сознания-времени Брентано-Гуссерля
3.1.0 диодоровых модальностях
3.2. Антидиодоровы логики
3.3. Антидиодоровы динамические логики
3.4. От временной Онтологии к антидиодоровой
3.5. Концепция сознания-времени Брентано-Гуссерля с антидиодоровой точки зрения
4. Созидающий субъект как создатель ингарденовских обликов
4.1. Сознающий субъект: динамика первичного контакта с миром
4.2. Теория обликов Р. Ингардена
4.3. Брауэр и Ингарден: созидающий субъект
4.4. Система ингарденианской Формальной Феноменологии
4.5. Слабая непротиворечивость и переводы IFP
5. Неэлементарное истолкование учения К. Твардовского о представлении
5.1. Общие замечания о неэлементарной формальной феноменологии
5.2. Поздний Твардовский о представлении
5.3. Твардовскианская Формальная Феноменология: квантифицируя имена
5.4. Полнота TFP
5.5. Твардовскианская Формальная Онтология
6. "Бытие-для-другого": зависимость представлений в распределенных системах
6.1. Сартр о трансцедентном Ego
6.2. Вторая попытка Сартра: бытие-для-другого
6.3. Интерсубъективность и распределенные системы
6.4. Некоторые свойства, связанные с функциями зависимости представлений
6.5. Дистрибутивные протоколы в сартреанских системах
6.6. Система сартреанской Формальной Феноменологии
7. Проблемы и проекты
7.1. Согласуя Лукасевича с Лесневским: теория нечетких представлений
7.2. Проблема тела человека и квантовая природа сознания
7.3. Краткий очерк феноменологической силлогистики
8. Заключение
Список литературы
Рекомендованный список диссертаций по специальности «Логика», 09.00.07 шифр ВАК
Логические идеи Э. Гуссерля1999 год, кандидат философских наук Зайцева, Наталья Валентиновна
Формальные онтологии: Аналитическая реконструкция2000 год, доктор философских наук Драгалина-Черная, Елена Григорьевна
Границы феноменологии трансцендентального субъекта в работах Э. Гуссерля и его последователей2009 год, кандидат философских наук Вязьмин, Алексей Юрьевич
Декарт и Гуссерль: концептуальные основания рационального сознания и самосознания2010 год, доктор философских наук Куров, Игорь Геннадьевич
Философские основания становления символической логики: Программа построения "чистой логики" Э. Гуссерля и предикативная концепция логического анализа Л. Витгенштейна2000 год, кандидат философских наук Уколов, Сергей Юрьевич
Введение диссертации (часть автореферата) на тему «Формальная феноменология»
Введение
Актуальность темы исследования. Научная теория полагает некоторые объекты своего внимания существующими; универсум подобных объектов образует онтологию этой теории. Обычно в этой связи говорят об онтологических допущениях языка теории. С другой стороны, по мнению многих исследователей, в стандартной семантике какой-либо определенный модус существования вообще не фиксируется. Один из создателей логической семантики А. Тарский даже утверждал, что онтология как общая теория предметов вряд ли как-либо связана с семантикой. Это не представляется удивительным, если вспомнить, что семантика имеет дело с отношением наших утверждений к действительности, а онтология есть теория представления этой действительности. Поэтому в семантической теории Тарского не предполагается, что в качестве объектов предметной области в логической семантике должны рассматриваться как обязательно реально существующие предметы.
Теоретическое освоение новых областей логической практики, расширение диапазона выразительных возможностей логики, поставившее логическую семантику (особенно один из ее разделов - алгебраическую семантику) в положение наиболее интенсивно развивающегося раздела логики, делает актуальным развитие концепции предметной области. Это приводит к обогащению последней новыми видами объектов и к новому их структурированию.
Так, Д. Скотт рассматривает построение модальной логики, основанное на понятии модального объекта. Основной конструкцией при этом является предметная область, включающая в себя действительные, возможные и виртуальные индивиды. «Возможный» здесь означает «возможный относительно некоторой априорной теории» или «мыслимый». «Виртуальный»
же можно понимать как идеальный (абстрактный) объект типа бесконечности в обычной теории действительных чисел, бесконечно удаленной точки в проективной геометрии, виртуальных классов в теории множеств и т. п.
«Мыслимость» возможных объектов в подобного рода семантике модальных логик может означать ситуацию употребления возможных объектов как объектов нашего внимания - интенциональных объектов, на которые направлено наше сознание. В этом случае действительные объекты составляют подмножество интенциональных объектов, операторы возможности и необходимости представляют собой интенциональные операторы, а возможные миры, понимаемые как различные собрания индивидов с дополнительной структурой или без нее, можно считать интенциональными состояниями.
Для выяснения подобных вопросов привлекают теорию предметной области - формальная онтология, в которой исследуются формальные структуры объектов и возможные отношения между ними. Преимущество использования подобного рода теорий сказывается при расширении диапазона типов онтологических объектов.
С трудностями на этом пути и недостаточностью парадигмы формальной онтологии сталкиваются в том случае, когда уделяется внимание проблеме представления и его объекта, понятию интенционалъного объекта и т. п. Последнее не означает, что вопрос стоит об объектах сознания и объектах реальности, как это может показаться при поверхностном рассмотрении. Термины типа «формальная онтология ментальных конструкций» способны дезориентировать в выборе направления исследования.
Понятие интенциональности, необходимое для выяснения различия между возможными и мыслимыми объектами, ведет свое начало из феноменологии, также как и понятие представления и связанный с ним ряд других понятий. Обращение логика к феноменологии в этом контексте носит не случайный характер: "независимый" анализ способен обернуться "изобретением велосипеда", если исследователь не отдает себе отчета в том, что принимаемый им понятийный аппарат давно уже (и гораздо лучше) разработан в рамках того или иного философского течения.
Требуемое расширение парадигмы формальной онтологии можно более точно охарактеризовать термином Ж.-П. Сартра «феноменологическая
онтология», в соответствии с подзаголовком "Эссе о феноменологической онтологии", который он дал своему фундаментальному труду "Бытие и ничто". Нам представляется более естественным говорить о "формальной феноменологии", принимая во внимание, что такое название с самого начала побуждает действовать с учетом вклада феноменологических идей в проводимые исследования.
Формальная феноменология не призвана заменить собой, подменить или устранить "традиционную" феноменологию. Она имеет своей целью создание нового раздела логических исследований, посвященного построению новых логических систем, использующих идеи феноменологии. Это скорее отображение логической структуры феноменологических конструкций с помощью нового для них языка - языка неклассической логики.
Особенностью такого отображения является то, что фактически оно является переводом, который носит двухступенчатый характер: логическая структура (содержание) феноменологических концепций переводится вначале на неформальный язык содержательной семантики разрабатываемых исчислений. Дальнейшая строгая синтаксическая передача этих концепций представляет собой некоторую "кодификацию" связей данной структуры с помощью формального языка. Ясно, что в подобной синтаксической формулировке система этих связей детерминирована законами нового языка, и не всегда совпадает с исходной системой. Следует только принять во внимание, что построенные таким образом системы имеют и свое чисто логическое значение, никак не объяснимое в первоначальных феноменологических рамках.
Актуальность предлагаемого диссертационного исследования состоит в создании необходимого компонента концепции предметной области, позволяющего придать завершенный вид логической семантике систем неклассической логики. Полученные на этом пути результаты позволяют развить новое самостоятельное направление современной логики.
Степень разработанности проблемы. Системы С. Лесьневского, послужившие основным логическим аппаратом и источником разработанных в диссертации феноменологически ориентированных языков и исчислений, всегда вызывали научный интерес у логиков и философов. Среди авторов,
занимавшихся проблемами, связанными с разработкой этих систем и исследований их связей с другими системами неклассической логики, можно назвать таких известных специалистов как А. Тарский, К. Айдукевич, Я. Лукасевич, Т. Котарбиньский, А. Прайор, В. Ф. Рики, Е. Слупецкий, Б. Иванусь, Ч. Леевский, А. Гжегорчик, С. Яськовский, П. Гич, X. Хиж, Ч. Дэвис, Р. Клей, Дж. Кэнти, Г. Кюнг, В. Синиси, Б. Собоциньский, Т. Салливан, С. Сурма, В. А. Смирнов, А. Ишимото, П. Саймоне. Следует особо выделить работы С. Слупецкого, содержащие полное изложение систем Лесьневского и послужившие одним из наиболее компетентных источников в данной области.
Из работ, в которых предпринимались попытки расширения и анализа систем Лесьневского с позиций неклассической логики, можно упомянуть работы С. Лебедевой, которая разработала модальные расширения системы Онтологии Лесьневского, и многозначную Прототетику, предложенную Т. Шарлем. Вопросы, связанные с применением эпсилон-термина Лесьневского высшего порядка, исследуются в работах X. Хижа.
Со времени основополагающих работ Э. Гуссерля, в которых проблематика формальной онтологии рассматривается с точки зрения мереологического обоснование этого направления исследования, появились работы, в которых формальная онтология рассматривается с иных позиций. Так, Н. Коккьярелла в своих работах принимает, что каждая частная наука рассматривает свой специфический "способ существования", и утверждает, что формальная онтология изучает различные формализации, относящиеся к систематической классификации всех "способов" или категорий существования в общем.
Вышла в свет монография Р. Поли, "Формальная онтология", которая содержит введение в проблематику формальной онтологии и рассматривает современные достижения в этой области. Среди авторов, пишущих на эту тему, можно отметить Б. Смита, П. Саймонса, Л. Альбертацци, Р. Чизхольма, Р. Парсонса, К. Ламберта, Э. Зальту, Е. Пежановского.
Отдельного упоминания заслуживает обширнейшая монография Р. Роутли "Исследуя мейнонговские джунгли и по ту сторону". В этой монографии дается не только анализ мейнонговской теории объектов, но и разработаны системы паранепротиворечивой логики, позволяющие прояснить логические аспекты онтологии Мейнонга.
Цели и задачи исследования. Основной целью работы является построение феноменологически ориентированных логических исчислений, которые позволяют интерпретировать рациональные моменты философских учений, разработанных такими представителями феноменологии как Э. Гуссерль, А. Мейнонг, К. Твардовский, Р. Ингарден, Ж.-П. Сартр. Реализация цели диссертации предполагает решение следующих задач:
■ Уточнить концептуальную структуру и провести отбор тех аспектов теорий объектов указанных авторов, которые поддаются отображению в разрабатываемых логических исчислениях. Выяснить, способны ли принимаемые понятия сформировать или детерминировать содержательную семантику разрабатываемых языков.
■ Сформулировать основные принципы построения феноменологических расширений системы Онтологии Лесьневского и реализовать их в конкретных логических системах.
■ Рассмотреть семантические проблемы построенных исчислений, их полноту и непротиворечивость.
■ Применить построенные системы к анализу логической структуры некоторых аспектов теорий и положений рассматриваемых философских учений. Это позволит судить о возможностях, границах и перспективах формально-феноменологического подхода.
Все перечисленные задачи тесно связаны между собой и в совокупности составляют проблему построения формальной феноменологии в качестве нового самостоятельного направления логико-философских исследований, возникающее на стыке онтологии, логики и феноменологии.
Теоретико-методологические основания исследования. Исследование обсуждаемых в работе проблем основывается на разнообразных методах современной неклассической логики. С целью построения феноменологически ориентированных формальных языков применялся метод консервативных расширений логических исчислений (в данном случае - системы Онтологии Лесьневского), применялись методы точных формальных семантик, аксиоматический метод. С целью выяснения взаимосвязей между различными
построенными системами применялись металогические методы сравнения теорий (в терминах погружающих операций).
Обсуждая вопросы, связанные с возможностями и границами использования неклассической логики в решении методологических проблем, возникающих в процессе реализации намеченной программы диссертационных исследований, автор опирался на логико-методологические и философско-научные исследования И. А. Акчурина, Л. Б. Баженова, М. С. Козловой, В. А. Лекторского, И. К. Лисеева, Е. А. Мамчур,, И. П. Меркулова, А. А. Печенкина,
B. Н. Поруса, Т. Б. Романовской, В. Н. Садовского, Ю. В. Сачкова, В. А. Смирнова, В. С. Степина, В. С. Швырева, Е. Н. Шульги, Н. С. Юлиной.
При оценке существующих логических теорий и решении конкретных синтаксических и семантических проблем, возникающих в процессе построения новых логических систем, важную роль играл учет результатов, полученных В. А. Смирновым, Е. А. Сидоренко, Е. Д. Смирновой, В. А. Бочаровым, В. И. Маркиным,. А. Л. Блиновым, В. Н. Костюком, Ю. В. Ивлевым, В. К. Финном, В.
C. Меськовым, И. А. Герасимовой, В. Н. Брюшинкиным, А М. Анисовым, И. Н. Грифцовой, Е. К. Войшвилло, В. Н. Ледниковым, Л. Л. Эсакиа.
В диссертации непосредственным образом используются результаты логических исследований В. А. Смирнова, А. С. Карпенко, А. Т. Ишмуратова, В. М. Попова, Г. Дишканта, Л. Л. Максимовой.
Научная новизна исследования. Основные результаты, выносимые на защиту. В диссертации впервые в логической литературе построен новый класс логических систем, образующий новое направление исследований современной неклассической логики - формальную феноменологию, в которой рассматриваются логические системы, для семантики которых характерны предметные области с интенциональными объектами.
В процессе исследования получены следующие новые результаты, выносимые на защиту:
• Введено понятие интенционального оператора. С помощью интенциональных операторов "х есть ноэма объекта X' и "х есть интенциональный объект объекта X" построены интенциональные расширения системы Онтологии Лесьневского. Дана семантика полученных исчислений.
•Используя интенциональные операторы "х есть ноэма объекта X в мире субъекта г (монады и "х есть интенциональный объект объекта X в мире субъекта / (монады г')", построена система интерсубъективной формальной феноменологии. Исследована семантика подобного рода систем;
• Сформулирована модально-интенциональная система формальной феноменологии, основывающаяся на формальной интерпретации некоторых аспектов понятия неполных объектов Мейнонга.
• Основываясь на идеях релевантной и паранепротиворечивой логик, автором построены интенциональные системы, учитывающие различные мейнонговские виды существования объектов. Дана семантика полученных систем. Предложена система сверх-Онтологии, представляющая собой ослабление Онтологии.
• Разработана концепция антидиодоровых интенциональных операторов. Сконструированы системы антидиодоровой Онтологии и динамической антидиодоровой феноменологии, базирующиеся на понятии сознания-времени Брентано-Гуссерля. Рассмотрены вопросы непротиворечивости полученных систем.
• Путем обогащения языка Онтологии Лесьневского, за счет введения интенционального операторов "созидающий субъект имеет очевидность (имеет представление в сознании) объекта У в момент времени г" и "Х=>У есть облик, реконструированный при пополнении облика X до облика У того же самого объекта", построены системы формальной феноменологии. Дана семантика и доказана слабая непротиворечивость полученных исчислений.
• На основании анализа теории представлений К. Твардовского предложена концепция квантификации имен. В язык неэлементарной Онтологии Лесьневского введены номинальные кванторы и построена система формальной феноменологии с двумя типами кванторов. Доказана ее слабая полнота.
• Путем использования теории моделей для неэлементарной Онтологии Лесьневского, разработанной 3. Стахняком, доказана полнота системы формальной феноменологии с номинальными кванторами. Исходя из понятия суппозиции С. Яськовского, построена новая система формальной онтологии с номинальными кванторами.
• Разработана концепция распределенных систем интенциональных объектов. Построена система распределенной формальной феноменологии, являющейся расширением Онтологии Лесьневского. Дана реляционная семантика (где в качестве аналога возможных миров фигурируют интенциональные состояния).
• Построена система нечеткой формальной феноменологии, основывающаяся на идеях Лукасевича и Лесьневского. Для данной системы построена реляционная семантика с тернарным отношением достижимости.
• На базе идей квантовой логики, построены системы формальной квантовой феноменологии. Путем обогащения языка нечеткой формальной феноменологии за счет оператора "объект х со степенью нечеткости а является аппроксимацией (образом) объекта X со степенью нечеткости /?' и добавления соответствующих аксиом и правил вывода. Построена система формальной квантовой нечеткой феноменологии.
• В рамках построенных систем формальной феноменологии определены системы силлогистики, подобно тому, как это было сделано Е. Слупецким для Онтологии Лесьневского.
Практическое значение диссертации. Разработанные в диссертации методы построения исчислений и семантики формальной феноменологии могут найти практическое применение у специалистов-логиков в области философской логики при решении проблем построения логических исчислений с расширенной и структурированной предметной областью.
Результаты исследования могут быть использованы при разработке в общих курсах логики таких разделов, как "Логический анализ языка", "Научная теория", "Философские проблемы логики". Наряду с этим они способны существенно пополнить содержание некоторых специальных курсов для студентов, специализирующихся по логике, таких, как "Логическая семантика", "Логические проблемы онтологии", "История логики", "Методология дедуктивных наук".
Апробация работы. Основные положения и результаты исследования были представлены на IV и V чтениях памяти К. Твардовского (Львов, 1992; 1993); на международной Школе по философии науки (Варшава, 1994); международной конференции "Львовско-Варшавская философская школа и современная философия" (Львов-Варшава, 1995); Всемирном конгрессе по паранепротиворечивости (Тент, 1997); X российско-финском коллоквиуме по логике (Хельсинки, 1997).
Результаты исследования докладывались и обсуждались на семинарах кафедры логики университета Н. Коперника (Торунь, Польша), кафедры логики Вроцлавского университета (Польша), на заседаниях научно-исследовательского семинара сектора логики Института философии РАН и теоретического семинара кафедры логики философского факультету МГУ им. М. В. Ломоносова.
Диссертация обсуждена на заседании лаборатории логики Института философии РАН и рекомендована к защите.
Структура диссертации определяется в соответствии с целью и задачами исследования. Диссертация состоит из Введения, семи глав, Заключения и списка литературы.
1. Формальная Онтология и формальная феноменология
С. Лесьневский в статье «Об основаниях математики» пишет: «...я пользовался для обозначения развиваемой мною теории названием "онтология", ибо оно не коробило моего "языкового чувства" именно в силу того обстоятельства, что в этой теории я формулировал определенного вида "общие принципы бытия"» [ЬезшеугеИ 1927-1931, СЬ. XI, р. 163]. Несмотря на это, Е. Слупецкий, излагая теорию Лесьневского, предпочитает именовать ее как "Исчисление имен" и отмечает, что вне всякого сомнения единственной причина использования Лесьневским для своей системы имени, обозначающего одну из главных ветвей философии заключается в его единственном примитивном терме, глаголе "есть", образованное от которого причастие "бытие" соответствует греческому (произв. от "оутоо") [Ширескл 1984, р. 59].
Оба этих имени, по нашему мнению, подпадают под определение формальной онтологии и, более того, теории предметов. И с этой точки зрения кажется очень естественным расширить язык исчисления имен для получения возможности более изощренной трактовки как способов существования, так и типов объектов. А поскольку большинство философов, анализировавших эти проблемы, принадлежат к феноменологическому течению в современной философии, то в этом контексте выдвигается предложение различать формальную онтологию (Лесьневского) и формальную (лесьневскианскую) феноменологию. Ниже обсуждаются глобальные аспекты подобного подхода.
1.1. С. Лесьневский и брентанисты.
Чтобы прояснить весь проект лесьневскианского подхода к формальной феноменологии, мы с самого начала проиллюстрируем его с помощью следующей диаграммы:
Ф. Брентано
Э. Гуссерль А. Мейнонг
К. Твардовский \
Р. Ингарден Ж.-П. Сартр Ст. Лесьневский Я. Лукасевич
Похожие диссертационные работы по специальности «Логика», 09.00.07 шифр ВАК
Интенциональность и рефлексия: философские проблемы рефлексивного опыта сознания в философии И. Канта и Э. Гуссерля2006 год, кандидат философских наук Орлова, Юлия Олеговна
Теория социокультурных объектов в феноменологии Р. Ингардена2009 год, кандидат философских наук Тимощук, Елена Андреевна
Влияние феноменологии Э. Гуссерля на современную онтологию2005 год, кандидат философских наук Мальшина, Наталия Анатольевна
Аналитика психического опыта. Проблема психической предметности в фундаментальной философии XX века и психоанализе2010 год, доктор философских наук Савченкова, Нина Михайловна
Проблема универсалий в Львовско-Варшавской школе2014 год, кандидат наук Алфимова, Жанна Павловна
Заключение диссертации по теме «Логика», Васюков, Владимир Леонидович
Заключение
Целью исследования, проведенного в диссертации, является построение феноменологически ориентированных формальных языков, которые позволяют интерпретировать рациональные моменты философских учений таких выдающихся философов XX века как Ф. Брентано, Э. Гуссерль, А. Мейнонг, К. Твардовский, Р. Ингарден, Ж.-П. Сартр. В диссертации содержится обширный материал, иллюстрирующий основные положения формальной феноменологии, которую можно квалифицировать как новое самостоятельное направление логико-философской мысли. Скорее всего, это новая область научного знания, возникшая на стыке сразу нескольких философских дисциплин - онтологии, логики и феноменологии.
Сравнительный анализ построенных в диссертационной работе исчислений обнаруживает закономерность, которую можно было бы определить следующим образом: все построенные системы формальной феноменологии являются зеркальным "объектным" отражением систем неклассической логики, существующих в настоящее время. Таким образом, создается впечатление, что неклассическая логика терминов параллельна неклассической логике высказываний. Объекты нашего сознания как бы проявляют завидную согласованность с нашими же высказываниями - структура функционирования обоих феноменов проявляет заметную когерентность в духе "предустановленной гармонии" Лейбница.
Подобный результат нетрудно было бы предвидеть заранее, поскольку он является следствием доказываемой в Онтологии Лесьневского теоремы, согласно которой каждой пропозициональной формуле можно поставить в соответствие термин, являющийся некоторым ее номинальным эквивалентом1.
1 Пусть а* обозначает результат замены символов 1,0 и р, в выражении а на хеУ, хгА и хеХ, соответственно и пусть Ха обозначает номинальное выражение, полученное заменой символов 1,0,у,а,-1 нр, в выражении а на У,А,+,о/ и1, соответственно. Следующие теоремы имеют место:
Такая процедура позволяет получать внутреннюю модель Прототетики в Онтологии, подобно тому, как в теории множеств получают внутренние модели исчисления предикатов.
В случае систем формальной феноменологии ситуация усложняется: в Прототетике нет таких операторов, которые отвечают введенным в исследовании номинальным операторам. Если бы они существовали, то это уже была бы не Прототетика Лесьневского, а некоторое новое ее неклассическое расширение. Было бы интересно проследить в дальнейшем, может ли формальная феноменология предложить такие номинальные операторы, которым нет соответствия в системах современной неклассической логики. Однако понятно и то, что ответ на этот вопрос может дать только лишь пристальное текстуальное исследование философских построений представителей феноменологического направления.
Предполагаемая подобным образом неклассическая перестройка Прототетики наводит на мысль о том, что формальная феноменология, как новое направление исследований, возможно, получила бы большее признание, если бы не была жестко привязана к системам Лесьневского. В этом случае комплекс идей и методов формальной феноменологии продемонстрировал бы свою жизнеспособность и плодотворность на новом материале, а логики получили бы новые системы в качестве объектов дальнейшего исследования. Формальная феноменология была бы окончательно признана в принципе, в то время как ее персонажи могли бы меняться.
Положительных результатов на этом пути удается добиться, если обратить внимание на феноменологические концепции Л. Виттгенштейна. О них Я. Хинтикка в своей работе "Виттгенштейн и проблема феноменологии" пишет следующее: "Виттгенштейн был на протяжении всей своей философской карьеры философом непосредственного опыта, и в этом смысле феноменологом. язык, постулируемый в Трактате, был феноменологическом
• для любого выражения а выражение хгУ-^(а*=хЕХа) является теоремой элементарной Онтологии;
• если выражение а—является теоремой пропозиционального исчисления с константами 1 и 0, то выражение ХааХр является теоремой элементарной Онтологии;
• если выражение ат/3 является теоремой пропозиционального исчисления с константами 1 и О, то выражение Xа =Х„является теоремой элементарной Онтологии. языком в том, что его примитивные термины (имена) соотносились с объектами непосредственного восприятия" [Нтйкка 1996, р. 209].
Обращение к "Логико-философскому трактату" Виттгенштейна приводит к обращению к семантике ситуаций, а последняя приводит к системам не-фрегевской логике, разработанной известным польским логиком Р. Сушко и модифицированной Р. Вуйцицким. В рамках не-фрегевской логики удается построить не-фрегевскую формальную онтологию, следуя идеям Б. Вольневича (см. [Васюков 1997Ь]). Подобное исчисление основывается, как и Онтология Лесьневского, на примитивном термине "есть", однако здесь он читается как "(референциально) приводит к", и речь идет об отношении вовлечения в ситуацию. Наконец, используя данное исчисление в качестве базиса для феноменологических расширений, строятся системы формальной феноменологии.
Второй вариант формальной феноменологии, не связанной с системами Лесьневского, можно построить, прибегнув к так называемой комбинированной логике высказываний и событий В. А. Смирнова. Последняя представляет собой двухуровневое исчисление, в котором первый уровень призван описать алгебру событий, а второй логику высказываний. Если перейти от событий к ситуациям, то и в рамках подобных исчислений удается с помощью не-фрегевского подхода получить системы не-фрегевской онтологии, а затем и системы ситуационной формальной феноменологии (см. [Васюков 1997с]).
Список литературы диссертационного исследования доктор философских наук Васюков, Владимир Леонидович, 1998 год
Список литературы
[Бессонов 1985] А. В. Бессонов, Предметная область в логической семантике, Новосибирск: СО Наука, 1985.
[Брентано 1996] Ф. Брентано, Избранные работы, М.: Дом интеллектуальной книги, Русское феноменологическое общество, 1996.
[Васюков 1985] В. Л. Васюков, Небулевы T-F-семантики для многозначной логики // Неклассические логики (Труды научно-исследовательского семинара по логике Института философии АН СССР), Москва, 1985, С. 27-39.
[Васюков 1986] В. Л. Васюков, Антидиодоровы логики // Логика и системные методы анализа научного знания (Материалы IX всесоюзной конференции по логике и философии науки), Москва, 1986, С. 185-186.
[Васюков 1989] В. Л. Васюков, Квантовая логика и расширения логических систем // Современные исследования по квантовой логике, под ред. B.C. Меськова , Б. Н. Пятницына, Москва: изд-во Московского ун-та, 1989, С.76-89.
[Васюков 1989а] В. Л. Васюков, Квантовая логика наблюдаемых: реконструкция и семантический анализ // Синтаксические и семантические исследования неэкстенсиональных логик, Москва: Наука, 1989, С. 120169.
[Васюков 1990] В. Л. Васюков, Антидиодоровы динамические логики // Современная логика: проблемы теории, истории и применения в науке. Материалы Научной конференции ЛГУ, Ленинград: изд-во Ленингр. унта, 1990, С.25-26.
[Васюков 1996] В. Л. Васюков, Две парадигмы в рамках одной школы // Философия науки, вып. 2: Гносеологические и логико-методологические проблемы, Москва, 1996, С. 218-230.
[Васюков 1997] В. Л. Васюков, О феноменологической силлогистике // Труды научно-исследовательского семинара логического центра Института философии РАН, М.: ИФРАН, 1997, с. 190-200.
[Васюков 1997а] В. Л. Васюков, Формальная феноменология // монография, рукопись депонирована в ИНИОН РАН № 52929 11.09.97, 175 с.
[Васюков 1997Ь] В. Л. Васюков, Пост-трактатная онтология и нефрегевская логика // Тезисы международной конференции "Развитие логики в России: итоги и перспективы", Москва, 1997, с. 25-28.
[Васюков 1997с] В. Л. Васюков, Нефрегевский подход к комбинированной логике В. А. Смирнова // Тезисы международной конференции "Смирновские чтения", Москва, 1997, с. 37-38.
[Гольдблатт 1992] Р. Гольдблатт, Логика времени и вычислимости, Москва, 1992.
[Гриб 1989] А. А. Гриб, Макроскопические реализации квантовой логики // Современные исследования по квантовой логике, под ред. В. С. Меськова , Б. Н. Пятницына, Москва: изд-во Московского ун-та, 1989, С. 150-156.
[Гуссерль 1994] Э. Гуссерль, Философия как строгая наука, Новочеркасск: Сагуна, 1994.
[Гуссерль 1994] Э. Гуссерль, Феноменология внутреннего сознания времени, М.: Гнозис, 1994.
[Гуссерль 1996] Э. Гуссерль, Идеи к чистой феноменологии и феноменологической философии, пер. с нем. А. В. Михайлова // Язык и интеллект, М.: Прогресс, 1996, С. 14-94.
[Ингарден 1996] Р. Ингарден, Философия Эдмунда Гуссерля (энциклопедический очерк) // Феноменология искусства, ИФРАН, Москва, 1996, с. 197-212.
[Ишмуратов Карпенко Попов 1989] А. Т. Ишмуратов, А. С. Карпенко, В. М. Попов, О паранепротиворечивой логике // Синтаксические и семантические исследования неэкстенсиональных логик, Москва: Наука, 1989, С.261-284
[Карпенко 1985] А. С. Карпенко, Фактор семантика для бесконечнозначной логики Лукасевича // Неклассические логики (Труды научно-исследовательского семинара по логике Института философии АН СССР), Москва, 1985, С. 20-26.
[Леммон 1981] Е. Леммон, Алгебраическая семантика для модальных логик II // Семантика модальных и интенсиональных логик, под ред. В. А, Смирнова, Москва: Прогресс, 1981, с. 125-165.
[Максимова 1973] Л. Л. Максимова, Структуры с импликацией // Алгебра и логика, 12, № 4 (1973), С.445-467.
[Мулуд 1973] Н. Мулуд, Современный структурализм. Размышления о методе и философии точных наук, Москва: Прогресс, 1973.
[Расёва Сикорский 1972] Е. Расёва, Р. Сикорский, Математика метаматематики, Москва: Наука, 1972.
[Сегерберг 1979] К. Сегерберг, Логика времени фон Вригта // Логический вывод, Москва, 1979, С. 173-205.
[Сегерберг 1984] К. Сегерберг , "После" и "во время" в динамической логике // Модальные и интенсиональные логики и их применение к проблемам методологии науки, Москва: Наука, 1984, С. 58-81.
[Скотт 1981] Д. Скотт, Советы по модальной логике // Семантика модальных и интенсиональных логик, под ред. В. А, Смирнова, Москва: Прогресс, 1981, с. 280-317.
[Твардовский 1991] К. Твардовский, Теория суждений // Б. Домбровский, Позитивная метафизика. Философия Львовско-Варшавской школы, препринт Инст. Прикл. Проблем Ма. Мех., АН УССР, № 5-91, Львов, 1991, С.71-92.
[Твардовский 1997] К. Твардовский, Логико-философские и психологические исследования, РОССПЭН, Москва, 1997.
[Целищев 1977] В. В. Целищев, Философские проблемы семантики возможных миров, Москва: Наука, 1977.
[Шенфилд 1975] Дж. Шенфилд, Математическая логика, Москва: Наука, 1975.
[Шестов 1994] Л. Шестов, MEMENTO MORI (По поводу теории познания Эдмунда Гуссерля) // Э. Гуссерль, Философия как строгая наука, Новочеркасск: Сагуна, 1994, с. 5-48.
[Шпет 1914] Г. Г. Шпет, Явление и смысл, Гермес, Москва, 1914.
[Смирнов 1987] В. А. Смирнов, Логические методы анализа научного знания, Москва: Наука, 1987.
[Ajdukiewicz 49/50] К. Ajdukiewicz, On the Notion of Existence // Studia Philosophica IV (1949/1950), p.7-22.
[Anderson Belnap 1975] A. R. Anderson and N. D. Belnap, Entailment, vol.1, Princeton U. P., London, 1975.
[Beran 1984] L. Beran, Orthomodular Lattices. Algebraic Approach, Prague: Academia, 1984.
[Bernini 1981] S. Bernini, Quantum logic as an extension of classical logic // Current Issues in Quantum Logic, S. Beltrametti, B. van Fraassen (eds.), New York, London: Plenum, 1981, pp.161-171.
[Blaustein 28] L. Blaustein, Husserlowska nauka о akcie, trescie i przedmioce przedstawienia, Lwow, 1928.
[Brentano 1981] F. Brentano, The theory of categories, trans. By R. M. Chisholm and N. Guterman, Martinus Nijhoff Publishers, The Hague/Boston/London, 1981.
[Brouwer 1975] L. E. J. Brouwer, Collected works, I (A. Heyting ed.), North-Holland, Amsterdam, 1975.
[Burgess 1984] J. P. Burgess, Basic tense logic // Handbook of Philosophical logic, vol.2, eds. D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984, pp.89-113.
[Carnielli, de Alcantara 84] W. A. Carnielli, L. P. de Alcantara, Paraconsistent Algebras // Studia Logica, XLIII, № 1/2 (1984), p.79-88.
[Canty 1969a] J. T. Canty, The Numerical Epsilon // Notre Dame Journal of Formal Logic, 10, pp. 47-63.
[Canty 1969b] J. T. Canty, Lesniewski's Terminological Explanations as Recursive Concepts //Notre Dame Journal of Formal Logic, 10, pp. 337-369.
[Chang 1958] C. C. Chang, Algebraic analysis of many valued logics // Transactions of the American Mathematical Society, 88 (1958), pp.467-490.
[Chisholm 1981] R. Chisholm, Introduction to the theory of categories // Introduction to [Brentano 1981].
[Cignoli 1982] R. Cignoli, Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n-valued propositional calculi // Studia Logica XLI (1982), pp. 316.
[Cignoli 1991] R. Cignoli, Complete and Atomic Algebras of the Infinite Valued Lukasiewicz Logic // Studia Logica, 50 (1991), pp. 376-384.
[Clay 1984] R. E. Clay, Relation of Lesniewski's Mereology to Boolean algebra // Lesniewski's Systems. Ontology and Mereology, J. T. J. Srzednicki, V. F. Rickey (eds.), The Hague, 1984, pp. 242-252.
[Clifford 1966] J. R. Clifford, Tense logic and the logic of change // Logique et Analyse, 1966, v.9, № 34, pp.219-230.
[Cocchiarella 1974] N. Cocchiarella, Formal Ontology and the Foundations of Mathematics // Bertran's Russell Philosophy, G. Nakhikian (ed.), Duckworth, London, 1974, pp.29-46.
[van Dalen 1984] D. van Dalen, Intuitionistic logic // Handbook of Philosophical Logic, vol.2, eds. D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984, p.225-339.
[Dalla Chiara 1986] M. L. Dalla Chiara, Quantum logic // Handbook of Philosophical Logic, D. Gabbay and F. Guenther (eds.), vol.3 (1986), pp.427-469.
[Davis 1975] Ch. C .Davis, Jr. An Investigation Concerning the Hilbert-Serpinski Logical Form of the Axiom of Choice // Notre Dame Journal of Formal Logic, 16, pp. 145-184.
[Dishkant 1978] H. Dishkant, An Extension of the Lukasiewicz Logic to the Modal Logic of Quantum Mechanics // Studia Logica, 38, № 2 (1978), pp.149-155.
[Dolling 1995] E. Dolling, Real Objects and Existence // The Heritage of Kazimierz Ajdukiewicz, eds. V. Sinisi & J Wolenski, Amsterdam-Atlanta, Rodopi, 1995.
[Finkelstein Finkelstein 1983] D. Finkelstein, S. R. Finkelstein, Computational Complementarity // Int. J. Theor. Phys., 22 (1983), pp.753-779.
[Follesdal 1969] D. Follesdal, Husserl's Notion of Noema // Journal of Philosophy, LXXVI, 1969.
[Follesdal 1972] D. Follesdal, An Introduction to Phenomenology for Analytic Philosophers // Contemporary Philosophy in Scandinavia, R. E. Olson, A. M. Pahl (eds.), Baltimore, 1972.
[Font Rodriguez Torrens 1984] J. M. Font, A. J. Rodriguez and A. Torrens, Wajsberg algebras // Stochastica, 8 (1984), pp.5-31.
[van Fraassen 1988] B. van Fraassen, Identity in Intensional Logic: Subjective Semantics // Meaning and Mental Representations, U. Ecco, M. Santambroglio, P. Violi (eds.), Bloomington and Indianapolis: Indiana University Press, 1988, p.201-219.
[Giambrone Meyer 1989] S. Giambrone, R. K. Meyer, Completeness and Conservative Extension Results for Some Boolean Relevant Logics // Studia Logica, 43 (1989), p.1-14.
[Goldblatt 1974] R. I. Goldblatt, Semantic Analysis of Orthologic // J. Phil. Log., № 1-2(1974), pp. 19-35.
[Goldblatt 1987] R. Goldblatt, Logic of Time and Computation, CSLI Lecture Notes, Stanford University, № 7, (1987).
[Grigolia 1974] R. S. Grigolia, Algebraic analysis of Lukasiewicz-Tarski n-valued logical systems // Selected Papers on Lukasiewicz Sentential Calculi, ed. Ryszard Wojcicki, Warszawa, 1974.
[Grzegorczyk 1955] A. Grzegorczyk, The system of Lesniewski in Relation to Contemporary Logical Research // Studia Logica, III, pp. 77-95.
[Gurwitsch 1973] A. Gurwitsch, Perceptual Coherence as the foundation of the judgment of predication // Phenomenology: Continuation and Criticism. Essays in Memory of Dorion Cairns, F. Kersten and R. Zaner (eds.), Nijhoff, The Hague, 1973.
[Haller 1989] R. Haller, Incompleteness and Fictionality in Meinong's Object Theory 11 Topoi 8 (1989), pp. 63-70.
[Harel 1984] D. Harel, Dynamic logic // Handbook of Philosophical Logic, vol.2, eds. D.Gabbay and F.Guenthner, Reidel, Dordrecht, 1984, pp. 497-604.
[Hintikka 1996] J. Hintikka, Selected papers, vol. 1, Kluwer, Dordrecht, 1996.
[Hintze 1995] H. Hintze, Merits of Lesniewski's type nominalism // Logic and Logical Philosophy, No. 3, pp. 101-114.
[Hiz 1976] H. Hiz, Descriptions in Russell's Theory and in Ontology // Studia Logica, 36, №4 (1976), pp. 271-283.
[Husserl 1913] E. Husserl, Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie, Halle, 1913.
[Husserl 1929] E. Husserl, Logische Unterzuchungen, Husserliana XVIII 1 and 2, XIX.
[Husserl 1929] E. Husserl, Formale und transzendentale logik, Husserliana XVII.
[Husserl 1939] E. Husserl, Erfahrung und Urteil, Prague, 1939.
[Husserl 1950] E. Husserl, Cartesianische Meditationes, hrsg. von S. Strasser (Husserliana, Bd. 1), Haag, 1950.
[Husserl 1952] E. Husserl, Ideen zu einer reiner Phänomenologie und phänomenologischen Philosophie, II und III Buch, hrsg. von M. Biemel (Husserliana, Bd. IV, V), Haag, 1952.
[Husserl 1956-1959] E. Husserl, Erste Philosophie, I Teil: Kritische Ideengeschichte (1923), hrsg. von R. Boehm (Husserliana, Bd. VII), Haag, 1956; II Teil: Theorie der Phänomenologischen Reduktionen (1923/4), hrsg. von R. Boehm (Husserliana, Bd. VIII), Haag, 1959.
[Husserl 1966] E. Husserl, Zur Phänomenologie des inneren Zeitbewusstseins (18931917), hrsg. von R. Boehm (Husserliana, Bd.X), Haag, 1966.
[Ingarden 1957-1958] Ii. Ingarden, Studia z estetyki, t. 1-2, Warszawa, 1957-58.
[Ingarden 1960-1961] R. Ingarden, Spôr o istnienie swiata, t. 1-2, Wyd. 2, Warszawa, 1960-61.
[Ingarden 1964-1965] R. Ingarden, Der Streit um die Existenz der Welt, Bd. I, II-l, II-2, Tübingen 1964-65.
[Iwanus 1984] B. Iwanus, On Lesniewski's Elementary Ontology // Lesniewski's Systems. Ontology and Mereology, J. T. J. Srzednicki, V. F. Rickey (eds.), The Hague, 1984, pp. 165-215.
[Jadacki 1994] J. J. Jadacki, Warsaw: the rise and Decline of Modern Scientific Philosophy in the Capital city of Poland // Axiomathes, № 2-3, 1994, pp. 225241.
[Jaskowski 1934] S. Jaskowski, On the rules of supposition in formal logic // Studia Logica, 1 (1934), pp.5-32.
[Jaskowski 1948] S. Jaskowski, Une modification des définitions fondamentales de la géometrie des corps de A. Tarski // Annales de la Soc. Pol. De Math., 21, pp. 298-301.
[Karpenko 1987] A. S. Karpenko, Logic as Truth-values // 8th International Congress of Logic, Methodology and Philosophy of Science (Abstracts), vol. 1, Moscow, 1987, pp. 263-265.
[Kearns 1989] J. T. Kearns, Lesniewski's strategy and Modal Logic // Notre Dame Journal of Formal Logic, vol. 30, № 2,1989, pp. 291-307.
[Kowalski 1977] J. G. Kowalski, Lesniewski's Ontology extended with the Axiom of choice //Notre Dame Journal of Formal Logic, vol. 18, 1977, pp. 1-78.
[Kreisel 1967] G. Kreisel, Informal rigour and completeness proofs // Problems in the Philosophy of Mathematics, I. Lakatos (ed.), North Holland, Amsterdam, 1967.
[Kron Marie Vujosevic 1981] A. Krön, Z. Marie, S. Vujosevic, Entailment and Quantum Logic // Current Issues in Quantum Logic, S. Beltrametti, B. van Fraassen (eds.), New York, London: Plenum, 1981, pp. 193-207.
[Kruszewski 1984] Z Kruszewski, Ontology without Axioms // Lesniewski's Systems. Ontology and Mereology, J. T. J. Srzednicki, V. F. Rickey (eds.), The Hague, 1984, pp. 9-10.
[Kusch 1988] M. Kusch, Husserl and Heidegger on Meaning // Synthese 77 (1988), pp. 99-127.
[Lebiediewa 1969] S. Lebiediewa, The Systems of modal calculus of Names. I. // Studia Logica, 24 (1969), pp.83-107.
[Lejewski 1984] Cz. Lejewski, Consistency of Lesniewski's Mereology, // Lesniewski's Systems. Ontology and Mereology, J. T. J. Srzednicki, V. F. Rickey (eds.), The Hague, 1984, pp. 232-238.
[Leibniz 1966] G. W. Leibniz, General inquires about the analysis of concepts and of truths // Logical Papers, tr. & ed. by G. H. R. Parkinson, Oxford, Clarendon, 1966.
[Lemmon 1966] E. Lemmon, Algebraic Semantics for Modal Logics. I. // The Journal of Symbolic Logic, vol. 31, № 1 (1966), pp.46-65.
[Leonard Goodman 1940] H. S. Leonard, N. Goodman, The calculus of individuals and its uses // Journal of Symbolic Logic, 5, pp. 45-55.
[Lesniewski 1927-31] S. Lesniewski, O podstawach matematyki // Przegl^d Filozoficzny, t. XXX (1927), s.164-206; vol. XXXI (1928), s.261-291; vol. XXXII (1929), s.60-101; t. XXXIII (1930), s.77-105; t. XXXIV (1931), s.142-170.
[Lesniewski 1992] S. Lesniewski, Collected works, eds. S. J. Surma, J. T. J.
Srzednicki, D. I. Barnett, PWN - Kluwer, Nijhoff, vol. 1 and 2, 794 p.
[Libardi 1993] M. Libardi, Note critiche "Stanislaw Lesniewski, Collected Works" // Axiomathes 1, 1993, pp. 105-129.
[Linsky 1991] B. Linsky, Is Lewis a Meinongian? // Australasian Journal of Philosophy, vol. 69, No. 4, 1991, pp. 438-452.
[Lukasiewicz 1953] J. Lukasiewicz, Symposium: The principle of Individuation I // Aristotelean society, Supp. Vol. 27, pp. 69-82.
[Lukasiewicz 1957] J. Lukasiewicz, Aristotelian Syllogistics from the Standpoint of Modern Formal Logic, Oxford, 1957.
[Lukasiewicz 1961] J. Lukasiewicz, Z zagadnien logiki i filozofii. Pisma wybrane, Warszawa, PWN, 1961.
[Mangani 1973] P. Mangani, On certain algebras related to many-valued logics // Boll. Univ. Math. J., (4), 8 (1973), pp. 68-78.
[Martinez 1990] N. G. Martinez, The Priestley Duality for Wajsberg Algebra // Studia Logica, 49 (1990), pp. 31-46.
[Meinong 1902] A. Meinong, Über Annahmen, Leipzig: Barth, 1902.
[Meinong 1904] A. Meinong (Hrsg.), Unterzuchungen zur Gegenstandtheorie und Psychologie, Leipzig: Barth, 1904.
[Meinong 1969-1973] A. Meinong, Gesamtausgabe, bearbeitet von R. M. Chisholm, R. Haller und R. Kindinger, Bd. I-VII, Akademische Druk- und Verlagsanstalt, Graz, 1969-1973.
[Meinong 1978] A. Meinong, Kolleghefte und Fragmente, Hsg. R. Fabian und R. Haller, Graz, 1978.
[Perzanowski 1989] J. Perzanowski, Logika a filozofia. Uwagi o zasi^gu analizy logicznej w naukach filozoficznych // Jak filozofowac? Studia z metodologii filozofii, PWN, Warszawa, 1989, s. 229-261.
[Perzanowski 1990] J. Perzanowski, Towards Post-Tractatus Ontology // Wittgenstein - Towards a Re-Evaluation, eds. R. Haller & J. Brandl, Wien, 1990.
[Perzanowski 1994] J. Perzanowski, Ontologic // Logic and Logical Philosophy, No. 2 (1994), p. 4.
[Pietersma 1986] PI. Pietersma, Husserl's Concept of Existence // Synthese 66, No. 2, 1986, pp. 311-328.
[Poli 1992] R. Poli, Ontologia Fórmale, Genova, Marietti, 1992.
[Póltawski 1973] A. Póltawski, Swiat, Spostrzezenie, Swiadomosc. Fenomenologiczna koncepcja swiadomosci arealizm, PWN, Warszawa, 1973.
[Prior 1967] A. Prior, Past, Present and Future, Clarendon Press, Oxford, 1967.
[Rickey 1977] V. F. Rickey, A survey of Lesniewski's logic // Studia Lógica, XXXVI, № 4, pp. 405-426.
[Rodriguez 1980] A. J. Rodriguez, Un estudio algebraico de los cálculos proposisicionales de Lukasiewicz, Ph. D. Thesis, Universidad de Barselona, 1980.
[Routley 1980] R. Routley, Exploring Meinong's Jungle and Beyond. An investigation of noneism and the theory of items, Canberra: Australian National University, 1980.
[Routley Meyer 1973] R. Routley and R. K. Meyer, The semantics of entailment // Truth, syntax and modality, H. Leblanc (ed.), North Holland, AmsterdamLondon, 1973, pp. 199-243.
[Saarinen 1985] E. Saarinen, Davidson and Sartre // Actions and Events: Perspectives on the Philosophy of Donald Davidson, E. Le Pore and B. McLaughlin (eds.), Basil Blackwell, Oxford, 1985, pp.459-474.
[Sartre 1936] J. -P. Sartre, Essai sur la Transcendence de L'Ego, Paris, 1936.
[Sartre 1969] J.-P. Sartre, Being and Nothingness (tr. Hazel E. Barnes), Methuen & Co., London, 1969.
[Schumann 1989] K. Schumann, Husserl's Concept of the Noema: A Daubertian Critique // Topoi, 8, No. 1, 1989, pp. 53-61.
[Simons 1982] P. Simons, Three Essays in Formal Ontology // Parts and Moments. Studies in Logic and Formal Ontology, ed. B. Smith, Philosophia Verlag, München-Wien, 1982.
[Simons 1984] P. Simons, A Brentanian Basis for Lesniewskian Logic // Logique et Analyse, 107 (1984), pp. 297-307.
[Simons 1987] P. Simons, Brentano's Reform of Logic // Topoi 6 (1987), pp. 25-38.
[Slupecki 19467 J- Slupecki, Uwagi o sylogistyce // Annales Universitatis Mariae Sklodowska-Curie, t. 1, № 3 (1946), section F, Lublin, s. 187-191.
[Slupecki 1953] J. Stupecki, St. Lesniewski's Protothetics // Studia Logica, I (1953), pp.44-112.
[Slupecki 1984] J. Slupecki, S.Lesniewski's Calculus of Names // Lesniewski's Systems. Ontology and Mereology, J. T. J. Srzednicki and V. F. Rickey (eds.), The Hague, 1984, pp.59-122.
[Smith 1989] B. Smith, The Primacy of Place: An Investigation in Brentanian Ontology // Topoi 8 (1989), pp. 43-51.
[D. Smith 1994] D. W. Smith, How to Husserl a Quine - and a Heidegger, too 11 Synthese 98, No. 1, 1994, pp. 153-173.
[Sobocinski 1984] B. Sobocinski, Studies in Lesniewski's Mereology 11 Lesniewski's Systems. Ontology and Mereology, J. T. J. Srzednicki, V. F. Rickey (eds.), The Hague, 1984, pp.217-227.
[Sobocinski 1953] B. Sobocinski, Z badan nad aksyomatyk^ protothetyki Stanislawa Lesniewskogo // Polske Towarzystwo Naukowe na Obczyznie. Rocznik, 4, 1953, s. 18-20.
[Stachniak 1981] Z Stachniak, Introduction to model theory for Lesniewski's Ontology, Wroclaw: Wydawnictwo Uniwersitetu Wroclawskiego, 1981.
[Sundholm 1983] G. Sundholm, Constructions, proofs and the meanings of the logical constants // J. Phil. Logic, 12 (1983), pp.151-172.
[Tarski 1929] A. Tar ski, Les fondaments de la geometrie des corps // Ksiçga Pami^tkowa Pierwszego Polskiego Zjazdu Matematycznego, supplement to Annales de la Société Polonaise de Matematique, Krakôw, 1929, pp. 29-33.
[Tarski 1944] A. Tarski, The semantic conception of truth and the foundations of semantics // Philosophy and Phenomenological Research, vol. 4, No 3, pp. 341-375.
[Tarski 1966] A. Tar ski, What are logical notions? Lectures by Professor A. Tarski at Boffred College, London, May 16, 1966.
[Tarski 1983] A. Tarski, Logic, Semantics, Metamathematics, Second edition, Hackett, Indiana, 1983.
[Twardowski 1894] K. Twardowski, Zur Lehre vom Inhalt und Gegenstand der Vorstellungen, Wien, 1894.
[Vasyukov 1987] V L. Vasyukov, Quantum Logic of Observables as Converse Semantic Problem // Abstracts of the 8th International Congress of Logic, Methodology and Philosophy of Science, Moscow: Nauka, 1987, pp.357-359.
[Vasyukov 1988] V. L. Vasyukov, Lukasiewicz: for or against Zadeh // Fuzzy Sets in Informatics. Abstracts of the International Conference of Informatics, Moscow: Nauka, 1988, pp.61-62.
[Vasyukov 1993] V. L. Vasyukov, A Lesniewskian Guide to Husserl's and Meinong's Jungle // Axiomates, № 1 (1993), pp.59-74.
[Vasyukov 1993a] V. L. Vasyukov, The Completeness of the Factor Semantics for Lukasiewicz's infinite-valued logics // Studia Lógica, 52 (1993), pp.143-167.
[Vasyukov 1993b] V. L. Vasyukov, Antidiodorean logics and the Brentano-Husserl's conception of time // Axiomates, № 3 (1993), pp.373-388.
[Vasyukov 1997] V. L. Vasyukov, Non-Elementary Exegesis of Twardowski's Theory of Presentation // The Lvov-Warsaw School and Contemporary Philosophy / eds. K Kijania-Placek and J. Wolenski, Kluwer, Dordrecht, 1997.
[Villegas-Forero Maciaszek 1997] L. Villegas-Forero, J. Maciaszek, Tarski on Logical Entities//Lógica Trianguli, 1, 1997, p. 115-141.
[Walker 1970] E. H. Walker, The Nature of Consciousness // Mathematical Biosciences, 7 (1970), pp. 131-178.
[Wolenski 1985] J. Wolenski, Filozoficzna szkola lwowsko-warszawska, Warszawa: PWN, 1985.
[Wolenski 1994] J. Wolenski, Szkola lwowsko-warszawska: mi?dzt brentanizmem a pozytywizmem // Principia, t. VIII-IX, 1994, s. 69-85.
[Wolniewicz 1981] B. Wolniewicz. A Formal Ontology of Situations // Studia Logica, XLI, 4, 1981, pp.381-413.
[von Wright 1966] G. H. von Wright, And then // Comment, phys.-math. Soc. scien. fenn., 1966, v.32, № 7.
[Zalta 1982] E. N. Zalta, Meinongian Type Theory and its Applications // Studia Logica, 41, № 2/3 (1982), pp. 297-307.
[Zhisheng Huang 1989] Zhisheng Huang, Dependency of belief in distributed systems, ITLI Publication Series for Logic, Semantics and Philosophy of Language, LP-89-09, University of Amsterdam, 1989.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.