- 5.3. Індуктивні умовиводи І умовиводи ПО аналогії
даному класу є необхідним. Наприклад: Залізо проводить електрику. Алюміній проводить електрику. Мідь проводить електрику. Всі метали проводять електрику. У популярній індукції висновок про приналежність ознаки всьому класу робиться на основі знаходження його лише у частини явищ даного класу. Науковій індукцією називають умовиводи, в посилках яких, поряд з повторюваністю
- контрольні роботи
даному семінарського заняття важливо ознайомитися і усвідомити зміст базових термінів: «формалізація», «мова» , «мова логіки висловлювань», «знак», «формула», «ім'я», «пропозиція», «квантори», «оператори», «функтори», «предікатори». Також необхідно розібратися в загальних і особливих рисах природних і штучних мов. Використовуючи відповідні вправи, перевірте отримані теоретичні
- Завдання 38: Побудуйте пряме і непряме доказ тези, використовуючи як демонстрації дедукцію, а потім індукцію
суджень, практичних рішень або оцінок , в якій разом з логічними прийомами застосовуються також внелогіческіе методи і прийоми переконливого впливу. Обгрунтування може бути повним і неповним. Повне обгрунтування - це доказ. Неповне обгрунтування називається підтвердженням. Доказ - логічна операція повного обгрунтування істинності якого положення за допомогою інших
- 4.2. Прості судження
даного предмета. Наприклад: «Тільки Іванов не здав іспит». Виключають називаються судження, в яких йдеться про приналежність даної властивості усіх предметів даного класу, крім деякої їх частини. Наприклад: «Всі студенти даної групи, за винятком Іванова, здали іспити.» Виключають судження виражаються пропозиціями зі словами «за винятком», «крім», «не рахуючи» і т. д. Термін
- 5.2. Дедуктивні умовиводи
судження. Далі ми будемо використовувати цей термін в традиційному тлумаченні. Дедуктивні умовиводи залежно від кількості вихідних посилок діляться на безпосередні та опосередковані. Умовивід, отримане за допомогою перетворення одного судження, називається безпосереднім. Якщо ж у ньому дві або більше посилки, то це опосередковане умовивід. У формальній логіці виділяють
- питання До іспиту ПО логіці
судження. Складні судження. Логічні відносини між судженнями. Модальність суджень. Поняття і види модальності. Епістеміческого модальність. Деонтическая модальність суджень. Алетіческая модальність. Дедуктивні умовиводи. Умовивід як форма мислення. Види умовиводів. Безпосередні умовиводи. Простий категоричний силогізм. Індуктивні умовиводи. Поняття індукції.
- 3.3. Опосередковані умовиводи. Простий категоричний силогізм
судження. Наприклад: Всі риби дихають зябрами Карась - риба Карась дихає зябрами Поняття, що є суб'єктом укладення, називається меншим терміном і позначається символічно «S». У наведеному вище прикладі йому відповідає поняття «карась». Поняття, що є предикатом висновку, називається більшим терміном і позначається символом «Р». У зазначеному прикладі ним є поняття «щось, що
- Правша термінів
судженнях, отже, він не розподілений ні в одній з посилок, оскільки предикати розподілені в негативних судженнях. Термін, нерозподілений в посилках, не може бути розподілений і в ув'язненні. Порушення цього правила призводить до помилки, званої «незаконне розширення». Наприклад: М (+) Р (-) Сократ - людина S (+) М (+) Іван - не скоротити Іван - не людина Більший термін - «людина» - в
- Фігури і модуси простого категоричного силогізму
судження. Менша посилка - стверджувальне судження. II. Друга фігура характеризується тим, що середній термін (М) грає роль предиката в обох посилках. Дана фігура використовується в основному як засіб спростування деяких неправильних підведень чого-небудь під деяке поняття. Правила другої фігури: Велика посилка повинна бути загальним судженням. Одна з посилок повинна бути негативним
- Скорочений силогізм - ентимема
судженням, з якого при поєднанні з даної посил-кою з логічною необхідністю випливає даний висновок ». Таким чином, операція відновлення відсутньої посилки зводиться до відшукання зазначеного судження і ця операція повинна виконуватися на основі знання правил і форм правильних умовиводів. При наявності висновку стають відомими терміни, за якими визначається присутність однієї
|