
- •1. Логіка як наука. Історичні етапи її розвитку.
- •2. Роль мислення в пізнанні. Форми чуттєвого пізнання. Особливості мислення.
- •3. Поняття форми мислення. Основні форми мислення.
- •4. Поняття закону мислення. Основні логічні закони.
- •5. Мова логіки. Природні і штучні мови. Мова логіки висловлень і логіки предикатів.
- •6. Поняття як форма мислення. Ознаки предметів. Логічні прийоми утворення понять.
- •7. Зміст і обсяг понять. Види понять.
- •8. Відношення між поняттями.
- •9. Логічні операції з поняттями: узагальнення і обмеження понять.
- •10. Означення понять, способи означень, правила означень.
- •11. Поділ обсягу поняття (класифікація).
- •12. Операції з класами, їх властивості.
- •13. Судження як форма мислення. Судження і речення. Прості судження, їх види та структура.
- •14. Судження із складним суб’єктом, складним предикатом.
- •15. Заперечення суджень. Диз’юнкція, кон’юнкція двох суджень.
- •16. Імплікація двох суджень. Види імплікацій, зв’язки між ними.
- •17. Еквіваленція двох суджень.
- •18. Закони алгебри висловлень.
- •19. Означення предиката. Область визначення і область істинності.
- •20. Дії над предикатами.
- •21.Квантори. Операція навішування кванторів. Висловлення з кванторами.
- •22. Побудова заперечення висловлень з кванторами.
- •23. Відношення логічного слідування предиката. Необхідні й достатні умови.
- •24. Відношення рівносильності предикатів.
- •25. Будова теореми. Види теорем.
- •26. Класифікація категоричних суджень за кількістю і якістю.
- •27. Виділяючі та вилучаючі судження. Розподіленість термінів у судженнях.
- •28. Обґрунтування категоричних суджень діаграмами Ейлера-Венна.
- •29. Міркування. Види міркувань. Безпосереднє міркування (перетворення, зворотність, протиставлення предикатові).
- •30. Дедуктивні міркування. Приклади правильних і неправильних міркувань.
- •31. Правила міркувань: правило висновку і правило заперечення.
- •32. Простий категоричний силогізм, його структура.
- •33. Правила силогізму: силогізми Barbara і Darii.
- •34. Зрівнювані та незрівнювані судження.
- •35. Сумісні та несумісні судження.
- •36. Логічний квадрат і його структура.
- •37. Відношення сумісності та несумісності між судженнями.
- •1. Логіка як наука. Історичні етапи її розвитку.
- •2. Роль мислення в пізнанні. Форми чуттєвого пізнання. Особливості мислення.
29. Міркування. Види міркувань. Безпосереднє міркування (перетворення, зворотність, протиставлення предикатові).
Міркування – це логічна операція, або процес мислення людини, який полягає в тому, що приймаючи одне чи кілька висловлень за істинні, на основі висновку доходять до того, що інше висловлення також є істинним. Висловлення, з яких починаються міркування, називаються умовами, а ті, істинність яких стверджується в результаті міркування, називають висновком. Розрізняють такі види міркувань: дедуктивні міркування (від загального до конкретного), індуктивні міркування (від конкретного до загального), міркування за аналогією (від конкретного до конкретного). Безпосередні міркування – це ті, в яких висновок слідує з умови. Істинність висновку в даному випадку залежить від істинності умови. Перетворення – логічна дія, внаслідок якої у висновку міркування якість зв’язки судження змінюється на протилежну; при цьому зміст судження-умови не змінюється. Протиставлення предикату – спосіб утворення безпосередніх міркувань, який є поєднанням перетворення із зворотністю. Зворотність – логічна операція, внаслідок якої у висновку міркування суб’єкт і предикат міняють місцями.
30. Дедуктивні міркування. Приклади правильних і неправильних міркувань.
Міркування – це логічна операція, яка полягає в тому, що, приймаючи одне чи кілька висловлень за істинні, на основі висновку доходять до того, що інше висловлення також є істинним. Висловлення, з яких починаються міркування, називають умовою, а ті, істинність яких стверджується в результаті процесу міркування, називаються висновками. Сам процес міркування найчастіше використовує такі слова, як «оскільки, то» та ін. Є кілька шляхів міркувань: дедуктивні міркування (від загального до конкретного), індуктивні (від конкретного до загального), за аналогією (від окремого до окремого). Найчастіше використовуються, особливо у математичних науках, ті міркування, в основу яких покладено відношення логічного слідування між предикатами, тобто дедуктивні міркування. Імплікація, яка виражає відношення логічного слідування між предикатами, є завжди істинною, тому дедуктивне міркування є завжди правильним. Якщо відношення логічного слідування між предикатами відсутнє, то це міркування не можна назвати дедуктивним. Отже, в результаті міркувань ми можемо прийти як до правильних, так і до неправильних міркувань. Правильність міркування визначається не лише областю істинності висловлень, які входять до нього, а й формою мислення. Тобто істинність міркування залежить не лише від істинності його висновку. Приклад правильного міркування: «Кожен громадянин України повинен визнати її Конституцію. Всі народні депутати України — громадяни України. Отже, кожен з них повинен визнати Конституцію своєї держави». Приклад неправильного міркування: «Оскільки якщо число натуральне, то воно ціле, і число (-2) – ціле. Отже, число (-2) - натуральне».