Логіка як наука: минуле і сучасність

конструювати коректну аргументацію;

переконливо критикувати аргументацію опонента;

уникати типових помилок в аргументацій та критиці;

розпізнавати прийоми маніпулювання співрозмовником і протистояти ним.

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

Знання логіки значно допомагає юристові:

\x2666 аналізувати юридичну термінологію в кодексах та інших нормативних актах; з’ясовувати, чи випливає певна норма з інших норм, чи включення її до правового документа не буде зайвим, чи є новий нормативний акт доповненням або запереченням старого тощо;

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

будувати судово-слідчі версії з використанням методів логіки;

складати чіткі плани розслідування злочинів;

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

не допускати логічних помилок при складанні офіційних документів: протоколів допиту і огляду місця події, рішень і постанов, рапортів, договорів тощо;

на високому рівні проводити суперечки в суді: обстоювати

власну думку і критикувати думку супротивника; швидко знаходити логічні помилки у ході судового засідання;

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

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

В історії логіки виділяють два етапи:

Від логіки Давнього світу до виникнення у другій половині XIX ст. сучасної логіки.

Від другої половини XIX ст. до наших днів.

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

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

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

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

Готліб Фреге (1848—1925) заклав основи логічної семантики. У своїй фундаментальній праці «Основні закони арифметики» він побудував систему формалізованої арифметики на основі розробленого ним розширеного числення предикатів з метою обґрунтування ідеї про зведення математики до логіки.

Ідеї Фреге багато в чому наперед визначили розвиток логіки XX ст.: він увів поняття логічної функції й розрізнення властивостей речей і відношень (а відповідно одномісних і багатомісних логічних функцій); вперше увів символи для позначення кванторів; увів поняття істиннісного значення тощо.

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

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

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

Альфред-Норт Уайтхед (1861—1947) у співавторстві з Б. Расселом написав тритомну працю «Принципи математики», яка зробила значний внесок у розвиток математичної логіки.

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