📖 Логіка (Кругляк)

Що визначає істинність або хибність змісту міркування?

Відповідність міркувань дійсності.

Які дві вимоги необхідні для отримання істинного висновку в міркуванні?

1. Вихідні знання мають бути істинними

2. Форма міркувань має бути правильною

Хто у логіці стоїків, на відміну від Арістотеля, звернувся до міркувань з єднальними, розділовими та умовними висловлюваннями?

Стоїки, що розглядається як попередниця логіки висловлювань.

Який принцип економії мислення сформулював Вільям Оккам?

Не слід множити сутності без потреби, або не слід висловлювати тверджень, без яких можна обійтись.

Що таке «ознака» предмета?

Це будь-яка риса, властива тому чи іншому предмету, на основі якої встановлюється подібність і відмінність.

Чим відрізняються суттєві ознаки від несуттєвих?

Суттєві ознаки відображають сутність класу предметів, а несуттєві не є визначальними і їх зміна не веде до зміни сутності предмета.

Поняття, до обсягу якого входить чітко визначена, зліченна кількість предметів, називається _____.

реєструючим

Поняття, в обсязі яких мислиться необмежена кількість предметів, називається _____.

нереєструючим

Що таке «збірне» поняття?

Поняття, в обсязі якого множини предметів мисляться як єдине ціле.

Запропонований у тексті критерій для визначення негативного поняття.

Негативне поняття виражається словом із заперечною часткою, якщо існує слово без неї, що позначає протилежне позитивне поняття.

Поняття

Мисленнєве відображення предмета через сукупність суттєвих ознак.

«Зміст» Поняття (інтенсіонал)

Сукупність ознак, на підставі яких у понятті узагальнюються і виділяються предмети певного класу.

«Обсяг» Поняття (екстенсіонал)

Множина предметів, які утворюють зміст поняття.

Закон оберненого відношення обсягу і змісту поняття

Збільшення змісту поняття веде до зменшення його обсягу, і навпаки.

Які п'ять логічних прийомів використовуються для утворення понять?

• Порівняння

• Аналіз

• Синтез

• Абстрагування

• Узагальнення

Назвіть три види відношень сумісності між поняттями.

• Тотожність

• Підпорядкування

• Частковий збіг

Назвіть три види відношень несумісності між поняттями.

• Суперечність

• Протилежність

• Співпідпорядкування.

Яка логічна помилка виникає, коли у визначенні поняття визначається через саме себе, наприклад, «економіка — це наука про економічні явища»?

Коло у визначенні (тавтологія).

Чим «порівняння» як логічний прийом відрізняється від «визначення»?

Порівняння не розкриває всі суттєві ознаки предмета, а лише яскраво відображає одну рису за допомогою аналогії чи метафори.

Розрізнення (як логічний прийом)

Вказівка на особливі, іноді несуттєві, ознаки, притаманні лише певному предмету, які відрізняють його від інших.

Який змістовний відповідник результату додавання двох понять у відношенні часткового збігу (наприклад, «українець» і «бізнесмен»)?

Українець або бізнесмен.

Який змістовний відповідник результату віднімання поняття В від А у відношенні підпорядкування (А — підприємство, В — мале підприємство)?

Всі підприємства, за винятком малих.

Як називається поняття, що визначається, і поняття, через яке здійснюється визначення?

Дефінієндум (dfd) і дефінієнс (dfn) відповідно.

Поділ Поняття

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

Судження

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

Який тип речень виражає судження?

Лише розповідні речення, оскільки вони мають характер ствердження чи заперечення.

Атрибутивне Судження

Судження, в якому предикат виражає певну властивість чи стан суб'єкта.

Екзистенційне Судження

Судження, в якому предикат виражає наявність чи відсутність самого предмета (суб'єкта).

У якому смислі — розділовому чи збірному — розуміється слово «всі» у загальних судженнях?

У розділовому, тобто його можна замінити на «кожен» чи «будь-який».

Коли термін у судженні вважається розподіленим?

Коли він взятий у повному обсязі.

У якому типі категоричного судження (A, E, I, O) і суб'єкт, і предикат є розподіленими?

У загальнозаперечувальному (Е).

Яке відношення існує між загальностверджувальним (А) і загальнозаперечним (Е) судженнями в логічному квадраті?

Відношення протилежності (контрарності).

Яка залежність істинності існує між двома протилежними судженнями (А і Е)?

Якщо одне істинне, то друге хибне, але з хибності одного не можна зробити висновок про істинність іншого.

Яке відношення існує між загальностверджувальним (А) і частковозаперечним (О) судженнями?

Відношення суперечності (контрадикторності).

Судження, що містить два або більше простих суджень, поєднаних за допомогою логічних сполучників, називається _____.

складним

Висловлювання

Речення, смислом якого є судження, а значенням — істина або хиба.

Коли кон'юнктивне висловлювання (A ⋀ B) є істинним?

Лише тоді, коли всі його складові (прості висловлювання) є істинними.

Коли слабка диз'юнкція (A ⋁ B) є хибною?

Лише тоді, коли всі її складові є хибними.

Чим сильна диз'юнкція відрізняється від слабкої?

Сильна диз'юнкція істинна, коли істинна лише одна з альтернатив, а слабка — коли істинна хоча б одна.

Коли імплікативне висловлювання (A → B) є хибним?

Лише тоді, коли підстава (антецедент) істинна, а наслідок (консеквент) — хибний.

Яка особливість імплікації, на відміну від кон'юнкції та диз'юнкції, стосується порядку компонентів?

Імплікація не передбачає комутативності, тобто міняти місцями підставу і наслідок не можна без зміни змісту.

Формула, яка є істинною при будь-яких значеннях її змінних, називається _____.

тотожно-істинною (тавтологією)

Умовивід

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

Умовиводи за ступенем обґрунтованості висновку

• демонстративні (необхідні)

• недемонстративні (ймовірні)

Умовиводи за напрямком думки (ступенем загальності)

• дедуктивні (від загального до часткового)

• індуктивні (від часткового до загального)

• традуктивні (за аналогією)

Як називається безпосередній умовивід, у якому змінюється якість засновку, а предикатом стає поняття, суперечне предикату засновку?

Перетворення (обверсія).

Як називається безпосередній умовивід, у якому суб'єкт і предикат міняються місцями?

Обернення (конверсія).

Як здійснюється протиставлення предикату?

Шляхом перетворення вихідного судження, а потім обернення отриманого результату.

Який тип судження (A, E, I, O) не дає надійних висновків при оберненні?

Частковозаперечне (О).

Який тип судження (A, E, I, O) не дає надійних висновків при протиставленні предикату?

Частковостверджувальне (І).

Скільки термінів має бути в простому категоричному силогізмі?

Рівно три: більший (P), менший (S) і середній (M).

Яке правило силогізму стосується розподіленості середнього терміна?

Середній термін має бути розподілений хоча б в одному із засновків.

Що випливає з правила силогізму про два заперечні засновки?

Із двох заперечних засновків достовірний висновок отримати неможливо.

Що випливає з правила силогізму про два часткові засновки?

Із двох часткових засновків достовірний висновок отримати неможливо.

Якщо один із засновків силогізму є частковим судженням, яким має бути висновок?

Висновок також має бути частковим.

Ентимема

Скорочена форма силогізму, в якій пропущено один із засновків або висновок

Modus ponens

Правильний різновид умовно-категоричного умовиводу, що йде від ствердження підстави до ствердження наслідку

Modus tollens

Правильний різновид умовно-категоричного умовиводу, що йде від заперечення наслідку до заперечення підстави

Чому міркування за схемою «від ствердження наслідку до ствердження підстави» є неправильним?

Тому що наслідок може бути викликаний не однією, а різними причинами (підставами).

У якому модусі розділово-категоричного умовиводу тип диз'юнкції (сильна чи слабка) має вирішальне значення для достовірності висновку?

У стверджувально-заперечному модусі (modus ponendo tollens).

Заперечно-стверджувальний модус (modus tollendo ponens)

Розділово-категоричний силогізм, де у меншому засновку заперечуються всі альтернативи, крім однієї, а у висновку ця одна стверджується

Дилема

Умовивід із двома умовними засновками і одним розділовим, який містить дві альтернативи

Конструктивні дилеми

Дилеми, що містять ствердження наслідків умовних засновків

Деструктивні дилеми

Дилеми, що містять заперечення підстав умовних засновків

Повна індукція

Індукція, яка робить висновок про весь клас предметів на основі вивчення всіх без винятку предметів цього класу

Неповна індукція

Це умовивід, в якому висновок про весь клас предметів робиться на основі вивчення лише частини предметів цього класу.

Аналогія (як вид умовиводу)

Це умовивід, в якому на підставі подібності двох предметів в одних ознаках робиться висновок про їх подібність і в інших ознаках.

Алетична модальна логіка

Розділ сучасної логіки, що досліджує висловлювання з точки зору їх можливості, необхідності, випадковості, дійсності?

Темпоральна логіка.

Розділ сучасної логіки, який досліджує висловлювання з точки зору їх часових характеристик («було», «є», «буде»)

Епістемічна логіка.

Розділ сучасної логіки, який досліджує висловлювання з точки зору знання, віри, переконання («знаю, що...», «вважаю, що...»)

Деонтична логіка.

Розділ сучасної логіки, який досліджує висловлювання з точки зору норми («дозволено», «заборонено», «обов'язково»)

Сформулюйте один з основних законів алетичної логіки щодо необхідності і дійсності.

Усе необхідне є дійсним (◻A → A).

Сформулюйте один з основних законів алетичної логіки щодо дійсності і можливості.

Усе реальне (дійсне) є можливим (A → ◇A).

З яких двох компонентів складається запитання?

• передумова (пресупозиції)

• оператора запитання

На які два типи поділяють запитання за структурованістю очікуваних відповідей?

• закриті (передбачають вибір з обмеженої кількості відповідей)

• відкриті

На чому спираються логічно некоректні запитання?

На хибну, суперечливу або надто невизначену передумову (пресупозицію).

Логічна операція, спрямована на встановлення хибності або необґрунтованості висунутої тези, називається _____.

спростуванням

На які три компоненти доведення може бути спрямоване спростування?

На тезу, аргументи або демонстрацію.

Який вид спростування є найсильнішим, оскільки дозволяє достовірно встановити хибність тези?

Спростування тези

Що доводить критика аргументів або демонстрації?

Лише недоведеність тези, а не її хибність

Яка помилка виникає, якщо теза не випливає з аргументів за правилами логічного виводу?

Помилка «не слідує» (non sequitur).

Яке грецьке слово є походженням терміну «логіка» і що воно означає?

Слово «логіка» походить від грецького «logos», що означає «слово», «думка», «смисл».

У чому полягає специфіка логіки як науки, що вивчає мислення?

Логіка досліджує форми, в яких протікає мислення, а також закони і принципи побудови правильних міркувань.

Чим відрізняється підхід логіки до вивчення міркувань від підходу психології?

Психологія досліджує, як індивіди міркують у дійсності, враховуючи їхні особливості, тоді як логіку цікавить нормативний бік — якими міркування мають бути.

Назвіть три характерні риси абстрактного мислення.

До характерних рис абстрактного мислення належать опосередкованість, узагальненість та зв'язок з мовою.

Що таке узагальненість як риса абстрактного мислення?

Це здатність характеризувати об'єкти пізнання через сукупність їхніх суттєвих ознак.

Що таке опосередкованість як риса абстрактного мислення?

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

Яка наука вивчає знаки та знакові системи, і широко використовується в логіці?

Семіотика

Що таке форма міркувань?

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

Чим відрізняється істинність міркувань від їхньої правильності?

Істинність визначається відповідністю міркувань дійсності, а правильність — дотриманням законів логіки.

Назвіть дві вимоги, яких слід дотримуватись, щоб міркування вело до істинних висновків.

1. вихідні знання мають бути істинними

2. форма міркувань має бути правильною

Які три основні форми абстрактного мислення виділяють у традиційній логіці?

• поняття

• судження

• умовивід

Що таке поняття як форма мислення?

Це відображення предмета через сукупність його суттєвих ознак.

Що таке судження як форма мислення?

Це думка, яка розкриває зв'язок між предметом і його ознакою.

Що таке умовивід як форма мислення?

Це отримання з раніше відомих суджень (засновків) нових суджень (висновків).

Сформулюйте закон тотожності.

Обсяг і зміст думок мають бути чітко визначеними і залишатись незмінними у процесі міркувань.

Символічний вираз закону тотожності у формальній логіці: _____.

A ← A

Сформулюйте закон несуперечності.

З двох протилежних суджень принаймні одне буде хибним.

Символічний вираз закону несуперечності має вигляд _____.

~(A ⋀ ~A)