TextBook - терміни, які виражають епістемічні модальності - "знає"; "вірує (вважає)";
- терміни, що позначають істиннісне значення висловлювання - "істинне (і), "хибне" (jc), "невизначене" (l/2)î
- термін "інтелектуальний суб'єкт", який позначає суб'єкта, носія знання та віри ( вірувань);
- термін "пропозиційна настанова" (англ, propositional attitude), що означає відношення між інтелектуальним суб'єктом, носієм знання або віри та змістом висловлювання, яке виражає знання, вірування, погляди і под.
- термін "когнітивний дисонанс", який означає суперечність між об'єктивним і суб'єктивним знанням.
Dfx - об'єктивне знання - знання, засвоєне певним інтелектуальним суб'єктом у процесі пізнавальної діяльності, яке стверджується в певному висловлюванні. Виражається епістемічною модальністю "знає".
Df2 - суб'єктивне знання - світ власних вірувань, поглядів, переконань інтелектуального суб'єкта, що стверджується у певному висловлюванні. Виражається епістемічною модальністю "вірує" ("вважає").
Оскільки об'єктивне знання виражає фактичні дані, то за значенням істинності воно істинне (F - істинне) або хибне (F - хибне), а суб'єктивне знання невизначене, тобто можливо істинне або можливо хибне (72), оскільки власні вірування та погляди інтелектуальних суб'єктів можуть відповідати об'єктивному знанню, а можуть не відповідати.
Синтаксис - алфавіт, правила побудови формул із символів алфавіту, правила виведення одних формул з інших; правила інтерпретації.
Алфавіт - символи для позначення:
Із символів алфавіту будуються формули, які формалізують відношення між інтелектуальним суб'єктом, який дещо знає (чи має думку, вважає) про світ і виражає його у висловлюванні.
КхР (чит.: х знає, що Р. Наприклад: "Богдан знає, що світ складається з атомів").
ВхР (чит.: х вважає, що Р.: "Ігор вважає, що життя існує в інших Галактиках").
На підставі даних простих формул можна побудувати інші формули:
Між модальностями "знає" і "вважає" встановлюються відношення логічного слідування:
1. КхР -" ВхР (чит.: якщо х знає, що Р, то він вважає, що Р).
2. ВхР -> КхР (чит.:якщо х вважає, що Р, то він знає, що Р).
3. -" КхР -> -ч ВхР (чит.: якщо х не знає, що Р, то х не вважає, що Р).
4. -" ВхР -> -" КхР (чит.: якщо х не вважає, що Р, то х не знає, що Р).
Для коленої з наведених формул можна побудувати таблицю істинності:
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.В.Карамишева на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „4.3.2. Модальна логіка“ на сторінці 5. Приємного читання.