Определение истинного предложения на языке логики и языках, основанных на логике

Юзеф Анджей Стучлинский

Факультет философии и социологии Варшавского университета

Варшава, 2002 г.

ISBN: 83-87963-14-3

количество страниц: 264

переплет мягкий

.

СОДЕРЖАНИЕ

.

Введение

ЧАСТЬ I ЯЗЫК РАСШИРЕННОЙ СИСТЕМЫ ЛОГИКИ И ЯЗЫК МЕТАЛОГИИ ЭТОЙ СИСТЕМЫ

Глава l. Язык и аксиомы расширенной системы логики (Прототетика и Онтология)

Глава 2. Мереологические и физические основы металогики

Глава 3. Смысл постулатов металогики

Глава 4. Директивы дедукции в расширенной системе логики

4.1. Определение

4.2. Определения в прототипетике

4.1.2.Определения l в онтологии

4.1.3.Определения 2 в онтологии

4 2. Разделение кванторов

4 3. Выделение консеквента эквивалентности

4 4. Замена выражений на переменные термины

4 5. Законы экстенсиональность

4.5.1. Законы экстенсиональности в прототетике

4.5.2. Законы экстенсиональности l в Онтологии

4.5.3. Законы экстенсиональности 2 в онтологии

4.4 6. Система директив SLL

ЧАСТЬ II

ОПРЕДЕЛЕНИЕ ИСТИННОГО ПРЕДЛОЖЕНИЯ НА ЯЗЫКЕ РАСШИРЕННОЙ ЛОГИЧЕСКОЙ СИСТЕМЫ И В ЛОГИЧЕСКИХ ЯЗЫКАХ

РАЗДЕЛ A

ВЫРАЖЕНИЯ МЕТАЛОГИЧЕСКИЕ ПОТРЕБНОСТИ 110 ПОСТРОЕНИЕ СЕМАНТИЧЕСКОГО ОПРЕДЕЛЕНИЯ ИСТИННОГО ПРЕДЛОЖЕНИЯ

Глава 5. Синтаксические выражения. Приговоры. Синтаксические свойства дедуктивных систем

5.1. Определение предложения в SLL как расширенной системе формальной логики

5.1.1. Определение предложения в прототетике как логика предложения

5.1.2. Определение предложения на языке Онтологии как логика имен

5.2. Определения предложений в языках выбранных систем на основе системы расширенной логики

5.2.1. Определение предложения в языке системы мереологии

5.2.2. Определение предложения на языке алгебры классов, разработанной онтологически и возможно расширенной мереологически

5.2.3. Формула определения предложения на языке физико-конкретистской интерпретации СЛЛ и системы Мереологии

5.3. Синтаксические металогические свойства SLL

Глава 6. Семантические выражения

6.1. Логическое понятие объекта (существа) лежит в основе логической семантики

6.2. Логическое понятие отношений между объектами

6.3. Логическая концепция объекта, выполняющего функцию, создающую предложение из имени

6.4. Экстенсионально-объективная концепция семантических отношений в металогике расширенной системы формальной логики

6.4.1. Требования теоретической адекватности и методологической эффективности общего определения смысловых отношений

6.4.2. Методологический вывод смысловых постулатов относительно понятия семантических отношений языковых выражений, принадлежащих языку SLL

6.4.3. Металогическое определение понятия семантической связи языковых выражений, принадлежащих языку SLL

6.4.4. Перспективы экстенсионального семантического исследования

Глава 7. Общая схема определения истинного предложения в языках дедуктивных наук, связанных с расширенной системой формальной логики

7.1. Универсальность метода определения истинного предложения в дедуктивных науках, связанных с расширенной системой формальной логики

7.2. Полностью явный и подходящий семантический вариант схемы определения истинного предложения

7.3. Варианты семантической схемы определения истинного предложения сокращенными формулами определения

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

7.3.2. Вариант семантической дефиниционной схемы, выделяющей объект