Тема 3: Семіотика як наука про знаки. Мова як знакова система. 1. Семіотика як наука про знаки

1. Семіотика як наука про знаки

2. Поняття про знак. Види позамовних знаків

3. Мовні знаки. Мова як знакова система.

4. Структура знакового процесу. Структура значення знака. Типові логічні помилки.

5. Виміри і рівні знакового процесу.

6. Мова права

Семіотика — це наука, яка вивчає знаки і знакові процеси.

Семіотика — молода наукова дисципліна. Вона сформувалася лише у XX ст., хоча знакові підходи до вивчення певних явищ і процесів можна зустріти вже в творах античних та середньовічних вчених. Засновниками цієї науки є швейцарський лінгвіст Фердинанд де Соссюр (1857—1913) та американські філософи Чарльз Пірс (1839—1914) і Чарльз Морріс (1901—1978). Фердинад де Соссюр спробував розглянути природні мови як знакові системи у рамках нової наукової дисципліни, яку назвав «семіологією”. Чарльз Пірс вніс до наукового співтовариства власне термін «семіотика”. Чарльз Морріс у 1938 р. видав працю «Основи теорії знаків», що стала першим систематичним викладом семіотики як науки.

Семіотика на сучасному етапі її розвитку — це міждисциплінарна наука. Вона не має чітко окресленого предмета дослідження. Будь-яке явище або процес, що розглядаються з точки зору їх знакового втілення, можуть стати предметом аналізу цієї наукової дисципліни.

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

Дескриптивна семіотика — це семіотика, яка вивчає конкретні знакові системи.

Окрім дескриптивної, науковці також виділяють теоретичну семіотику.

Теоретична семіотика — це семіотика, яка вивчає загальні властивості та відношення, що притаманні будь-яким знаковим системам, незалежно від їх матеріального втілення.

Теоретичну семіотику цікавлять насамперед загальні принципи побудови будь-яких знакових систем, а також загальні принципи щодо їх виникнення і функціонування.

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

2. Поняття про знак. Види позамовних знаків

Основним терміном у семіотиці є "знак". Будь-яке міркування можна представити як ланцюжок знаків. Що ж таке знак?

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

Знак представляє не тільки об'єкт (предмет, явище, процес, дію, подію), але й окремі властивості об'єктів і відношення між ними.

У семіотиці всі знаки поділяють на мовні та позамовні.

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

- знаки-копії (іконічні знаки),

- знаки-ознаки (знаки-прикмети, знаки-індекси),

- знаки-символи.

Знаки-копії (іконічні знаки) — це знаки, значення яких повністю визначається тим предметом, якому вони відповідають.

Знаки-копії об'єднуються за принципом схожості, подібності предмета та його позначення.

Прикладами іконічних знаків можуть бути фотографії, картини, відбитки пальців, відображення у дзеркалі, копії документів тощо.

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

Прикладом таких знаків можуть бути займенники, деякі прислівники (тут, зараз, завтра), положення флюгера, сліди на снігу. Дим — знак вогню, розбитий автомобіль — знак транспортної аварії на дорозі, крадіжка автомобіля — знак злочину, безпідставне звільнення людини "х" з роботи — знак правопорушення тощо.

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

Знаки-символи — це щось конкретне (предмет, образ), те, що має свій особистий зміст і, разом з тим, відображає дещо загальне, абстрактне (поняття, ідею, гіпотезу, концепцію). "Чистий" знак відрізняється від знака символа тим, що перший просто позначає об'єкт, проте сам не має особистого змісту, не несе якоїсь додаткової смислової інформації, що її можна інтерпретувати, тоді як знак-символ узагальнено, абстрактно відображає предмети та їхні властивості, а також явище через свій особистий зміст, і встановлює певні відношення схожості, подібності між різними предметами та явищами. Наприклад, знаки-символи української культури — Т.Шевченко, Л.Українка, червона калина, вишита сорочка, писанка, танець "Гопак", бандура та ін; знаки-символи Української держави — жовто-блакитний Державний прапор, Державний герб, Державний гімн, опис яких дається у ст. 20 Конституції України.

У мистецтві той чи інший образ реальних живих істот або вигаданих об'єктів часто постає як знак-символ абстрактних властивостей — розуму, таланту, сміливості, мужності, хитрощів, скупості і т.д. Наприклад, Шерлок Холмс — символ славетного слідчого (детектива), носія високого рівня логічного мислення.

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

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

У правовій діяльності також широко використовують знаки-символи. Наприклад, знаки-символи судової влади в Україні: в залі засідань вміщені зображення Державного герба України та Державний прапор України. До символів судової влади відносяться також суддівські посвідчення, нагрудні знаки і мантія, зразки яких затверджуються Верховною Радою України.

Прикладом таких знаків може бути також більшість слів природної мови, дорожні знаки тощо.

3. Мова як знакова система. Мовні знаки.

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

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

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

З мовних знаків будуються слова, які об'єднуються в речення.

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

Усі мови поділяються на природні (розмовні) та штучні (формалізовані).

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

У природній мові розрізняють алфавіт і граматику.

Алфавіт — це сукупність знаків (букв), з яких будують слова, а зі слів утворюють речення.

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

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

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

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

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

4. Структура знакового процесу. Структура значення знака. Типові логічні помилки

Процес, в якому щось функціонує як знак, називається знаковим процесом або семіозисом.

Цей процес (згідно з традицією, що сягає часів Стародавньої Греції) розглядається з точки зору чотирьох його основних компонентів. Серед них:

1. знаковий засіб (те, що виступає знаком);

2. значення (те, на що вказує знак);

3. інтерпретатор (той, хто сприймає знак);

4. інтерпретанта (дія, поведінка, реакція того, хто сприймає знак).

Зазначені компоненти прояснюють загальну тезу: «знак вказує на щось для когось».

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

З'ясуємо основні компоненти цієї знакової ситуації:

1. знаковий засіб — текст лекції;

2. значення — зміст лекції;

3. інтерпретатор — студенти, присутні на лекції;

4. інтерпретанта — поведінка студентів на лекції (слухають, конспектують, задають запитання тощо).

Основним компонентом знакового процесу є знак. Кожний знак має значення, тобто щось позначає. Розрізняють два основних типи значення знака:

1. предметне значення;

2. смислове значення.

Предметне значення (денотат) знака — це предмет, що позначається цим знаком.

Предметні значення різноманітні: це можуть бути окремі предмети і класи предметів, явища, процеси, властивості предметів та відношення між ними тощо.

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

Розглянемо мовний вислів (знак) «Аристотель». Предметним значенням цього знака буде виступати сама людина, яку звали «Аристотель», а смисловим значенням у різних знакових ситуаціях можуть бути ті чи інші властивості цієї людини: «засновник логіки», «вчитель Олександра Македонського* тощо.

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

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

Така ситуація обумовлена тим, що у процесах мислення і спілкування люди застосовують мовні вислови (знаки), які є:

1. багатозначними;

2. неточними;

3. неясними.

Багатозначний мовний вислів — це вислів, який може мати різні предметні і смислові значення.

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

Відкрийте будь-який тлумачний словник — і ви побачите, що слова, які широко розповсюджені в українській мові, мають не одне, а кілька значень. Так, наприклад, слово «новий» може означати «сучасний», або «наступний», або «невідомий» тощо. Коли щось називають новим, то одразу навряд чи буде зрозуміло, про що йдеться: про нову традицію, яка щось заперечує, або лише про новий етап, який є розвитком попереднього. Така багатозначність слова «новий» може спричинити серйозні помилки і непорозуміння.

Як приклад наведемо міркування, за допомогою якого людина з новатора перетворюється на консерватора: «Він підтримує усе нове. Однак, як відомо, нове — це забуте старе. Отже, він підтримує усе старе, що було забуте».

Багатозначність — це характерна риса будь-якої природної мови. Сама по собі вона не є недоліком, однак неуважне ставлення до цього явища може призвести до логічної помилки.

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

Логічна помилка «еквівокація» наявна, наприклад, у такому міркуванні: «Рух вічний; ходіння до університету — рух; отже, ходіння до університету вічне».

Тут багатозначним є слово «рух». У першому засновку міркування цей термін застосовується як філософська категорія, а у другому — як позначення певних фізичних дій людини.

Відомі софізми «Рогатий» і «Протагор і Еватл», які наводилися у першому розділі, також побудовані з порушенням саме правила однозначності. В них допускаються логічної помилки «еквівокація». Спробуйте з'ясувати самостійно, у чому вона полягає.

Зверніть увагу на те, що багатозначними можуть бути не тільки окремі слова, а й цілі речення.

Історик Геродот розповідає, як лідійський цар Крез запитував божество у Дельфах, чи треба йому розпочинати війну з Персією. На це він отримав таку відповідь: «Якщо цар піде війною на Персію, то знищить велике царство». Коли розгромлений Крез, який потрапив у полон, зауважив дельфійським жерцям, що вони сказали неправду, ті у відповідь заявили, що у війні дійсно знищене велике царство, але не Персидське, а Лідійське.

Неточний мовний вислів — це вислів, предметне значення якого не можна чітко визначити.

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

Прикладами неточних мовних знаків можуть бути такі вислови: «молода людина*, «висока людина*, «низька людина* тощо. Ще з часів Стародавньої Греції відомі парадокси, які ґрунтувалися на використанні в міркуваннях неточних слів і словосполучень. Розглянемо два таких парадокси.

Парадокс «Лисий»: якщо з голови, що густо вкрита волоссям, виривати по одній волосині, то врешті-решт волосся залишиться так мало, що людину можна буде назвати лисою. Але яка саме волосина буде «вирішальною» у цьому відношенні? Як і коли можливо встановити ту межу (ту конкретну волосину), коли людина ще не була лисою і коли (після її видалення) з'являється лисина (людину вважають лисою)?

Парадокс «Купа»: одне зерно — це не купа зерна. Два зерна також ще не купа і т.д. Яка ж зернина виявиться «вирішальною» для купи? Яка кількість зерна є необхідною для створення купи?

Неясний мовний вислів — це вислів, смислове значення якого неможливо чітко визначити.

Термін «жива істота» є точним, бо будь-хто може без особливих зусиль встановити його предметне значення, а саме — чітко визначити, чи є деякий об'єкт живим, чи ні. Однак смисл цього вислову не є цілком зрозумілим. Тому невипадково існує ціла низка визначень життя, жодне з яких не вважається бездоганним.

Термін «людина» так само, як і термін «жива істота» є точним, але неясним. Протягом історії людства з ним пов'язувалися різноманітні смислові значення. Давньогрецький філософ Платон визначав людину як «двоногу істоту, яка не має пір'я”. Інший філософ Діоген обскубав курча і кинув його до ніг Платона зі словами: «Ось твоя людина». Після цього Платон уточнив своє визначення: «Людина — це двонога істота, яка не має пір'я і має широкі нігті”. Ще один філософ охарактеризував людину як «істоту, яка має м'яку мочку вуха». Визначення Аристотеля: «людина — це політична тварина». Подібні дефініції можна продовжувати.

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

Прикладом неточного і неясного вислову є слово «гра». Його смисл позбавлений визначеності, оскільки важко сказати, чи кожна гра має правила, чи в кожній грі є переможці та переможені тощо. Водночас важко встановити і предметне значення цього вислову. Якщо брати до уваги лише діяльність людини, то тоді грою вважають спортивні ігри, дитячі ігри, працю акторів тощо.

5. Виміри і рівні знакового процесу

Відповідно до трьох зафіксованих компонентів знакового процесу (знак, значення, інтерпретатор) можна виділити низку відношень:

1. відношення між знаком та іншими знаками, які з ним пов'язані;

2. відношення між знаком і його значенням;

3. відношення між знаком і його інтерпретатором.

Ці три види відношень між компонентам знакового процесу фіксують відповідно три його виміри:

1. синтаксичний;

2. семантичний;

3. прагматичний.

Синтаксичний вимір — це вимір, який фіксує відношення між знаками в структурі знакового процесу.

Семантичний вимір — це вимір, який фіксує відношення між знаком та його значенням в структурі знакового процесу.

Прагматичний вимір — це вимір, який фіксує відношення між знаком та його інтерпретатором в структурі знакового процесу.

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

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

1. синтактику;

Синтаксис вивчає систему відношень між знаками всередині певної мови, виявляє різні зв'язки між словами і реченнями, що утворюють певну мовну систему.

2. семантику;

3. прагматику.

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

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

Відповідно, в семантиці розрізняють, теорію смислу і теорію реферації (позначення).

Основні семантичні категорії: висловлювання, ім'я, смисл, значення, реферація. Дамо їм загальну характеристику.

Висловлювання — це граматично правильно побудоване речення, яке має певний смисл.

Складовою частиною висловлювань є імена.

Ім’я — це слово або словосполучення, яке позначає будь-який предмет (об'єкт) або властивість предмета.

Імена бувають

1. одиничні або власні (Сократ, Шевченко, Юстініан),

2. загальні (людина, юрист, право),

3. конкретні (книга, автомобіль, злочинець),

4. абстрактні (доброта, дієздатність, законність),

5. нульові (Кентавр, Зевс, Перун).

Слово "термін" (гр. - межа, кінець, границя) має два значення:

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

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

До дескриптивних термінів належать:

а) вирази, які називають або позначають емпіричний та абстрактний об'єкт. Вони мають назву "терм". Терм— це одиничні (власні) імена і загальні імена;

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

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

Слово "смисл" вживають у таких значеннях:

1) В повсякденній мові як синонім слова "значення".

2) Як зміст мовного виразу.

3) Як думка, що виражена в словах і словосполученнях.

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

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

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

Предметне значення імені ( мовного виразу, мовних знаків) — це предмет (об’єкт), який позначається даним іменем. Для позначення окремих предметів або сукупності предметів, тобто класу, до яких застосовується мовний знак (ім'я), введено термін "денотат". Денотат — предмет або клас предметів, який позначається особистим або загальним іменем у певній мовній (семантичній) системі, або, інакше, предметне значення імені (слова), або об'єкт позначення. Наприклад, слово "Київ" є особисте ім'я, яке позначає столицю України, а саме місто Київ є денотат, тобто реально існуючий предмет, який позначають особистим іменем "Київ".

Німецький логік і математик Г.Фреге (1848-1925) розробив концепцію смислу і значення, згідно з якою предмет, який носить дане ім'я, — це предметне значення даного імені, а зміст імені — це його смисл, тобто за Фреге, смисл — це спосіб, ягоїм мовний знак (ім'я) позначає предмет.

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

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

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

Для референції (вказівки, назви, позначення) окремого предмета з метою виділення його з певного класу використовують такі способи:

а) називають особисте (власне) ім'я предмета;

б) дають теоретичний опис предмета, як носія певних специфічних властивостей та ознак, без вказівки особистого імені. Такий спосіб називають дескрипцією (лат, - опис). Автором теорії дескрипції є філософ, логік, математик Б.Рассел (1872-1970). Наведемо приклади дескрипцій, які вказують на предмет: "автор Кобзаря", "засновник науки логіки", "римський юрист", "Кримінальний кодекс України". Усі дескрипції поділяються на визначені, тобто такі, що вказують на конкретний предмет ("перший президент України", "автор першої кодифікації права"), і невизначені, які вказують на будь-який елемент з певного класу ("якась книга", "український юрист", "працівник органів внутрішніх справ"). Для дескрипції предметів використовується висловлювання з операторами (знаками) дескрипції: "існує "х" ...", "такий "х" .., що ..."; "той "х", якому притаманна властивість Р" та ін. Символічне позначення оператора (знака) дескрипції — "ІхР/х/", де "І" - позначає дескрипцію, "х" - предметна змінна (предмет думки), "Р" - властивість (предикат), яка приписується предмету думки.

У логічній семіотиці відповідно виділяють:

♦ логічний синтаксис;

♦ логічну семантику;

♦ логічну прагматику.

Логічний синтаксис — це розділ логічної семіотики, який вивчає відношення між мовними знаками в структурі логічної теорії.

Логічна семантика — це розділ логічної семіотики, який вивчає відношення між мовними знаками та їх значеннями в структурі логічної теорії.

Логічна прагматика — це розділ логічної семіотики, який вивчає відношення між мовними знаками та носіями мови в структурі логічної теорії.

Зверніть увагу на те, що треба розрізняти поняття: «семантичне значення знака» і «прагматичне значення знака».

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

♦ У кримінології навіть були сформульовані прагматичні парадокси, які пов'язані саме з прагматичним значенням того чи іншого вислову. Одним із таких парадоксів є парадокс суспільної небезпечності діяння.

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

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

Логічна семантика", логічний синтаксис", "логічна прагматика" є розділами металогіки, яка вивчає логічні числення і формалізовані логічні теорії. Металогіка (метатеорія) здійснює рефлексивний аналіз логічних теорій (формальних систем знання), створюючи для цього спеціальну систему понять — "метасимвол", "метатермін", "метависловлювання", "метаформула" та ін.

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

Для розрізнення рівнів аналізу знакового процесу в логіці запроваджуються два поняття:

♦ об'єктна мова;

♦ метамова.

Об'єктна мова — це мова, за допомогою якої фіксується, описується окрема предметна (позамовна) дійсність.

Метамова — це мова, засобами якої описуються і досліджуються властивості та відношення об'єктної мови.

Отже, якщо об'єктна мова — це предмет аналізу, то метамова — засіб такого аналізу.

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

Парадокс — це міркування, яке приводить до двох протилежних висновків. Існує такий варіант парадоксів, коли міркування, що здається правильним, приводить до висновку, який суперечить життєвому досвіду і загальновизнаним істинам.

У логіці королем парадоксів вважається парадокс «Брехун» Його відкриття пов'язують з ім'ям давньогрецького філософа (мегарської школи) Евбуліда (IV ст. до н. є).

Існують різні варіанти формулювання цього парадокса. Наведемо один із найпростіших. Уявимо ситуацію, коли якась людина виголошує лише одну фразу. Одразу ж виникає проблема: як оцінити цю фразу, тобто, яку відповідь давати на запитання: «Чи є висловлювання цієї людини «Я кажу неправду» істинним, чи воно є хибним?» Якщо це висловлювання («Я кажу неправду») є хибним, тоді людина говорить правду і, відповідно, її висловлювання є істинним. Якщо ж це висловлювання («Я кажу неправду») є істинним, а той, хто виголошує його, стверджує, що воно хибне, тоді його висловлювання є хибним.

Отже, виявляється, якщо людина (стверджуючи «Я кажу неправду») говорить неправду, то вона говорить правду, і навпаки, якщо вона говорить правду, то вона говорить неправду.

Один із засобів усунення цього парадокса був запропонований польським логіком і математиком Альфредом Тарським (1902—1984). Він вважав, що цей парадокс є характерним прикладом тих труднощів, які виникають при змішуванні двох мов: об'єктної мови та метамови. У природній мові між ними різниці не існує: і про позамовну дійсність, і про висловлювання, що описують цю дійсність, ми говоримо, використовуючи одну і ту ж природну мову. Для людини, яка користується, наприклад, українською мовою, не існує великої різниці між такими двома висловлюваннями:

«Ця людина склала іспит з логіки»;

«Вірно, що ця людина склала іспит з логіки».

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

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

Отже, якщо ми хочемо сказати, що означає зворот «висловлювання, яке є істинним (хибним) у деякій мові», то, крім висловів цієї мови, необхідно користуватися також висловами, які в ній відсутні. Терміни «істинно» і „хибно» виражають не властивості речей, а властивості висловлювань щодо цих речей, і тому ці терміни є термінами не об'єктної мови, а метамови.

Якщо вас не задовольнило рішення А. Тарського, подумайте самостійно над цим парадоксом і запропонуйте власне рішення.

6. Мова права

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

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

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

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

Наведемо декілька прикладів.

У сучасній літературі з порівняльного правознавства щодо терміна «загальне право» зазначається: термін «загальне право», як зараз з'ясовується, неоднозначний. Часто під цим терміном розуміють право англо-американської правової сім'ї в цілому. Окрім того, цей термін охоче протиставляють терміну «цивільне право*, під яким розуміють правову систему країн континентальної Європи, що знаходиться під сильним впливом джерел римського права, і споріднені правові системи. Під «загальним правом» у вузькому значенні цього слова розуміють лише право англійських королівських судів. Його слід відрізняти, з одного боку, від «статутного» права, що формується законодавчими актами англійського парламенту, а з іншого боку — від права справедливості».1

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

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

Прихильники іншої точки зору вважають, що термін «склад злочину» позначає соціально-правове явище, факт реального життя.

Ще за однією точкою зору цей вислів позначає суто теоретичну конструкцію, наукову абстракцію, яку майже кожен автор, котрий торкається проблеми складу злочину, розуміє і тлумачить по-своєму.2

У кримінально-правовій літературі термін «кваліфікація* може набувати різноманітних смислових значень. Він застосовується: «1) як одноразова правова оцінка вчиненого, що полягає у виборі відповідної норми і фіксації прийнятого рішення в офіційному юридичному акті (судових, слідчих і прокурорських органів); 2) як процес, спрямований на встановлення юридичної природи скоєного злочину.

Кваліфікацію можна визначити також інакше — як встановлення ознак складу злочину, передбаченого кримінальним законом, у дії (бездіяльності) особи і констатацію тотожності ознак скоєного діяння складу відповідного злочину»}

Наявність в мові права багатозначних, нечітких і неясних термінів не можна однозначно вважати її недоліком. Право — це не стала наука, а наука, що розвивається. її розвиток може супроводжуватися невизначеністю термінології. Однак, застосовуючи подібні терміни у процесах дискусій, суперечок, у науковій діяльності, юрист повинен враховувати їхню невизначеність і оговорювати значення, в якому він їх застосовує, для того, щоб запобігти критичних зауважень або непорозумінь.

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

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

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

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

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

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

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

Логічний аналіз мови права передбачає визначення:

а) структурних рівнів мови;

б) її специфіки як засобу виразу думок і засобу передачі інформації;

в) її можливостей для створення певних знаково-символічних моделей в різних галузях права.

Мова права або юридична мова з точки зору логіки розрізняється за такими характеристиками:

— теоретична мова (мова юридичних теорій, мова юридичних законів);

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

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

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

ОСНОВНІ ТЕРМІНИ:

♦ знак

♦ види знаків: іконічні знаки, знаки-символи, знаки індекси

♦ семіотика

♦ дескриптивна семіотика

♦ теоретична семіотика

♦ логічна семіотика

♦ знаковий процес

♦ структура знакового процесу: знаковий засіб, значення, інтерпретатор, інтерпретанта

♦ структура значення знака: предметне значення, смислове значення

♦ виміри знакового процесу: синтаксичний, семантичний, прагматичний

♦ розділи семіотики: синтактика, семантика, прагматика

♦ розділи логічної семіотики: логічний синтаксис, логічна семантика, логічна прагматика

♦ рівні знакового процесу

♦ об'єктна мова

♦ метамова

Розділ III. МЕТОДОЛОГІЧНА ФУНКЦІЯ ФОРМАЛЬНОЇ ЛОГІКИ 1. Метод і методологія.

1. Метод і методологія.

2. Логічні методи дослідження (пізнання).

3. Метод формалізації

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

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

Без методу як "зброї", засобу, прийому людина не може здійснювати практичну і теоретичну діяльність. Навчаючись у вузі, студент спочатку теоретично, а потім практично оволодіває різними методами, за допомогою яких він здійснюватиме свою професійну діяльність.

Методологія — це: а) сукупність методів (прийомів, способів), які використовуються в теоретичній і практичній діяльності людей для реалізації поставленої мети; б) вчення (теорія) про методи наукового пізнання і практичного перетворення дійсності.

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

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

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

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

До часткових методів відносяться методи, які розробляються в окремих науках для дослідження специфічних предметів, явищ і процесів. їх називають конкретно-науковими методами.

Методи юридичних наук (методи правового пізнання) визначаються специфікою предмету юридичної науки.

Юридична наука — система знань про об'єктивні закономірності виникнення, розвитку і функціонування держави і права. Залежно від того, які сторони й форми діяльності держави і права вивчаються, розрізняють загальнотеоретичні та історико-юридичні, галузеві, міжгалузеві, спеціальні, прикладні та міжнародно-правові юридичні науки. Методи, які використовуються в науково-правовому пізнанні, можна поділити на всезагальні, загальні, часткові (специфічні).

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

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

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

2. Логічні методи дослідження (пізнання)

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

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

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

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

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

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

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

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

а) логіка як наука абстрагується від індивідуальних особливостей

мислення конкретної людини і вивчає інваріанти мислення, тобто те загальне, що притаманне всім суб'єктам мислення, а саме — структуру мислення і закони, яким підпорядковується їх мислення;

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

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

Ідеалізація (гр. - ідея, поняття) — один з видів абстрагування, в результаті якого створюються поняття ідеалізованих (ідеальних) об'єктів. Такі поняття відрізняються від інших тим, що в них відображаються поряд з ознаками, притаманними реальним предметам, ознаки, які значно відходять від реальних властивостей і в чистому вигляді цілком відсутні у досліджуваних предметів. Метод ідеалізації використовується в усіх сучасних науках для створення об'єктів теорії, за допомогою яких будуються міркування та висновки щодо реально існуючих предметів. Термін "ідеалізація" також вживають у двох значеннях: як процес і як результат. Під ідеалізацією у першому значенні розуміють уявний процес створення ідеалізованих об'єктів теорії та формування ідеалізованих допущень (умов), за яких ці об'єкти допоможуть описати і пояснити реально існуючі предмети. Результатом процесу ідеалізації є ідеалізовані об'єкти (поняття і закони). їх ще називають логічними конструктами. Прикладом ідеалізованого об'єкта у правових науках є поняття "правова держава". Юристи визначають, що поняття "правова держава" дає можливість будувати міркування і висновки відносно реально існуючих держав за ознаками, які притаманні "правовій державі". Головні ознаки правової держави: а) закріплення в конституційному та інших законах основних прав людини; б) панування у суспільному і державному житті законів; в) юридична захищеність особи та ін.

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

Дедукція та індукція як логічні методи пізнання використовуються у процесі пошуку виводу з вихідних даних (засновників). У цьому значенні дедукцію та індукцію можна розглядати як методи, які забезпечують пошук необхідного матеріалу для узагальнення і одержання нових висновків. Методи дедукції та індукції органічно взаємопов'язані. Дедукція використовується для виведення із таких вихідних висновків, які існують у формі теоретичного закону, ідеї, принципу та ін. Дедукція в даному випадку пов'язана з побудовою ідеалізованих об'єктів науки, а індукція використовується як метод узагальнення емпіричних закономірностей. Знання, здобуте методом індукції, в мисленні вченого є передумовою для побудови нового "демонстративного" знання, яке, в свою чергу, стає основою обґрунтування часткових істин на теоретичному рівні мислення. (Детальний аналіз дедукції та індукції як логічних форм мислення і методів пізнання буде поданий у розділі 5).

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

Екстраполяція (лат. - префікс "над...", "зверх.", робити гладким, обробляти) є різновидом індукції, аналогії та узагальнення в їх взаємозв'язку і широко використовується в усіх науках. Сутність цього методу, за Д.П.Горським, полягає у поширенні: а) якісних характеристик з однієї предметної галузі на іншу, з минулого і сучасного на майбутнє; б) кількісних характеристик однієї галузі предметів на іншу, одного агрегату на інший на підставі спеціально розроблених для цієї мети методів; в) деякого рівняння на інші предметні галузі у межах однієї науки або на інші галузі знання, що пов'язане з їх певною модифікацією (метод математичної індукції).1

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

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

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

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

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

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

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

У правовій діяльності гіпотеза використовується як метод наукового дослідження і як метод криміналістичного розслідування.(Більш детально про логіку побудови і перевірки версій йдеться у розділі 8).

3. Метод формалізації

Як зазначалося вище, всі логічні методи поділяються на методи дослідження та методи знаково-символічного зображення структури мислення і знання. Що ж собою представляє друга група методів, які ще прийнято називати методами формалізації?

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

Виділяють такі види наукової формалізації: дескриптивна, математична, логічна.

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

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

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

Формально-логічних систем або логік, або логічних теорій (термін "логіка" береться в даному випадку в специфічному значенні, як знакова модель), історично побудовано багато. Перша формально-логічна система (теорія) була створена Арістотелем. Вона отримала назву силогістики. Історичне значення силогістики Арістотеля (логічної теорії) полягає в тому, що в її межах був вперше розроблений сам метод логічної формалізації. Арістотель досліджував структуру мислення. Для аналізу структури мислення та їх зображення Арістотель використовував дескриптивну (описову) формалізацію, тобто використовував слова (терміни) природної мови і вводив елементи штучної символіки (зокрема, змінні "А", "В", "М", "О" та ін., для позначення дескриптивних термінів, символи "S" і "Р" для позначення "суб'єкта" і "предиката"). Такий метод отримав назву часткової формалізації, а сама логічна теорія Арістотеля — полуформальної системи.

Формально-логічна теорія, що отримала назву символічної (математичної) логіки, була створена логіками і математиками у середині XIX ст.

Символічна логіка для аналізу структури мислення та її зображення використовує лише штучні знаки і символи, тобто особливу формалізовану мову, яка отримала назву мови логіки. Такий метод формалізації отримав назву повної формалізації, а сама логічна теорія — формальної системи.

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

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

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

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

Розглянемо особливості перетворення (трансформації) формально- алогічної теорії в метод практичного мислення.

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

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

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

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

На підставі законів у теоретичній логіці формулюються правила логічного мислення. Правила логічного мислення встановлють умови, яких необхідно дотримуватися, коли людина виконує інтелектуальні (розумові) дії, тобто логічні операції з об'єктами мислення — поняттями, висловлюваннями, що виражені в знаково-символічній формі. До правил логічного мислення відносяться: правила здійснення логічних операцій над поняттями, над висловлюваннями; правила побудови умовиводів; правила доведення і спростування.

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

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

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

— дотримуватись у своєму мисленні законів логіки;

— здійснювати інтелектуальні дії (операції) відповідно до правил, які сформульованих у теоретичній логіці;

— виділяти із сукупності ознак і властивостей, притаманних об'єктам думки, суттєві ознаки у процесі пізнання;

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

— аргументувати свої положення (тези) істинними доказами;

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

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

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

Логічний метод як практичний прийом мислення людини означає сукупність дій (операцій), які спрямовані на конкретне виконання законів і правил логіки. В реальному процесі мислення людей логічний метод як практичний прийом виконується, як правило, не чисто формально, а на певному специфічному матеріалі. Відповідно, логічний метод як практичний прийом поділяється на суто логічну (формальну) та змістовну частини. Суто логічна (формальна) частина складається з таких компонентів: формальний вираз прийому (структура прийому), правила використання прийому, логічна (внутрішня) послідовність розумових дій на підставі правил. Змістовна частина прийому означає конкретний матеріал, на якому виконується даний прийом. Особливість формальної частини логічного прийому полягає в тому, що вона є узагальненою, уніфікованою, універсальною, тобто її можна використовувати на будь-якому конкретному матеріалі. Наприклад, одну і ту ж логічну операцію можна робити над юридичними, історичними, лінгвістичними, філософськими та іншими поняттями і висловлюваннями.

Перерахуємо логічні дії, які відносяться до практичних прийомів мислення:

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

б) логічні дії над висловлюваннями: встановлення істинності простих атрибутивних висловлювань за "логічним квадратом", встановлення логічних зв'язків між простими висловлюваннями і створення складних висловлювань за допомогою логічних операцій кон'юнкції, диз'юнкції, імплікації, заперечення, визначення істинності складних висловлювань за допомогою таблиць істинності, логічна операція квантифікації;

в) логічні операції побудови необхідного умовиводу за правилами

логіки висловлювань і логіки предикатів;

г) логічні операції побудови індуктивного умовиводу (теоретичне

узагальнення емпіричних даних або фактів);

д) встановлення відповідності (аналогії) між певними предметами

і явищами (умовивід за аналогією);

є) логічні операції доведення і спростування.

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

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

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

Оскільки під теоретичною логікою розуміють сукупність логічних теорій, то відповідно, кожна логічна теорія має свою особливість і межі практичного використання. Так, загальна, традиційна або арістотелівська логіка "ближче" до природного мислення людини, оскільки вона більш конкретна і враховує зміст висловлювань і тому, відповідно, має широке практичне значення в різних видах професійного мислення науковця, юриста, вчителя, лікаря і т.д. Крім того, на рівні повсякденного, емпіричного мислення, люди спираються, по-перше, на принципи і правила загальної логіки. Так, спираючись на загальну логіку, можна використати її принципи і правила при уточненні термінології, встановленні відношень між поняттями, перевірити логічними засобами істинність і хибність висловлювань при побудові умовиводів, доведенні і спростуванні, аналізі текстів, а також у наукових, філософських, політичних, юридичних, парламентських суперечках.

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

Іншою предметною сферою є техніка (яскравим прикладом практичного використання класичної символічної логіки є логічний аналіз роботи електричних схем з контактами) і, особливо, робота комп'ютера. Дослідники зазначають, що комп'ютер виник на підставі аналогії між логікою числень (математичною або символічною логікою) і роботою електричних мереж. Засобами класичної символічної логіки здійснюється аналіз програм для ЕОМ, для визначення несуперечливості цих програм, побудови мови програмування.

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

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

ОСНОВНІ ФОРМИ І ЗАКОНИ АБСТРАКТНО-ЛОГІЧНОГО МИСЛЕННЯ 1. Загальна характеристика поняття як форми мислення. Структура поняття

І. Поняття

1. Загальна характеристика поняття як форми мислення.

2. Види понять. Логічна характеристика понять.

3. Типи відношень між поняттями.

4. Операції з поняттями:

4.1. Обмеження й узагальнення понять;

4.2. Операція поділу понять. Правила поділу понять;

4.3. Додавання, множення і віднімання понять (точніше — їх обсягів);

4.4 Операція визначення поняття. Правила визначення понять.

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

Різноманітність предметів і явищ об'єктивного світу в сукупності їхніх властивостей, ознак, якостей, а також їхня специфіка відображається у формі понять.

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

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

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

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

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

Поняття — це форма мислення, що відображає предмети та явища об'єктивного світу в їх суттєвих і специфічних ознаках, а також зв'язки і відношення між предметами та явищами.

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

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

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

Структура будь-якого поняття складається з двох основних компонентів: зміст та обсяг.

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

Треба зазначити, що під ознакою розуміють як властивості предметів, так і відношення між ними. З'ясуємо, що являють собою суттєві ознаки предметів.

Усі ознаки в логіці поділяють на: відмітні і невідмітні;

Відмітні ознаки — це ознаки, які притаманні тільки одному предмету й відрізняють його від усіх інших предметів.

Наприклад, відмітною ознакою трикутника є те, що сума його кутів дорівнює 180° градусам.

Невідмітні ознаки — це ознаки, які притаманні не лише предмету, що досліджується, а й іншим предметам.

Наприклад, наявність сторін, кутів буде невідмітною ознакою для трикутника (як для геометричної фігури).

Серед множини відмітних ознак виділяють клас суттєвих ознак.

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

Наприклад, зміст поняття «грабіж» складають такі суттєві ознаки: 1) відкрите; 2) викрадання; 3) чужого майна.

Суттєві ознаки можуть бути: родовими чи видовими.

Родові суттєві ознаки — це ознаки такого класу предметів, у якому виділяється певний підклас.

Видові суттєві ознаки — це ознаки, на підставі яких виділяють підкласи в межах класу.

Наприклад, родовою суттєвою ознакою поняття «студент” буде «людина, що навчається», а видовою суттєвою ознакою — «навчатися у вищому навчальному закладі».

Зазначимо, що не всі відмітні ознаки є суттєвими, хоча кожна суттєва ознака є відмітною.

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

Похідними називають ознаки, які зумовлені основними, суттєвими ознаками і які неодмінно притаманні предметам.

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

Другою складовою частиною структури поняття є його обсяг.

Обсяг поняття — це клас предметів, які виділяються і узагальнюються в понятті. Кожному з цих предметів притаманні ознаки, що складають зміст поняття.

Наприклад, обсягом поняття «крадіжка» є всі злочини, яким притаманні суттєві ознаки цього поняття: 1) таємне; 2) викрадання; 3) чужого майна.

Предмети, що входять до обсягу поняття, називаються елементами обсягу поняття.

Предмет, сутність якого являє собою сукупність певних ознак символічно (формально) можна позначити так: А (а, б, в, г, д,.. п], де "А" - певний предмет чи множина предметів, "а, б, в, г, д,.. п" сукупність ознак.

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

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

Наприклад, «Київ» є елементом обсягу поняття «місто»;«Київський національний університет імені Тараса Шевченка»є елементом обсягу поняття «університет».

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

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

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

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

Розглянемо, наприклад, поняття «конституція». Його змістом будуть виступати такі ознаки: «бути І) основним; 2) законом держави», оскільки саме ці ознаки є суттєвими для множини предметів, що є конституціями.

Обсягом цього поняття буде клас всіх конституцій.

Елементами обсягу будуть конституції окремих держав: України, Росії, Франції, Сполучених Штатів Америки тощо.

Частинами обсягу можуть бути конституції європейських країн, країн Північної Америки, Азії тощо. Ці підкласи виділяють на підставі специфічної ознаки, що не входить до змісту поняття «конституція», а саме — ознаки географічного місце розташування держав. Якщо ж ми оберемо іншу специфічну ознаку, наприклад, час прийняття конституції, то отримаємо інший ряд підкласів: конституції, що прийняті у XIX ст., XX ст. тощо.

Прийнято вважати, що відношення між обсягом і змістом поняття регулюється законом, який отримав назву «закон оберненого відношення між обсягом і змістом поняття». Цей закон уперше був сформульований у XVII ст. у логіці Пор-Рояля.

Його сутність така: чим ширший зміст поняття, тим вужчий його обсяг, і навпаки. Точніше, якщо зміст одного поняття є ширшим, ніж зміст іншого поняття, то обсяг першого поняття є вужчим, ніж обсяг другого поняття.

Зазначимо, що в законі оберненого відношення йдеться про відношення між обсягом і змістом таких понять, які мають один і той самий рід.

Проілюструємо дію зазначеного закону. Зміст поняття «студент» визначається ознакою «навчатись у вищому навчальному закладі». Його обсяг складає клас всіх людей, які навчаються у вузах. Збільшимо зміст цього поняття (введемо нову ознаку): «навчатись на юридичному факультеті». Таке збільшення змісту спричинить появу поняття з меншим обсягом («студент-юрист»), оскільки буде матися на увазі лише клас студентів, які навчаються на юридичному факультеті.

2. Види понять. Логічна характеристика понять

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

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

Непорожнє поняття — поняття, в якому мисляться реально існуючі (або ті, що існували) предмети.

Наприклад: «Токіо», «Карфаген», «Ярослав Мудрий», «океан», «слон», «мамонт».

Порожнє поняття — поняття, в якому мисляться предмети, котрих або ще не було й немає, або ніколи не буде.

Наприклад: «людина, яка побувала на Марсі», «лікар, здатний перемогти ракову хворобу на будь-якій стадії її перебігу», «вічний двигун», «античне божество», «абсолютно чорне тіло». Не тільки непорожі, а й порожні поняття поділяють за обсягом і змістом.

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

Загальне поняття — поняття, в якому мислиться два чи більше предметів.

Наприклад: «полюс Землі», «планета Сонячної системи», «елементарна частка», «відьма», «вічний двигун».

Одиничне поняття — поняття, в якому мислиться один-єдиний предмет.

Наприклад: «найдовша на Землі ріка», «Чернівецький державний університет», «найповноводніша ріка на Місяці», «Коростенський державний педагогічний інститут».

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

Збірне поняття — поняття, в якому кожен елемент обсягу є сукупністю відносно самостійних предметів, що мисляться як один предмет («сузір'я», «сузір'я Водолія»; «оркестр двадцять другого століття»). Всі інші належать до незбірних.

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

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

Конкретне поняття — поняття, в якому мисляться ознаки з їх носіями, тобто відповідними предметами.

Абстрактне поняття — поняття, в якому мислиться ознака, ізольована від її носія.

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

Поняття поділяють ще на позитивні й негативні.

Позитивне поняття — поняття, в якому виражається наявність у предмета певних ознак.

Негативне (заперечне) поняття — поняття, й якому виражається відсутність у предмета ознак, що становлять зміст відповідного позитивного поняття.

Прикладами позитивних понять можуть бути «добрий», «красивий», «скупий», а негативних — «недобрий», «некрасивий», «нескупий». Зміст негативного поняття не можна визначити без знання змісту відповідного йому позитивного.

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

Безвідносне поняття — поняття, що відображає предмет, з існуванням якого не пов'язується необхідне існування будь-яких інших предметів.

Співвідносне поняття — поняття, що відображає предмети, існування яких немислиме без існування деяких інших предметів.

Прикладами перших можуть бути «прокурор», «дерево», «прислівник», а других — «мати», «сват», «командир».

3. Типи відношень між поняттями

Порівнянні та непорівнянні поняття. Сумісні та несумісні поняття

У логіці всі поняття за змістом поділяються на: порівнянні і непорівнянні.

Порівнянні поняття — це поняття, які мають спільні родові ознаки.

Наприклад, для понять «троянда» і «тигр» можна встановити спільну родову ознаку: «бути живим створінням». Ці поняття є порівнянними.

Непорівнянні поняття — це поняття, які не мають спільних родових ознак.

Для понять «музика» і «потяг» навряд чи можна знайти спільну родову ознаку. Ці поняття є непорівнянними.

Певні відношення можна встановити лише між порівнянними поняттями.

Порівнянні поняття поділяють на: сумісні і несумісні.

Сумісні поняття — це поняття, які мають спільні елементи обсягу, тобто їх обсяги повністю або частково співпадають.

Несумісні поняття — це поняття, які не мають спільних елементів обсягу, тобто їх обсяги не співпадають.

Відповідно до цього поділу понять у логіці відрізняють типи відношень між сумісними поняттями і типи відношень між несумісними поняттями. Розглянемо їх докладніше.

Типи відношень між сумісними поняттями

Існує три типи відношень між сумісними поняттями:

♦ відношення тотожності;

♦ відношення підпорядкування;

♦ відношення перетину.

1. Відношення тотожності

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

Ще одним прикладом відношення тотожності може служити така пара понять: А — «стаття 186 Кримінального кодексу України» і В — «стаття, що передбачає відповідальність за грабіж».

Зазначимо, що тотожні поняття не слід плутати з абсолютними синонімами, які є різними термінами, що мають однаковий смисл і денотат (наприклад, «мовознавство» і «лінгвістика»; «правознавство» і «юриспруденція»). Абсолютні синоніми фіксують одне й те саме поняття, а для встановлення певних відношень необхідно мати, принаймні, два поняття (а не два різних терміни).

2. Відношення підпорядкування

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

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

Відношення підпорядкування не характеризує поняття, які виражають співвідношення частини й цілого, бо між такими поняттями відсутній родовидовий зв'язок. Наприклад, такі пари понять, як «книга» і «сторінка книги», «район міста» і «місто», «університет* і «юридичний факультет», не знаходяться у відношенні підпорядкування.

Поняття, що перебувають у відношенні підпорядкування, — такі два поняття, обсяг одного з яких повністю входить до обсягу другого, а обсяг другого — лише частково до обсягу першого (схема 4).

Схема 4

У такому відношенні перебувають поняття «поет» і «митець», «нейтрон» і «елементарна частка», «адвокат» і «юрист».

Перші в перелічених парах понять називаються підпорядкованими, а другі — підпорядковуючими. Вони співвідносяться як вид і рід. Це відношення треба відрізняти від іншого відношення — частини і цілого. Так, поняття «хвойний ліс» і «ліс» перебувають у відношенні підпорядкування, а «дерево» і «ліс» — у відношенні частини і цілого. Ці поняття несумісні, оскільки жодне дерево не є лісом, а ліс — деревом.

3. Відношення перетину

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

Наприклад „студент” і „волейболіст”. Графічно відношення цього типу зображається у вигляді кругів, які частково збігаються. Зображене на схемі можна передати такими трьома поняттями: «студент-волейболіст», «студент-неволейболіст» і «волейболіст-нестудент» (схема 3).

Схема З

Типи відношень між несумісними поняттями Існує три типи відношень між несумісними поняттями:

♦ відношення співпідпорядкування;

♦ відношення протилежності;

♦ відношення протиріччя.

1. Відношення співпідпорядкування

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

2. Відношення протилежності Відношення протилежності (контрарності)

Протилежні поняття — порівнянні несумісні поняття, видові ознаки яких взаємно виключаються.

Відношення протилежності існує між поняттями, зміст яких відрізняється найвищою мірою, тобто:

♦ сума обсягів протилежних понять не вичерпує обсягу родового поняття;

♦ обсяги таких понять є двома крайніми видами в множині видів, які виділяються в межах певного роду (певного універсуму) на підставі якоїсь ознаки;

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

Зміст протилежних понять має спільну родову ознаку, тому вони й належать до співпідпорядкованих.

Обсяги двох протилежних понять не вичерпують обсягу родового стосовно них поняття. До обсягу відповідного родового поняття входить ще й обсяг третього, «проміжного». Так, поняття «білий» і «чорний» мають спільну родову ознаку — «бути кольором». А видові ознаки цих понять взаємно виключаються (жоден білий предмет не має ознак чорного). Разом з тим, крім білих і чорних, існують й інші предмети.

3. Відношення протиріччя, Відношення суперечності (контрадикторності)

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

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

Так, наприклад, установимо відношення між такими поняттями: «юрист» (А), «депутат Верховної Ради» (В), «письменник» (С), «адвокат» (Б)

Суперечні поняття — порівнянні несумісні поняття, в одному з яких мисляться предмети з певними ознаками, а в другому — ті предмети відповідної предметної сфери, в яких ці ознаки відсутні, а наявність інших ознак у них не мислиться.

Іншими словами, у відношенні суперечності перебувають позитивне і відповідне йому негативне (заперечне) поняття. На відміну від протилежних два суперечних поняття повністю вичерпують обсяг відповідного родового стосовно них поняття. Суперечні поняття, подібно до протилежних, співпідпорядковані. Вони є результатом дихотомічного поділу, чого не можна сказати про протилежні поняття. Якщо нейтрально співпідпорядкованих понять може бути скільки завгодно, то кількість антагоністично співпідпорядкованих дорівнює двом. Два суперечних поняття вичерпують обсяг відповідного їм родового, а обсяг двох протилежних понять не вичерпує обсягу родового стосовно них поняття. В останньому мислиться ще одна, «проміжна», множина предметів, яка не відображається в жодному з протилежних понять.

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

Схема 6

4. Операції з поняттями 4.1. Обмеження й узагальнення понять

Поняття — це своєрідні «комори знань», які наповнило людство впродовж тисячоліть (і продовжує наповнювати). Слово (ім'я) лише називає відповідний предмет, позначає поняття про нього, проте безпосередньо нічого не говорить про цей предмет, не виражає ні змісту, ні обсягу відповідного поняття. Той, хто знає слова «держава», «характер людини», «атом», не обов'язково має поняття про відповідні феномени. Щоб з'ясувати зміст і обсяг тих чи інших понять, необхідно вдатися до відповідних логічних операцій з ними.

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

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

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

Межею обмеження є одиничне поняття. Так, обмежуючи поняття «держава», зрештою одержують одиничне поняття, наприклад «сучасна українська держава».

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

Так, маючи вихідним поняття «демократична держава» і вилучивши з нього ознаку «демократична», одержимо ширше за обсягом, родове стосовно вихідного поняття держави загалом. Межею узагальнення є гранично широкі за обсягом поняття, які називають категоріями. Кожна наука має свої категорії, тобто найзагальніші в ній поняття. На відміну від інших наук, філософія оперує всезагальними поняттями. Так, у філософській категорії «форма» відображається відповідна грань кожного предмета і явища, які були, є і будуть. Операції обмеження й узагальнення можна передати з допомогою схеми (схема 7, буквами а, Ь, с позначено ознаки, які віднімаються при узагальненні і додаються при обмеженні поняття).

Обмеження й узагальнення понять

Схема 7

Іноді логічні операції обмеження й узагальнення понять важко відрізнити від інших операцій. Треба зазначити, що вони використовуються лише тоді, коли відбувається перехід від родового поняття до видового (обмеження) або від видового до родового (узагальнення). Іншими словами, обмеження або узагальнення мають місце лише в тому разі, коли вихідне поняття і те, яке утворюється внаслідок цих логічних операцій, перебувають у відношенні підпорядкування. Так, перехід від поняття «корінь слова» до поняття «основа слова» може здатися узагальненням. Проте це не відповідає дійсності, оскільки названі поняття перехресні. Не належить до узагальнення і перехід від поняття «дерево» до поняття «гай», оскільки ці поняття навіть не сумісні: жодне дерево не є гаєм, і навпаки.

4.2. Операція поділу понять

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

Поділ поняття — логічна операція, за допомогою якої розкривається обсяг родового поняття через перелік його видів або елементів.

Так, обсяг поняття «кут» у результаті операції поділу буде представлений сумою обсягів понять «гострий кут», «прямий кут» і «тупий кут», а обсяг поняття «планета Сонячної системи» — поіменним переліком усіх планет, що обертаються навколо Сонця.

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

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

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

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

Види поділу понять

Традиційно розрізняють два види поділу — поділ за видотвірною ознакою і дихотомію. Щоправда, в розділі, присвяченому поділу, розглядають ще й класифікацію, проте чіткої відповіді на питання про відношення між поділом понять і класифікацією поки що немає.

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

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

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

Внаслідок поділу понять за видотвірною ознакою одержують різну кількість членів поділу — від двох (існують два полюси Землі — Північний і Південний) до нескінченності.

Дихотомічний поділ — поділ, членами якого є два суперечних поняття.

Основою цього поділу є наявність чи відсутність певної ознаки (ознак) у предметів, які мисляться в поділюваному понятті. Внаслідок такого поділу одержують лише два члени поділу, які завжди є суперечними поняттями. Наприклад, предмети і явища можна поділити на красиві і некрасиві, спільноти людей — на нації та не нації. Графічне зображення дихотомії здійснюється дуже просто: круг, яким позначається обсяг поділюваного поняття, ділиться навпіл; одна половина цього круга зображує обсяг відповідного позитивного поняття, а друга — обсяг негативного (заперечного) поняття. Проста і «технічна» процедура здійснення дихотомічного поділу: обравши будь-яке поняття (не поділюване, а позитивний його різновид) і відповідне йому слово, додаємо до цього слова частку «не» — і поділ здійснено. Щоправда, той, хто здійснив дихотомічний поділ, може й не усвідомлювати змісту й обсягу як поділюваного поняття, так і членів поділу. Більше того, при цьому можна не знати навіть імені поділюваного поняття. Щоб пересвідчитися в цьому, досить взяти будь-який іменник, додати до нього частку «не», а потім спробувати здогадатися, яке ж поняття ми обрали поділюваним. Наприклад, обравши позитивним різновидом поділюваного поняття «субстанцію» і додавши до відповідного терміна частку «не», спробуйте здогадатися, яке ж поняття поділяється на «субстанцію» і «несубстанцію».

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

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

Здійснюючи класифікацію, вдаються до різних видів поділу. Розрізняють два види класифікації — наукову і ненаукову. Основою поділів у першій є істотні ознаки предметів, які класифікуються, а в другій — неістотні ознаки.

Іноді класифікацію поділяють на природну і штучну. На нашу думку, цей поділ збігається з попереднім, хоча в першому робиться акцент на поділі понять, а в другому — на поділі реальних речей. Наукова класифікація збігається з природною в тому розумінні, що якими є реальні (і в цьому розумінні — «природні») модифікації речей, такими є і відповідні видові поняття. Тобто поділ понять дублює поділ речей. Ненаукова класифікація збігається зі штучною: речі за своєю сутністю перебувають в одному порядку, а завдяки цій класифікації вони впорядковуються по-іншому. Щоправда, в терміні «ненаукова класифікація» є негативний відтінок: вона не відповідає вимогам науки, а в терміні «штучна класифікація» — і позитивний: вона штучна, речі за своєю сутністю упорядковуються не так, проте такий поділ доцільний з огляду на потреби практики. На нашу думку, навіть ненаукову класифікацію рослин Карла Ліннея можна було б розглядати як штучну за тієї умови, що її автор заявив би: «Оскільки ми, вчені, ще не можемо запропонувати наукову класифікацію, таку, яка б відповідала природній упорядкованості рослинного світу, то я пропоную поки що вдатися до штучної класифікації, яка дасть можливість хоч якось мислено упорядкувати рослинне царство. Я розумію, що вона ненаукова, але без неї зараз не обійтися».

Правила поділу понять

Щоб не припускатися логічних помилок при здійсненні поділу, треба керуватися відповідними правилами.

1. Поділ понять повинен здійснюватися за однією основою. Порушення цього правила призводить до помилки — «підміна основи поділу». Прикладом її може бути поділ обсягу поняття «спосіб виробництва» на«первісний спосіб виробництва», «рабовласницький...», «феодальний...» «капіталістичний...», «комуністичний...» і «азіатський спосіб виробництва». Останній член поділу отримано при використанні принципово іншої основи поділу.

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

а) «надто вузький поділ», або «неповний поділ».Ця помилка трапляється тоді, коли сума обсягів членів поділу не повністю вичерпує обсяг поділюваного поняття. Наприклад: «Є такі види темпераментів: флегматичний, сангвінічний і меланхолічний». У цьому прикладі пропущено один із членів поділу — «холеричний»;

б) «надто широкий поділ», або «поділ із зайвим членом поділу». Ця помилка трапляється тоді, коли поряді з дійсними членами поділу називають поняття, які не належать до обсягу поділюваного поняття або належать тільки частково. Наприклад: «Є такі континенти —Австралія, Північна Америка, Південна Америка, Антарктида, Африка, Ґренландія і Євразія». Оскільки Ґренландія не належить до материків, то такий поділ можна характеризувати як «поділ із зайвим членом».

3. Члени поділу повинні виключати один одного, тобто не мати спільних елементів. Приклад порушення цього правила: «Квартири бувають світлими, сухими, темними, з усіма вигодами тощо».

4. Поділ повинен бути безперервним (поступовим), тобто члени поділу мають бути поняттями одного порядку загальності. Іншими словами, кожен член поділу повинен бути найближчим видом поділюваного поняття. Порушення цього правила призводить до помилки «стрибок у поділі». Так, поділ «До мистецтва належать такі види: музика, архітектура, скульптура, пісня...» є помилковим, оскільки пісня є різновидом музичного виду мистецтва.

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

Значення поділу понять

Усі поняття, крім нульових, мають обсяг. Проте саме слово (ім'я), яким позначається поняття, мало що дає для розуміння його обсягу. Навіть добре знаючи зміст поняття, ми не завжди осягаємо його обсяг, клас предметів, які в ньому мисляться, різновиди цих предметів. І це зрозуміло, якщо брати до уваги те, що в будь-якому понятті мисляться лише ознаки, спільні для кожного елемента його обсягу. Тому необхідною умовою пізнання є поділ понять, завдяки якому впорядковується понятійний апарат науки, а відповідно осягається й об'єктивна упорядкованість предметного світу. Жодна наука не може обійтися без поділу. Причому деякі з поділів (особливо системи поділів, класифікації) є науковими відкриттями. Прикладом такого відкриття часто, і небезпідставно, називають таблицю Менделєєва.

4.3. Додавання, множення і віднімання понять (точніше — їх обсягів)

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

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

Одержаний результат є множиною, що становить обсяг нового поняття, ім'я якого містить імена вихідних понять, пов'язаних сполучником «або».

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

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

Додавання сумісних понять пов'язане з певними труднощами, які легше подолати, взявши до уваги те, що доданки можуть бути і недодатними числами. Так, додавши обсяги понять «студент» (а) і «спортсмен» (Ь), одержимо поняття «студент або спортсмен», обсяг якого буде меншим за а + Ь, але більшим або принаймні рівним обсягу одного доданка, оскільки названі поняття є перехресними (схема 9).

Схема 9

Результатом додавання понять, які перебувають у відношенні підпорядкування, є поняття, обсяг якого дорівнює обсягові відповідного родового поняття. Так, поняття «мешканець села Городище або людина, яка

скоїла злочин X», дорівнює обсягу поняття «мешканець села Городище», якщо відомо, що злочинець є мешканцем названого села: а + Ь = а (схема 10).

Схема 10

Результатом додавання тотожних понять є поняття з обсягом, який дорівнює обсягу одного з цих понять (будь-якого з них, оскільки вони мають однаковий обсяг). Так, обсяг поняття «квадрат або прямокутний ромб» дорівнює обсягу поняття «квадрат» (або обсягу поняття «прямокутний ромб»): а + Ь = а(а + Ь = Ь) (схема 11).

Схема 11

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

Результатом множення несумісних понять є поняття з уявним обсягом, тобто нульове. Так, помноживши поняття «іменник» та «дієслово», одержимо нове поняття, ім'я якого буде «іменник і дієслово», а обсяг — порожня множина, оскільки немає таких слів, які одночасно були б і дієсловами, й іменниками.

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

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

Обсяг нового поняття, що одержують при множенні понять, які перебувають у відношенні підпорядкування, збігається з обсягом підпорядкованого поняття. Так, перемноживши поняття «юрист» та «прокурор», одержимо поняття «юрист і прокурор», обсяг якого дорівнює обсягу «прокурор», оскільки лише прокурори є одночасно і прокурорами, і юристами.

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

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

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

Іноді відніманням називають і таку логічну операцію, в процесі якої «не-а» конкретизується. Так, з вихідним поняттям «пора року» операцію віднімання можна здійснити двома способами. Перший: «весна» — «невесна». Другий: «весна» — «літо», «осінь», «зима».

4.4 Операція визначення поняття

Визначення — логічна операція, з допомогою якої розкривається зміст поняття, тобто робиться перелік ознак, які в ньому мисляться, або з'ясовується ім'я відповідного денотата.

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

Види визначення понять

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

Реальне визначення — визначення, що розкриває істотні та загальні ознаки визначуваного поняття.

Номінальне визначення — визначення, завдяки якому з'ясовується ім'я, яким позначаються відповідне поняття і денотат.

Одними з найпоширеніших видів визначень є явні й неявні.

Явне (експліцитне) визначення — визначення, яке у своїй структурі містить як дефінієндум (визначуване поняття), так і дефінієнс (визначаюче).

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

Розрізняють такі види названих визначень: атрибутивно-реляційні, генетичні та операційні.

В атприбутивно-реляційних визначеннях видовою є специфічна ознака, яка мислиться у визначуваному понятті (очевидно, що саме цей різновид явних визначень називають визначенням через найближчий рід і

видову ознаку). Наприклад: «Іменник — це частина мови, яка означає назву предмета і відповідає на питання прямого чи непрямих відмінків».

У генетичних визначеннях як видову ознаку розглядають спосіб походження, створення, конструювання предметів, які мисляться у визначуваних поняттях. Наприклад: «Бісектрисою кута називається промінь, який виходить з його вершини, проходить між його сторонами і ділить кут навпіл».

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

Атрибутивно-реляційні визначення широко застосовують у більшості наук, зокрема гуманітарних; генетичні та операційні, — як правило, в математиці, фізиці, хімії тощо.

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

Зміст поняття в них встановлюється на основі системи відношень, у яких воно перебуває з іншими поняттями в контексті.

Найчастіше вживаними є звичайні контекстуальні й аксіоматичні визначення.

Контекстуальне визначення — визначення, в якому контекстом виступає звичайний уривок будь-якого тексту.

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

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

Прикладом цього може бути визначення деяких фундаментальних понять у геометрії — поняття точки, прямої тощо.

Правила визначення понять

Побудова визначення регулюється такими правилами:

1. Права і ліва частини визначення повинні бути співмірними, тобто обсяг правої частини повинен бути рівним обсягу лівої.

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

2. Визначення не повинно містити в собі кола. Приклад «зачарованого кола» у визначенні: «Логічне —це правильне мислення». Щоправда, це визначення буде помилковим за умови, що йому передувало пояснення правильного мислення як логічного.

Різновидом «зачарованого кола» є «тавтологія», або логічна помилка, яку називають ще «те саме через те саме». Наприклад: «Ліберал — це людина, яка має ліберальні погляди»; «Люди — це люди»; «Війна є війна». Треба зазначити, що принаймні деякі з подібних висловів (зокрема, два останні з наведених) мають певний смисл, щоправда, швидше образний, ніж понятійний.

3.Визначення має бути ясним за змістом, тобто не містити в собі двозначності чи полізначності.

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

4. Визначення повинно бути стверджувальним. Це правило належить не стільки до необхідних умов правильного мислення, скільки до побажань. Так, на запитання «що таке демократія?» учений-фізик, не погрішивши проти істини, може відповісти: «Заявляю з

усією відповідальністю, що «демократія» не належить до понять фізики». Оскільки це судження містить гранично бідну інформацію, воно не може вважатися визначенням. Хоча звідси не випливає, що будь-яке заперечне судження не може відігравати роль визначення. Як відомо, математичні науки іноді вдаються до заперечних визначень.

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

До перелічених засобів іноді звертаються і за умови наявності поняття про відповідний предмет. Річ у тім, що в деяких практичних ситуаціях не обійтися без знань неістотних властивостей пізнаваних предметів, які, не відображаються в поняттях. Спробуйте розпізнати людину, яку потрібно зустріти, скажімо, на вокзалі великого міста, маючи про неї лише поняття, тобто знаючи лише істотні й загальні ознаки. В той же час знання неістотних ознак — статі, віку, специфіки зовнішності, одягу і навіть речей, які вона матиме, — дадуть змогу її впізнати.

Чим же відрізняється визначення поняття від перелічених засобів пізнання? У понятті, як відомо, відображаються істотні, загальні ознаки предметів і явищ, а в перелічених засобах пізнання можуть розкриватися як істотні, так і неістотні ознаки. Щоправда, в одних із названих засобів пізнання акцент робиться на істотних ознаках (характеристика), в других — як на істотних, так і на неістотних (портрет, опис), а в третіх, — як правило, на неістотних ознаках.

Значення операції визначення поняття

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

Поняття є результатом тривалого процесу пізнання, його підсумком. Як своєрідні «комори знань», воусією відповідальністю, що «демократія» не належить до понять фізики». Оскільки це судження містить гранично бідну інформацію, воно не може вважатися визначенням. Хоча звідси не випливає, що будь-яке заперечне судження не може відігравати роль визначення. Як відомо, математичні науки іноді вдаються до заперечних визначень.

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

До перелічених засобів іноді звертаються і за умови наявності поняття про відповідний предмет. Річ у тім, що в деяких практичних ситуаціях не обійтися без знань неістотних властивостей пізнаваних предметів, які, не відображаються в поняттях. Спробуйте розпізнати людину, яку потрібно зустріти, скажімо, на вокзалі великого міста, маючи про неї лише поняття, тобто знаючи лише істотні й загальні ознаки. В той же час знання неістотних ознак — статі, віку, специфіки зовнішності, одягу і навіть речей, які вона матиме, — дадуть змогу її впізнати.

Чим же відрізняється визначення поняття від перелічених засобів пізнання? У понятті, як відомо, відображаються істотні, загальні ознаки предметів і явищ, а в перелічених засобах пізнання можуть розкриватися як істотні, так і неістотні ознаки. Щоправда, в одних із названих засобів пізнання акцент робиться на істотних ознаках (характеристика), в других — як на істотних, так і на неістотних (портрет, опис), а в третіх, — як правило, на неістотних ознаках.

Значення операції визначення поняття

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

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

Як не парадоксально, але потреба у визначенні понять часто виникає ще на початковому етапі пізнання відповідних предметів. Про це переконливо писав Г. Плеханов у «Листах без адреси». В таких випадках доводиться звертатися до так званих робочих визначень, які, зазнаючи певних, іноді істотних, змін у процесі наукового дослідження, набувають статусу наукових.

Важко перебільшити роль визначень понять у навчальному процесі. Так, знання тих чи інших слів, термінів ще не свідчать про наявність відповідних понять. Тому викладачам усіх дисциплін доводиться постійно перевіряти наявність понятійних знань, звертаючись до учнів з такими запитаннями: «Який зміст має поняття... (скажімо, «метафора»)?», або «Дайте визначення поняття метафори», або «Які ознаки мисляться в понятті «метафора»?», або «Що таке метафора?», «Що називають метафорою?».

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

ОСНОВНІ ФОРМИ І ЗАКОНИ АБСТРАКТНО-ЛОГІЧНОГО МИСЛЕННЯ II. Висловлювання. 1. Загальна характеристика висловлювання

1. Загальна характеристика висловлювання, види висловлювань.

2. Істинність і хибність висловлювання.

3. Прості висловлювання, їх структура і види.

4. Відношення між простими висловлюваннями.

5. Мова логіки висловлювань.

6. Складні висловлювання. Логічні сполучники і їхнє табличне визначення.

7. Висловлювання про відношення (реляційні висловлювання).

8. Логічний аналіз запитань і відповідей Визначення запитання. Структура запитання

В сучасній логіці розрізняють терміни "висловлювання", "судження", "речення".

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

Відповідно, речення є граматичною (синтаксичною) категорією.

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

Судження, таким чином, є логічною категорією.

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

У сучасній логіці при виділенні особистої форми мислення використовують термін "висловлювання".

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

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

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

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

Класифікація висловлювань

Усі висловлювання, які будуються людьми, з точки зору логіки поділяються на такі види:

1) прості і складні;

2) висловлювання про відношення;

3) модальні висловлювання;

4) нормативні;

5) запитання і відповіді.

2. Істинність і хибність висловлювання.

Терміни "істинне висловлювання" і "хибне висловлювання" мають гносеологічне (пізнавальне) і логічне (формальне) значення.

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

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

Наприклад, істинність висловлювання "Громадянин В. викрав автомобіль" визначається таким чином: а) визначається смисл термінів — "громадянин В." - людина чоловічої статі", "викрав", "автомобіль". Смисл цих термінів інтуїтивно ясний і не потребує особливих визначень; б) визначається конкретна ситуація: день, час, місто, вулиця, коли був викрадений автомобіль.

Гносеологічна істинність висловлювання старогрецького філософа Платона "Якщо в державі закон не має сили, то вона приречена на загибель" визначається через об'єктивний критерій: загально-історичну практику людства, історичний досвід народів, які жили і живуть у тій чи іншій державі.

У логічному значенні терміни "істинність" і "хибність" виражають лише формальне значення висловлювань, тобто висловлювання має значення "істина" ("і") та "хибність" ("х") в абстракції від гносеологічного смислу висловлювань. Наприклад, висловлювання "Пегас літає" в гносеологічному відношенні є хибним, оскільки воно не відповідає дійсності (реально не існує коней, "що літають"), а в логічному відношенні воно має формальне значення: 1) "істинне висловлювання" ("і"); 2) "хибне висловлювання" ("х"). Значенням "істинність" і "хибність", які приписуються даному висловлюванню, буде певна абстрактна сутність (абстракція), яка логічно визначається, а не властивість судження, як форма відображення дійсності. Якщо висловлювання має лише два значення — "істинне" і "хибне", то його називають двозначним висловлюванням, тобто множина значень, яка логічно приписується висловлюванню, зводиться до абстракцій "і" і "х".

Якщо висловлювання має більше двох значень (п>2), його називають багатозначним висловлюванням, тобто множина значень, яка логічно приписується висловлюванню, поширюється і набуває ще іншого (третього, четвертого і т.д. значень). Логічна теорія, яка вивчає множину значень висловлювань, що не зводиться лише до двох значень "істинність" ("і") і "хибність" ("х"), називається багатозначною логікою.

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

Якщо факт, який описується у висловлюванні, відповідає дійсності, то таке висловлювання є істинним, якщо не відповідає — хибним.

Істинність і хибність називаються логічними значеннями висловлювання, або його значеннями істинності. Іноді говорять: якщо висловлювання є істинним, то воно має логічне значення «істина», а якщо воно є хибним, тоді воно має логічне значення «хиба».

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

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

Слід зазначити, що у реальній практиці цей принцип не завжди є прийнятним. Так, наприклад, оцінки, норми, нісенітні твердження тощо взагалі не мають значень істинності. Існують також висловлювання, які можуть набувати деяких «невизначених» логічних значень, проміжних між повною істинністю і повною хибністю.

3. Прості висловлювання, їх структура і види

Усі дескриптивні висловлювання поділяються на:

♦ прості;

♦ складні.

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

Дескриптивні висловлювання вивчаються в рамках логіки висловлювань (пропозиційної логіки) і логіки предикатів.

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

Логіка предикатів тісно пов'язана з логікою висловлювань. Перша логічна теорія не є запереченням другої, вона — її продовження. Різниця між цими двома логічними теоріями полягає лише у тому, що в пропозиційній логіці аналізуються тільки складні висловлювання, а в логіці предикатів стає можливим з'ясувати також логічну форму простих висловлювань.

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

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

Предикат — це частина висловлювання, в якій відображені властивості предмета думки, а також відношення між предметами думки. Він позначається символом Р.

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

Поняття, які утворюють висловлювання, тобто суб'єкт і предикат, називають термінами висловлювання.

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

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

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

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

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

Наприклад, "Право як загальносоціальне явище виникло раніше і незалежно від держави", "Суд присудив підсудному Е. більш м'яке покарання, ніж передбачено законом за такий злочин". Формально реляційне висловлювання записують формулою "х R у", де "х" і "у" — символи, що позначають предмети, між якими встановлюються від ношення, "R" - символ, який позначає це відношення.

Екзистенціальне (лат. - існування) — це висловлювання, в якому відображено факт існування або не існування предмета думки. Наприклад, "В Україні існує єдине громадянство" (Ст.4 Конституції України), "Держава існувала не завжди, „Право як юридичне явище існує в усіх країнах світу".

Атрибутивне висловлювання характеризується з якісної та кількісної сторін. За якістю висловлювання поділяються на стверджувальні та заперечні. Якість висловлювання визначається за характером зв'язки: "S є Р" (вказано на наявність, ствердження ознаки) і "S не є Р" (вказано на відсутність, заперечення ознаки). За кількістю висловлювання поділяють на загальні, часткові та одиничні.

Висловлювання, в яких виражена належність (або відсутність) властивості чи ознаки всім предметам певного класу, називається загальними ("всі S є Р" і "жоден S не є Р"). Наприклад, "Правова держава — головний гарант захисту прав людини", "Всі норми права діють при певних умовах".

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

Одиничне — це таке висловлювання, коли та чи інша ознака належить (або не належить) одиничному або одному елементу певного класу. Формула одиничного висловлювання — "Цей S є Р" або "Цей S не є Р". Наприклад, "Юстиніан — римський юрист".

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

а) загальностверджувальні ("Усі S є Р"), які позначають символом "А";

б) загальнозаперечні ("Жодне S не є Р"), які позначають символом "Е";

в) частковостверджувальні ("Деякі S є Р"), які позначаються символом "І";

г) частковозаперечні ("Деякі S не є Р"), які позначають символом "О".

Для правильного оперування висловлюваннями А, Е, І, О важливе значення має питання про розподіленість термінів — суб'єкта і предиката.

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

Якщо термін беруть у повному обсязі, то його вважають розподіленим і позначають знаком "+"; якщо ж термін не беруть у повному обсязі, тоді він вважається нерозподіленим і його позначають знаком "-". Існують такі правила розподіленості термінів у висловлюваннях А, Е, І, О, що стосуються суб'єкта і предиката.

Перше правило стосується суб'єкта (S). Суб'єкт беруть у повному обсязі або він є розподіленим у загальних висловлюваннях, і він є нерозподіленим в часткових. Наприклад, "Держава є елементом політичної системи суспільства" (S+ є Р) (схема 1).

Схема 1

Друге правило стосується предиката (Р). Предикат береться у повному обсязі або розподілений у заперечних висловлюваннях і нерозподілений у стверджувальних висловлюваннях. Наприклад, "Правова культура особи — гарантія законності" (S+ є Р) (схема 2). Тут термін "гарантія законності" нерозподілений, оскільки не лише правова культура особи є гарантією законності. "Деякі держави не є демократичними" ("S" є Р+") (схема 3). Тут предикат розподілений, оскільки в ньому мисляться всі держави, які не є демократичними, і ця властивість не притаманна державам, які відносяться до демократичних.

Схема 2 Схема З

В таблиці показана розподіленість термінів з урахуванням вимог наведених правил:1

Вид висловлювання

S

Р

А (Усі S є Р)

+

-(+)

Е (Усі S не є Р)

+

+

І (Деякі S є Р)

-

О (Деякі S не є Р)

-

+

4. Відношення між простими висловлюваннями.

Між висловлюваннями А, Е, І, О існують певні відношення, що їх можна виразити у вигляді "логічного квадрату".

Розглянемо детальніше ці відношення.

Протилежності

А (контрарності) Е

І Підпротилежності О

(підконтрарності)

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

Відношення підпротилежності (субконтрарності) існують між частковостверджувальними (І) і частковозаперечними (О) висловлюваннями. Висловлювання, що перебувають у відношенні підпротилежності, можуть бути водночас істинними, але не можуть бути водночас хибними. У такому відношенні перебувають, на приклад, висловлювання "Деякі громадяни України порушують закон" (І) і "Деякі громадяни України не порушують закон" (О).

Оскільки дані висловлювання можуть бути водночас істинними, то дане відношення між ними іноді ще називають відношенням часткової сумісності.

Відношення суперечності (контрадикторності) існують між загальностверджувальними (А) і частковозаперечними (О), а також між загальнозаперечними (Е) і частковостверджувальними (І) висловлюваннями. Висловлювання, що перебувають у відношенні суперечності, не можуть бути водночас істинними і хибними. Так, з двох висловлювань "Усі держави мають федеративний устрій" (А) і "Деякі держави не мають федеративного устрою" (О) одне обов'язково істинне, а інше — обов'язково хибне. Натомість, визначення того, якому саме із висловлювань приписується значення істинності, не завжди вирішується засобами самої науки логіки.

Відношення підпорядкування існують між загально стверджувальними (А) і частковостверджувальними (І), а також між загальнозаперечними (Е) і частковозаперечними (О) висловлюваннями. Такі відношення між висловлюваннями спостерігаємо в тому випадку, коли при істинності підпорядковуючого (загального) висловлювання підпорядковане йому (часткове) висловлювання завжди буде істин ним. Наприклад, при істинності висловлювання "Усі громадяни України мають право на освіту" (А) обов'язково істинним буде висловлювання "Деякі громадяни України мають право на освіту" (І).

Висловлювання, які перебувають у відношенні підпорядкування, можуть бути також одночасно хибними.

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

Наприклад, на підставі висловлювання "Усі державні органи краї ни Н. діють на підставі законів" (А) можна виводити висловлювання протилежне даному — "Жодний державний орган країни Н. не діє на підставі законів" (Е); суперечливе даному — "Деякі державні органи країни Н. не діють на підставі законів" (О); підпорядковане даному — "Деякі державні органи країни Н. діють на підставі законів" (І).

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

Так, відношення підпротилежності та підпорядкування виражають відношення сумісності, оскільки сумісними називають висловлювання, які водночас можуть бути істинними. Відношення протилежності та суперечності виражають відношення несумісності, оскільки висловлювання, між якими вони встановлюються, не можуть бути водночас істинними.

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

Порівняннями серед простих є висловлювання, які мають однакові терміни — суб'єкт і предикат, розрізняються лише за кількістю або за якістю.

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

5. Мова логіки висловлювань.

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

Вона характеризується алфавітом (списком знакових засобів) і визначенням формули.

АЛФАВІТ або знаки змінних логіки висловлювань:

Р, q, r, s,...

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

Знаки логічних сполучників:

~ — знак заперечення (читається: «не», «невірно, що...»);

/\ — знак кон'юнкції (читається: «...і...»);

\/ — знак диз'юнкції (читається: «...або...»);

→ — знак імплікації (читається: «якщо..., тоді...»);

↔ — знак еквіваленції (читається: «...тоді і тільки тоді, коли...»).

Ці знаки служать для позначення граматичних сполучників природної мови і деяких знаків пунктуації.

Технічні знаки:

( — ліва дужка;

) — права дужка,

, — кома.

З'ясуємо тепер, який вираз можна вважати формулою логіки висловлювань.

1. Будь-яка пропозиційна змінна є формулою.

2. Якщо А — формула, тоді (~ А) також формула.

3. Якщо А, В — формули, тоді (А /\ В), (А \/ В), (А → В), (А ↔ В) — також є формулами.

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

Для цього необхідно зробити такі кроки:

1) виділити усі прості висловлювання, які входять до складного висловлювання, та позначити їх пропозиційними змінними;

2) визначити логічні сполучники, які зв'язують прості висловлювання, та позначити їх відповідними знаками;

3) записати формулу.

Розглянемо висловлювання: „При здійсненні судочинства судді незалежні і підкоряються тільки законові”.

1. Це складне висловлювання, яке складається з двох простих:

♦ «При здійсненні судочинства судді незалежні»;

♦ «При здійсненні судочинства судді підкоряються тільки законові».

Позначимо їх відповідно пропозиційними змінними: р, q.

2. До складу висловлювання, що досліджується, входить один граматичний сполучник «і». Йому відповідає логічний сполучник «кон'юнкція».

3. Запишемо формулу наведеного висловлювання: р /\ q.

Розглянемо висловлювання «Якщо будь-який злочин карається, а крадіжка чужого майна злочинна, тоді вона також карається»

1. Це складне висловлювання, яке складається з трьох простих:

♦ «Будь-який злочин карається»;

♦ «Крадіжка чужого майна карається»;

♦ «Крадіжка чужого майна злочинна».

Позначимо їх відповідно пропозиційними змінними: р, q, s.

2. До складу висловлювання, що досліджується, входять два граматичних сполучники «якщо, то», «а». їм відповідають логічні сполучники: «імплікація» і «кон'юнкція».

3. Запишемо формулу наведеного висловлювання: (р /\ q) — → s.

6. Складні висловлювання. Логічні сполучники і їхнє табличне визначення

Складними називають висловлювання, що створюються з декількох простих за допомогою певних логічних операцій — кон'юнкції, диз'юнкції, імплікації, еквівалентності, заперечення. Мовними виразами цих операцій є сполучники "і", "а", "а також", "або", "якщо, то", "якщо і тільки якщо, то", "неправильно, що" та ін.

Заперечення, його умови істинності

Розглянемо два простих висловлювання:

(7) «Київ розташований на Дніпрі».

(2) «Невірно, Що Київ розташований на Дніпрі».

Позначимо перше висловлювання пропозиційною змінною р, тоді друге висловлювання можна символічно записати як ~р (читається «Невірно, що р»).

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

Тепер проаналізуємо другу пару простих висловлювань:

(1) «Київ розташований на Волзі».

(2) «Невірно, що Київ розташований на Волзі».

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

Дамо тепер визначення логічного сполучника «заперечення».

Заперечення —- це логічний сполучник, який перетворює істинне висловлювання на хибне, а хибне — на істинне.

Ці факти виражаються в таблиці істинності заперечення таким чином:

№ ~A А

1. і X

2. X і

У природній мові, в тому числі в правових контекстах, вислову «~A», крім «невірно, що А», можуть відповідати також вислови «А не має місця», «А хибне» тощо.

♦♦♦ Наприклад, у статті 11 «Поняття злочину» КК України: ♦Не є злочином дія або бездіяльність, що хоч формально і містить ознаки будь-якого діяння, передбаченого цим Кодексом, але через малозначність не становить суспільної небезпеки» логічний сполучник «заперечення» застосовується двічі. В обох випадках він виражається за допомогою частки «не».

Кон'юнкція, її умови істинності

Розглянемо таке висловлювання:

«На вулиці холодно і йде дощ». Це складне висловлювання, яке складається з двох простих:

(1) «На вулиці холодно»;

(2) «На вулиці йде дощ».

Його формулу можна записати так: р /\ q (читається «р і q»). Це висловлювання буде істинним лише тоді, коли обидва простих висловлювання, що входять до його складу, будуть істинними, тобто, якщо на вулиці дійсно холодно і йде дощ.

Якщо на вулиці холодно, але дощ не йде, тобто якщо перше просте висловлювання є істинним, а друге — хибним, тоді їхня кон'юнкція найімовірніше буде оцінена як хибна.

Аналогічно кон'юнкція буде хибною, якщо виявиться, що на вулиці йде дощ, але стоїть тепла погода.

Нарешті, якщо ні перше, ні друге просте висловлювання не відповідатиме дійсності, тоді складне висловлювання також не буде відповідати дійсності і виявиться хибним.

Дамо тепер визначення логічного сполучника «кон'юнкція».

Кон'юнкція — це логічний сполучник, який буде істинним лише в тому випадку, коли всі його складники будуть істинними. В усіх інших випадках цей логічний сполучник буде хибним.

Ці факти виражаються в таблиці істинності кон'юнкції таким чином:

№ А В А /\ В

1. і і і

2. і X X

3. X і X

4. X X X

Вислову «А /\ В» у природній мові, а також у юридичному законодавстві та правовій науці, крім «А і В», можуть відповідати також вислови: «А разом із В», «Як А, так і В», «А у той час, як В», «В, хоча і А», «Не лише А, але й В», «А, а також В», «А, В» та інші.

♦ Наприклад, у статті 1 «Завдання Кримінального кодексу України» КК України зазначено: «Кримінальний кодекс України має своїм завданням правове забезпечення охорони прав і свобод людини і громадянина, власності, громадського порядку та громадської безпеки, довкілля, конституційного устрою України від злочинних посягань, забезпечення миру і безпеки людства, а також запобігання злочинам». Тут логічний сполучник «кон'юнкція» виражається за допомогою сполучників «і», <<та», «а також» і за допомогою ком.

Диз'юнкція, її умови істинності

У межах логіки висловлювань розрізняють слабку (нестрогу) диз'юнкцію і сильну (строгу) диз'юнкцію.

Слабка (нестрога) диз'юнкція

Розглянемо таке висловлювання:

«Ця людина — юрист або спортсмен». Це складне висловлювання, яке складається з двох простих:

(1) «Ця людина —• юрист»; (2) «Ця людина — спортсмен».

Його формула може бути записана як: р V q (читається «р a6oq»). Це висловлювання може бути оцінене як істинне лише у тих випадках, коли:

♦ ця людина є і юристом, і спортсменом;

♦ ця людина є юристом, але не є спортсменом;

♦ ця людина не є юристом, але є спортсменом.

1 Хибним це складне висловлювання буде лише тоді, якщо ця людина не є ані юристом, ані спортсменом.

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

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

Ці факти можуть бути представлені в таблиці істинності слабкої (нестрогої) диз'юнкції таким чином:

№ A В А \/ В

1. і і і

2. і X і

3. X і і

4. X X X

З цієї таблиці видно, що сполучник «або» вживається тут у нестрого розмежувальному смислі — «А або В, чи обидва разом». Тому він і має назву — «слабка (нестрога) диз'юнкція».

Вислову «А V В» у природній мові та правових контекстах, крім звичайного «А або В», відповідають також вислови: „А чи В, або обидва разом», „А і/чи В», „А, якщо не В» тощо.

♦ Наприклад, у статті 19 ч. 2 «Осудність» КК України зазначено: «Не підлягає кримінальній відповідальності особа, яка під час вчинення суспільно небезпечного діяння, передбаченого цим Кодексом, перебувала в стані неосудності, тобто не могла усвідомлювати свої дії (бездіяльність) або керувати ними внаслідок хронічного психічного захворювання, тимчасового розладу психічної діяльності, недоумства або іншого хворобливого стану психіки» логічний сполучник «слабка (нестрога) диз'юнкція» вживається чотири рази. У першому та четвертому випадках вона представлена сполучником «або», у другому та третьому — за допомогою коми.

Сильна (строга) диз’юнкція

На відміну від слабкої (нестрогої) диз'юнкції сильна (строга) диз'юнкція передбачає використання сполучника «або» в строго розмежувальному смислі — «А або В, але не обидва разом». Для неї в логіці висловлювань вводиться новий символ — «V».

Розглянемо таке висловлювання: «Ця людина народилася в Києві або Львові». Це складне висловлювання, яке складається з двох простих:

(7) «Ця людина народилася в Києві»; (2) «Ця людина народилася у Львові».

Його формула може бути записана як: р V q (читається «або р, або q»).

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

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

Хибною строга диз'юнкція буде й у тому випадку, коли всі прості висловлювання, які її складають, виявляться хибними, тобто якщо людина, про яку йдеться у складному висловлюванні, не народилася ні в Києві, ні у Львові.

Узагальнюючи вищенаведене, можна дати таке визначення логічного сполучника «сильна/строга диз'юнкція»:

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

Ці факти можуть бути представлені в таблиці істинності сильної (строгої) диз'юнкції таким чином:

№ А В A \/ В

1 і і X

2. і X і

3. X 1 і

4. X X X

Вислову «А V В» у природній мові та в правових контекстах можуть відповідати вислови: «А або В, але не обидва разом», «або А, або В», «чи А, чи В», «А, крім випадку, якщо В», «іноді А, В» та інші.

♦ Наприклад, у висловлюванні: «Злочин може бути здійснений або умисно, або з необережності» логічний сполучник «сильна (строга) диз'юнкція» виражається словами «або.., або...».

Імплікація, її умови істинності

Розглянемо висловлювання — обіцянку одного керівника: «Якщо робітники поліпшать якість роботи, вони отримають премію».

Це складне висловлювання, складається з двох простих:

(7) «Робітники поліпшать якість роботи»; (2) «Вони отримають премію».

Його формула може бути записана як: р → q (читається «Якщо р, тоді q»).

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

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

2. Якість роботи поліпшено, але премію не отримано, тобто перше просте висловлювання — Істинне, а друге — хибне.

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

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

4. Робітники не поліпшили якості роботи і не отримали премії, тобто перше і друге прості висловлювання — хибні.

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

Узагальнюючи вищенаведені випадки, можна дати таке визначення логічного сполучника «імплікація».

Імплікація — це логічний сполучник, який буде хибним лише в тому випадку, коли перше висловлювання (антецедент) — істинне, а друге висловлювання (консеквент) — хибне. У всіх інших випадках імплікація є істинною.

Ці факти в таблиці істинності імплікації виражаються таким чином:

№ А В А → В

1. і і і

2. і X X

3. X і і

4. X X і

Вислову «А → В» у природній мові та мові права, крім вислову «Якщо А, тоді В», відповідають численні синоніми: «А тоді, коли В», «У випадку А має місце В», «В, якщо А», тощо.

♦ У статті 81 ч. 2 «Умовно-дострокове звільнення від відбування покарання» КК України зазначено: «Умовно-дострокове звільнення від відбування покарання може бути застосоване, якщо засуджений сумлінною поведінкою і ставленням до праці довів своє виправлення». Тут логічний сполучник «імплікація» використовується один раз і виражається за допомогою слова «якщо».

Зверніть увагу на те, що в наведеному прикладі антецедент імплікації стоїть на другому місці, а консеквент на першому.

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

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

Деякі умови для існування або виникнення певної події (ситуації, дії) можуть бути і необхідними, і достатніми. Для фіксації таких випадків застосовується логічний сполучник «еквіваленцій».

Еквіваленція, її умови істинності

Розглянемо висловлювання, у якому вже згадуваний керівник дає робітникам таку обіцянку: «Робітники отримають премію тоді і тільки тоді, коли вони поліпшать якість продукції».

Це складне висловлювання, яке складається з двох простих:

(1) «Робітники отримають премію»;

(2) «Вони поліпшать якість продукції».

Його формула може бути записана таким чином: р ↔ q (читається «р тоді і тільки тоді, коли q»).

Для визначення значення істинності цього складного висловлювання необхідно проаналізувати такі випадки:

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

виголосив, є істинним.

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

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

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

Узагальнюючи вищенаведені випадки, можна дати таке визначення логічному сполучнику «еквіваленція».

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

Ці факти в таблиці істинності еквіваленції виражаються таким чином:

№ A В А ↔ В

1. і і і

2. і X X

3. X і X

4. X X і

Вислову «A ↔ В» у природній мові і в мові права можуть відповідати такі вислови: <<А тоді і тільки тоді, коли В», <<А, якщо і тільки якщо В», «Якщо А, тоді В і навпаки», «А, якщо В і В, якщо А», «для А необхідно і достатньо В», «А еквівалентне В» тощо.

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

І* Прикладом еквівалентного висловлювання у праві може бути визначення злочину в КК України. Відповідно до статті 11 будь-яке діяння слід розглядати як злочин у тому і тільки тому випадку, коли воно суспільно небезпечне й винне.

Логічні сполучники в правових контекстах Знання визначень логічних сполучників та вміння виявляти логічну форму того чи іншого правового закону може значно допомогти юристам при витлумаченні законодавства. Можна навіть стверджувати, що без знання логічної форми закону з'ясувати його смисл взагалі неможливо. Якщо юрист хоче не тільки запам'ятати текст закону, вивчити його напам'ять, а й зрозуміти, про що в ньому йдеться, тоді увагу слід приділяти не тільки аналізу змісту цього документа, а й виявленню його логічної форми, при визначенні якої важливо вміти розрізняти логічні сполучники.

Для того, щоб провести логічний аналіз складного висловлювання, що входить до складу певного правового документа, необхідно зробити такі кроки:

1) виявити усі прості висловлювання, що складають складне, позначити їх відповідними змінними;

2) з'ясувати граматичні сполучники і знаки пунктуації, які

поєднують прості висловлювання. Виходячи зі змісту правового документа виявити, які логічні сполучники їм відповідають. Позначити їх відповідними символами;

3) визначити логічну форму висловлювання, що розглядається. Наведемо у зв'язку з цим декілька прикладів логічного аналізу статей КК України.

♦ Розглянемо статтю 296 «Хуліганство» КК України. У диспозиції цієї статті стверджується: «Хуліганство, тобто грубе порушення громадського порядку з мотивів явної неповаги до суспільства, що супроводжується особливою зухвалістю чи винятковим цинізмом, карається».

1. З точки зору логіки це складне висловлювання, яке складається з двох простих:

(1) «Хуліганство, тобто грубе порушення громадського порядку з мотивів явної неповаги до суспільства, що супроводжується особливою зухвалістю, карається»;

(2) «Хуліганство, тобто грубе порушення громадського порядку з мотивів явної неповаги до суспільства, що супроводжується винятковим цинізмом, карається».

2. Ці два простих висловлювання поєднуються граматичним сполучником «чи», аналогом якого в пропозиційній логіці є логічний сполучник «диз'юнкція». Причому тут мається на увазі слабка (нестрога) диз'юнкція, яка за визначенням може бути істинною в тому разі, коли усі її складники істинні, і в тому разі, коли лише один її складник істинний. Це означає, що людину можна притягнути до відповідальності за статтею 296 КК України у таких випадках:

♦ коли її дії одночасно характеризувалися особливою зухвалістю і винятковим цинізмом;

♦ коли її дії характеризувалися тільки особливою зухвалістю;

♦ коли її дії характеризувалися тільки винятковим цинізмом.

3. Логічна форма висловлювання, що розглядалося, має такий

вигляд: р V q

7. Висловлювання про відношення (реляційні висловлювання)

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

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

Відношення виникають між двома і більше суб'єктами думок (предметами і явищами об'єктивного світу, що відображається у мисленні людини), або класами (множинами) чи між елементами певного класу. Кожний клас або елемент класу позначається логічними змінними х, у, z і т.д., а оператор відношення або релатор — символом "R". Символічний запис висловлювання про відношення — "Xr y" (читається: "х знаходиться у відношенні R до у". Дана схема "xRy" позначає клас елементів "х" і клас елементів "у", які знаходяться в певному відношенні R один до одного. З'єднання ралатором R відношення певного класу "х" до класу "у" називається полем або сферою відношень. Відповідно, висловлювання можна будувати лише про певні види і типи відношень в межах певного поля (сфери, галузі тощо).

Коли певний клас елементів "х" знаходиться у відношенні R до класу елементів "у", то між ними можна визначити такі типи від ношень:

а) елементи певного класу "х" знаходяться у відношенні до самого себе, що символічно позначається формулою "xRx" і "yRy". Таке самовідношення називається відношенням тотожності;

б) елемент класу "х" знаходиться у відношенні до елементу класу "у"- Таке відношення називається прямим;

в) елемент класу "у" знаходиться у відношенні до елементу класу "х". Таке відношення називається зворотнім.

Таким чином, якщо "х" знаходиться у відношенні до "у", то і "у" знаходиться у відношенні до "х", що символічно зображається формулою імплікації: "xRy" —» "уОх", де "0" - символ зворотнього (інверсного) відношення.

Модальні висловлювання є предметом аналізу модальної логіки.

Модальна логіка — це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань.

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

Щоб дати загальну характеристику цим логікам, побудуємо таку таблицю:

№№ Модальності Види модальних висловлювань Види модальних логік

1. необхідно, можливо, випадково алетичні висловлювання алетична логіка

2 доведено, спростовано, не вирішено,

перекона-ний.сумнівається,

припускає епістемічні висловлювання епістемічна логіка

3. було, є, буде, раніше, одночасно,

пізніше темпоральні (часові)

висловлювання темпоральна логіка

(логіка часу)

4. обов'язково, заборонено, дозволено деонтичні висловлення деонтична логіка

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

Серед модальних висловлювань особливе значення для юристів мають деонтичні висловлювання.

Деонтичні висловлювання — це модальні висловлювання, до складу яких входять такі модальності: «дозволено*, «обов'язково*, «заборонено* і їхні модифікації.

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

♦ Обов'язково дотримуватися законодавства;

♦ Дозволено купувати квартири;

♦ Заборонено читати чужі листи.

Деонтичні висловлювання вивчаються в рамках деонтичної логіки.

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

Історія становлення деонтичної логіки нараховує декілька століть. Так, витоки логічного підходу до аналізу деонтичних модальностей можна знайти ще в працях Г. Лейбниця. У 1672 році він написав працю «Elementa juris naturalise, де спробував визначити основні нормативні модальності та виявити логічні відношення між ними. Він вважав, що на такі поняття, як «обов'язково*, «дозволено*, «байдуже*, «заборонено* можна перенести всі основні положення логічного вчення Аристотеля, зокрема, його погляди на відносини, що мають місце між традиційними (алетичними) модальностями.

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

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

Лише у XVIII ст. науковці знову повертаються до аналізу цієї проблематики. Так, англійський філософ, юрист Ієремія Бентам (1748—1832) висунув у своїх працях ідею логіки повеління, або логіки волі. Однак, на відміну від Г. Лейбниця, І. Бентам вважав, що його вчення повинне стати новим напрямком логічного знання, відмінним від старої аристотелівської логіки. Плани І. Бентама не були реалізовані, він так і не зміг систематично розвинути свої ідеї, сформулювати на їхній основі обгрунтовану концепцію нової логіки.

Це спробував зробити у 20-ті роки XX ст. австрійський вчений Ернст Малі, який у 1926 році побудував одну з перших логічних теорій нормативних міркувань. Найвірогідніше, він не був знайомий з працями І. Бентама, які залишалися непомітними аж до середини XX ст. Але свою логіку Е. Малі також назвав «логікою волі». Надалі саме він запропонував для цього напрямку логічного знання назву «деонтика», однак у ті часи цей термін не отримав широкого розповсюдження. Назва «деонтична логіка» була запроваджена пізніше, незалежно від Е. Малі, фінським філософом і логіком І\ X. фон Врігтом у його знаменитій статті «Деонтична логіка», що вийшла друком у журналі «Mind* у 1951 році. Саме з того часу цей термін широко застосовують науковці.

Якщо теорії Г. Лейбниця, І. Бентама, Е. Малі можна вважати передісторією деонтичної логіки, то дату виходу статті Г. X. фон Врігта дуже часто в літературі називають датою виникнення сучасної логічної теорії норм.

У середині XX ст. деонтична логіка розвивалася в рамках такого підходу, згідно з яким деонтичні модальності розглядалися за аналогією з алетичними модальностями. Велику роботу у цьому напрямку провів вищезгаданий Г. X. Фон Врігт.

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

8. Логічний аналіз запитань і відповідей Визначення запитання. Структура запитання

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

Запитання — це висловлювання, у якому міститься вимога певної інформації від людини, до якої звертаються.

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

Дослідження будь-якого запитання обов'язково передбачає необхідність врахування:

♦ передумови (пресупозиції) запитання;

♦ контексту його промовляння.

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

ЇЇ можна виразити за допомогою простого або складного дескриптивного чи модального висловлювання. Саме вона зумовлює множину відповідей на певне запитання.

♦ Наприклад, запитання «Яку оцінку ти отримав на іспиті

з логіки?» передбачає, що людина, до якої звертаються, колись скла

дала іспит з логіки.

Якщо передумова запитання є незрозумілою для людини, до якої звертаються, то діалог взагалі не відбудеться.

♦ Наприклад, якщо ви запитуєте співрозмовника: «Як ви голосували на останніх виборах Президента України?» з метою встановлення, за яку особу голосував співрозмовник, а у відповідь чуєте опис процедури голосування: «Пішов до виборчої дільниці, отримав бюлетень, заповнив його і кинув до урни», то навряд чи можна стверджувати про успішність такого спілкування.

Контекст запитання — це місце, час та інші умови, за яких відбувається діалог.

Саме контекст запитання зумовлює його пресупозицію.

♦ Наприклад, запитання: «Чи маєте ви годинник?», яке ставлять перехожому на вулиці, може означати бажання дізнатися про час. Те ж саме запитання, але в подарунковому магазині, буде означати зовсім інше.

♦ Інший приклад: запитання «Як справи?» в залежності від різних ситуацій може бути довідковим (коли дійсно хочуть дізнатися про життя іншої людини) або просто люб'язністю (відповідно до правил етикету).

Встановлення передумови (пресупозицГі) запитання і контексту його промовляння є важливим чинником успішного спілкування людей.

Види запитань

Існують різноманітні види запитань. Так, наприклад, усі запитання поділяють на:

♦ відкриті;

♦ закриті.

Відкриті запитання — це запитання, які передбачають можливість необмеженої кількості відповідей.

Закриті запитання — це запитання, на які можна дати обмежену кількість відповідей.

♦ Наприклад, запитання «Яким є Ваше ставлення до діяльності Верховної Ради?» є відкритим, оскільки кожна людина може висловити свою власну думку з цього приводу.

♦ Те саме запитання можна сформулювати в закритій формі, якщо додати до нього перелік можливих відповідей. Наприклад, «Яким є Ваше ставлення до діяльності Верховної Ради?» (позитивне, негативне, не можу відповісти).

Запитання також можна поділити на:

♦ логічно коректні;

♦ логічно некоректні.

Логічно коректними називають такі запитання, на які можна дати правильні відповіді, за допомогою яких зникає пізнавальна невизначеність запитання. На логічно некоректні запитання такі відповіді дати неможливо.

Зазначимо декілька випадків логічної некоректності запитань.

1. Семантична некоректність запитання.

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

♦ Наприклад, запитання: «Які існують види а&єктивно-іменних словосполучень з обов'язкозо-дистрибутивним зв'язком компонентів у сучасній англійській мові?» буде зрозумілим лише певній аудиторії. Для більшості людей вони будуть позбавленими смислу;

б) запитання буде семантично некоректним, якщо не всі терміни, що зустрічаються в ньому, є чітко визначеними і з контексту не зрозуміло, що саме ці терміни означають. Такі запитання називають недостатньо визначеними запитаннями.

♦ Наприклад, запитання «Ви «за» чи «проти» введення приватної власності?» може викликати великі труднощі, оскільки невідомо, що саме має на увазі той, хто запитує, вживаючи певні терміни.

Необхідно з'ясувати, принаймні, найбільш очевидне: «Що таке приватна власність?», «Яким саме чином вона буде запроваджуватись?», «Що є предметом приватної власності: земля, надра, заводи?..» тощо, а потім вже давати відповідь.

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

♦♦♦ Прикладами таких запитань можуть бути запитання, в яких відсутня узгодженість часу («Чи будете Ви перебувати в Україні останні п'ять років?»). Такі запитання складають різновиди запитань, позбавлених смислу.

3. Запитання буде некоректним, якщо його передумовою є хибне висловлювання. На таке запитання взагалі неможливо дати відповідь.

♦ Ще з часів античності звертали увагу на запитання на зразок: «Чи перестав ти бити свого батька? Так чи ні?» Якщо хтось відповідає «так», то виходить, що він дійсно колись бив свого батька, хоч зараз уже не б'є. Якщо ж хтось відповідає «ні», то виходить, що

він не лише бив, а й продовжує бити свого батька. Складність ситуації зумовлюється саме хибністю передумови запитання, а саме: *Ти бив свого батька».

Запитання зазначеного гатунку іноді називають провокаційними. Яким же чином треба на них відповідати? Насамперед потрібно з'ясувати передумову (пресупозицію) таких запитань і сповістити співрозмовникові про її хибність.

4. Запитання буде некоректним, якщо в ньому стверджуються характеристики предмета, які суперечать одна одній.

♦♦♦ Наприклад, «Чи може всесильний Бог створити такий камінь, який не зміг би підняти сам?» У цьому запитанні стверджують, з одного боку, що Бог — це всесильна істота, той, хто може зробити все, а з іншого боку, що Бог — це істота, яка не може підняти камінь.

Таким запитанням притаманна внутрішня суперечність. Можливість правильної відповіді на них виключена. Саме тому їх називають абсурдними.

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

Розрізняють такі види тавтологічних запитань:

♦ логічно тавтологічні запитання;

♦ фактично тавтологічні запитання.

Запитання є логічно тавтологічним, якщо інформація, про яку в ньому запитують, виражена за допомогою логічної форми самого запитання.

♦> Наприклад: «Чи є ця людина такою, якою вона насправді є?» На такі запитання практично неможливо дати хибну відповідь, яка не була б при цьому логічно суперечною.

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

♦ Наприклад: «В якому місті був підписаний Брестський мирний договір?» або «Між якими країнами відбувалась російсько-турецька війна?»

Види відповідей

Відповіді поділяються на:

♦ правильні;

♦ неправильні.

Правильна відповідь — це відповідь, яка повністю або частково усуває пізнавальну невизначеність, наявну в запитанні.

Той, хто запитує, отримує інформацію, що задовольняє його.

Правильні відповіді можуть бути:

♦ сильними;

♦ слабкими.

Сильна відповідь — це відповідь, яка надає повну інформацію щодо певного запитання.

Слабка відповідь — це відповідь, яка лише частково усуває незнання: інформація, що надається такою відповіддю, є неповною.

Серед двох слабких відповідей одна може виявитися сильнішою.

♦ Наприклад, на запитання: «Чиє ім'я присвоєне Київському національному університету?» можна дати як сильну відповідь:

«Ім'я Тараса Шевченка», так і слабкі відповіді: «Ім'я українського поета», «Ім'я видатного українського громадського діяча» тощо.

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

Неправильна відповідь — це відповідь, яка не надає нової інформації стосовно проблеми, якою цікавиться той, хто запитує.

Такі відповіді аж ніяк не зменшують пізнавальну невизначеність запитання і, отже, не усувають незнання тієї людини, яка його ставить.

Неправильні відповіді можуть бути:

♦ тавтологічними;

♦ нерелевантними.

Зазначимо, що «неправильна відповідь» і «хибна відповідь» — це різні поняття. Неправильна відповідь може бути істинною.

♦ Наприклад, тавтологічні відповіді можуть бути істинними лише завдяки своїй власній логічній формі (так звані логічно тавтологічні відповіді). Згадаймо Богомола із «Золотого ключика», який на запитання Мальвіни: «Що трапилось з Буратіно?» відповів: «Пацієнт або живий, або мертвий». Така відповідь буде неправильною, бо вона не містить нової інформації,-але все ж таки є істинною, бо спирається на закон виключеного третього.

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

♦♦♦ Наприклад, запитання: «Що являє собою логіка як наука?» і відповідь: «Логіка — це наука».

Нерелевантні відповіді — це відповіді, які зовсім не стосуються поставлених запитань. Природно, що нерелевантні відповіді також можуть бути істинними.

Розділ 6. Дедуктивні міркування § 1. Поняття про дедуктивне міркування. Види дедуктивних міркувань

Дедуктивне міркування — це міркування, в якому між засновниками і висновком існує відношення логічного слідування.

Таке міркування спирається на логічний закон. У ньому із істин них засновків завжди отримують істинний висновок.

♦ Прикладом дедуктивного міркування є такий текст: «Злочин може бути вчинений умисно або з необережності. Цей злочин вчинений умисно. Отже, він не вчинений з необережності».

Як правило, у засновках дедуктивних міркувань міститься загальне знання, а у висновку — окреме знання.

У всіх випадках, коли треба розглянути якесь явище на підставі вже відомого знання, чи загального правила і вивести щодо цього явища необхідний висновок, ми розмірковуємо на підставі дедукції. Таким чином, дедуктивні міркування дозволяють із знання, яке ми вже маємо, отримати нові істини на підставі чистого міркування, без звертання до здорового глузду, досвіду, інтуїції. Дедукція дає повну гарантію успіху при обґрунтуванні істинності якогось висновку, якщо вихідні положення — засновки — будуть істинними висловлюваннями. Не випадково дедуктивні міркування ще називають необхідними, або примусовими, міркуваннями.

Розрізняють два основних види дедуктивних міркувань:

♦ прямі;

♦ непрямі.

Прямі дедуктивні міркування — це міркування, в яких висновок безпосередньо випливає з засновків.

Непрямі дедуктивні міркування — це міркування, в яких висновок випливає із засновків опосередковано за допомогою додаткових виводів.

Розрізняють велику кількість схем прямих і непрямих дедуктивних міркувань. Так, наприклад, існують схеми дедуктивних міркувань, що базуються на структурі складних висловлювань, а також схеми міркувань, що базуються на структурі простих висловлювань. Однак серед всієї множини таких схем можна виділити найтиповіші, які переважно використовуються людьми в процесах мислення і спілкування.

Проаналізуємо чотири види прямих дедуктивних міркувань:

♦ суто умовні міркування;

♦ умовно-категоричні міркування;

♦ розділово-категоричні міркування;

♦ умовно-розділові міркування.

Розглянемо також два види непрямих дедуктивних міркувань:

♦ міркування за схемою «зведення до абсурду»;

♦ міркування за схемою «доведення від протилежного».