Предмет логіки, логічна культура мислення

3. Аристотель як фундатор формальної логіки

4. Поняття, їх види

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

1. Реєструючи(р) й нереєструючі(нр). Основою цього поділу є наявність або відсутність у побічній частині змісту поняття таких ознак, які відповідають на питання: «де?», «коли?», «якого роду індивідуум». Якщо у змісті поняття є ознаки, що відповідають на названі питання, то вони назив. р , а в зворотному випадку – нр.

2.Пусті(п) і непусті(нп) поняття. П. назив. поняття, яким не відповідає жоден предмет в предметній області.

3.Конкретні (к) і абстрактні поняття (а). К – це поняття про конкретні предмети(машина, людина, тварина,…),а А – про властивості предметів (мужнісь, хоробрість, світлість, темрява…)

4.Абсолютні (аб) і відносні(в) поняття. Аб. поняття виражає повний, незалежний від інших предметів зміст. В. поняття має ту ознаку, що фіксує відношення одного предмета до іншого.

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

5. Правило оберненого співвідношення між змістом і обсягом понять

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

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

6. Відношення між поняттями

Порівнянними наз. поняття, що мають певні спільні ознаки, які дають змогу зіставляти ці поняття. Наприклад, «менеджмент» і «маркетинг». Названі поняття належать до одного і того самого роду діяльності – управління.

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

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

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

7. Правила визначення понять

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

8. Операція доповнення поняття

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

Операція доповнення понять. Ця операція над поняттями, коли шляхом заперечення вихідного поняття утворюють нове поняття А’ (не-А), обсяг якого в сумі з обсягом поняття А становить цілісність, яка дорівнює одиниці (А + А’=1).

Формула доповнення: 1-А= А’

9. Поділ понять (дихотомічний) і за видовою ознакою

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

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

10. Правила поділу понять

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

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

Операція додавання понять. Ця опер над обсягами понять, сутність якої полягає в об’єднанні 2х або кількох множин, що становлять обсяги вихідних понять водну множину.

Операція множення понять: Це операція над поняттями, суть якої полягає в утворенні нового поняття, обсягом якого є елементи, спільні для вихідних понять.

Віднімання понять. Це операція над поняттями, суть якої полягає в утворенні нового поняття, елементи якого не входять до поняття, яке віднімається.

Операція доповнення понять. Ця операція над поняттями, коли шляхом заперечення вихідного поняття утворюють нове поняття А’ (не-А), обсяг якого в сумі з обсягом поняття А становить цілісність, яка дорівнює одиниці (А + А’=1).

Формула доповнення: 1-А= А’

11. Способи і правила визначення понять

Визначенням, або дефініцією, наз. логічна операція, що розкриває зміст поняття. Наприклад: «Холдингова компанія – це компанія, яка володіє контрольними пакетами акцій інших компаній». Поняття, зміст якого визначається, наз. визначуваним поняттям, а поняття, за допомогою якого розкривається зміст визначуваного поняття, визначаючим поняттям.

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

12. Прості судження та їх види

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

Прості С поділяються на:

1)Екзистенціальні (С існування), у яких вираж сам факт існування предмета, що відобр в думці: а-а

2)Відносні С, у яких роль предмета, що вираж відношення між двома іншими елементами С, виконують інші поняття: a R b,або R(a,b)

3)Атрибутивні С, у яких ствердж або запереч певні властивості, що належать предмету: S є P, S не є P. Ці С наз ще категоричними.

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

13. Атрибутивні судження, їх класифікація

Судження – це форма мислення, у якій щось стверджується чи заперечується в існуванні предметів або виражається зв'язок між предметом та його властивостями чи відношення між предметами.Атрибутивні С, у яких ствердж або запереч певні властивості, що належать предмету: S є P, S не є P. Ці С наз ще категоричними. Атрибутивні С є видом простих С.

Атрибутивні С:

1.Загальностверджувальне (ASP) наз таке судження, яке за кількістю є загалним, а за якістю стверджувальним

2.Частковостверджуване (ISP) наз таке атрибут судження. Яе за кількістю є частковим, а за якістю стверджувальним

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

4.Частковозаперечувальне (OSP) наз таке судження часткове за кількість і заперечувальне за якістю

14. Правила логічного квадрату

Логічні відношення між судженнями можна подати у формі «логічного квадрата».

Розподіленим наз таке поняття (термін), яке в даному С взято в його повному обсязі. Нерозподіленим наз таке поняття (термін), яке взято частково, не в його повному обсязі.

У загальноствердних С (А) поняття на місці суб’єкта (S) повинні бути розподіленими, а на місці предиката (Р) можуть бути і розподіленими, і нерозподіленими.

У загальнозаперечних судженнях (Е) поняття на місці суб’єкта (S) та предиката (Р) завжди є розподіленими.

У частковоствердних судженнях (І) поняття на місці суб’єкта (S) завжди нерозподілені, а на місці предиката (Р) можуть бути розподіленими, але, як правило, є також нерозподіленими.

У частковозаперечних С (О) поняття на місці суб’єкта (S) завжди є нерозподіленим, а на місці предиката (Р) – завжди розподіленим.

15. Складні судження, їх види

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

Види:

1.Єднальні(конюктивні)судження-це такі судж,якіутворені з двох судженьза допомогою сполучника «і» (або «та»)

2.Розділові (дизюктивні) :

А) виключаючо-розділові ВРС(строга дизюнкція) – такі судж, які утворюються з будь-яких двох інших суджень за допомогою логічного сполучника «або...або». Зміст полягає в поєднанні несумісних суджень.ВРС істинні,коли 2част хибні,або коли 1-хибна,а 2-істинна.

Б)невиключно-розділові НВРС(нестрога дизюнкція)- утворюється з будь-яких двох суджень за допом сполучника «або»,що припускає сумісність суджень.НВРС істинне: 2компоненти істинні, або коли 1-хибне,а 2-істине. НВРС хибне, коли є хибними обидва компоненти.

3.Умовні(імплікативні) утвор з будь-яких 2ох інших судж за допомогою логічного сполучника «якщо..., то...».Умовне судж хибн, коли основа істинна, а наслідок – хибний, і істинне в усіх інших випадках.

4.Судження еквівалентності утв з будь-яких 2ох інших суджень за допомогою логічного сполучника «тоді і тільки тоді, коли...».Істинне,коли обидва складові судження є істинними або коли вони обидва є хибні, і хибне в усіх ішших випадках.

16. Види суджень за якістю та кількістю

За кількістю:

1.Одиничним -наз таке судження, в якому предмет (S) виступає одиничним поняттям

2.Загальним -наз таке атрибутне судження, в якому субєктом є загальне поняття

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

За якістю:

1.Загальностверджувальне (ASP) наз таке судження, яке за кількістю є загалним, а за якістю стверджувальним

2.Частковостверджуване (ISP) наз таке атрибут судження. Яе за кількістю є частковим, а за якістю стверджувальним

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

4.Частковозаперечувальне (OSP) наз таке судження часткове за кількість і заперечувальне за якістю

17. Модальні судження

Види:

1.Алетичні включають такі модальності : «нобхідно», «можливо», «випадково» та їх модифікації

2.Епістемічні вкл до свого складу «знаю», «вірю», «вважаю», «доведено», «відомо», «спростовано».

3.Темпоральні вкл такі оцінки змісту, в яких необхідні уточнення з використанням часових характеристик «було/буде так, що», «раніше/пізніше», «завжди було/буде так, що», «одночасно»

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

18. Основні закони логіки

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

Закон тотожності: обсяг і зміст понять(суджень) повинні бути строго визначеними і залишатися нзміними у прцесі логічних міркувань (а=а; аа; а  а)

Закон несуперечності: у прцесі міркування по який-небудь предмет не можа одночасно стверджувати і заперечувати що-небудь в одному і тому самому відношенні (аа)

Закон виключеного третього: з 2ох суперечних суджень одне повинно бути істинним, друге-хибним, третього бути не може (а-а)

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

19. Умовиводи, їх види

Умовивід – це форми мисленя, у якій з одного чи кількох істинних суджнь на основі певних павил виводи виводять нове судження.Структура: засновок, висновок, логічний звязок між засновками та висновками. Умовивід буде правильним, якщо в ньому виконуюються основні закони логіки.

Види:

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

А) Безпосередні умовиводи наз дедуктивні умовиводи, які виводять з одного засновку.

Б) Категоричний силогізм – вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок

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

А) повна індукція – різновид індуктивного умовиводу, в якому на підставі знання про належність певної ознак кожному предметові класу робиться висновок про належність цієї ознаки всім предметам цього класу

Б) неповна індукція- індуктивний умовивд, в якому висново про весь клас предметів робиться на підставі знання тільки деяких предметів цього класу.

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

А) проста аналогія-на підставі подібності предметів за одними якими-небудь ознаками облять висновок про їх подібність в інших ознак.

Б) строга аналогія-грунтується на знанні залежності ознак предметів, що порівнюються

В)нестрога – в ній робиться висновок без знання про звязок подібних ознак.

20. Безпосередні умовиводи (БУ)

БУ наз дедуктивні умовиводи, які виводять з одного засновку:

1)Перетворення – вид БУ, в якому змінюється якість засновків без зміни їх кількості

2)Оберненням – наз такий БУ, в якому у висновку субєктом стає предикат, а предикатом – субєкт. Бувають прості (без обмежень)-утв тоді, коли S і P іабо розподілені, або нерозподілені; з обмеженнями- коли субєкт-розподілениий, а предикат-нерозподілений, і навпаки.

3)Протистпвлення предикату – такий БУ, у якому в новому судженні субєктом виступає поняття, яке суперечить предикату вихідного судження, а предикатом є субєкт вихідного прложення, причому звязка змінюється на протилежну

4)Умовивід за логічним квадратом

21. Категоричний силогізм (КС)

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

Модусами КС наз його різновиди, що відрізняються один від одного якісною і кількісною хар-кою засновків, що входять до нього, і висновком.

Ентимемою наз скорочений КС, в якому пропущений один із засновків або висновок.

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

22. Основні фігури категоричного силогізму

Фігурами КС наз форми силогізму, які розрізняються за положеннями середнього терміна М у засновках. Розрізняють:

1фігура: більший засновок повинен бути загальним, а менший-стверджувальним

2фігура: більший засновок є загальним, а один із засновків і висновок-заперечними

3фігура: менший засновок повинен бути ствердним, а висновок –частковим

4фігура: загальностверлних висновків не дає; якщо більший засновок ствердний, тоді менший повинен бути загальним.

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

23. Модуси категоричного силогізму

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

Модусами КС наз його різновиди, що відрізняються один від одного якісною і кількісною хар-кою засновків, що входять до нього, і висновком. У чотирьох фігурах правильних млдусів 19.

24. Умовно-категоричний силогізм

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

Види умовно-категоричного силогізму:

1)стверджуючий модус АВ,А / В

2)заперечуючий модус АВ,не-В/не-А

25. Розділово-категоричний силогізм

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

Види розділово-категоричного силогізму:

1)стверджуючо-заперечуючий модус (більший засновок-завжди строга дизюнкція) А-В/В

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

26. Полісилгізми

Полісилгізмом наз два або декілька простих КС, повязаних один з одним так, що втсновок одногоє засновкомдля іншого:

1.Прогресивний полісилогізм-висновок попереднього силогізму стає більшим засновком наступного силогіму.

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

2.Регресивний полісилогізм-висновок перелуючого силогізму стає меншим засновком наступного силогізму

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

27. Індуктивні умовиводи

Умовивід – це форми мисленя, у якій з одного чи кількох істинних суджнь на основі певних павил виводи виводять нове судження.Структура: засновок, висновок, логічний звязок між засновками та висновками. Умовивід буде правильним, якщо в ньому виконуюються основні закони логіки.

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

А)повна індукція – різновид індуктивного умовиводу, в якому на підставі знання про належність певної ознак кожному предметові класу робиться висновок про належність цієї ознаки всім предметам цього класу

Б)неповна індукція- індуктивний умовивд, в якому висново про весь клас предметів робиться на підставі знання тільки деяких предметів цього класу.

28. Аналогія, її різновиди

Умовивід – це форми мисленя, у якій з одного чи кількох істинних суджнь на основі певних павил виводи виводять нове судження.Структура: засновок, висновок, логічний звязок між засновками та висновками. Умовивід буде правильним, якщо в ньому виконуюються основні закони логіки.

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

А)проста аналогія-на підставі подібності предметів за одними якими-небудь ознаками облять висновок про їх подібність в інших ознак.

Б) строга аналогія-грунтується на знанні залежності ознак предметів, що порівнюються

В)нестрога – в ній робиться висновок без знання про звязок подібних ознак.

29. Доведення і спростування

Доведення – це сукупність логічних засобів обгрунтовання істинності будь-якого судження за допомогою інших істинних і повязаних з ним суджень. Структура:

-теза(судження, істинність якого треба довести),

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

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

Спростування-логічна операція,спрямована на зруйнування доведення шляхом встановлення хибності або нобгрунтованості висунутої тези. Аргументами судж наз судження, за доп якихспростовується теза:

-пряме і непряме спростування тези(спростування фактами, встановленя хибності наслідків, спростування тези через доведення антитези)

-критика аргументів- доведення хибності абонеспроможності

-виявлння неспрможності демонстрації – виявлення помилок у фолрмі самого доведення

30. Мислення і мова

Мислення не може існувати без мови, поза мовою. Без вираження думки у звукових, письмових, або інших знаках, символах її неможливо передати, а отже, довідатись про її існування. Всі науки, користуючись засобами природної мови, застосовуючи водночас засоби штучної мови.

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

жүктеу/скачать 0.79 Mb.

Достарыңызбен бөлісу: