Сдам Сам

ПОЛЕЗНОЕ


КАТЕГОРИИ







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





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

Атрибутивними (від латинського слова attributio – ознака, властивість) дають знання про властивості предмета чи про його належності до певного класу предметів. В залежності від цього атрибутивні судження бувають:

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

Дошка (є) чорна. Сніданок – не (є) смачний.

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

Т.Г. Шевченко – великий поет українського народу.

Формули цих суджень такі:

S є P або S не є P.

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

1. Загальностверджувальні: Всі S є Р;

2. Загальнозаперечні: Жодне S не є Р;

3. Частково стверджувальні: Деякі S є Р;

4. Частковозаперечні: Деякі S не є Р.

 

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

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

За логічним квадратом усі атрибутивні судження поділяються на: загальноствердні ("S – Р); загальнозаперечні ("S ~ Р); частковоствердні ($S – Р); частковозаперечні ($S ~ Р). Кожне з цих суджень відповідно позначають літерою певної вершини «логічного квадрату»: А, Е, І, О. Наведені символи є певними літерами латинських назв відповідних суджень: «А» — від першої голосної літери лат. Аffirmo (стверджую), «Е» — від першої голосної літери лат. Nego (заперечую), «І» — від другої голосної літери лат. Affirmo, «О» — від другої голосної літери лат. Nego

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

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

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

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

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

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

 

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

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

Види:

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

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

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

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

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

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

 

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

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

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

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

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

За якістю:

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

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

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

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

 

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

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

Разом з цим у таких судженнях не встановлюється характер взаємодії між суб’єктом та предикатом (або між простими судженнями – у складних). Цей характер має назву модальності і відповідно визначається у так званих модальних судженнях. Утворимо їх: “Всі правознавці є знавцями законів”® “Безсумнівно, що правознавці є знавцями законів”; “Якщо буде погана погода, то ми не поїдемо на уїкенд”® “Імовірно, що якщо буде погана погода, то ми не поїдемо на уїкенд”.

Ми бачимо, що модальні судження не просто заперечують або стверджують щось – натомість вони дають оцінку стосунків між S i P з певної точки зору.

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

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

Зазначимо, що логічні модальності вивчалися ще Аристотелем і середньовічними логіками. Детальне дослідження численних груп модальностей почалося у 50-ті роки ХХ ст., хоча перші згадки про них належать до пізньої античності і Середньовіччя.

 

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

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

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

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

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

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

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

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

Види:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 







ЧТО ТАКОЕ УВЕРЕННОЕ ПОВЕДЕНИЕ В МЕЖЛИЧНОСТНЫХ ОТНОШЕНИЯХ? Исторически существует три основных модели различий, существующих между...

Что способствует осуществлению желаний? Стопроцентная, непоколебимая уверенность в своем...

Что делает отдел по эксплуатации и сопровождению ИС? Отвечает за сохранность данных (расписания копирования, копирование и пр.)...

Живите по правилу: МАЛО ЛИ ЧТО НА СВЕТЕ СУЩЕСТВУЕТ? Я неслучайно подчеркиваю, что место в голове ограничено, а информации вокруг много, и что ваше право...





Не нашли то, что искали? Воспользуйтесь поиском гугл на сайте:


©2015- 2024 zdamsam.ru Размещенные материалы защищены законодательством РФ.