Визначення правдивого речення мовою логіки та мовами, заснованими на логіці

Józef Andrzej Stuchliński

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

Варшава 2002

ISBN: 83-87963-14-3

кількість сторінок: 264

binding soft

.

ЗМІСТ

.

Вступ

ЧАСТИНА 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

ВИЗНАЧЕННЯ ІСТИННОГО РЕЧЕННЯ МОВОЮ РОЗШИРЕНОЇ ЛОГІЧНОЇ СИСТЕМИ ТА МОВАМИ НА ОСНОВІ ЛОГІКИ

РОЗДІЛ А

ВИРАЗИ МЕТАЛОГІЧНІ ПОТРЕБИ 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. Варіант семантичної дефініційної схеми, що виділяє предмет