2.1. Поняття у формальній логіці - це.
o безліч окремих предметів у світі, що володіють різними властивостями
þ логічна думка про предмет, відображення предмета в його одному або декількох істотних ознаках
o уявне розчленування об'єкта думки на його елементи
o уявне з'єднання в єдине ціле частин предмета
o сукупність предметів, яка мислиться в даному понятті
o предмети, які подібні між собою
o уявне об'єднання окремих предметів у деякому понятті
þ сукупність істотних ознак предмета, яка мислиться в даному понятті
2.3. Виходячи з обсягу і змісту, можна розглядати такі види понять як ...
þ конкретні і абстрактні
o логічні і нелогічні
þ загальні, одиничні і нульові
o суттєві і несуттєві
2.4. Логіка вивчає відношення між поняттями по ...
o роди та види рослин
þ змісту і обсягу
o ознаками і засобам
o властивостями і призначенням
2.5. Сумісними називаються поняття ...
o містять ознаки, які вказують на ставлення одного поняття до іншого
þ обсяги яких частково або повністю збігаються
o в яких мислиться безліч предметів
2.6. Ухвалою (або дефеніціей) називається ...
o логічна операція, яка розкриває сукупність істотних ознак предмета
o логічна операція, яка розкриває обсяг поняття
o логічна операція, яка розкриває відносини між поняттями
2.7. Розподіл предметів по групах (класам), де кожен клас має своє постійне певне місце - це ...
o дихотомічне розподіл
o узагальнення предметів
2.8.Логіческая операція, яка розкриває обсяг поняття, називається ...
2.13Понятія, що не мають спільних елементів обсягів, називаються ...
Тема 3. Судження і його види.
Людина, пізнаючи за допомогою свідомості об'єктивний світ, розкриває зв'язки між предметами і їх ознаками. Знаходити схожість і відмінність між предметами - значить міркувати. За допомогою понять не завжди вдається передати все багатство людської думки і самих предметів. Найбільш глибинні зв'язки і відносини відбивається в мисленні у формі суджень.
Судження є таку думку, в кото-рій при висловлюванні її щось стверджується про предметах дійсності і яка об'єктивно є або істинною, або хибною і при цьому неодмінно однієї з двох.
Справжньою називається думка, відповідна дей-ствительности. Помилковою називається думка, в якій не-вірно, спотворено відображена дійсність. Наприклад, «залізо важча за воду» - істинне судження, а думка що, «залізо - кольоровий метал» є помилковою, тому що залізо не відноситься до групи кольорових металів.
У мові судження виражається за допомогою повествова-них пропозицій і риторичного запитання. Запитай-тільні і спонукальні пропозиції, нічого не утверж-дая і нічого не заперечуючи, не володіють значенням істіннос-ти і суджень не виражають. Судження і пропозиція розрізняються за складом. Якщо судження складається з двох термінів - суб'єкта (S) і предікта (Р) і зв'язки, то в поширеному реченні крім головних членів -подлежащего і присудка - є другорядні члени: визначення, доповнення та обставина.
Простим - називається судження, що складаються тільки з одного судження.
Будь-яке атрибутивное судження має суб'єкт, пре-дікат і зв'язку.
Суб'єкт судження - це поняття про предмет судження. Поняття про ознаку предмета, що розглядається в судженні, називається предикатом судження. Зв'язка - це саме твердження або заперечення можливого в предікей-ті змісту.
Атрибутивні вираження виражаються формулою:
«S є / не є Р».
Общеутвердітельние судження - (А): «Всі S суть Р»;
Общеотріцательние судження - (Е): «Жодне S не є Р».
Частноутвердітельние судження - (I): «Некото-які S є Р»;
Частноотріцательние судження - (О): «Некото-які S не є Р».
Розподіленість термінів у судженнях А, Е, I, О може бути представлена у вигляді такої таблиці:
З цієї таблиці можна вивести таку закономірність: суб'єкт розподілений в загальних судженнях (А, Е) і. нерозподілений в приватних судженнях (1, О). Предикат рас-межа в негативних судженнях (Е, О) і не распреде-льон в стверджувальних судженнях (А, 1).
Термін називається розподільним, якщо його обсяг повністю входить в обсяг іншого терміну або повністю виключається з нього, тобто в судженні говориться про всі предмети, які охоплюються цим терміном. На колах Ейлера це можна зобразити таким чином:
Серед суджень, що мають суб'єктно-предикатную структуру, виділяють судження існування. На відміну від атрибутивних суджень, що відображають зв'язок предметів і їх ознак, судження існування відображають факт існування або неіснування предметів. Наприклад, «Існує місто Москва», «Думки без мовної оболонки не існує». У даних судженнях суб'єктом є поняття про предмет судження, об'єктивне існування якого затверджується або заперечується, предикатом є думка про існування чи неіснування предмета.
Однак не всі судження мають суб'єктно-предикат-структуру. Відносини між предметами і явищами дійсності виражаються в судженні про відносини (або судженнях з відносинами). Структура цих суджень виражається формулою: A R В, де А і В позначають поняття про предмети, R - відношення між предметами. Формула A R В читається так: «Між-ду предметами А і В існує відношення R». Наприклад, «Мораль виникла раніше релігії».
Виділяють і виключають судження
Розглядаючи розподіл суджень за кількістю сліду-ет звернути увагу на своєрідність виділяють і ис-полягають суджень.
В виділяють судженнях завжди щось стверджуючи-ється або заперечується тільки пов'язані з предметом цієї судження.
Виділяє називається судження, в якому, що відображається жается якась особливість предмета (або предметів), що відрізняє його від інших предметів, зазначеного в судженні класу предметів.
В одиничному виділяє судженні що виділяє характеристика відноситься до одного певного предмету будь-якого класу предметів.
У частновиделяющем судженні що виділяє ха-рактеристика відноситься до деяких (а може бути, до всіх) предметів відомого класу.
Наприклад, «деякі електропровідні тіла, і толь-ко електропровідні тіла, є металами».
На відміну від цього в певному частновиделя-Ющем судженні що виділяє характеристика відноситься тільки до тих чи інших предметів відомого класу.
Наприклад, «Тільки деякі люди, і тільки люди - лікарі».
У общевиделяющем судженні що виділяє хар-теристика відноситься до кожного предмету будь-якого клас-са.
Наприклад, «Тільки партії, керовані передовою теорією, можуть здійснити підйом економіки в країні».
Будь-яке виділяє судження являє собою синтез ствердної і негативного суджень, по-кільки в ньому стверджується приналежність якої-небудь ознаки предмета певного класу предметів і одне-тимчасово заперечується приналежність цього ж ознаки інших предметів того ж класу.
Виключають судження - це загальні судження, в яких виключається частина предметів, що не володіють ознакою, властивим всім предметам розглянутого класу. Наприклад, «Будь-яке суспільство, за винятком первіснообщинного, є класовим»
Це судження утворено як синтез двох приватних суджень: "Деякі суспільства є класовими» і «Деякі суспільства не є класовими».
Оскільки в процесі освіти виключають суджень відбувається перехід від менш точного знання до більш точного знання, ці судження грають важливу роль в процесі пізнання.
Складними називаються судження, в яких можна виділити правильні частини, які є судженнями.
Відповідно до функцій логічних зв'язок основними видами складних суджень є:
1. сполучні (кон'юнктівние) - судження, утворені за допомогою зв'язку двох або кількох простих суджень логічним союзом «і».
2. розділові (диз'юнктивні) - судження, про-утворених за допомогою зв'язку двох або кількох простих суджень логічним союзом «або».
Існують два види розділового логічного союзу «або»:
сполучно - розділовий (нестрогая диз'юнкція або просто диз'юнкція) - V;
ісключающе - розділовий (сувора диз'юнкція) V.
3. умовні (іплікатівние) - складні судження, утворені за допомогою логічного союзу «якщо. то »→».
4. судження еквівалентності - складне судження, утворене за допомогою зв'язку двох або більше суджень логічним союзом «якщо і тільки якщо. то »,» тоді і тільки тоді. коли. »=.
5. судження з зовнішнім запереченням - це судження, в якому стверджується відсутність деякої ситуації. Вона найчастіше виражається пропозицією, починається словосполученням. «Невірно, що». Зовнішнє заперечення позначається символом « # 9488; », званому знаком заперечення.
Відносини між судженнями. логічний квадрат
Встановлювати типи відносин між судженнями важливо при зіставленні різних точок зору щодо спірних питань.
Важливими видами відносин між судженнями за логічним формам є відносини: сумісності по істинності, сумісності з хибності, логічного слідування, логічної еквівалентності, підпорядкування, контрадікторності, контрарности, субконтрарності і логічної незалежності.
Ставлення логічної сумісності по істинності має місце між судженнями А і В, якщо і тільки якщо вони можуть бути одночасно хибними.
Ставлення контрадікторності (протиріччя): А-О, E-I. Ці судження не можуть бути одночасно ні істинними, ні хибними. З істинності одного судження слід хибність іншого судження, з хибності одного істинність іншого. Висновки будуються за схемами: Аі → Ол; Ал → Оі; Єї → Iл; Їв → I та.
Ставлення контрарности (часткової совместімос-ти): А - Е. протилежні судження не можуть бути одночасно істинними, але можуть бути одночасно хибними. З хибності одного судження слід істинність іншого, але з істинності одного з них може сле-дова як істинність, так і хибність іншого судження. Висновки будуються за схемами: Аі → Ел; Єї → Ал; Ал → Е? Їв -> А?
Ставлення субконтрарності (часткової сумісності): I - О. Ці судження можуть бути одночасно істинними, але не можуть бути одночасно хибними. З хибності одного судження слід істинність іншого, але з істинності одного з них може слідувати як істинність, так і хибність іншого. Висновки будуються по схе-мам: Iл → Оі; Ол → I та; I та → Про ?; Оі → I?
Відношення підпорядкування: А - I, Е - О. З істинності підпорядковує судження слід істинність підлеглого судження, але не навпаки: з істинності підлеглого судження істинність підпорядковує судження не слід, воно може бути істинним, але може бути і помилковим.
З хибності підлеглого судження слід хибність підпорядковує судження, але не навпаки.
Модальність - це додаткова інформація про характер залежності між реальними явищами, про логічне статус суджень, про оціночних, регулятивних та інших характеристиках.
Алетіческая модальність виражається в термінах «можливо», »випадково» і ділиться на логічну і факти-ний / фізичну). Стан справ може бути логічно можливо або фактично можливо, логічно необхідно або фактично необхідно, логічно випадково або фактично випадково.
Логічно можливо те, що не суперечить зако-нам логіки позначається ЛВ.
Природно стверджувати, що не всі, що логічно можливо, можливо фактично. Ми знаємо, що життя на Місяці неможлива (фактично), але твердження: «На Місяці є життя» - не суперечить законам логіки, отже логічно можливо, що на Місяці є життя.
Фактично можливо те, що не суперечить законам природи і суспільного життя - ФВ.
Логічно необхідно те, що є законом логіки - ЛН.
Фактично необхідні закони природи і загально-жавної життя і логічні наслідки з них - ФН.
Для позначення логічних модальних понять використовуються такі символи:
Для позначення фактичних модальних понять використовуються такі символи:
За епістеміческой модальності судження ділять-ся на достовірні, що виражаються за допомогою двох операто-рів: доказово - V, і спростовно - F, проблематичні судження виражаються оператором - Р (проблематично).
Деонтическая модальність виражається за допомогою операторів:
Підлягає виконанню дію позначають симво-лом - d, учасників правовідносини - Y, X і т.д.
Питання самоконтролю по темі:
Що таке судження як форма мислення?
Назвіть структурні елементи судження.
Як співвідносяться судження і пропозиція?
Дайте характеристику розподілу суджень за змістом предиката: властивості, з відносинами, існування.
Дайте характеристику розподілу суджень за якістю зв'язки: позитивні, негативні.
Дайте характеристику поділу суджень за обсягом суб'єкта: загальне, приватне, одиничне.
Дайте характеристику розподілу суджень за модальністю.
Дайте визначення складного судження. Види складних суджень.
Що ми розуміємо під распределенностью термінів?
Дайте характеристику відносини між судженнями по істинності.