Логіка та її класифікація

Питання 1. Класифікація та її види.

Питання 2. Форми абстрактного мислення, поняття, судження, умовивід.

Список використаної літератури.

Питання 1. Класифікація та її види

Класифікацією в логіці та методології науки вважається послідовний розгалужений поділ обсягу деякого вихідного поняття, яке виступає у ролі родового поняття, на окремі види (класи та підкласи). На відміну від звичайного логічного поділу класифікація може здійснюватися не за однією, а за декількома на кожному кроці окремо обумовленими підставами, що дозволяє забезпечувати необхідну гнучкість та максимально наближену до конкретних теоретичних і практичних завдань конкретність і детальність. Крім того, у межах однієї класифікації можуть застосовуватися та комбінуватися різні види логічного поділу: поділ за видоутворюючою ознакою, дихотомічний поділ та мереологічний поділ на окремі частини.

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

Поділ понять і класифікація співвідносяться як рід і вид. Це означає, що, з одного боку, на класифікацію у повній мірі розповсюджуються всі формально-логічні вимоги, які справедливі для поділу, а з іншого -класифікація має особливі, тільки їй притаманні ознаки, а тому і тільки їй притаманні формально-логічні вимоги. У першому випадку мова йде, передусім, про сутність та правила поділу, у другому — про те, що поділ при класифікації повинен здійснюватися за найсуттєвішою ознакою поділюваного поняття; члени поділу повинні займати постійне, довготривале, точно визначене місце і т. ін.

Але стандартна загальна логіка орієнтується, перш за все, на об'єктивні суттєві риси того фрагменту дійсності, який підлягає класифікації.

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

Обмеження – це логічна операція над поняттями, завдяки якій відбувається перехід від поняття з ширшим обсягом (родового) до поняття з вужчим обсягом (видового) через додавання до змісту вихідного поняття ознак, які стосуються лише частини предметів його обсягу.

Узагальнення – це логічна операція, в результаті якої відбувається перехід від поняття з вужчим обсягом (видового) до поняття з широким обсягом (родового) шляхом збіднення його змісту, тобто вилучення специфічних для вихідного поняття видових ознак.

Усі поняття, крім нульових, мають обсяг. Проте саме слово (ім’я), яким позначаються певний клас предметів і відповідне поняття, нічого не говорять про цей клас, тобто його обсяг (це не стосується імен, якими позначаються деякі одиничні поняття). Саме завдяки операції поділу понять (точніше – поділу обсягу понять) і одержують цю інформацію.

Поділ поняття – логічна операція, за допомогою якої розкривається обсяг родового поняття через перелік його видів або елементів.

Поняття, що діляться, називаються поділюваними, а результати поділу— відповідні видові поняття – членами поділу. Поділюване поняття і члени поділу перебувають у відношенні підпорядкування (першому підпорядковані другі), а члени поділу між собою – у відношенні співпідпорядкування.

Завдяки поділу понять знання конкретизуються і систематизуються, а опосередковано відбувається осмислення упорядкованості, системності об’єктивного світу. Не випадково система поділів, використовувана в біологічній науці, називається систематикою.

Традиційно розрізняють два види поділу – поділ за видотвірною ознакою і дихотомію.

Поділ за видотвірною ознакою – поділ, з допомогою якого поділюване поняття мислено розбивають на види з урахуванням специфіки прояву певної ознаки в різних групах елементів цього обсягу.

Основою цього поділу є ознака, характерна для кожного предмета, який мислиться в цьому поділюваному терміні, але проявляється в ньому по-різному. Так, кожна людина має стать (цим люди подібні), проте різні люди мають різну стать. Ця відмінність і є об’єктивною основою для поділу обсягу поняття “людина” на “чоловік” і “жінка”.

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

Внаслідок поділу понять за видотвірною ознакою одержують різну кількість членів поділу – від двох (існують два пояси Землі – Південний і Північний) до нескінченності.

Дихотомічний поділ – поділ, членами якого є два суперечних поняття.

Основою цього поділу є наявність чи відсутність певної ознаки (ознак) у предметів, які мисляться в поділюваному понятті. Внаслідок такого поділу одержуються лише два члени поділу, які завжди є суперечними поняттями. Наприклад, предмети і явища можна поділити на красиві і некрасиві, спільноти людей – на нації і ненації. Графічна зображення дихотомії здійснюється дуже просто: круг, яким позначається обсяг поділюваного поняття, ділиться навпіл; одна половина цього круга зображує обсяг відповідного позитивного поняття, а друга — обсяг негативного (заперечного) поняття. Проста і сама “технічна” процедура здійснення дихотомічного поділу: обравши будь-яке поняття (не поділюване, а позитивний його різновид) і відповідне йому слово, додаємо до цього слова частку “не” – і поділ здійснено.

Важливою проблемою логіки є класифікація понять, завдяки якій вони систематизуються. Наслідком цього є мислене упорядкування предметного світу, орієнтованого на його (світу) об'єктивну упорядкованість.

Найбільша відмінність існує між тими поняттями, в яких відображаються реально існуючі (чи ті, що існували) предмети, і тими, в яких мисляться уявні предмети, — так званими нульовими поняттями. Останні ще називають поняттями з порожнім обсягом або просто — порожніми, а протилежні — непорожніми.

Непорожнє поняття — поняття, в якому мисляться реально існуючі (або ті, що існували) предмети.

Наприклад: «Токіо», «Карфаген», «Ярослав Мудрий», «океан», «слон», «мамонт».

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

Наприклад: «людина, яка побувала на Марсі», «лікар, здатний перемогти ракову хворобу на будь-якій стадії її перебігу», «вічний двигун», «античне божество», «абсолютно чорне тіло». Не тільки непорожі, а й порожні поняття поділяють за обсягом і змістом.

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

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

Наприклад: «полюс Землі», «планета Сонячної системи», «елементарна частка», «відьма», «вічний двигун».

Одиничне поняття — поняття, в якому мислиться один-єдинии предмет.

Наприклад: «найдовша на Землі ріка», «Чернівецький державний університет», «найповноводніша ріка на Місяці», «Коростенський державний педагогічний інститут».

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

Збірне поняття — поняття, в якому кожен елемент обсягу є сукупністю відносно самостійних предметів, що мисляться як один предмет («сузір'я», «сузір'я Водолія»; «оркестр двадцять другого століття»). Всі інші належать до незбірних.

Обравши відповідну основу поділу, перелічені види понять у свою чергу можна поділити на підвиди. Так, загальні поняття поділяють на реєструючі, в обсязі яких мислиться скінченна, обчислювана множина предметів («пора року», «обласний центр України»), і нереєструючі, обсяг яких не піддається обчисленню («елементарна частка», «небесне тіло»).

Залежно від того, мисляться в поняттях ознаки разом з їх носіями (предметами) чи ізольовано від них, вони поділяються на конкретні й абстрактні.

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

Абстрактне поняття — поняття, в якому мислиться ознака, ізольована від її носія.

Класифікація – це складний, багатоступінчастий поділ (тобто система поділів), який проводиться з метою одержання нових знань стосовно членів поділу і систематизації цих знань.

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

Здійснюючи класифікацію, вдаються до різних видів поділу. Розрізняють два види класифікації – наукову і ненаукову. Основою поділів у першій є істотні ознаки предметів, які класифікуються, а в другій (штучній класифікації) – неістотні ознаки.

Питання 2. Форми абстрактного мислення, поняття, судження, умовивід

Мислення людини підкоряється логічним законам і протікає в логічних формах незалежно від науки логіки. Вона є лише наслідком існування певного закономірного стану речей і є його систематизоване і упорядковане відображення. Так як для фізики причиною її виникнення є закони Всесвіту, так логіці передують закони мислення. Як фізика, вона знаходиться в постійному становленні і розвитку, тому що можливості і предмет її дослідження і відображення безмежно широкий, і не пізнаний. Багато людей мислять логічно, не знаючи правил логіки, так само як для падіння (комусь або чомусь) необов’язково знати закони тяжіння або для розмовляння – закони граматики.

Основні форми абстрактного мислення – поняття, судження і умовивід.

Виділяючи певну сукупність загальних, суттєвих властивостей, чи прикмет, ми створюємо поняття предмету (Поняття А складає сукупність признаків а, в, с і т.д., які з’язані певним чином). Таким чином, різні предмети відображаються в мисленні однаково – як певний зв’язок їх суттєвих ознак, тобто у формі поняття.

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

Ознаками вважають усе те, чим предмети відрізняються один від одного або подібні між собою. Істотними називають таку сукупність ознак предмета, кожна з яких необхідна, а всі разом достатні, щоб відрізнити даний предмет (чи множину предметів) від будь-якого іншого. Так, знання того, що квадрат має ознаки ромба і прямокутника, дає можливість відрізнити його (квадрат) від будь-яких інших геометричних фігур.

Поняття та уявлення

Розкриваючи специфіку поняття, його порівнюють з іншими формами мислення (із судженням і умовиводом), а також з уявленням — найдосконалішою формою чуттєвого відображення дійсності. Може виникнути запитання: а чому не з відчуттями й сприйняттями? Тому, що уявлення значно подібніші до поняття, ніж відчуття і сприйняття. По-перше, останні виникають при безпосередньому контакті людини з предметами матеріального світу і тут же «згасають». А уявлення, як і поняття, постійно перебувають у свідомості людини. Щоправда, їх (уявлення) доводиться акту-алізовувати, піднімати з «архівів пам'яті», оскільки уявлення — це відтворення в пам'яті зовнішності тих предметів, які раніше сприймалися. Завдяки уявленням людина може вільно оперувати чуттєво-наочними образами предметів. А по-друге, уявлення — це чуттєві образи речей, які (образи) вже зазнали попередньої мисленої обробки.

Поняття, як і уявлення, відображають предмети, явища та їх ознаки. Проте між ними існують і суттєві відмінності. Прийнято вважати, що поняття відображає множину предметів, а уявлення — лише один предмет. Це, безумовно, стосується сприйняття. А з уявленням справа складніша вже хоча б тому, що в ньому наявний момент узагальнення. В уявленні, як правило, «стирається» індивідуальна неповторність сприйнять, а іноді відбувається і свідоме узагальнення, групування образів предметів у складне уявлення. До того ж, у логіці визнається факт існування одиничних понять, що зближує їх з уявленнями.

Поняття і уявлення різняться і за змістом. Часто поняття називають абстрактними, а уявлення — конкретними. Та конкретність образу передбачає не лише багатство відображених ознак (уявлення, як правило, відображає більше ознак, ніж поняття), а й їх координацію та субординацію. В уявленні ж відображені ознаки предметів координовані, але не субординовані, зокрема істотні ознаки тут не віддеференційовані від неістотних. Іншими словами, уявлення є «дифузійно»-конкретним.

Вважається, що поняття відображають ознаки, які є одночасно загальними, істотними, необхідними, внутрішніми та опосередкованими, а уявлення — одиничні, неістотні, випадкові, зовнішні, безпосередні; що в понятті мисляться й ознаки, недоступні для органів чуття; що зміст понять чітко окреслений; що завдяки поняттям людина глибше проникає в саму сутність речей, набуває здатності практично впливати на них, змінювати їх. Загалом це так, хоча в уявленнях, як уже зазначалося, присутній і момент узагальнення, і осягнення істотних ознак (принаймні умовно-істотних). Це особливо стосується уявлень, які супроводжують моральні, естетичні, політичні та інші оцінки.

Зміст уявлень має індивідуальний, суб'єктивний відтінок, оскільки залежить від власного життєвого досвіду, психічних особливостей людини тощо. Уявлення — це образи речей, які використовуються насамперед для «власного вжитку». А поняття з самого початку готуються для інших (а тому й для себе), для спілкування. З них елімінується (вилучається) все суб'єктивне. Вони мають загальнолюдський характер. Цьому сприяє і закріплення поняття за відповідним терміном. Уявлення ж не обов'язково об'єктивуються з допомогою мови, а коли й передаються засобами мови, то, як правило, багато втрачають у змісті, індивідуальній неповторності тощо.

В формі суджень відображаються зв’язки між предметами і їх властивостями. Цей зв’язком виражається у формі ствердження чи заперечення. Будь-який тип судження складає схему S – P, де S (суб’єкт; поняття про предмет судження) і Р (предикат; поняття про прикмету), а знак “—“ зв’язка між ними.

Судження — форма мислення, в якій засобами ствердження чи заперечення розкриваються зв'язки предметів з їх ознаками або відношення між предметами.

Так, у судженні «Ця троянда червона» розкривається належність відповідної ознаки троянді, а в судженні «Ця троянда не червона», навпаки, заперечується наявність у неї названої ознаки. В судженні «Ссавці належать до хребетних» множина ссавців включається до ширшої множини — «хребетних», а в судженні «Комахи не належать до ссавців» обсяг першого поняття виключається з обсягу другого. В усіх цих випадках судження можна розглядати і як форму мислення, яка відображає відношення між обсягами понять — сумісні вони чи несумісні, а якщо сумісні, то в якій формі сумісності перебувають — у відношенні тотожності, пе-рехресності чи підпорядкування. У першому випадку троянду включають до множини червоних, а в другому, навпаки, виключають із цієї множини.

Відображаючи належність чи неналежність певної ознаки предметові думки (належність чи неналежність однієї множини предметів до іншої), судження тим самим співвідноситься з відповідною об'єктивною реальністю, а тому воно неодмінно є або істинним, або хибним1. В істинному судженні думка про предмет і думка про його ознаку пов'язані відповідно до того, як цей предмет і його ознака пов'язані в дійсності. В хибному судженні, навпаки, те, що перебуває у зв'язку, роз'єднується, а те, що в дійсності є роз'єднаним, поєднується. Так, у судженні «Сталін — великий гуманіст» поєднується непоєднуване, оскільки Сталін причетний до знищення мільйонів людей. А заперечне судження, в якому суб'єкт і предикат проголошуються несумісними поняттями «Українці не нація», теж не відповідає дійсності.

Формальна логіка абстрагується від діалектики абсолютного і відносного в істині. Вона виходить з абсолютного протиставлення істинних і хибних суджень, розглядаючи кожне з них або як істинне і тільки істинне, або як хибне і тільки хибне (тризначна логіка, крім «істини» і «хиби», припускає і третю можливість — «невідомо»).

Істинність і хибність судження називають їх логічними значеннями. Кожне судження має логічне (іс-тиннісне) значення, тобто неодмінно є або істинним, або хибним. Перевіркою істинності змісту суджень займаються науки, до предметної сфери яких належать предмети того чи іншого судження. Так, істинність чи хибність судження «Сума кутів трикутника дорівнює ста вісімдесяти градусам» належить до компетенції геометрії, а істиннісне значення судження «Б. Хмельницький — видатний політичний діяч українського народу» — до компетенції історичної науки.

Кожне судження має певну структуру (будову, зв'язок його елементів), яка залежить від того, що воно відображає — властивості чи відношення між предметами.

Судження, в яких констатується наявність чи відсутність властивості в того чи іншого предмета, називаються судженнями про належність, або атрибутив-ними. Наприклад: «Ссавці — хребетні»; «"Три" — просте число».

Судження, в яких стверджується чи заперечується наявність відношення між двома і більше предметами, називають судженнями про відношення, або релятивними. Наприклад: «Сім менше дев'яти»; «Рівне знаходиться західніше від Києва».

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

Умовивід – це поєднання декількох суджень (які називаються засновки), з яких необхідно витікає нове судження (висновок). (“Федір – свідок”, “Свідки дають показання” “Федір дає показання”). Отже, ми виділяємо дещо загальне, що є в різних по змісту умовиводах: спосіб зв’язку суджень (загальне поняття). Отже, загальним для всіх форм мислення є спосіб зв’язку елементів думки – прикмет в понятті, понять в судженні і суджень в умовиводах.

Умовивід — форма мислення, за допомогою якої з одних думок (засновків) одержують нові думки — висновки.

Завдяки умовиводам продукують так зване вивідне знання. Залежно від того, як рухаються знання в умовиводах — від більш загального до менш загального, від одиничного до часткового чи й загального, від знань певного ступеня загальності до знань такого ж ступеня загальності, — їх (умовиводи) поділяють на дедуктивні, індуктивні і традуктивні. Різновидом останніх є аналогія.

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

Залежно від кількості засновків, що входять до складу умовиводів, останні поділяють на безпосередні (до складу яких входить лише один засновок) та опосередковані (які містять у собі два і більше засновків).

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

Дослідження логічних форм безвідносно до конкретного змісту і складає найважливіше завдання науки логіки.

Загальновідомо, що до мислення відносять діяльність як розуму, так і розсудку. А “законами мислення”, тими законами, які вивчаються формальною логікою, фактично вважаються закони міркування. Тому поняття мислення у визначенні предмета логіки використовується у вузькому значенні. Виходячи з цих обставин, очевидно, раціональніше вважати, що формальна логіка вивчає закони розсудкової діяльності людини

Є проблеми і щодо форм мислення. Оголосивши форми мислення (поряд із законами) предметом вивчення логіки, нечітко визначають, чому в центрі її уваги є саме поняття, судження і умовиводи, а не інші форми мислення. До того ж залишається не з’ясованим, які з цих форм є формами мислі (думки), а які – формами мислення, тобто руху думок. Деякі автори стверджують, ніби поняття і судження належать до форм думки (мислі), а умовивід – до форм мислення. Поняття, справді, більше тяжіє до форми думки, а судження – до форми мислення.

Список використаної літератури

1. Івін О. Логіка: Експериментальний навч. посібник для факультат. курсів за вибором учнів ст. кл. загальноосвітних шкіл, ліцеїв, гімназій/ Олександр Івін,; Міжнародний фонд "Відродження"; Програма "Трансформація гуманітарної освіти в Україні". — К.: АртЕк, 1996. — 231 с.

2. Арутюнов В. Логіка: Навчальний посібник/ Вячеслав Арутюнов, Дмитро Кірик, Володимир Мішин; М-во освіти України. Київ. нац. економічний ун-т. — К.: КНЕУ, 1997. — 186 с.

3. Дуцяк І. Логіка: Навч. посібник для студ. вуз./ Ігор Зенонович Дуцяк,. — Львів: Просвіта, 1996. — 127 с.

4. Жеребкін В. Логіка: Підручник/ Василь Жеребкін,. — 7-е вид., стереотипне. — К.: Знання, 2004. — 255 с.

5. Конверський А. Логіка: Підручник для студ. вуз./ Анатолій Євгенович Конверський,; Анатолій Конверський. — К.: Укр. Центр духовної культури, 1999. — 394 с.

6. Решетов О. Логіка: Навч. — метод. посіб. для студ. вищ. навчальних закладів/ Олександр Решетов,. — Кіровоград: Імекс-ЛТД, 2002. – 52 с.