Розділ «3.2. Логічні операції»

Ви є тут

Логіка

Логічна операція - це не лише гра словами і символами.

Операції (в логіці й математиці) - інтелектуальні дії над абстрактними об'єктами (числами, символами, поняттями, висловлюваннями тощо), внаслідок чого постає якісно нове утворення. Приклади математичних операцій - складання чисел, множення чисел, складання векторів, числення та ін.

У логіці - це інтелектуальні дії над поняттями і висловлюваннями, над символами в межах певної формальної системи, внаслідок чого виникає нове цілісне логічне утворення та визначається його структура. Існують такі види логічних операцій:

1. Над іменами - перетворення іменної або пропозиційної функції в мовних виразах із функціональними знаками видах, у на висловлювання зі значенням істинності (див. 2.4).

2. Над поняттями - визначення поняття, узагальнення й обмеження поняття, поділ обсягу поняття, класифікація. .

3. Над висловлюваннями - перетворення висловлювання, зворотність висловлювання, протиставлення предикатові, створення складних висловлювань із простих та ін.

4. Обґрунтування висновку із певних засновків (умовивід).

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

6. Операції над класами.

7. Логічне числення.

8. Квантифікація.

Особливості цих операцій визначені в розділах 3 (3.4, 3.5) і 4.

Окрім згаданих, до логічних операцій належать також формалізація й інтерпретація, експлікація, обґрунтування, пояснення.

Формалізація й інтерпретація - дві логічні операції (дії), взаємопов'язані в контексті співвідношення природної та логічно сконструйованої мови в семантичному, синтаксичному й прагматичному аспектах, операції, за допомогою яких здійснюється процес перетворення змісту висловлювання на суто формальний вираз і, навпаки, надання формальному виразові певного (семантичного) смислу. Формалізація - використання штучно створеної мови (системи особливих символів) з метою точнішого зображення синтаксичних (формальних) зв'язків між структурними елементами міркувань, перетворення змісту висловлювання на певну формулу (формальний вираз), що адекватно зображає структуру (логічну форму) цього висловлювання за допомогою штучно створених символів. Залежно від змісту міркувань їх можна формалізувати мовою певного типу логіки: традиційної логіки; класичної та некласичної символічної логіки (див. 3; 4). Однак не кожне висловлювання (міркування) може бути адекватно формалізовано. У цьому випадку діє принцип: чим багатше за семантикою міркування, тим складніше його формалізувати (див. 4.1).

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

Експлікація (лат. - роз'яснення, тлумачення) - заміна неточного за смислом терміна іншим, точнішим. Перший термін називається експлікандом, тобто термін, смисл якого потребує уточнення, а друге - експлікат, тобто термін, за допомогою якого уточнюється експліканд. У логічній семантиці прикладом експлікації є введення експліката "L-істинності" (логічної істинності) з метою заміни експліканда "необхідна, аналітична істина", що здійснив Р. Карнап (див. 2.5).

Обґрунтування - логічна операція визначення істинності або хибності певного висловлювання (судження, твердження) за формулою А - В, сутність якої становить виведення висловлювання В з висловлювання А за принципом логічного слідування на підставі логічних законів. Отже, якщо А - істинне, то Б - також істинне; якщо А - хибне, то В - також хибне. Наприклад, істинне висловлювання "Відповідно до програми навчання, всі студенти вивчають якусь іноземну мову (А) є обґрунтуванням істинності висловлювання "Студенті/, вивчає якусь іноземну мову" (В).

Сам процес обґрунтування означає виведення висловлювання В із висловлювання А і має логічну форму дедуктивного умовиводу, сама ж логічна операція обґрунтування певного твердження на істинність називається доведенням, а обґрунтування на хибність - спростуванням (див. 3.3; 3.4).

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

Сторінки


В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.В.Карамишева на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „3.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
    Введіть тут тему своєї роботи