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

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

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

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