Логико-семантический анализ внутренних модальностей

• Автор: Маркин, Владимир Ильич
• Шифр специальности: 09.00.07
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 134 c. : ил

СОДЕРЖАНИЕ
ВВЕДЕНИЕ. 3

ГЛАВА I. КОНЦЕПЦИЯ ВНУТРЕННИХ МОДАЛЬНОСТЕЙ В ТРАДИЦИОННОЙ И СОВРЕМЕННОЙ ЛОГИКЕ.

I. Различение внутренних и внешних модальностей в

античной и средневековой логике .

2. Основной круг проблем, связанный с исследованием внутренних модальностей в современной логике 3. Анализ внутренних модальностей средствами кван

торной модальной логики.

4. Анализ различных экспликаций модальностей ч

вне квант орной модальной логики.

ГЛАВА П. СЕМАНТИКА ВОЗМОЖНЫХ СОСТОЯНИЙ ОБЪЕКТОВ КАК

СРЕДСТВО ЭКСПЛИКАЦИИ МОДАЛЬНОСТЕЙ е е .

I. Реляционная семантика возможных состояний
объектов
2. Логикосемантический анализ необходимых, существенных, неотделимых и отделимых случайных
признаков .
3. Окрестностная семантика возможных состояний
объектов . 0
ЗАКЛЮЧЕНИЕ1
ЛИТЕРАТУРА


Те же подходы к экспликации внутренних модальностей, при которых пытаются выявить их интуитивный смысл, обладают тем недостатком, что осуществляются вне какихлибо конкретных логических систем. Изучение внутренних модальностей имеет большое значение не только для логического анализа модальных контекстов, но и для философии. Отметим, что дихотомия Жьгг. Же. ИеЛо использовалась еще средневековыми логиками для исследования ряда проблем философского характера проблемы соотношения детерминизма и человеческой свободы, проблемы уточнения понятия сущность предмета и других. Исследование модальностей ЖьЩ. Целью диссертации является осуществление средствами современной логики адекватной экспликации модальностей тя. Эта экспликация должна осуществляться путем построения систем логики внутренних модальностей. Созданию формальных систем должно предшествовать построение семантики внутренних модальностей на основе содержательного логикофилософского анализа их смыслов. Аристотеля при этом выявляются исторические истоки проведенного в средневековье различения модальностей ск. Ап оСи Основные положения, выносимые на защиту, выражаются в следующих тезисах. Модальности в аристотелевской силлогистике являются различными характеристиками связи субъекта и предиката в предложениях. Они являются внутренними модальностями, которые нельзя рассматривать как части предикатов суждений. Внешних модальностей, которые бы характеризовали истинность или ложность простых суждений, в Аналитиках Аристотеля нет они были введены в качестве антитезы внутренним модальностям только в средневековой логике. Круг вопросов, связанных с рассмотрением внутренних модальностей в современной логике, во многом сходен с тем комплексом проблем, в контексте которых ДИХОТОМИЯ . Существующие экспликации модальностей чд обладают целым рядом недостатков они не адекватны традиционному пониманию модальностей Ь. Удовлетворительным, с содержательной точки зрения, является понимание необходимого как инвариантного, а случайного как неинвариантного. Необходимо различать понятия вечной и необходимой присущности, при этом возможны два понимания соотношения между ними а необходимое есть разновидность вечного, б предает может по необходимости обладать в различные периоды своего развития различными свойствами. Необходимое в первом случае есть инвариант относительно всех возможных как материальных, так и идеализирующих преобразований предмета, а во втором случае то, отсутствие чего невозможно на данном этапе развития предмета. В диссертации с целью экспликации модальностей г. В.А. Смирнову дается ее аксиоматизация. Новым является также построение двух типов семантик, в рамках которых различаются модальности необходимого и вечного, а также эксплицируются понятия существенного, неотделимого и отделимого случайных признаков. Мы предлагаем также окрестностную семантику возможных состояний объектов и даем ее аксиоматизацию. Таким образом, новизна диссертации состоит в том, что нами построен класс логик, в основании которых лежит философски приемлемое понимание внутренних модальностей. ГЛАВА I. Различение модальностей по объекту их квалификации на внешние квалифицирующие характер истинности или ложности суждения в целом и внутренние указывающие на характер присущности или неприсущности свойств предметам впервые явным образом было проведено в средневековой логике. Однако ИСТОКИ ЭТОЙ ДИХОТОМИИ, согласно утверждениям схоластов, находятся уже в трудах Аристотеля, и прежде всего в том разделе Первой Аналитики, который посвящен модальной силлогистике. Поэтому имеет смысл начать наш исторический обзор проблемы различения внутренних и внешних модальностей с выяснения вопроса о том, что подвергается квалификации в модальных суждениях аристотелевской силлогистики. При этом мы ограничимся анализом суждений о необходимо присущем и неприсущем, т. Стагирита. Особый интерес для нас представляют главы 9 Первой Аналитики, посвященные рассмотрению силлогизмов, в которых одна из посылок аподиктическая, а другая ассерторическая. Эта часть аристотелевской теории дедукции вызывала в истории логики наибольшие возражения, сомнения в ее справедливости.