Модуль 2. Логічна Теорія та Основи Аргументації.

Семінарське заняття №1.

1. Логіка не вивчає слова, а вивчає висловлювання.

Л. Вітгенштайн

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

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

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

Головна логічна характеристика висловлювання істинність або хибність (див. 2.5).

Висловлювання як елемент певного міркування має форму ствердження чи заперечення.

Стверджувальне висловлювання дещо стверджує, зокрема існування предметів, явищ, процесів; відбуття певних подій; притаманність певних властивостей певному об'єкту та ін. Наприклад: "Усі люди від природи прагнуть знань" (Арістотель); "Декотрі люди порушують закони суспільного життя".

Заперечне висловлювання дещо заперечує, скажімо, факт існування предметів, явищ, процесів; відбуття певних подій; притаманність певних властивостей певному об'єкту і под.: "Химери не існують"; "Деякі речення не виражають висловлювання".

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

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

Просте висловлювання

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

Атрибутивне висловлювання (лат. - властивість, ознака) - висловлювання, в якому та чи інша властивість приписується певному класу предметів, підкласу, окремим елементам класу або заперечується у них: "Усі товари мають свою вартість"; "Декотрі студенти не вивчають математику".

Екзистенціальне висловлювання (лат. - існування) дещо стверджує стосовно існування певних об'єктів або заперечує їх існування: "Органічне життя на Землі існує"; "Не існує безпричинних явищ". Формальний вираз екзистенціального висловлювання: х - існує; х - не існує.

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

Реляційне висловлювання (лат. - донесення) стверджує або заперечує відношення між одиничними предметами або класами предметів; те саме, що висловлювання про відношення.

Висловлювання, в якому визначається наявність певного відношення між предметами, називається стверджувальним. Наприклад: "Усі метали важчі за води".

Висловлювання, в якому визначається відсутність певного відношення між суб'єктами, називається заперечним ("Між державами X і У немає добросусідства").

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

Логічна характеристика атрибутивного висловлювання.

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

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

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

Структура атрибутивного висловлювання. Атрибутивне висловлювання складається з таких структурних частин: суб'єкта, предиката і зв'язки.

Суб'єкт (лат. subjectum - - підкладене) - частина висловлювання, яка виражає предмет міркувань і позначається символом S.

Предикат (лат. praedicatum - сказане) - частина висловлювання, що означає властивість (атрибут), притаманну суб'єктові (предмету міркувань), і позначається символом Р.

Зв'язка (лат. copula) встановлює відношення між суб'єктом (S) і предикатом (Р) унаслідок ствердження наявності певної властивості Р (атрибута) у предмета міркувань або заперечення цієї властивості. Зв'язка в атрибутивному висловлюванні може бути виражена явно або неявно. У природній мові явно виражена зв'язка виражається словами "є", "суть" або "не є", "не суть", а неявно виражена зв'язка визначається за змістом висловлювання.

Суб'єкт і предикат, які за допомогою зв'язки створюють атрибутивне висловлювання, називаються термінами. Символічно структура атрибутивного висловлювання має такий вид: S є Р; S не є Р. Наприклад, у висловлюванні "Земля є живою планетою" суб'єкт (S) - це термін "Земля", предикат (Р) - термін, що виражає властивість "жива планета", зв'язка - "є". Структура: S є Р.

Види атрибутивних висловлювань.

Атрибутивні висловлювання поділяють на види за якістю та кількістю. За якістю розрізняють стверджувальне та заперечне висловлювання.

Стверджувальне висловлювання має логічну форму S є Р, а заперечне - логічну форму S не є Р.

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

Загальне висловлювання - це висловлювання, в якому властивість Р приписується всім елементам певного класу чи заперечується в них. У традиційній логіці зображається формулою "Усі S є Р" або "Жодне S не є Р". Наприклад: "Усі держави мають свої символи державності"; "Жодне істинне висловлювання не є хибним".

Часткове висловлювання - висловлювання, в якому певна властивість Р приписується декотрим елементам певного класу (підкласу) або заперечується у них: "Деякі автори публікують свої твори під псевдонімом"; "Деякі люди не займаються спортом". У традиційній логіці зображається формулою: "Деякі S є Р" або "Деякі S не є Р".

Одиничне висловлювання - висловлювання, в якому властивість Р приписується елементові певного класу або заперечується у нього: "Юпітер - найбільша за розміром планета Сонячної системи"; "Ньютон не вигадував гіпотез" ("Гіпотез не вигадую", - писав Ньютон); "Ж. Ламарк - автор терміну "біологія". У традиційній логіці зображається формулою: "Цей S є Р" або "Цей S не є Р".

У сучасній символічній логіці кількість атрибутивного висловлювання позначається квантором (лат. quantum - скільки). Природною мовою квантор виражається словами "всі", "жодний", "деякі", "лише один", "існує". Ці слова вказують, якій кількості предметів, що належать до певного класу (класу загалом, підкласу або елементові класу) притаманна властивість Р.

Загальне висловлювання, в якому є слова "всі", "жодне", виражається квантором загальності й позначається символом V. Формальний вираз загального висловлювання з квантором "усі" VxP(x).

Часткове висловлювання, що містить слово "деякі", виражається квантором існування та позначається символом 3. Формальний вираз часткового висловлювання з квантором "деякі" ЗхР(х).

Поділ атрибутивних висловлювань за якістю та кількістю разом:

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

Загальностверджувальне висловлювання стверджує притаманність властивості Р усім елементам певного класу. Наприклад: "Усі норми Конституції України є нормами прямої дії". У традиційній логіці загальностверджувальне висловлювання має формальний вираз: "Усі S є Р" і позначається символом А (перша голосна літера латинського слова Affirmo - ствердження).

Загальнозаперечне висловлювання заперечує властивість Р у всіх елементів певного класу: "Жоден студент нашої групи не знає давньогрецької мови". У традиційній логіці зображається формулою: "Жодне S не є Р" і позначається символом Е (перша голосна літера латинського слова Neqo - заперечення).

Частковостверджувальне висловлювання стверджує певну властивість Р у певній кількості елементів певного класу (в підкласу класу А): "Деякі давньогрецькі філософи є учнями Сократа". У традиційній логіці воно має формальний вираз "Деякі S є Р" і позначається символом / (друга голосна літера латинського слова Af firmo - ствердження).

Частковозаперечне висловлювання заперечує певну властивість Р у певній кількості елементів певного класу (підкласу класу А): "Деякі вчені не вигадують гіпотез"; "Деякі мови не важкі для вивчення". У традиційній логіці має формальний вираз "Деякі S не є Р" і позначається символом О (друга голосна літера латинського слова Nego - заперечення).

Розподіленість термінів в атрибутивному висловлюванні - це відношення між термінами - суб'єктом (S) і предикатом (Р) у структурі атрибутивного висловлювання, коли визначається обсяг суб'єкта (S) і предиката (Р). Якщо термін (S або Р) вжито у повному обсязі, то він розподілений і позначається знаком +; якщо термін використано в неповному обсязі, то він нерозподілений і позначається знаком -.