Суджен за модальність
Тести та шпаргалки

Суджен за модальність


КОЛОМІЙСЬКИЙ ЮРИДИЧНИЙ КОЛЕДЖ

по темі:

Суджен за модальність»

Віконала студентський гурток U-22

Кінащук Оксана

Викладач: Ганущак М.В

КОЛОМІЯ99

ПЛАН

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

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

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

  4. Часова модальність.

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

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

Крім того, якщо ви бачите модальні способи, ви бачите різні види модальної логіки. Наприклад, це алетична, тимчасова, епістимічна, деонтична та інші модальні логіки.

Щоб дати загальний опис усіх цих логік, нам знадобиться наступна таблиця:

Ні.

Модальності

Див. модальний висловлуван

Дивіться модальні логіки

один

Необхідний

можливо,

Випадково

алетичне висловлювання

алетична логіка

2

приніс,

Це написане

Небачений,

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

епістемічне висловлювання

епістемічну логіку

3

Було,

є,

воля,

раніше, відразу, пізніше

тимчасове (годинне) висловлювання

тимчасова логіка (логіка до години)

чотири

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

дозволено, дозволено

деонтична мова

деонтична логіка

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

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

Алетична логіка має три основні закони:

  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. Обов’язковим є ті, в яких не можна стримуватися. Формально мета завдання записується так: OA = ~ P ~ А.

  2. Давайте дозволимо тим, хто обгороджений, не бути робитими. Формально позначення пишеться так: ОА = ~F~A.

  3. Допустимо тих, хто перемагає, проти кого воно не обов’язково утрімуватися. Формально позначення записують так: RA = ~O~A.

  4. Допустимо тих, хто не огороджений. Формально позначення записують так: RA = ~ 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

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *