Логічне слідування
логічне проходженняЛОГІЧНЕ СЛІД — відношення між висловлюваннями; точніше — відношення між посилками та укладанням, яке характеризується тим, що висновок із необхідністю випливає з посилок. Поняття Л. с. є центральним у логіці. Так, будучи одним із творців сучасної логіки, А. Тарський в 1936 у роботі з характерною назвою «Про поняття логічного слідування» писав: «Пропозиція X логічно випливає із пропозицій класу К, якщо і тільки якщо кожна модель класу К є також модель пропозиції X ». У зв'язку з цим важливе значення набуває наступне питання: що означає для укладання А слідувати з посилок Z? Загальноприйнятим вважається наступний принцип: А випливає з посилок Z, якщо, і тільки якщо будь-який випадок, в якому кожна посилка в Z є істинною, є випадок, в якому А істинна. Звернемо увагу на те, що, видатний ріс. Логік А.А. Марков пов'язує цей принцип із визначенням того, що є логіка: «Логіку можна визначити як науку про добрі способи міркування. Під «хорошими» способами міркування у своїй можна розуміти такі, у яких з правильних вихідних положень виходять правильні результати» (Марков А.А. Елементи математичної логіки. М., 1984. з. 5). У результаті суттю Л. с. є збереження істини у всіх випадках. Наголосимо, що властивості Л. с. безпосередньо пов'язані з властивостями логічного зв'язування «імплікація» (див. Логіка висловлювання). Це означає, напр., якщо формула А логічно випливає з формули В (символічно: А —* В), то імплікативна формула A D є законом логіки (див. Логічний закон). Якщо суттю логіки є збереження істини у всіх випадках, то різні логіки виходять різними експлікаціями цих випадків. Уточнення цих випадків спочатку призвело до усунення такзваних парадоксів матеріальної імплікації (див. Парадокси імплікації). Так виникло поняття суворої імплікації і у зв'язку з цим клас модальних логік Льюїса (див. Модальні логіки). У свою чергу усунення парадоксів суворої імплікації призвело до появи класу релевантних логік. Поняття Л. с. Тарського передбачає принцип: «з брехні випливає що завгодно». Усунення цього принципу призвело до появи класу паранесуперечливих логік. Др. властивістю відношення Л. с. є його монотонність. Останнє означає, що додавання посилок не впливає на прийнятність вихідного висновку. Відмова монотонності веде до класу немонотонних логік. Останнім часом навколо концепції Л. с. Тарського триває жвава дискусія. Справа в тому, що сама ця концепція носить швидше філософський, нетехнічний характер і залишає багато місця для різних конфліктуючих інтерпретацій. Основний задум Тарського полягав у тому, щоб дати визначення Л. с, що застосовується для дуже широкого класу міркувань, причому, як виявилося, настільки широкого, що виникають проблеми вже іншого рівня, що стосуються питання про те, що є логіка. О.С. Карпенка Літ.: Gomez-Torrente M. Tarski на Logical Consequence // Notre Dame Journal of Formal Logic. 1996. Vol. 37. № 1; Tarski A. On Concept of Logical Consequence // Tarski A. Logic, Semantics, Metamatematics. Indianapolis, 1983. P. 409-420.
Енциклопедія епістемології та філософії науки. М.: "Канон +", РООІ "Реабілітація". І.Т. Касавін. 2009 .
Інші новини по темі:
Будь ласка, розмістіть посилання на цю сторінку на своєму веб-сайті: