РЕЛЕВАНТНА ЛОГІКА це що таке РЕЛЕВАНТНА ЛОГІКА визначення
Знайдено 2 визначення термінаРЕЛЕВАНТНА ЛОГІКА
РЕЛЕВАНТНА ЛОГІКА
- Одна з найбільш відомих некласичних теорій логічного проходження. У назві "Р. л." відбивається прагнення виділити і систематизувати лише доречні (релевантні) принципи логіки, виключивши, зокрема, парадокси імплікації, властиві імплікації матеріальної класичної логіки, суворої імплікації та інших.
У Р. л. формальним аналогом умовного висловлювання є релевантна імплікація, що враховує змістовий зв'язок, що існує між підставою (антецедентом) та наслідком (консеквентом) такого висловлювання. Вираз "Затвердження A релевантно імплікує твердження В" означає, що міститься в A і інформація, що подається, є частиною інформації A. Зокрема, A не може релевантно імплікувати В, якщо в В не входить хоча б одне з тих тверджень, з яких
У Р. л. немає місця принцип, що дозволяє з протиріччя виводити будь-яке висловлювання. Ця логіка є, таким чином, однією з паранесуперечливих логік, що не ототожнюють суперечливість теорій, що спираються на них, з їх тривіальністю, тобто з доказовістю в них будь-якого твердження.
У Р. л. логічно справжнє висловлювання невиводиться з довільно взятого висловлювання.
РЕЛЕВАНТНА ЛОГІКА
напрям у символічній логіці (див. Логіка символічна), яке виникло та розвивалося як альтернатива класичній символічній логіці. У назві «релевантна» (терміни «релевантний», «релевантність» є калькою з англійської, і їх можна перекласти як «доречний», «що стосується справи», «доречність») знайшло відображення та обставина, що в ній виключаються властиві класичнійлогіці принципи, які з погляду інтуїції та, головне, реальної практики міркувань трактуються як недоречні, що не відповідають цій практиці, парадоксальні. Релевантна логіка відрізняється від класичної логіки у двох основних пунктах. По-перше, в об'єктну мову обчислень вводиться імплікація, що інтенсійно розуміється (див. Логічні зв'язки), істиннісне значення якої на відміну від екстенсіональної матеріальної імплікації не детермінується істиннісними значеннями зв'язуваних висловлювань. В одних обчисленнях, таких, як R, імплікація, що вводиться близька до звичайного умовного союзу «Якщо . те. і часто називається релевантною імплікацією. В інших, наприклад. У відомому обчисленні Е, імплікація вводиться в об'єктну мову. Філософсько-методологічні аспекти релевантної логіки. М., 1988) і не згодні інші (Сидоренко Є. А. Логічне слідування та умовні висловлювання. М., 1983), повинна бути формальним аналогом логічного слідування. Технічно для імплікацій, що фігурують у релевантній логіці, інтенсивність означає, що принципів, аналогічних відомим парадоксам матеріальної імплікацій Л -» (5 -» .,4) і Л -» (-i/l -» 5), в релевантній логіці немає. По-друге, в релевантній логіці, щоб прийняти метаствердження про відносини логічного слідування між А і В (символічно: A (= В), недостатньо того факту, що В - тотожно істинно, або А - тотожно хибно (суперечливо). обчислення немає і теорем виду А - В, де В є теорема, а А - довільна формула, або А є запереченням теореми, а В - довільною формулою.
Перші спробиподолання парадоксів прямування було здійснено ще в давнину (Діодор Кронос) і в основному засновані на передумові про модальний (необхідний) характер умовного зв'язку. Своє логічне завершення вони отримали у роботах К. Льюїса, який запропонував для формалізації умовного зв'язку так звану "сувору" імплікацію. Однак такий підхід не вирішив проблеми, зберігши принципи, згідно з якими необхідне висловлювання випливає з будь-якого, а неможливе тягне за собою будь-яке. Ці принципи називають парадоксами суворої імплікації.
Однак першим, хто усвідомлено поставив перед собою завдання експлікації логічного слідування як зв'язку між висловлюваннями щодо змісту і вирішив її, побудувавши спеціальне числення, був В. Аккерман (Ackennan W. Bergundung einer strengen Implikation. - The Journal of Symbolic Logic, 1956, v. 21). З виходом його починається розвиток релевантної логіки як повноправної логічної теорії, хоча сам термін «релевантна логіка», запропонований, мабуть, Д. Правітцем, з'явився і тим більше утвердився значно пізніше.
До кінця 60-х років. релевантна логіка розвивалася як сукупність обчислень, які мають адекватної семантики. А. Андерсеном і Н. Белнапом були побудовані різні системи релевантної логіки, серед яких слід зазначити чотири найважливіші. Система ffoe - це система релевантного проходження першого рівня, що формалізує відношення проходження між формулами, що не містять знака імплікації. Найсильніша система релевантної логіки - це система R, що формалізує умовний зв'язок. Вона задовольняє вимогу релевантності — наявності в антецеденті та консеквенті принаймні однієї загальної змінної змінної. Система E - релевантного слідування була призначена для формалізації відносини слідування, що носить необхіднийхарактер. Вона також є модальною системою, в якій оператор необхідності виражається через релевантну імплікацію. Нарешті, найслабшою з названих є система Т, у якій імплікація експлікує поняття законоподібного зв'язку, яка розуміється як безліч дозволених переходів від одних фактично істинних висловлювань до інших. Три останні системи містять Д^е як фрагмент і відрізняються одна від одної лише імплікативними аксіомами.
Символічна релевантна логіка ближче до тієї логіки, що використовується у нормальних міркуваннях. Водночас у ній, порівняно із класичною, виникають серйозні семантичні проблеми. напр., відкидаючи твердження
-А, А І В про виведення довільного В з протиріччя
/ А, необхідно обгрунтувати відкидання твердження про логічне слідування -А, А 1 = У семантичному сенсі (див. Слідування логічне), а також мати семантику, в якій формули виду -А&А -> (> А) -» В, А -> (В -> Е) і т. п., антецеденти яких суперечливі, або консеквенти загальнозначущі, не були б семантично істинними. Технічні рішення, як було зазначено, знайти вдалося. Однак із змістовної точки зору запропоновані семантики виглядають дуже штучними. У семантику можливих світів довелося вводити «неможливі можливі світи» та тернарне (замість звичайного бінарного) ставлення досяжності одних світів з інших. Такого становища вдається уникнути шляху побудови дворівневої семантики можливих світів (Сидоренко Є. А. Реляційна семантика релевантних обчислень.— У кн.: Логічні дослідження, вип. 3. M., 1995), що дозволяє вважати формулу В обчислення семантично істинної, якщо і тільки якщо вона верифікується у тих світах, де постульована істинність > В. При цьому семантичнаістинність В не тягне семантичної істинності А -» В. Двохрівнева реляційна семантика дозволяє уникнути парадоксів прямування і легко адаптується до всіх обчислень релевантної логіки та їх модальних та кванторних розширень.
Дінченко В. В. Деякі питання, пов'язані з проблемою вирішення для обчислення суворої імплікації Аккермана. - У кн.: Проблеми логіки. М., 1963; Сидоренко О. А. Релевантна логіка. М., 2000; AndersonA. R., Belnap N. D. Entailment. The logic of relevance and necessity, v. 1. Princeton, 1975; AndersonA. R., Belnap N. D; DunnJ. M. Entailment. The logic of relevance and necessity, v. 2. Princeton, 1995; Dunn J. M. Relevance logic and entailnient.— Handbook of philosophical logic, v. HI: Alternatives to classical logic. Dordrecht, 1986; Раутлей Р., Мейєр Р. Семантика прямування. - У кн.: Семантика модальних та інтенсіональних логік. М., 1981; Максимова Л. Л. Семантика та теореми відділення для логічних обчислень Е та R. - Алгебра і логіка, 1971, т. 10, №4.