Воскресенье, 01.12.2024, 10:00
Главная Регистрация RSS
Приветствую Вас, Гость
Меню сайта
Категории раздела
Архітектура [235]
Астрономія, авіація, космонавтика [257]
Аудит [344]
Банківська справа [462]
БЖД [955]
Біографії, автобіографії, особистості [497]
Біологія [548]
Бухгалтерській облік [548]
Військова кафедра [371]
Географія [210]
Геологія [676]
Гроші і кредит [455]
Державне регулювання [154]
Дисертації та автореферати [0]
Діловодство [434]
Екологія [1309]
Економіка підприємств [733]
Економічна теорія, Політекономіка [762]
Економічні теми [1190]
Журналістика [185]
Іноземні мови [0]
Інформатика, програмування [0]
Інше [1350]
Історія [142]
Історія всесвітня [1014]
Історія економічна [278]
Історія України [56]
Краєзнавство [438]
Кулінарія [40]
Культура [2275]
Література [1585]
Література українська [0]
Логіка [187]
Макроекономіка [747]
Маркетинг [404]
Математика [0]
Медицина та здоров'я [992]
Менеджмент [695]
Міжнародна економіка [306]
Мікроекономіка [883]
Мовознавство [0]
Музика [0]
Наукознавство [103]
Педагогіка [145]
Підприємництво [0]
Політологія [299]
Право [990]
Психологія [381]
Реклама [90]
Релігієзнавство [0]
Риторика [124]
Розміщення продуктивних сил [287]
Образотворче мистецтво [0]
Сільське господарство [0]
Соціологія [1151]
Статистика [0]
Страхування [0]
Сценарії виховних заходів, свят, уроків [0]
Теорія держави та права [606]
Технічні науки [358]
Технологія виробництва [1045]
Логістика, товарознавство [660]
Туризм [387]
Українознавство [164]
Фізика [332]
Фізична культура [461]
Філософія [913]
Фінанси [1453]
Хімія [515]
Цінні папери [192]
Твори [272]
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
    • Статистика
    Онлайн всего: 1
    Гостей: 1
    Пользователей: 0
    Главная » Статьи » Реферати » Логіка
    Реферат на тему Поділ суджень за модальністю
    Реферат на тему: Поділ суджень за модальністю.

    “Поділ суджень за модальністю”

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

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

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

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

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

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

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

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

    № Модальності Види модальних висловлювань Види модальних логік

    1 Необхідно,

    Можливо,

    Випадково алетичні висловлювання алетична логіка

    2 Доведено,

    Спростовано,

    не вирішено,

    переконаний, сумнівається, припускає епістемічні висловлювання епістемічна логіка

    3 було,

    є,

    буде,

    раніше, одночасно, пізніше темпоральні (часові) висловлювання темпоральна логіка (логіка часу)

    4 обов’язково,

    заборонено, дозволено деонтичні висловлювання деонтична логіка

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

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

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

    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. Що досліджує деонтична логіка?
    Категория: Логіка | Добавил: Aspirant (22.07.2013)
    Просмотров: 306 | Рейтинг: 0.0/0
    Всего комментариев: 0
    Имя *:
    Email *:
    Код *: