- •1.Основні дефініції поняття «Логіка».
- •4) Спеціальна навчальна дисципліна, яка протягом багатьох віків була обов’язковим елементом європейської системи освіти;
- •2.Поняття «культура мислення».
- •3.Формальні правила міркування.
- •4.Порівняльна характеристика формального та змістового правил міркування
- •5.Характеристика визначень,мислення, абстрактного мислення.
- •6.Освновні форми чуттєвого пізнання.
- •7.Характерні риси абстрактного мислення.
- •8.Дефініція предмета логіки, як науки.
- •9.Поняття про форми мислення.
- •10.Характеристика основних формально-логічних законів.
- •11.Істиність і формальна правильність міркування.
- •12.Дефініція мови.
- •13.Типологія мов.
- •14.Мова як знакова система. Види знаків.
- •15.Рівні семіотичного аналізу мови.
- •16.Формалізація як загальнонауковий феномен.
- •17.Особливості формалізації в логіці.
- •1) Метод логіки, який полягає в застосуванні формалізованої мови до вивчення предмета логіки;
- •2) Процес кодування засобами формально-логічної теорії фрагментів наукових теорій чи самих теорій;
- •3) Відображення понять логічної семантики в поняттях логічного синтаксису (наприклад, семантичне відношення логічного слідування виражають через синтаксичне відношення – вивідність).
- •18.Порівняльна характеристика природної і формалізованої мови.
- •19.Історичний характер логіки, як науки.
- •20.Особливості логіки стародавньої Індії.
- •21.Попередники логіки Аристотеля у Стародавній Греції.
- •22.Основні твори Аристотеля з Логіки.
- •23.Логічне вчення Аристотеля.
- •24.Характерні риси логіки Стоїків.
- •25.Схоластична логіка.
- •26.Індуктивна логіка Бекона
- •27.Співвідношення традиційної логіки та сучасної.
- •28.Формалізація, як метод логіки.
- •31.Види ознак предмета думки.
- •32.Дефініція змісту поняття.
- •33.Типологія ознак за субстанціональністю.
- •34.Родові та видові ознаки.
- •35.Дефініція обсягу поняття.
- •36.Типологія видів понять.
- •37.Логічні відношення між сумісними поняттями.
- •38.Логічні відношення між несумісними поняттями.
- •40.Структура операцій поділу понять.
- •41.Види поділу понять.
- •42.Правила поділу понять та можливі помилки при їх порушенні.
- •43.Природна та штучна класифікація.
- •44.Розчленування цілого та частини.
- •45.Види визначення.
- •46.Структура операції «визначення понять».
- •47.Види реальних дефініцій.
- •1) Явну вказівку на вихідні елементи (вони або повністю перераховуються, або дається критерій, за яким можна виділити їх із певної множини);
- •2) Правила утворення із вихідних елементів похідних;
- •3) Обмеження, яке вказує, що окрім наведених в 1 і утворених відповідно до 2 немає ніяких інших, які б належали множині, що визначається.
- •48.Види номінальних дефініцій.
- •49.Правила визначень.
- •50.Які існують найуживаніші дефініції судження?
- •51.Логічна структура судження.
- •52.Співвідношення понять: «судження», « речення», «висловлювання».
- •53.Типологія атрибутивних суджень за кількістю і якістю.
- •54.Розподіленість термінів атрибутивного судження.
- •55.Види логічних відношень між атрибутивними судженнями.
- •56.Типологія суджень з відношеннями.
- •57.Змістовий та формальний аспект трактування суджень існування.
- •58.Поділ суджень на категоричний та некатегоричний.
- •59.Поняття «Модальність».
- •60.Види суджень за об’єктивною та логічною модальністю.
- •1) Судження можливості;
- •2) Судження дійсності;
- •3) Судження необхідності.
- •2) Достовірні.
- •61.Роль запитання в пізнанні.
- •62.Типологія запитань.
- •63.Види відповідей.
- •64.Співвідношення граматичного та логічного сполучника.
- •65.Використання мови логіки висловлювань для тлумачення складних суджень.
- •66. Характеристика логічних відношень між складними судженнями.
- •67.Структура умовиводу.
- •68. Поняття дедуктивного та індуктивного умовиводу.
- •69.Поняття висновку логіки висловлювань.
- •70 Типологія правил висновку логіки висловлювань.
- •71.Визначення основних прямих правил.
- •72. Характеристика основних непрямих правил.
- •73. Способи обґрунтування правил висновку логіки висловлювань.
- •74.Побудова доведення правила висновку.
- •77. Побудова аналітичної таблиці.
- •80. Правило транзитивності імплікації.
- •81. Різновиди розділово-категоричного силогізму.
- •82. Поняття дилеми.
- •83. Правила побудови розділово-категоричних умовиводів.
- •84. Логічна структура дилем.
- •85. Обернення як безпосередній умовивід.
- •86. Характеристика перетворення та протиставлення предикату як безпосередніх умовиводів.
- •87. Умовиводи за логічним квадратом.
- •88. Обгрунтування умовиводів за логічним квадратом.
- •89. Структура простого категоричного силогізму.
- •90. Поняття фігури та модусу простого категоричного силогізму.
- •91. Загальні правила простого категоричного силогізму.
- •92. Спеціальні правила фігур простого категоричного силогізму та їх обгрунтування.
- •93. Виведення модусів фігур простого категоричного силогізму.
- •94. Обгрунтування модусів II, III та іv фігур шляхом звернення їх до модусів і фігури.
- •95. Визначення недедуктивного умовиводу.
- •96. Типологія умовиводів.
- •97. Характерні особливості повної індукції.
- •98. Своєрідність математичної індукції.
- •99. Види неповної індукції.
- •100. Визначення популярної індукції.
- •101. Заходи, які підвищують надійність висновку у популярній індукції.
- •103. Визначення аналогії як умовиводу.
- •104. Структура умовиводів за аналогією.
- •1) Судження про наявність основи у зразка;
- •106. Умови підвищення ефективності аналогій.
- •108. Визначення доведення як логічної процедури.
- •109. Характеристика структури доведення.
- •1) Факти дійсності;
- •111. Визначення прямого доведення.
- •112. Основа поділу доведень на прямі та непрямі.
- •113. Поняття апагогічного доведення.
- •114. Хід побудови апагогічного доведення.
- •115. Визначення розділового доведення.
- •116. Характеристика спростування як логічної процедури.
- •118. Способи спростування тези.
- •1. Вводиться припущення, що наявна тези істинна.
- •2. Друге правило вимагає, щоб теза протягом всього процесу обгрунтування залишалася незмінною.
- •121. Правила стосовно аргументів.
- •2. Аргументи мають бути достатньою підставою для тези.
- •122. Помилки, які виникають при порушенні правил стосовно
- •123. Характеристика правила стосовно демонстрації.
103. Визначення аналогії як умовиводу.
А н а л о г і я – це такий недедуктивний умовивід, у якому судження про притаманність певної ознаки деякому об’єктові виводиться на основі подібності цього об’єкта з іншим об’єктом.
Можна навести ще таку дефініцію: «Аналогією називається такий умовивід, де від подібності двох предметів у деяких ознаках робиться висновок про схожість цих предметів у інших ознаках».
Оскільки аналогія – недедуктивний умовивід, то висновок у ній буде імовірним навіть при істинності засновків. Розглядаючи види індуктивних умовиводів, ми переконалися, що імовірність висновків у них може бути більшої або меншої міри. Це залежить від характеру засновків і способу організації конкретних умовиводів. Імовірність висновків за аналогією нижча, навіть від популярної індукції. Це зумовлює те, що аналогія рідко використовується для обгрунтування суджень.
104. Структура умовиводів за аналогією.
Як і будь-який умовивід має в своїй структурі засновки і висновок, так і аналогія має засновки і висновок. Визначимо термінологію, якою користуються при побудові аналогії.
З р а з к о м аналогії називається об’єкт, ознака якого переноситься на другий об’єкт.
С у б ’ є к т о м аналогії називається об’єкт на який переноситься ознака.
Зразок і суб’єкт називаються т е р м і н а м и аналогії.
Ознака, яка переноситься із зразка на суб’єкт, називається переносною ознакою.
Ознака, яка одночасно притаманна зразку і суб’єкту і яка є підставою для переносу ознаки, що нас цікавить, називається о с н о в о ю аналогії.
До структури аналогії входять чотири види суджень:
1) Судження про наявність основи у зразка;
2) судження про наявність основи у суб’єкта;
3) судження про наявність переносної ознаки у зразка;
4) судження про наявність переносної ознаки у суб’єкта.
105. Види аналогій.
Існує два види аналогій:
аналогія властивостей і
аналогія відношень.
А н а л о г і є ю в л а с т и в о с т е й називається такий умовивід, у якому переносною ознакою є властивість.
Класичним прикладом аналогії властивостей є обгрунтування гіпотези про існування життя на Марсі. Якщо позначити Землю і Марс відповідно термами а і в, а ознаку «мати життя» через предикаторQ, то обргунтовуване твердження «На Марсі є життя» матиме вигляд – Q(в). Порівнюючи властивості, які має Марс і Земля, виявляють, що Марс і Земля є планетами Р1, вони обертаються навколо Сонця Р2, світять відображеним світлом Р3 тощо. Отже, має місце їх схожість за ознаками Р1, Р2, Р3 . Це й дає підставу зробити висновок за аналогією властивостей, що «На Марсі є життя».
А н а л о г і є ю в і д н о ш е н н я називається умовивід, в якому переносною ознакою є ознака відношення.
Прикладом аналогії відношень є відкриття Резерфордом планетарної моделі атома. На підставі проведених експериментів Резерфорд установив низку подібних відношень між електронами і ядром, з одного боку, та планетами і Сонцем, з іншого.
106. Умови підвищення ефективності аналогій.
Для підвищення міри імовірності аналогії треба дотримуватися таких вимог:
1. Число спільних для зразка і суб’єкта ознак повинно бути якомога більшим.
2. Основа аналогії повинна бути суттєвою для зразка і суб’єкта аналогії.
3. Спільні ознаки для зразка і суб’єкта повинні бути найрізноманітніші.
4. Переносна ознака повинна бути зв’язана із спільними ознаками.
Аналогія є своєрідним генератором нових ідей. За допомогою аналогій розкриваються нові грані ідей, які довели свою ефективність, встановлюються зв’язки між новими ідеями, гіпотезами і достовірним знанням.
107. Поняття аргументації.
У практиці міркувань ми часто зустрічаємося із ситуацією, коли необхідно не тільки мати істинне положення, а й продемонструвати, чому це положення істинне чи хибне, в чому полягає його доцільність або недоцільність. Цей спосіб інтелектуальної діяльності називають аргументацією.
Аргументацію можна визначити як спосіб міркування, який складається із доведення і спростування, в ході яких формується переконання в істинності чи хибності якогось положення як у самого автора, так і у опонентів.
Доведенням і спростуванням широко користуються в різних науках і різноманітних галузях людської діяльності. Але лише у логіці розкривається природа доведення і спростування, описується їх структура, визначаються спеціальні правила.