щоб синтаксичні правила побудова формули ї семантічні правила ее інтерпретації працювать в тандемі: передбачається, что шкірному правилом, что пояснює як вираженною Р синтаксичною Складення з йо складових частин, відповідає семантичності правило, что говорити як значення Р будується Зі значень складових его вираженною. Фактично це означає Виведення семантичності зрозуміти з-под власти контексту точніше, заперечення будь-якого Іншого контексту, крім того світу (у цілому), Який опісується, и тієї мови (у цілому), на якій цею описание здійснюється. Однак практика показує, что принцип композіціональності й достатньо сильна ідеалізація. Чі Можемо ми ігноруваті конкретність и сітуатівність Пізнання, включенність суб'єкта, что пізнає, у пізнавану їм реальність, заперечуваті за ним право віражаті собою ПЄВНЄВ "перспективу бачення" даже на Рівні мови (про Особливості ї труднощі "перспектівної ідентіфікації ") [5].
По-друге, універсалізм наводити не Тільки до невімовності фундаментальних семантичності зрозуміти (як показавши А.Тарекій, побаченим в мову Теорії предиката істінності, обумовленої усередіні самої цієї Теорії, приводити до парадоксу "брехуна"), но ї до невімовності фундаментальних епістемічніх зрозуміти.
У третіх імпліцітнім наслідком універсалістської точки зору є сильне синтаксичною обмеження, Закладення в самій структурі загальнопрійнятої логічної нотації. А самє, области Дії логічніх форматорів (зв'язування, квантори, модальні й епістемічні оператори та ін.) у звичних для нас способі записами могут перебуваті между собою Тільки в антисиметричних и Транзитивні відношенні включення. Чи не допускається дісонтінуальність и взамній перетин областей Дії, что унеможлівлює відображення в мові Системи альтернативної форм залежності й незалежності между форматорів, Які так часто зустрічаються в епістемічніх контекстах.
Таким чином, звітність, Визнати, что Ситуація, что Перешкоди Ранній епістемічній логіці (т.зв. епістемічній логіці "першого покоління", або FL-I) завоюваті гідне місце у філософському дискурсі, носячи об'єктивний, істотній и й достатньо фундаментального характеру, обумовлених парадигмальним особливая як сучасної філософії науки (традиція некритично протіставляті "Контекст Відкриття "і" контекстів обгрунтування "), так и загальнопрійнятої сімволічної логікі (сильно ідеалізоване Поняття раціональності, парадигма мови як "універсального посередника").
4. Епістемічна логіка "іншого покоління ": Завдання й труднощі
Разом з тим, стійбище, что склалось, зовсім НЕ є фатальними прінаймні, з боці самих логіків давно прікладаються зусилля до того, щоб йо подолати. Вже в 1960 - 70-х рр. були зроблені Перші кроки до создания епістемічної логікі "Іншого покоління" (ЕL-2): начали інтенсівно розвіватіся інтегрування логіка ї ерогетіка, крім кріпкевської семантики можливіть світів (PWS) з'явилися сітуаційна (SS) i теоретико-Ігрова семантики (GTS): в 1980-х рр. стали набір...