Обсяг знань, вмінь студента після вивчення теми. - структуру та типологію суджень;

Знати:

- структуру та типологію суджень;

- відношення між судженнями;

- логічну структуру складних суджень і її значення для розуміння норм права;

- типологію запитань та відповідей та їх роль у судовому пізнанні.

Вміти:

- встановлювати логічну структуру судження, їх модальність;

- встановлювати істинність або хибність суджень на підставі знання про істинність (чи хибність) інших суджень.

ТЕМА 4. Вступ до класичної логіки

Класична (символічна) логіка. Логічні змінні та логічні постійні. Дескриптивне висловлювання. Логіка висловлювань (пропозиційна логіка) і логіка предикатів. Мова логіки висловлювань. Пропозиційні змінні та знаки логічних сполучників. Заперечення, кон’юнкція, диз’юнкція, імплікація, еквіваленція та значення їх істинності. Поняття логічного закону, логічного протиріччя, висловлювання, що виконується. Логічні сполучники в правових контекстах. Метод таблиць істинності та його використання у практичній діяльності.

Роль і значення теми для діяльності юриста. При виявленні логічних форм природної мови у класичній логіці висловлювань відбувається абстрагування від змісту простих висловлювань, від їх внутрішньої структури, а враховується лише те, за допомогою яких сполучників і в якому порядку прості висловлювання утворюють складні. Сучасна (математична) логіка для аналізу структури складних висловлювань використовує спеціальну мову та методи. Один із них – метод таблиць істинності.

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

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

Ключові поняття: висловлювання, міркування, дескриптивні висловлювання, пропозиційні змінні, логічні сполучники, кон’юнкція, диз’юнкція, імплікація, еквіваленція, таблиці істинності.

Не нашли, что искали? Воспользуйтесь поиском: