TextBook До логічних форм міркувань належать поняття, висловлювання, умовивід.
3.4.1. Поняття
3.4.2. Висловлювання
Логіка не вивчає слова, а вивчає висловлювання.
Л. Вітгенштайн
У сучасній логіці виокремилися два терміни - "судження" та "висловлювання". Вони позначають особливу форму мислення, на відміну від поняття й умовиводу. В традиційній логіці використовують термін "судження", а в сучасній символічній логіці - "висловлювання" (логіка висловлювань). Надалі будемо оперувати терміном "висловлювання".
Висловлювання - логіко-семантична категорія, що означає форму виразу думок і форму виразу знання, воно має певний зміст і, відповідно, може бути істинним або хибним. Це форма мислення, за допомогою якої дещо стверджується чи заперечується про клас емпіричних або абстрактних об'єктів, виявляється відношення між об'єктами думок, фіксується наявність чи відсутність властивостей у класу предметів або елементів певного класу.
Мовну форму виразу висловлювання становить речення, але не кожне речення виражає висловлювання. До таких речень належать: оголошення, обіцянки, вибачення, клятви, поради, присяги і под.
Головна логічна характеристика висловлювання істинність або хибність (див. 2.5).
Висловлювання як елемент певного міркування має форму ствердження чи заперечення.
Стверджувальне висловлювання дещо стверджує, зокрема існування предметів, явищ, процесів; відбуття певних подій; притаманність певних властивостей певному об'єкту та ін. Наприклад: "Усі люди від природи прагнуть знань" (Арістотель); "Декотрі люди порушують закони суспільного життя".
Заперечне висловлювання дещо заперечує, скажімо, факт існування предметів, явищ, процесів; відбуття певних подій; притаманність певних властивостей певному об'єкту і под.: "Химери не існують"; "Деякі речення не виражають висловлювання".
Стверджувальні й заперечні висловлювання називають ще категоричними висловлюваннями (грец. - ствердний, безумовний).
Усі висловлювання, які є об'єктом логічного аналізу, поділяють на такі види: прості й складні; висловлювання про відношення; модальні висловлювання; запитання та відповіді.
Просте висловлювання
Просте висловлювання - це висловлювання, що не містить інших висловлювань. У сучасній логіці отримали назву атомарних висловлювань. Просте висловлювання поділяється на атрибутивне, екзистенціальне, реляційне.
Атрибутивне висловлювання (лат. - властивість, ознака) - висловлювання, в якому та чи інша властивість приписується певному класу предметів, підкласу, окремим елементам класу або заперечується у них: "Усі товари мають свою вартість"; "Декотрі студенти не вивчають математику".
Екзистенціальне висловлювання (лат. - існування) дещо стверджує стосовно існування певних об'єктів або заперечує їх існування: "Органічне життя на Землі існує"; "Не існує безпричинних явищ". Формальний вираз екзистенціального висловлювання: х - існує; х - не існує.
Екзистенціальні висловлювання є об'єктом дослідження особливого напряму сучасних логічних досліджень, який отримав назву логіки існування (див. 4.3.3).
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.В.Карамишева на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „3.4. Логічні форми міркувань та операції над ними“ на сторінці 1. Приємного читання.