На головну

Поняття правила виводу

  1. I. Конституційний лад РФ: поняття, структура і базові характеристики.
  2. I. Поняття відповідальності за порушення зобов'язання
  3. III.1. Поняття грошового обігу. Готівковий і безготівковий грошовий обіг
  4. IV. Громадянське суспільство: поняття, структура, основні конституційні початку.
  5. Quot; Правила евакуації.
  6. Sf 30. Поняття "суспільство". Основні філософські концепції

Умовивід дає справжнє висновок, якщо вихідні посилки істинні і дотримані правила виведення. Правила виведення, або правила перетворення суджень, дозволяють переходити від посилок (суджень) певного виду до висновків також певного виду. Наприклад, якщо в якості посилок дано два судження, представимо у вигляді формули "a v b " і формули "a", то можна перейти до судження виду "b". Це можна у вигляді формули шляхом перетворень за правилом (а ? b), а+ b записати так: ((a ? b) ^ a) >b. Дана формула є законом логіки.

Логічно правильно можна міркувати в застосуванні до питань, що належать до будь-яких предметів. Логічні помилки також можуть бути виявлені в міркуваннях будь-якого предметного змісту. На цьому годі було, зрозуміло, що в будь-яких умовах і до будь-якої предметної області повинен бути застосовний один і той же апарат формальних логічних правил. Сам цей апарат повинен розвиватися разом з розвитком науки і практичної діяльності людей. Одна з характерних рис логіки полягає в тому, що логіка дозволяє, отримавши деяку інформацію, знання про обставини справи, витягти з них - точніше кажучи, виявити - що містяться в їх сукупності нові знання. Так, спостерігаючи рух Місяця і Сонця і

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

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

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

розрізняють правила прямого виведення и правила непрямого (непрямого) виведення. Правила прямого виводу дозволяють з наявних істинних посилок отримати справжнє висновок. Правила непрямого (непрямого) виведення дозволяють укладати про правомірність деяких висновків з правомірності інших висновків (ці правила будуть проаналізовані в §10 цієї глави).

Типи дедуктивних умовиводів (висновків) такі: висновки, що залежать від суб'єктно-предикативний структури суджень;

висновки, засновані на логічних зв'язках між судженнями (висновки логіки висловлювань).

Ці типи висновків та належить нам розглянути. Розглянемо висновки, засновані на суб'єктно-предикативний структурі суджень.

До формам, типовим в практиці міркувань, відносяться наступні висновки з категоричних суджень:

1) висновки за допомогою перетворення суджень;

2) категоричний силогізм, скорочений силогізм (ентимема), складні силогізми (полісіллогізм) і складно-скорочені силогізми (смітить і Епіхейрема).



дедуктивні умовиводи | Висновки з категоричних суджень за допомогою їх перетворення

Загальне поняття про умовивід | Поняття логічного слідування | Завдання. | Фігури і модуси категоричного силогізму | Особливі правила фігур | Правила категоричного силогізму | Скорочений категоричний силогізм (ентимема) | Формалізація епіхейрем з загальними посилками | умовні умовиводи | I. утверджує модус (modus ponens). |

© um.co.ua - учбові матеріали та реферати