Види понять. 1 страница

Д44

Донецьк - 2010

ББК 87.4я7

Д44


Діденко Н.Г., Огородник В.Й.

Навчально-методичний посібник з дисципліни “Логіка” (для студентів ОКР "бакалавр" напряму підготовки "Право"). – Донецьк: ДонДУУ, 2010. – с.

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

Розрахований на студентів вищих навчальних закладів, які навчаються за ОКР "бакалавр" напряму підготовки “Право”.

 

Рецензенти: Поправко А.К.– зав. каф. філософії та
політології ДЮІ при Луганському університеті внутрішніх справ, канд. філос. н., доцент

 

Давидов П.Г. – канд. філос. н.,доцент кафедри філософії Донецького інституту залізничного транспорту Міністерства транспорту та зв’язку.

Коноваленко Н.В. – канд. філос. н., доцент кафедри філософії і психо- логії Донецького державного уні ве- рситету управління

 

ПЕРЕДМОВА

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

Мета запропонованого навчального посібника – дати конспективний виклад основних питань курсу логіки та закріпити їх вирішенням практичних завдань.

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

· засвоєння теоретичних положень традиційної формальної логіки у контексті їх історичного розвитку;

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

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

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

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

· уміння будувати пряме і непряме доведення, знаходити типові помилки в структурних елементах доведення;.

· формування у студентів здатності самостійно вирішувати логічні задачі, що безпосередньо пов’язані з наступною практичною діяльністю;

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

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

При підготовці навчально-методичного посібника враховані результати праць Є.Войшвилло, Є.Дегтярьова, А.Гетманової, П.Гоменюка, В.Жеребкіна, Є.Іванова, О.Івіна, Ю.Івлева, В.Кирилова, А.Старченко, А.Конверського, В.Мельникова, В.Тофтула, А.Уйомова, І.Хоменко.

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

Структура навчальної дисципліни “Логіка”

Назва змістового модуля   Всього лекції Семінар. заняття СРС індивідуальна робота ІНДЗ Форма контролю
Заліковий модуль 1. Основні логічні форми мислення та закони логіки.
ЗМ 1 Предмет і задачі логіки. Основні закони мислення Усне опитування, виконання практикумів, тестування
ЗМ 2 Поняття та логічні операції з ними
ЗМ 3 Судження та логічні операції з ними
ЗМ 4 Умовиводи: дедуктивні, індуктивні, традуктивні
    Всього за модуль 1: Модульна контрольна робота

 


 

Заліковий модуль 2. Основи аргументації та полеміки.
ЗМ 5 Основи теорії аргументації Усне опитування, виконання практикумів, тестування
ЗМ 6 Мистецтво полеміки
    Всього за модуль 2: Модульна контрольна робота
Всього д/залік

 

Заліковий модуль 1. Основні логічні форми мислення та закони логіки

 

Змістовий модуль 1. Предмет і задачі логіки. Основні закони мислення

Основні питання лекції та семінарського заняття

1.1. Мислення як предмет вивчення логіки.

1.2. Основні етапи розвитку логіки як науки.

1.3. Структура та мова формальної логіки.

1.4. Основні закони мислення.

1.5. Практичне значення логіки для юристів.

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

1.1. Мислення як предмет вивчення логіки

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

Логіка вивчає форми, норми, закони, за якими повинні будуватися будь-які правильні міркування людини.

Як зазначав видатний французький математик XVII ст. Б.Паскаль: “Усе наше достоїнство міститься у думці. Не простір та час, які ми не зможемо заповнити, підносять нас, а саме вона, наша думка. Будемо ж учитися добре думати і мудро діяти”.

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

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

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

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

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

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

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

1) мислення відображає світ в узагальнених образах;

2) мислення – це процес опосередкованого відображення дійсності. Опосередкованість – це фіксація факту незалежності знання від предмета. Тобто, виникнувши, знання набуває певної відносної самостійності, що дає змогу використовувати його як фундамент та інструмент для отримання нового знання;

3) мислення нерозривно пов’язане з мовою. Яка б думка не виникала в голові людини, вона існує лише в мовних образах, словах, реченнях. За допомогою мови люди виражають і закріплюють результати своєї діяльності, обмінюються інформацією, досягають взаєморозуміння. Мова і мислення існують в органічній єдності. Ще давньоримський вчений та оратор Цицерон (106-43 рр. до н.е.) підкреслював: “...слово від думки, як тіло від душі, неможливо відділити, не забравши життя у того та іншого”. Думка, яка існує в ідеальній формі, у мові набуває матеріальну форму і дає можливість для спеціального аналізу мислення логікою. Але між мисленням і мовою є і певні відмінності;

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

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

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

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

Судження – це форма мислення, яка відображає зв’язок між предметом і його ознакою. Судження можна позначити схемою: S – P, де S виражає суб’єкт, тобто предмет судження, P – предикат, ознаку предмета. Символи S і P в логіці називають змінними знаками, замість них можна поставити будь-яке конкретне значення і отримати думки з однаковою логічною структурою. Символ “–“ або “є” – це постійний знак (квантор), його значення зберігається при будь-яких значеннях S і P. Кванторами в логіці є також слова “всі” та “деякі”.

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

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

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

1.2. Основні етапи розвитку логіки як науки.

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

Як свідчить історія, окремі логічні проблеми розглядалися ще у Стародавній Індії та Китаї. Далі логіка розвивається у Стародавній Греції та Римі.

Розвитку логіки сприяли такі обставини:

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

2) розвиток ораторського мистецтва, в тому числі судового, яке розвивалося в умовах грецької демократії. Логіка виникла як спроба показати “тайну” красномовства, яке мало велику силу у Греції та Римі і могло спонукати одним словом і до подвигу, і до спокою. Логіка мала визначити ті якості, які треба мати в мові, щоб переконати слухачів, заставити їх погодитися або не погодитися з будь-чим, визначити щось істинним або хибним. По словам Цицерона, стародавня Греція палала пристрастю до красномовства і довгий час славилася ним.

Засновником логіки прийнято вважати видатного грецького філософа Аристотеля (384-322 рр. до н.е.), хоча перше викладення логічних проблем було здійснено грецьким філософом Демокритом (460-прибл.370 рр. до н.е.). Його трактат у 3 книгах “Про логічне або про канони” використовував у своїх творах Аристотель, хоча сам трактат не дійшов до наших часів. Демокрит розглядав суть пізнання, його основні форми, критерії істини, роль логічних міркувань у пізнанні, дав класифікацію суджень і здійснив спробу розглянути індуктивну логіку, тобто логіку дослідного знання.

Аристотелю належить ряд трактатів по логіці, які були об’єднані пізніше під назвою “Органон” (з грец.- інструмент). Основою аристотелевського вчення є теорія вивідного знання – дедуктивних умовиводів та доведень. Вона розроблена так ретельно, що, в основному, зберегла своє значення до наших днів. Аристотель розробив також класифікацію категорій, суджень, сформулював 3 основних логічних закони – закон тотожності, закон суперечності і закон виключеного третього. У вченні Аристотеля закладені основні напрямки і типи логіки – індуктивної, символічної, діалектичної. Правда, сам Аристотель називав створену ним науку не логікою, а аналітикою. Сам термін “логіка” ввійшов в науковий оберт у III ст. до н.е.

Логіка Аристотеля мала великий вплив на наукове пізнання.Так, під впливом логіки Евклід(323-283 рр. до н.е.) написав свої знамениті “Начала”, в яких були викладені досягнення грецької математики. Про цю роботу А.Ейнштейн сказав, що цей дивовижний твір дав людському розуму ту впевненість у собі, яка була так необхідна для подальшої діяльності. Логіка Аристотеля вплинула на розвиток ораторського мистецтва, особливо судових промов.

Далі розвиток логіки ми спостерігаємо і на Заході, і на Сході. Наприклад, ідеї дедуктивних умовиводів із складних суджень досліджувалися в логіці стоїків (Зенон, Хрисипп – III ст. до н.е.). Логіка цих філософів стала основою для розвитку такого напрямку як логіка висловлювань.

Подальший розвиток логіки відбувається в період середньовіччя. Цікаво зазначити, що після падіння античної цивілізації перше, що було відновлено з античної науки, - це логіка Аристотеля. У VI-ХV ст. розвивається “схоластична логіка”. До її видатних представників належать Іоанн Росцелін, П’єр Абеляр, Михайло Псьол, Петро Іспанський, Раймунд Луллій, Дунс Скотт, Вільям Оккам та ін.

Однією з перших логічних робіт того часу була книга П’єра Абеляра (1079-1142) “Діалектика”. Поряд з терміном “діалектика” автор вживає термін “логіка”. П. Абеляр написав ряд окремих робіт з логіки (“Вступні зауваження до викладу окремих питань з логіки”, “Логіка складових частин висловлювання” та ін.).

Візантійський вчений Михайло Псьол, з метою кращого запам’ятовування логічних відношень між категоричними судженнями, вводить схему, яка дістала назву “логічний квадрат”. Він же запропонував назви для модусів категоричного силогізму і дав позначення категоричним судженням (А,Е,І,О).

Петро Іспанський (1210-1277) видав підручник “Коротке зведення основ логіки” (“Суммули”). Цей підручник панував у навчальній літературі до початку ХVI ст. і витримав біля 50 видань.

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

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

Новий етап в розвитку логіки починається в ХVII ст. в роботах англійського філософа Ф.Бекона.(1561-1626). На противагу старому “Органону” Аристотеля, Ф.Бекон пише “Новий Органон”, у якому викладає індуктивну логіку. Логіка Ф.Бекона тісно пов’язана з гносеологією, оскільки він ставить завдання показати, що логіка - це знаряддя пізнання, а не мистецтво ведення диспутів, не основа процесу комунікації, не сума формальних правил, за якими здійснюється обмін думками між людьми. Аристотель боровся з софізмами (навмисними логічними помилками), а Ф.Бекон вів боротьбу з “привидами” або “ідолами” (труднощами, які виникають у процесі пізнання).

Пізніше індуктивна логіка була систематизована і розвинута англійським філософом Дж.С. Міллем (1806-1873), який видав книгу “Система логіки силлогістичної та індуктивної”.

Дедуктивна логіка Аристотеля та індуктивна логіка Ф.Бекона склали основу загальноосвітньої дисципліни, яка протягом довгого часу була обов’язковим елементом європейської освіти і є основою логічної освіти у наш час. Цю логіку прийнято називати формальною, оскільки вона виникла і розвивалася як наука про форми мислення. Її називають також традиційною або аристотилевською.

У подальшому розвитку логіки значний вклад був зроблений французьким філософом Рене Декартом (1569-1650). Він розвивав ідеї дедуктивної логіки, сформулював правила наукового дослідження, виклавши їх в роботі “Правила керівництва розумом”.

Послідовники Р.Декарта з монастиря в Пор-Роялі А.Арно та П.Ніколь видали книгу “Логіка або мистецтво мислити” (відома як “Логіка Пор-Рояля”). До початку Х1Х ст. ця книга визнавалася як основний підручник з логіки.

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

Питаннями логіки займався також видатний німецький філософ І.Кант. Саме він запропонував термін "формальна логіка".

У другій половині Х1Х ст. у логіці починають широко використовувати математичні методи. Цей напрямок розроблявся в роботах Д.Буля, У.С.Джевонса, Г.Фреге, Ч.Пірса, Б.Рассела, Я.Лукасевича та ін. і отримав назву математичної або символічної логіки. Сучасна символічна логіка включає багато напрямків – модальна, темпоральна, деонтична та інші. Вона має важливе значення для розвитку математики, фізики, біології, кібернетики, економіки, лінгвістики, приводить до виникнення нових напрямків, в сфері виробництва використовується при створенні ЕОМ, інформаційно-логічних систем. В правовій сфері використовується логіко-математична обробка інформації.

Зверніть увагу на слова видатного філософа і логіка Г.Х. фон Врігта: ”Найбільш характерною рисою філософії ХХ сторіччя було відродження логіки і та збуджуюча роль, яку вона зіграла в загальному розвитку філософії”.

Особливістю формальної логіки є те, що вона розглядає форми мислення незалежно від їх виникнення, розвитку та зміни, незалежно від змісту самих форм. Цей бік мислення вивчає діалектична логіка, яка представлена в філософії Г.Гегеля (1770-1831) та філософії марксизму. Діалектична логіка, на відміну від формальної, вивчає закони розвитку людського мислення, методологічні принципи, які формуються на їх основі – принцип історизму, всебічності і об’єктивності розгляду предмета, єдності історичного та логічного та ін.

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

1.3. Структура та мова формальної логіки.

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

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

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

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

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

Знаки поділяють на 3 види: знаки-індекси, знаки-образи, знаки-символи. Знаками-індексами називають знаки, які безпосередньо вказують на позначуваний ними предмет, наприклад, дим вказує на наявність вогню, висота ртутного стовпчика – на атмосферний тиск.

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

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

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

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

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

1.4. Основні закони мислення

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

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

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

1) мають найбільш загальний, універсальний для всього мислення характер;

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

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

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

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

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