Сучасна логіка

Платан Порецький (1846—1907) першим у Росії розробив і читав курс математичної логіки. Він узагальнив і розвинув досягнення Дж. Буля, У.-С. Джевонса, Е. Шредера у сфері алгебри логіки. Значне місце у працях Порецького займала «теорія наслідків». Ним узагальнена теорія силогістики традиційної логіки, проаналізовані деякі несилогістичні міркування тощо.Значним є внесок у розвиток сучасної логіки і деяких інших учених, зокрема представників львівсько-варшавської школи, до якої належали К. Твардовський, Я. Лукасе-вич, С. Лесьневський, А. Тарський, Т. Котарбіньський, К. Айдукевич та ін. Вони багато зробили для розвитку логічної семантики, теорії множин, модальної й багатозначної, математичної логіки, для розв'язання металогічних і мето-дологічних проблем тощо.

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

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

Як самостійна наука логіка склалася більше двох тисяч років назад в ІV ст. до н.е. Її засновником є давньогрецький філософ Арістотель (384-322 рр. до н.е.). В своїх працях, які отримали назву “Органон” (грец. “знаряддя пізнання”), Арістотель сформулював основні закони мислення: тотожності, протиріччя і виключеного третього – описав важливі логічні операції, розробив теорію поняття і судження, змістовно дослідив дедуктивний (силогістичний) умовивід. Арістотелівське вчення про силогізм склало основу логіки предикатів (математична логіка). Античні стоїки доповнили теорію силогізму, описавши складні умовиводи (Зенон, Хрисипп та ін.). Також великий вклад зробили такі мислителі як Гален, Порфірій, Боецій. В середні віки логіка слугувала в основному релігійній схоластиці, тим самим удосконалюючи і розвиваючи свої можливості. В Новий час значний вклад зробив Ф.Бекон (1561-1626), розробивши на противагу дедуктивній логіці Арістотеля індуктивний метод, принцип якого виклав у праці “Новий Оганон”. Розроблені методи наукової індукції, систематизовані пізніше англійським філософом і логіком Д.С.Міллем (1806-1873) суттєво укріпили позиції логіки як окремої науки. Тим самим дедуктивна логіка Арістотеля і індуктивна логіка Бекона-Мілля склали основу загальноосвітньої дисципліни названої формальною логікою. Подальший розвиток логіки пов’язаний з іменами таких видатних філософів як Р.Декарт, Г.Лейбніц, І.Кант.

Р.Декарт (1569-1650) розробив ідеї дедуктивної логіки, сформулювавши правила наукового дослідження. Г.Лейбніц (1646-1716) сформулював закон достатньої підстави, висунув ідею математичної логіки. В другій половині ХІХ ст. в логіці починають широко застосовуватися математичні методи ви числення. Цей напрямок розроблений в працях Д.Буля, І.С.Джевонсонц, П.С.Порецкього, Г.Фреге, Ч.Пірса, Б.Россела, Я.Лукашевича та ін. математиків і логіків. Теоретичний аналіз дедуктивних міркувань методами ви числення з використанням формалізованих мов отримав назву математичної, чи символічної логіки. Символічна логіка включає багато “логік”, таких як: багатозначна логіка, модальна логіка, ймовірнісна і часова логіка. Особливе значення для правознавства має деонтична логіка, яка досліджує структури мови наказів (приписів), тобто висловлювань зі значенням “обов’язково”, “дозволено”, “заборонено” і т.д., які широко використовуються в юриспруденції.

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

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