- •1. Визначення логіки як науки. Етапи розвитку логіки.
- •2.Місце логіки в методології наукового пізнання.
- •3.Логічна структура і логічна правильність міркувань.
- •5.Поняття формалізації.Види формалізації знання.Основні метдологічні принципи формальної логіки.
- •6.Основні закони логіки як принцип правильного міркування.
- •7.Логічна характеристика понять. Відношення між поняттями по змісту і обсягу.
- •9.Розподіл, як логічна операція. Правила розподілу. Класифікація.
- •11.Види простих категоричних суджень.Розподіленість і нерозподіленість термінів у простих категоричних судженнях.
- •12.Графічні моделі відношень між термінами у простих категоричних судженнях.
- •13.Відношення між судженнями (умовивід по »логічному квадрату»
- •14.Складні судження. Необхідність використання мови логіки висловлень для аналізу складних суджень. Мова логіки висловлювань: особливості її побудови та застосування.
- •15. Поняття формули мови логіки висловлювань. Порядок побудови формул мови логіки висловлювань. Типи формул мови логіки висловлювання.
- •16.Мова логіки висловлювань: таблична інтерпретація логічних низок. Приклад.
- •17.Основні види логічних відношень між формулами мови логіки висловлювань: еквівалентність, логічний наслідок, сумісність.
- •18.Вираз основних законів логіки за допомогою мови логіки висловлювань. Приклади.
- •19.Метод аналітичних таблиць
7.Логічна характеристика понять. Відношення між поняттями по змісту і обсягу.
Важливою проблемою логіки є класифікація понять, завдяки якій вони систематизуються. Наслідком цього є мислене упорядкування предметного світу, орієнтованого на його (світу) об'єктивну упорядкованість.
Найбільша відмінність існує між тими поняттями, в яких відображаються реально існуючі (чи ті, що існували) предмети, і тими, в яких мисляться уявні предмети, — так званими нульовими поняттями. Останні ще називають поняттями з порожнім обсягом або просто — порожніми, а протилежні — непорожніми.
Непорожнє поняття — поняття, в якому мисляться реально існуючі (або ті, що існували) предмети.
Порожнє поняття — поняття, в якому мисляться предмети, котрих або ще не було й немає, або ніколи не буде.
За обсягом, тобто за кількістю предметів, які в них мисляться, поняття поділяють на загальні й одиничні.
Загальне поняття — поняття, в якому мислиться два чи більше предметів.
Одиничне поняття — поняття, в якому мислиться один-єдиний предмет.
Усі поняття, незалежно від того, до якого з перелічених видів і підвидів вони належать, поділяються на збірні і незбірні.
Збірне поняття — поняття, в якому кожен елемент обсягу є сукупністю відносно самостійних предметів, що мисляться як один предмет («сузір'я», «сузір'я Водолія»; «оркестр двадцять другого століття»). Всі інші належать до незбірних.
Обравши відповідну основу поділу, перелічені види понять у свою чергу можна поділити на підвиди. Так, загальні поняття поділяють на реєструючі і нереєструючі.
Залежно від того, мисляться в поняттях ознаки разом з їх носіями (предметами) чи ізольовано від них, вони поділяються на конкретні й абстрактні.
Конкретне поняття — поняття, в якому мисляться ознаки з їх носіями, тобто відповідними предметами.
Абстрактне поняття — поняття, в якому мислиться ознака, ізольована від її носія.
Поняття поділяють ще на позитивні й негативні.
Позитивне поняття — поняття, в якому виражається наявність у предмета певних ознак.
Негативне (заперечне) поняття — поняття, й якому виражається відсутність у предмета ознак, що становлять зміст відповідного позитивного поняття.
В одних і тих самих поняттях одночасно відображаються і предмети, і їх зв'язки зі світом. Про це свідчить хоча б наявність у змісті переважної більшості понять родових ознак, характерних для кожного елемента їх обсягу. Проте у формальній логіці до певної міри абстрагуються від цієї істини, жорстко поділяючи поняття на безвідносні й співвідносні.
Безвідносне поняття — поняття, що відображає предмет, з існуванням якого не пов'язується необхідне існування будь-яких інших предметів.
Співвідносне поняття — поняття, що відображає предмети, існування яких немислиме без існування деяких інших предметів.
8. Визначення як логічна операція. Правила визначення.
Розрізняють номінальні та реальні, явні та неявні визначення. Номінальним (від латинського nomen - ім`я) називають визначення, за допомогою якого замість опису якогось предмета вводиться новий термін (ім`я) або пояснюється значення терміна.
Реальним (від латинського res - річ) називається визначення, що розкриває суттєві ознаки предмета.
Як бачимо, номінальні та реальні визначення мають своєю метою: пояснити значення терміна або розкрити суттєві ознаки предмета. Якщо у реальному визначенні одночасно з розкриттям суттєвих ознак предмета вказується і на його походження, то таке реальне визначення можна перетворити у номінальне. Але номінальне перетворити у реальне визначення, виходячи з його контексту, як правило, неможливо.
Явними називають визначення, в яких Dfd та Dfn є чітко вираженими. Явні визначення завжди прямо вказують на суттєві ознаки предмета. До них належать: 1) визначення через рід та видову ознаку та 2) генетичне визначення.
Генетичне (від грецького - походження) визначення - це визначення, в якому видова ознака вказує на спосіб походження, утворення чи побудови Dfd, який належить тільки даному предмету і не належить іншим. Отже, генетичне визначення є своєрідним різновидом визначення через рід та видову ознаку і тому підлягає всім тим правилам, що й це визначення.
Правила визначення.
1. Визначення повинно бути співмірним, тобто обсяг визначуваного поняття повинен дорівнювати обсягу визначаючого (Dfd = Dfn).
2.Визначення не повинно утворювати кола (латинське circulus vitiosus). Якщо зміст визначуваного поняття (Dfd) розкривається через визначаюче (Dfh), зміст якого, в свою чергу, розкривається через Dfd, то таке визначення утворює коло або circulus vitiosus.
3.Визначення повинно бути чітким та однозначним. Якщо поняття визначається через інше поняття, ознаки якого невідомі і воно саме потребує визначення, то виникає помилка визначення одного невідомого через інше невідоме (“х df у” або „х per у”). Правило однозначності забороняє використовувати замість визначень метафори, порівняння тощо.
4.Визначення не повинно бути заперечним. Заперечні твердження про предмет не розкривають суттєвих ознак предмета думки, а лише вказують на те, чим не є даний предмет.Проте, на визначення заперечних понять це правило не розповсюджується.
