Поділ суджень за модальністю (реферат), реферат
Неділя, 04.12.2016, 09:08
Реферати безкоштовно
Головна Реєстрація Вхід
Приветствую Вас, Гість · RSS
Форма входа
Меню сайта
Пошук
Оплачена реклама
Наше опитування
Ви ще до нас повернетесь?
Всього відповідей: 4418
Статистика

Онлайн всього: 1
Гостей: 1
Користувачів: 0
 Каталог файлов
Головна » Файли » Реферати » Логіка

Поділ суджень за модальністю (реферат)
21.11.2012, 20:01




Скачати реферат

Поділ суджень за модальністю (реферат)


1. Алетична модальність.

2. Епістемічна модальність.

3. Деонтична модальність.

4. Темпоральна модальність.

5. Логічна та фактична модальність.

Модальна логіка – це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань.

Залежно від того, які види модальних висловлювань досліджуються, виділяють різні види модальних логік. Це, наприклад, алетична, темпоральна, епістимічна, деонтична та інші модальні логіки.

Щоб дати загальну характеристику всім цим логікам, побудуємо таку таблицю:

Перераховані вище модальні логіки не вичерпують весь клас подібних логічних теорій. За останні десятиріччя модальна логіка почала бурно розростатися, включаючи до своєї орбіти все нові й нові поняття. З'явилися такі нові напрямки логічних досліджень, як-от: логіка змінювання, логіка переваг, логіка причинності, логіка цілі, логіка бажання, логіка оцінок, логіка цінностей та інші види.

Алетична логіка – це розділ модальної логіки, де досліджуються алетичні висловлювання та їх відношення в структурі міркування.

У алетичній логіці є три основні закони:

1. "Усе необхідне є реальним”

2. "Усе реальне є можливим”

3. "Усе необхідне є можливим”

Темпоральна логіка – це розділ модальної логіки, де досліджуються темпоральні висловлювання та їх відношення в структурі міркування.

Прикладами темпоральних висловлювань можуть бути такі речення:

(1) Допит свідка був проведений.

(2) Допит свідка буде проведений.

(3) Незабаром буде проведений допит свідка.

(4) Щойно був проведений допит свідка.

(5) Починається допит свідка.

Темпоральні модальності можна визначити одна через одну.

1. Завжди буде те, заперечення чого не буде. Формально це визначення можна записати так: GA = ~ F ~ A.

2. Буде те, заперечення чого не завжди буде. Формально це визначення можна записати так: FA = ~ G ~ A.

3. Завжди було те, заперечення чого не було. Формально це визначення можна записати так: HA = ~ P ~ A.

4. Було те, заперечення чого не завжди було. Формально це визначення можна записати так: PA = ~ H ~ A.

Епістемічна логіка - це розділ модальної логіки, який досліджує ерістемічні висловлювання та їхні відношення в структурі міркування.

Прикладами епістемічних висловлювань можуть бути речення:

(1) Відомо, що цей злочин вчинив О.

(2) Я вірю, що О. не є винним.

(3) Спростовано, що О. був на місці злочину в той час.

(4) Я знаю, що я нічого не знаю.

Деонтична логіка це розділ модальної логіки, який вивчає деонтичні висловлювання та їхні відношення в структурі міркування.

Прикладами деонтичних висловлювань можуть бути такі речення:

(1) Обов'язково дотримуватися законодавства.

(2) Дозволено купувати нерухомість.

(3) Заборонено читати чужі листи.

Вважається, що деонтичні модальності можуть бути виражені одна через одну:

1. Обов'язковим є те, від чого не дозволено утримуватися. Формально це визначення записується так: ОА = ~ P ~ A.

2. Дозволеним є те, що заборонено не робити. Формально це визначення записується так: ОА = ~ F ~ A.

3. Дозволеним є те, від виконання чого не обов'язково утримуватися. Формально це визначення записується так: РА = ~ O ~ A.

4. Дозволеним є те, що не є забороненим. Формально це визначення записується так: РА = ~ FA.

5. Забороненим є те, від чого слід обов'язково утримуватися. Формально це визначення записується так: FA = O ~ A.

6. Забороненим є те, що не є дозволеним. Формально це визначення записується так: FA = ~ PA.

КОНТРОЛЬНІ ЗАПИТАННЯ

1. На які розділи поділяється модальна логіка?

2. Що досліджує алетична логіка?

3. Що досліджує епістемічна логіка?

4. Що досліджує темпоральна логіка (логіка часу)?

5. Що досліджує деонтична логіка?

Реферат на тему: Поділ суджень за модальністю (реферат)

Схожі реферати:
Категорія: Логіка | Додав: gdomz | Теги: модальністю, суджень, (реферат), Поділ, Логіка, За
Переглядів: 291 | Загрузок: 103 | Рейтинг: 0.0/0
Всього коментарів: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Copyright MyCorp © 2016
Адміністрація не несе відповідальності за матеріалів розміщені на сайті! Усі матеріали предсталені для ознайомлення! Конструктор сайтів - uCoz | Карта сайта
gdomz.at.ua - готовые домашние задания, Готовые домашние работы. Скачать бесплатно гдз. Решебники. Скачать решебники. Решебники по всем предметам. Скачать бесплатно решебники. Решебники.