Название: Поділ суджень за модальністю
Вид работы: реферат
Рубрика: Астрономия
Размер файла: 16.13 Kb
Скачать файл: referat.me-4896.docx
Краткое описание работы: КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ Реферат на тему: “Поділ суджень за модальністю” Виконала студентка групи Ю-22 Кінащук Оксана Викладач: Ганущак М. В.
Поділ суджень за модальністю
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ
Реферат
на тему:
“Поділ суджень за модальністю”
Виконала студентка групи Ю-22
Кінащук Оксана
Викладач: Ганущак М. В.
КОЛОМИЯ’99
ПЛАН
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. Що досліджує деонтична логіка?
ЛІТЕРАТУРА
1. Тофтул М.Г. Логіка. – К., 1999. – С. 332
2. Хоменко І.В. Логіка – юристам. – К., 1997. – С. 386
3. Конверський А.С. Логіка. – К., 1998. – С. 266
4. Кондаков И.В. Логика. – М., 1954. – С. 68
5. Хоменко І.В., Алексюк І.А. Основи логіки. – К., 1996. – С. 113
6. Формальная логика. Л., 1977
7. Хоменко І.В. Що таке логіка //Барви творчості. К., 1995. – С. 83-95
Похожие работы
-
Степеневі ряди Теорема Абеля Область збіжності степеневого ряду
Міністерство освіти і науки України Київський державний торговельно-економічний університет Коломийський економіко-правовий коледж Реферат З дисципліни „Вища математика”
-
Види модальності в логіці 2
Види модальності в логіці План 1. Деонтична модальність. 2. Атлетична модальність. Деонтична модальність (“обов’язок” /грец. ) – виражений в судженні припис в формі поради, побажання, правила поведінки чи наказу, які зумовлюють людину на конкретні дії. До них відносять різні нормативні висловлювання, в тому числі і норми права, тобто офіційно прийняті уповноваженим органом загальнообов’язкові правила поведінки, які регулюють правові відносини в соціальному середовищі, невиконання яких веде до застосування юридичних санкцій. елементами правової норми є такі явно чи неявно виражені в ній компоненти:
-
Модальність суджень
Модальність – характеристика судження, яка визначається принципом розрізнення об’єктивно можливо, дійсного і необхідного. Йдеться про об’єктивну модальність. А формальну логіку цікавить передусім логічна модальність, яка полягає в ступені встановленої достовірності думок завдяки тому чи іншому різновиду судження.
-
Опуклість та гнучкість функції Екстремуми функції Необхідна та достатні умови екстремуму Мето
Міністерство освіти і науки України Київський державний торговельно-економічний університет Коломийський економіко-правовий коледж Реферат З дисципліни „Вища математика”
-
Побудова гіпотези та стан її розвитку Роль гіпотези у пізнанні
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ “ПОБУДОВА ГІПОТЕЗИ ТА СТАН ЇЇ РОЗВИТКУ. РОЛЬ ГІПОТЕЗИ У ПІЗНАННІ”. Підготувала студентка Групи Ю-23 Сернецька Галина
-
Складні судження
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ РЕФЕРАТ НА ТЕМУ: “Складні судження” Виконала студентка Групи Ю-22 Іваночко Наталія Викладач: Ганущак М. В. КОЛОМИЯ’99
-
Судження 2
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ РЕФЕРАТ на тему: “СУДЖЕННЯ” Виконав студент групи Ю-21 Кривий Василь Викладач: Ганущак М. В. КОЛОМИЯ’99 ПЛАН 1. Загальна характеристика суджень.
-
Логічна структура понять
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ РЕФЕРАТ на тему: “Логічна структура понять” Виконав студент групи Ю-22 Живило Юрій Викладач: Ганущак М.В. КОЛОМИЯ”99
-
Взаємодія індукції та дедукції в процесі пізнання
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ “Взаємодія індукції та дедукції в процесі пізнання. ”. Підготувала студентка Групи Ю-23 Сернецька Галина КОЛОМИЯ”99
-
Поняття гіпотези Її структура і види
КОЛОМИЙСЬКИЙ КОЛЕДЖ ПРАВА І БІЗНЕСУ РЕФЕРАТ НА ТЕМУ: “Поняття гіпотези. ЇЇ структура і види” Виконала студентка групи Ю-21 Якубовська Альона Викладач: Ганущак М. В.