Введення
У процесі пізнання дійсності людина здобуває нові знання. Деякі з них отримують за допомогою живого споглядання в результаті впливу предметів зовнішнього світу на органи чуття. Однак більшу частину знань ми отримуємо на ступені абстрактного мислення за допомогою міркувань, тобто шляхом виведення нових знань із знань вже наявних. Ці знання називаються опосередкованими, або вивідними.
Логічною формою отримання вивідних знань є умовивід.
Умовивід - це форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження.
Будь умовивід складається з посилок, висновків та виводу. Посилками умовиводів називаються вихідні відомі судження, з яких виводиться нове судження. Заключним називається нове судження, отримане логічним шляхом з посилок. Логічний перехід то посилок до висновку називається висновком.
Мета даної роботи полягає у вивченні умовиводів як форми мислення.
Виходячи з мети, можна виділити наступні завдання:
дати поняття і розглянути структуру умовиводів;
розглянути види умовиводів.
Методологічною основою дослідження служить загальнонаукових діалектичний метод пізнання і витікаючі з нього приватно-наукові методи: системно-структурний та ін.
При написанні роботи були використані праці таких авторів як Кирилов В.І., Орлов Г.А., Фокін Н.І., Івлєв Ю., Івін А.А. та ін.
1. Поняття і структура умовиводи
У процесі пізнання дійсності ми набуваємо нові знання. Деякі з них безпосередньо, в результаті впливу предметів зовнішнього світу на органи чуття. Але більшу частину знань ми отримуємо шляхом виведення нових знань із знань вже наявних. Ці знання називаються опосередкованими, або вивідними.
Логічною формою отримання вивідних знань є умовивід. Умовивід - це форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження.
Будь умовивід складається з посилок, висновків та виводу. Посилками умовиводи називають вихідні судження, з яких виводиться нове судження. Заключним називається нове судження, отримане логічним шляхом з посилок. Логічний перехід від посилок до висновку називається висновком.
Наприклад: «Суддя не може брати участь у розгляді справи, якщо він є потерпілим (1). Суддя Н. - потерпілий (2). Значить, суддя Н. не може брати участь у розгляді справи (3) ».
У цьому умовиводі 1-е і 2-е судження є посилками, третій судження - висновком.
При аналізі умовиводи посилки і висновок прийнято записувати окремо, розташовуючи їх один під одним. Висновок записують під горизонтальною межею, що відокремлює його від посилок і позначає логічне проходження. Слова «отже» і близькі йому за змістом («значить», «тому» і т.п.) під рискою зазвичай не пишуться. Відповідно до цього наведений приклад прийме наступний вигляд:
Суддя не може брати участь у розгляді справи, якщо він є потерпілим.
Суддя Н. - потерпілий.
Суддя Н. не може брати участь у розгляді справи.
Ставлення логічного слідування між посилками і укладанням припускає зв'язок між посилками за змістом. Якщо судження не пов'язані за змістом, то висновок з них неможливий. Наприклад, з суджень: «Суддя не може брати участь у розгляді справи, якщо він є потерпілим» і «Обвинувачений має право на захист» не можна отримати висновки, оскільки ці судження не мають загального змісту і, отже, логічно не пов'язані один з одним.
При наявності змістовного зв'язку між посилками ми можемо отримати в процесі міркування нове істинне знання при дотриманні двох умов: по-перше, вихідні судження - посилки умовиводи повинні бути істинними; по-друге, в процесі міркування слід дотримуватись правила виведення, які обумовлюють логічну правильність умовиводу.
Широко поширеним видом опосередкованих умовиводів є простий категоричний силогізм, висновок в якому виходить з двох категоричних суджень.
Наприклад, з суджень:
) «Обвинувачений (S) має право на захист (Р)» і
) «Гусєв (S) - обвинувачений (Р)» слід висновок
) «Гусєв (S) має право на захист (Р)», яке також являє собою категоричне судження.
Таким чином, простий категоричний силогізм складається з трьох категоричних суджень, два з яких є посилками, а третє - висновком.
Розчленуємо судження, з яких складається силогізм, на поняття. Цих понять зо три, причому кожне з них входит...