Сучасна логіка
В історії логіки виділяють два етапи: перший — від логіки Давнього світу до виникнення у другій половині XIX ст. сучасної логіки; другий — з того часу до наших днів. На першому етапі логіка переважно займалася проблемами, поставленими ще Аристотелем. В останні півтора століття в ній відбулись якісні зміни. Щоправда, передумови цих змін з'явилися ще тоді, коли Лейбніц запропонував ідею числення і відповідну формалізовану мову. Цю ідею, як зазначалось, сучасники не зрозуміли і зрештою забули. Проте в другій половині XIX ст., а тим більше в XX ст. на людство чекала ціла злива ідей, завдяки яким сучасна логіка пережила наукову революцію.
Сучасний етап розвитку логіки визначають як сучасна формальна логіка. Ще Г Лейбниць писав: “Єдиний засіб поліпшити наші умовиводи – це зробити їх такими, як у математиків, наочними”. Першу формалізовану мову створив Готлоб Фреге у 1879 р. Сучасна логіка широко застосовується у математиці, лінгвістиці, праві, філософії, психології, економіці, інформатиці тощо.
З початком застосування математики логіку називають класичною. Її засновниками також були Джордж Буль (1815-1864), Огастес (Августус) де Морган (1806-1871), Готлоб Фреге (1848-1925) та ін. Назвемо лише деяких видатних учених, які внесли істотний вклад у її розвиток.
Джордж Буль (1815—1864) — один із засновників математичної логіки. Поклавши в основу своїх досліджень аналогію між алгеброю і логікою, він розробив відповідне логічне числення, в якому застосував закони й операції математики (додавання класів, множення тощо). Алгебро-логічний метод дав можливість Булю виявити нові типи висновків, які не враховувались у традиційній силогістиці. Він детально проаналізував закони комутативності, асоціативності, дистрибутивності.
Огастес де Морган (1806—1871) — засновник логічного аналізу відношень, зокрема запропонував формулу суджень відношення, яка нагадує сучасну формулу «аRЬ». Він сформулював основні принципи логіки висловлювань і логіки класів. У розробленій ним алгебрі відношень аналізував операції додавання, множення тощо. В математичній логіці Морган сформулював закони, які носять його ім'я — «закони де Моргана».
Готлгб Фреге (1848—1925) заклав основи логічної семантики. У своїй фундаментальній праці «Основні закони арифметики» він побудував систему формалізованої арифметики на основі розробленого ним розширеного числення предикатів з метою обґрунтування ідеї про зведення математики до логіки.
Ідеї Фреге багато в чому наперед визначили розвиток логіки XX ст.: він увів поняття логічної функції й розрізнення властивостей речей і відношень (а відповідно одномісних і багатомісних логічних функцій); вперше увів символи для позначення кванторів; увів поняття істиннісного значення тощо.
Фреге систематично досліджував відношення між мовними виразами і предметами, які позначаються цими виразами; розкрив відмінність між значенням і смислом мовних виразів. Його праці розцінюються як початок нового етапу в розвитку математичної (символічної) логіки.
Чарлз-Сандерс Пірс (1839—1914) — родоначальник семіотики (загальної теорії знаків). У своєму численні він використовував як строгу, так і нестрогу диз'юнкції. Пірс сформулював закони матеріальної імплікації. Тривалий час його праці не були відомі широкій науковій громадськості.
Давид Гільберт (1862—1943) досяг значних успіхів у застосуванні методу формалізації в тлумаченні логічних умовиводів, у розробці числення висловлювань і предикатів, у дослідженні аксіоматизації знань. Він здійснив строго аксіоматичну побудову геометрії Евкліда, що наперед визначило подальший розвиток досліджень з аксіоматизації наукового знання, запропонував розгорнутий план обґрунтування математики шляхом її повної формалізації. Щоправда, ця програма виявилась нездійсненною, проте її ідеї спричинили виникнення метаматематики (теорії доведень).
Альфред-Норт Уайтхед (1861—1947) у співавторстві з Б. Расселом написав тритомну працю «Принципи математики», яка внесла значний вклад у розвиток математичної логіки.
Бертран Рассел (1872—1970) має великі заслуги у сфері розробки мови сучасної логічної символіки. Він систематично виклав теорію числення висловлювань і теорію класів. У книзі «Принципи математики» разом з Уайтхедом розвинув математичну логіку способом аксіоматизації й формалізації числень висловлювань, класів і предикатів, а також теорію типів як способу переборення парадоксів. Крім того, Рассел досліджував логічний аспект проблеми існування, логічний статус дескрипції, природу деяких парадоксів тощо.
Платан Порецький (1846—1907) першим у Росії розробив і читав курс математичної логіки. Він узагальнив і розвинув досягнення Дж. Буля, У.-С. Джевонса, Е. Шредера у сфері алгебри логіки. Значне місце у працях Порецького займала «теорія наслідків». Ним узагальнена теорія силогістики традиційної логіки, проаналізовані деякі несилогістичні міркування тощо.
Значним є внесок у розвиток сучасної логіки і деяких інших учених, зокрема представників львівсько-варшавської школи, до якої належали К. Твардовський, Я. Лукасе-вич, С. Лесьневський, А. Тарський, Т. Котарбіньський, К. Айдукевич та ін. Вони багато зробили для розвитку логічної семантики, теорії множин, модальної й багатозначної, математичної логіки, для розв'язання металогічних і мето-дологічних проблем тощо.
Мислення людини підкоряється логічним законам і протікає в логічних формах незалежно від науки логіки. Вона є лише наслідком існування певного закономірного стану речей і є його систематизоване і упорядковане відображення. Так як для фізики причиною її виникнення є закони Всесвіту, так логіці передують закони мислення. Як фізика, вона знаходиться в постійному становленні і розвитку, тому що можливості і предмет її дослідження і відображення безмежно широкий, і не пізнаний. Багато людей мислять логічно, не знаючи правил логіки, так само як для падіння (комусь або чомусь) необов’язково знати закони тяжіння або для розмовляння – закони граматики.
Логіка – наука про мислення. Назва її походить від грецького слова logos – “думка”, “слово”, “закон” і т.д. Термін “логіка” вживається також для позначення закономірностей об’єктивного світу (наприклад “логіка фактів”, “логіка речей” і т.д.); для позначення строгості, послідовності, закономірності процесу мислення (“логіка мислення”, “логіка міркування”). Закономірний характер мислення є своєрідним відображенням об’єктивних закономірностей. Логіки мислення є відображення логіки речей (змістовно). Але на відміну від інших наук, вивчаючих мислення людини, наприклад, фізіології вищої нервової діяльності чи психології, логіка вивчає мислення як засіб пізнання. Логіка, яка вивчає пізнаюче мислення і застосовується як засіб пізнання, виникла і розвивалась як філософська наука і в теперішній час являє собою складну систему знань, що включає дві відносно самостійні науки: логіку формальну і логіку діалектичну (усне пояснення).
Як самостійна наука логіка склалася більше двох тисяч років назад в ІV ст. до н.е. Її засновником є давньогрецький філософ Арістотель (384-322 рр. до н.е.). В своїх працях, які отримали назву “Органон” (грец. “знаряддя пізнання”), Арістотель сформулював основні закони мислення: тотожності, протиріччя і виключеного третього – описав важливі логічні операції, розробив теорію поняття і судження, змістовно дослідив дедуктивний (силогістичний) умовивід. Арістотелівське вчення про силогізм склало основу логіки предикатів (математична логіка). Античні стоїки доповнили теорію силогізму, описавши складні умовиводи (Зенон, Хрисипп та ін.). Також великий вклад зробили такі мислителі як Гален, Порфірій, Боецій. В середні віки логіка слугувала в основному релігійній схоластиці, тим самим удосконалюючи і розвиваючи свої можливості. В Новий час значний вклад зробив Ф.Бекон (1561-1626), розробивши на противагу дедуктивній логіці Арістотеля індуктивний метод, принцип якого виклав у праці “Новий Оганон”. Розроблені методи наукової індукції, систематизовані пізніше англійським філософом і логіком Д.С.Міллем (1806-1873) суттєво укріпили позиції логіки як окремої науки. Тим самим дедуктивна логіка Арістотеля і індуктивна логіка Бекона-Мілля склали основу загальноосвітньої дисципліни названої формальною логікою. Подальший розвиток логіки пов’язаний з іменами таких видатних філософів як Р.Декарт, Г.Лейбніц, І.Кант.
Р.Декарт (1569-1650) розробив ідеї дедуктивної логіки, сформулювавши правила наукового дослідження. Г.Лейбніц (1646-1716) сформулював закон достатньої підстави, висунув ідею математичної логіки. В другій половині ХІХ ст. в логіці починають широко застосовуватися математичні методи ви числення. Цей напрямок розроблений в працях Д.Буля, І.С.Джевонсонц, П.С.Порецкього, Г.Фреге, Ч.Пірса, Б.Россела, Я.Лукашевича та ін. математиків і логіків. Теоретичний аналіз дедуктивних міркувань методами ви числення з використанням формалізованих мов отримав назву математичної, чи символічної логіки. Символічна логіка включає багато “логік”, таких як: багатозначна логіка, модальна логіка, ймовірнісна і часова логіка. Особливе значення для правознавства має деонтична логіка, яка досліджує структури мови наказів (приписів), тобто висловлювань зі значенням “обов’язково”, “дозволено”, “заборонено” і т.д., які широко використовуються в юриспруденції.
Виділяють ще окрім формальної логіки діалектичну логіку, яка вивчає не самі форми мислення, а мислення в його виникненні, зміні, розвитку.
Вперше розроблена вона була Гегелем (1770-1831). Методологічні принципи, які формуються на основі діалектичного підходу виявляють об’єктивність і всебічність розгляду предмету, принцип історизму, роздвоєння єдиного на протилежні частини, сходження від абстрактного до конкретного, принцип єдності історичного і логічного і ін. Ці дві логіки доповнюють одна одну.
Мислити логічно – це значить мислити точно і послідовно, не допускаючи протиріч в своїх міркуваннях, вміти викривати логічні помилки. Ці якості мислення мають велике значення в будь-якій області наукової і практичної діяльності, в тому числі і в роботі юриста, яка потребує точності мислення, обґрунтованості висновків. Міркування, в яких відсутні строга логіка, непослідовність і протиріччя, ускладнюють справу, і можуть стати причиною судової помилки.
Знання логіки допомагає юристу підготувати логічно вибудовану, добре аргументовану промову, викрити протиріччя в показах потерпілого, свідків, звинуваченого, спростувати необґрунтовані доведення своїх опонентів, побудувати судову версію, намітити логічно витриманий план огляду місця події; без суперечностей, послідовно і обґрунтовано скласти офіційний документ і т.д. Все це має важливе значення в роботі юриста, яка спрямована на закріплення законності і порядку. Крім того знання логіки підвищує культуру мислення, виробляє навики мислити більш “грамотно”, розвиває критичне мислення до своїх і чужих думок і тим більше вона потрібна, чим професійнішим юристом потрібно бути. Складання законів, правових актів, іншого роду документів, які мають особливе значення неможливе без застосування логіки. Досвідченим юристам нетяжко знайти “логічні дірки” в законах, що допомагає їм опираючись на слабкі місця в законі успішно вести свою справу. Це і недолік, і професійна удача. Недолік зі сторони недосконалого логічного складання законів в суджень і висловлювань, якими і може скористатися, наприклад, юрист-адвокат. Логіка допомагає широкому знанню законів виведення із певного ряду законів нового погляду на речі, які розглядаються і які керуються законом.
Це лише деякі приклади широкого застосування логіки в роботі юриста і не вичерпують собою практичного застосування логіки в роботі юриста.