73062

Виды умозаключений: дедукция, индукция, аналогия

Доклад

Логика и философия

Умозаключение - форма мышления посредством которой из одного или нескольких суждений выводится новое суждение; это такая мыслительная структура в которой из двух или более истинных исходных суждений называемых посылками на основании определенной логической связи между ними формируется новое истинное суждение.

Русский

2014-12-03

23 KB

0 чел.

73. Виды умозаключений: дедукция, индукция, аналогия.

Умозаключение – форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение; - это такая мыслительная структура, в которой из двух или более истинных исходных суждений (называемых посылками), на основании определенной логической связи между ними, формируется новое истинное суждение.

Любое умозаключение состоит из посылок, заключения и вывода.

Посылки – исходные суждения, из которых выводится новое суждение.

Заключение – новое суждение, полученное логическим путем из посылок.

Вывод – логический переход от посылок к заключению.

[Суждение – это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношение между предметами или факт существования предмета; суждение может быть истинным, либо ложным.]

Пример умозаключения:

Судья не может участвовать в рассмотрении дела, если он является потерпевшим.

Судья Н. – потерпевший.

Судья Н. не может участвовать в рассмотрении дела.

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

- дедуктивные умозаключения — это рассуждения от общего к частному и единичному;

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

Индуктивные умозаключения — наоборот, рассуждения от единичного и частного к общему; здесь в качестве посылок - суждения единичные, частные, а вывод делается общий.

Умозаключения по аналогии — рассуждения, в которых посылки и заключение являются суждениями одинаковой степени общности.  В аналогии вывод о сходстве предметов в одних признаках основывается на сходстве их в других признаках.


 

А также другие работы, которые могут Вас заинтересовать

69108. Фрактальні зображення 49.5 KB
  Залежно від початкових умов функція що описує таку систему перетворень може наблизитися до нескінченності збігтися до певного скінченного числа числового діапазону або нескінченно варіюватися у певному діапазоні. Множина Мандельброта визначається таким рівнянням...
69109. Теорія і методи структурного програмування 143 KB
  Згодом вона поділяється на підпрограми які декомпонуються на підмодулі наступного рівня. Під час низхідного проектування програми на верхніх рівнях абстракції деталі приховують а на нижніх рівнях вони описуються конкретною мовою програмування.
69110. Використання модулів у Borland Pascal 7.0. Структура модуля 55 KB
  Структура модуля. Структура модуля 3. До складу модуля можна включати оголошення констант типів змінних а також оголошення і реалізацію процедур і функцій. Структура модуля Модуль складається із заголовка інтерфейсної реалізаційної й ініціалізаційної частин.
69111. Основні концепції об’єктно-орієнтованої методології програмування. Базові поняття об’єктна-орієнтованого програмування. Класи і об’єкти в мові Pascal 79.5 KB
  Методологія об’єктно-орієнтованого програмування виникла як результат природної еволюції мов структурного програмування. 3 погляду цієї методології програма є сукупністю об’єктів, кожен об’єкт є екземпляром певного класу, а класи утворюють ієрархію успадкування
69112. Одномірні масиви. Поняття масиву та його властивості. Базові операції обробки одновимірних масивів 214.5 KB
  Характерною ознакою простих типів даних є те, що вони атомарні, тобто не містять як складові елементи дані інших типів. Типи даних, що не эадовольняють зазначеній властивості, називаються структурованими. У мові Раsсаl означено такі структуровані типии: масиви, рядки, множини, записи та файли.
69113. Багатовимірні масиви. Оголошення багатовимірних масивів. Доступ до елементів. Базові операції їх обробки двовимірних масивів. Двовимірні масиви в задачах 96.5 KB
  Як було зазначено вище, одновимірні масиви застосовуються для зберігання послідовностей. Проте для багатьох структур даних зображення у вигляді послідовності є неприйнятним. Наприклад, результати матчів футбольного чемпіонату найзручніше подавати у вигляді квадратної таблиці.
69114. Рядки. Поняття рядка та оголошення змінних рядкового типу. Операції над рядками та рядкові вирази. Процедури та функції обробки рядків 79 KB
  Один з різновидів одновимірних масивів — масив символів, або рядок, — посідає особливе місце у багатьох мовах програмування. І це не випадково, адже алгоритми перетворення рядків застосовуються для вирішення вкрай широкого кола задач: редагування та перекладу текстів, алгебричних перетворень формул...
69115. Записи. Запис та його оголошення. Доступ до компонентів та операцій над записами. Масиви записів. Записи з варіантами 100 KB
  Визначальною характеристикою масиву є однорідність, тобто однотипність його елементів. Проте реальний світ насичений неоднорідними структурами даних. Прикладами таких структур можуть стати: календарна дата, що скла-дається з номера дня, номера року та назви місяця...
69116. Множини. Поняття множин та множинного типу даних. Оголошення змінних множинного типу. Операції над множинами 96.5 KB
  Математичне поняття множини широко використовується в задачах, для яких існує ефективне програмне розв’язання. Так, у багатьох комбінаторних задач серед усіх підмножин деякої множини необхідно знайти ті, які задовольняють певну умову. При розв’язанні задач на графах користуються поняттями...