Розділ «4.2. Класична символічна логіка»

Ви є тут

Логіка


4.2.1. Логіка висловлювань


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

Л. Вітгенштайн

Логіка висловлювань (ЛВ) - розділ символічної логіки, що вивчає необхідні відношення між висловлюваннями, на підставі чого визначають значення істинності висловлювань; дедуктивна теорія, яка моделює процес виведення одних висловлювань з інших за принципом логічного слідування. Це - історично перша формально-логічна система, побудована засобами.

У межах логіки висловлювань можуть бути побудовані морфологічні системи (формально-логічні теорії без дедуктивної частини, тобто без аксіом і правил виведення) та логічні числення (формально-логічні теорії, на синтаксичному рівні котрих задаються системи їхніх аксіом і строго визначена сукупність правил виведення). Більшість класичних формально-логічних теорій логіки висловлювань побудовано у формі логічних числень. Перше числення висловлювань отримало назву "класичне числення висловлювань" (КЧВ) - формалізація висловлювань засобами особливої мови та здійснення логічних операцій над ними з метою перетворення простих висловлювань на складні та їх перетворення на нові складні висловлювання.

Класична логіка висловлювань (КЛВ) є основою сучасної символічної логіки, на базі якої створюються нові формально-логічні системи (логічні числення). Ідею логічного числення вперше сформулював німецький філософ, логік, математик Г. Ляйбніц. Історично першу систему логіки висловлювань, або алгебру логіки, створив англійський логік Дж. Буль, в якій використовували алгебраїчні методи для вирішення певних логічних задач. Подальший розвиток логіки висловлювань здійснювали логіки та математики - О. де Морган, Б. Шредер, Г. Фреге, Б. Рассел й ін.

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

Семантика визначає змістовний аспект неформальних відношень між висловлюваннями у термінах "висловлювання", "властивість", "відношення".

Логічну властивість висловлювання виражає термін "істиннісне значення висловлювання", який визначають суто формально, у процесі абстрагування від конкретного змісту висловлювання. У класичній логіці висловлювань висловлюванню надають два значення істинності: "істина" (і); "хибність" (#), відповідно ця формально-логічна система двозначна за значеннями істинності.

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

Мова логіки висловлювань - система символів, котрі називаються алфавітом. Алфавіт:

1. Символи для позначення простих висловлювань (пропозиційні змінні) - А, В, С, ... (або р, </, г, я; р{, р2, р ).

2. Символи, що позначають істиннісні значення висловлювань - "і", "*".

3. Символи для позначень пропозиційних зв'язок (логічні сполучники, логічні постійні):

- кон'юнкції л;

- нестрогої диз'юнкції V;

- строгої диз'юнкції X;

- імплікації ->;

- еквівалентності =;

Сторінки


В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.В.Карамишева на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „4.2. Класична символічна логіка“ на сторінці 1. Приємного читання.

Зміст

  • ВСТУП

  • Розділ 1. ЛОГІКА В СИСТЕМІ ФІЛОСОФСЬКОГО ПІЗНАННЯ СВІТУ

  • 1.3. Історичний розвиток науки логіки. Виникнення різних типів логіки

  • 1.4. Сучасний етап розвитку науки логіки

  • Розділ 2. МИСЛЕННЯ ТА МОВА

  • 2.2. Мова як знакова система

  • 2.3. Мова як репрезентант мислення

  • 2.4. Логіко-семантичний аналіз мови

  • 2.5. Логіко-семантичні та формально-логічні концепції істини

  • Розділ 3. ТРАДИЦІЙНА ЛОГІКА

  • 3.2. Логічні операції

  • 3.3. Закони логіки

  • 3.4. Логічні форми міркувань та операції над ними

  • 3.5. Доведення та спростування

  • 3.6. Запитання та відповіді

  • 3.7. Парадокси

  • Розділ 4. СИМВОЛІЧНА ЛОГІКА

  • 4.2. Класична символічна логіка
  • 4.2.2. Логіка предикатів

  • 4.3. Некласична логіка

  • 4.3.2. Модальна логіка

  • 4.3.3. Логіка існування

  • Розділ 5. ПРАКТИЧНА ЛОГІКА

  • Розділ 6. ЛОГІКА НАУКИ

  • 6.4. Альтернативні теорії та паранесуперечлива логіка

  • 6.5. Обґрунтування підстав науки як мета логічна проблема

  • Розділ 7. ДИСКУРС ЯК ОБ'ЄКТ ЛОГІЧНОГО АНАЛІЗУ

  • 7.2. Суперечка та її теоретико-ігрова модель

  • 7.3. Аргументація у дискурсі

  • 7.4. Розуміння смислу промов і текстів

  • Запит на курсову/дипломну

    Шукаєте де можна замовити написання дипломної/курсової роботи? Зробіть запит та ми оцінимо вартість і строки виконання роботи.

    Введіть ваш номер телефону для зв'язку, в форматі 0505554433
    Введіть тут тему своєї роботи