Некласична логіка в контексті некласичної раціональності

У статті проводиться аналіз типологій некласичної логіки у контексті взаємозв’язків двох перших складових логіко-раціональної моделі пізнавальних процесів. Зро-блено висновок про встановлення морфізмів між системами теоретичної та практичної логіки й некласичної раціональності, логіки інформаційних...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2010
1. Verfasser:	Шенгерій, Л.М.
Format:	Artikel
Sprache:	Ukrainian
Veröffentlicht:	Інститут філософії імені Г.С. Сковороди НАН України 2010
Schriftenreihe:	Філософські обрії
Schlagworte:	Логіка, філософія науки
Online Zugang:	http://dspace.nbuv.gov.ua/handle/123456789/25922
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Некласична логіка в контексті некласичноїраціональності / Л.М. Шенгерій // Філософські обрії. — 2010. — № 23. — С. 136-145. — Бібліогр.: 10 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-25922
record_format	dspace
spelling	irk-123456789-259222011-08-20T12:05:45Z Некласична логіка в контексті некласичної раціональності Шенгерій, Л.М. Логіка, філософія науки У статті проводиться аналіз типологій некласичної логіки у контексті взаємозв’язків двох перших складових логіко-раціональної моделі пізнавальних процесів. Зро-блено висновок про встановлення морфізмів між системами теоретичної та практичної логіки й некласичної раціональності, логіки інформаційних технологій й постнекласичної раціональності. В статье проводится анализ типологий неклассической логики в контексте взаимосвязи двух первых составляющих логико-рациональной модели познавательных процессов. Сделан вывод о существовании морфизмов между системами теоретической и практической логики и неклассической рациональностью, логики информационных технологий и постнеклассической рациональностью. The article deals with the analysis of typologies of non-classical logic in the context of interrelations of the two first components of logic and rational model of cognitive processes. There is made a conclusion as regards establishment of morphisms between the systems of theoretical and practical logic and non-classical rationality, logic and information technologies and post nonclassical rationality. 2010 Article Некласична логіка в контексті некласичноїраціональності / Л.М. Шенгерій // Філософські обрії. — 2010. — № 23. — С. 136-145. — Бібліогр.: 10 назв. — укр. 2075–1443 http://dspace.nbuv.gov.ua/handle/123456789/25922 uk Філософські обрії Інститут філософії імені Г.С. Сковороди НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Ukrainian
topic	Логіка, філософія науки Логіка, філософія науки
spellingShingle	Логіка, філософія науки Логіка, філософія науки Шенгерій, Л.М. Некласична логіка в контексті некласичної раціональності Філософські обрії
description	У статті проводиться аналіз типологій некласичної логіки у контексті взаємозв’язків двох перших складових логіко-раціональної моделі пізнавальних процесів. Зро-блено висновок про встановлення морфізмів між системами теоретичної та практичної логіки й некласичної раціональності, логіки інформаційних технологій й постнекласичної раціональності.
format	Article
author	Шенгерій, Л.М.
author_facet	Шенгерій, Л.М.
author_sort	Шенгерій, Л.М.
title	Некласична логіка в контексті некласичної раціональності
title_short	Некласична логіка в контексті некласичної раціональності
title_full	Некласична логіка в контексті некласичної раціональності
title_fullStr	Некласична логіка в контексті некласичної раціональності
title_full_unstemmed	Некласична логіка в контексті некласичної раціональності
title_sort	некласична логіка в контексті некласичної раціональності
publisher	Інститут філософії імені Г.С. Сковороди НАН України
publishDate	2010
topic_facet	Логіка, філософія науки
url	http://dspace.nbuv.gov.ua/handle/123456789/25922
citation_txt	Некласична логіка в контексті некласичноїраціональності / Л.М. Шенгерій // Філософські обрії. — 2010. — № 23. — С. 136-145. — Бібліогр.: 10 назв. — укр.
series	Філософські обрії
work_keys_str_mv	AT šengeríjlm neklasičnalogíkavkontekstíneklasičnoíracíonalʹností
first_indexed	2025-07-03T05:29:43Z
last_indexed	2025-07-03T05:29:43Z
_version_	1836602447767797760
fulltext	136 Філософські обрії, 2010, № 23 ЛОГІКА, ФІЛОСОФІЯ НАУКИ Людмила Шенгерій ШЕНГЕРІЙ Людмила Миколаївна — доктор філософських наук, доцент кафедри філософії, психології та педагогіки Полтавської державної аграрної академії. Сфера наукових інтересів — логіка, логічна аналітика, теорія раціональності. НЕКЛАСИЧНА ЛОГІКА В КОНТЕКСТІ НЕКЛАСИЧНОЇ РАЦІОНАЛЬНОСТІ У статті проводиться аналіз типологій некласичної логіки у контексті взаємозв’язків двох перших складо- вих логіко-раціональної моделі пізнавальних процесів. Зро- блено висновок про встановлення морфізмів між систе- мами теоретичної та практичної логіки й некласичної раціональності, логіки інформаційних технологій й постнекласичної раціональності. Ключові слова: некласична логіка, некласичні формально- логічні принципи стандартизації знання, типології некласичної логіки. Інваріантною складовою в структурі взаємозв’язків логіки та раціональності протягом традиційного та сучасного етапів розвитку логічного знання слугує логіко-раціональна модель пізнавальних процесів, що включає три складники: 1) про- дукування раціональних принципів стандартизації знання в філософській царині; 2) продукування формальних принципів і засобів стандартизації знання в логіці; 3) застосування фор- мальних принципів і засобів стандартизації знання в будь- яких логічних, філософських чи наукових розвідках. © Л.Шенгерій, 2010 Логіка, філософія науки 137Філософські обрії, 2010, № 23 У цій статті ми прагнемо проаналізувати взаємовідношення та взаємозв’язки перших двох складників наведеної моделі у некласичному та постнекласичному контекстах. Для до- сягнення поставленої мети ми аналізуємо основні типології некласичної логіки та встановлюємо морфізми між основни- ми розділами некласичної логіки та некласичною й постне- класичною раціональністю. Некласична логіка формується у ХХ ст. як надбудова над системами класичної логіки. Існують декілька підходів до визначення цієї галузі знання. Інколи некласичну логіку виз- начають як логіку, в якій не виконується хоча б один із законів класичної логіки. Насправді якщо вести мову не про систему, а про сукупність формальних критеріїв стандартизації знан- ня у некласичній логіці, то завдяки такому підходу можна уникати подібних дефініцій. Більш розгорнутим є визначен- ня некласичної логіки, що представлене у «Філософському енциклопедичному словнику»: «Некласична логіка — це на- прям сучасної формальної логіки, що вивчає логічні системи, адекватна семантична інтерпретація яких задовольняє хоча б одну із таких умов: 1) наявність більше двох допустимих значень істинності; 2) наявність таких логічних знаків s, що формула sА не є функцією істинності від А; 3) допустимість пустого універсуму (множина об’єктів інтерпретації); 4) порушення принципу екстенційності (в цьому випадку значення предиката не визначається однозначно його обсягом); 5) порушення принципу підстановки тотожного (можливості підставляти в контекст замість будь-якого імені інше, рівнозначне йому ім’я) [7, c. 338]. Це визначення є важливим з точки зору вивчення взаємозв’язків сучасної логіки й некласичної раціональності, оскільки воно являє собою логічну експлікацію сукупності принципів логічної некласичної раціональності. Логіка, філософія науки 138 Філософські обрії, 2010, № 23 Загалом, некласична логіка експлікує сукупність раціональних некласичних метапринципів, що набувають форми сукупності принципів некласичної логіки. Оскільки мова йде про сукупність формальних принципів стандартизації знання, то це є підставою для визнання законів логіки універсальними навіть для некласичного її розуміння, такими, що не залежать від специфіки області застосування. У залежності від особливостей області застосування із сукупності законів логіки обираються саме ті, що будуть використовуватися. Доцільно зазначити, що навіть математиками, для яких системи класичної логіки втілюють надію на обґрунтування появи самої математики, поява некласичної логіки оцінюється надзвичайно позитивно. Про це свідчить думка видатного французького математика Жюля Анрі Пуанкаре (1854 — 1912 рр.), висловлена ним у праці «Про науку». Він переконаний, що некласична логіка значною мірою відрізняється від класичної, оскільки вона «багатша за класичну. Кількість її символів збільшилася, вони поєднуються в різноманітні комбінації, кількість яких вже є необмеженою» [8, c. 21]. Або ще таке висловлювання: «Різноманітність логічних систем є показником розширення та збагачення апарата логіки» [2, c. 36]. У некласичних логічних системах завдяки реалізації одного зі стрижнєвих принципів некласичної раціональності — залучення настанов, принципів, концептуального апарату суб’єкта, що пізнає, до обґрунтування логічних систем, — відкриваються перспективи у напрямках обґрунтування логіки, перегляду фундаментальних логічних понять істинності, хибності, заперечення та ін. [9, c. 38], — указує відомий російський логік О. Д. Смірнова. Саме в цих та інших напрямках ми будемо розглядати взаємозв’язки некласичних раціональності та логіки. У вітчизняній і зарубіжній літературі описуються спроби узгодити раціональність і логіку, виходячи з іншого розуміння Логіка, філософія науки 139Філософські обрії, 2010, № 23 їх взаємозв’язку, відмінного від логіко-раціональної моделі пізнання. А саме, О. А. Івін висуває тезу про відповідність універсальної раціональності вимогам логіки. Науко- вець, таким чином, прагне обґрунтувати позицію, згідно якої на підставі формальних принципів стандартизації знання формуються філософські принципи універсальної раціональності. У такому контексті стандарти раціональності мають ґрунтуватися на формальних логічних стандартах. Така позиція відразу ставить наступне питання: «Що мається на увазі, коли вимагається відповідність логіці?.. Адже існує цілий спектр формальних, напівформальних і неформаль- них логічних систем: із законом виключеного третього та без нього, із законом недопустимості протиріччя та без ньо- го, із принципом, що з протиріччя випливає будь-що, і без нього» [3, c. 719]. Дійсно, некласична логіка складається з нескінченної кількості окремих логічних систем, що утруднює встановлення морфізму «логіка → раціональність». Труднощі, що виникають у О.А.Івіна при обґрунтуванні такої позиції, вказують на її неідеальність і можливість обґрунтування взаємозв’язків логіки та раціональності в межах логіко-раціональної моделі пізнання. Як зазначалося раніше, згідно цієї моделі пізнавальних процесів, раціональні метапринципи стандартизації знання, що опрацьовуються в теорії некласичної раціональності, знаходять формальну експлікацію в системах некласичної логіки. Некласичні формально-логічні принципи раціональності мають власну специфіку та відрізняються від класичних, хоча й не заперечують їх загалом. Якщо класичні формально- логічні принципи стандартизації знання утворюють систему, до складу якої насамперед включаються закон тотожності, несуперечності, виключеного третього та достатньої підстави та ін., то в некласичному контексті правомірно вести мову лише про їх сукупність. Як відомо, система принципів виконується, якщо з необхідністю виконується кожен принцип, що входить Логіка, філософія науки 140 Філософські обрії, 2010, № 23 до її складу. Для сукупності у граничному розумінні достатньо виконання хоча б одного її принципу в кожному окремому випадку. Насправді при побудові некласичних логічних систем апріорі дотримуються принципи тотожності та достатньої підстави, які утворюють інваріантну підсистему сукупності некласичних формально-логічних принципів стандартизації знання. Щодо інших некласичних логічних принципів, то в окремих некласичних логічних системах можуть залучатися тільки деякі з них. Досить вдалу спробу виокремлення логічної складової некласичних формальних принципів стандартизації знання здійснює німецький філософ і логік Ганс Лєнк. З точки зору некласичної логіки можна потрактовувати: раціональність як логічне слідування аргументу з  прийнятих засновків: а) логіко-синтаксичне; б) істиннісно- семантичне; в) діалогічно-семантичне слідування; раціональність як формально-наукову доведеність; раціональність як розвиток раціональної експлікації  понять; цілераціональність, раціональність «мета-засіб», або  інструментальна раціональність у смислі мінімізації затрат або оптимізації результатів для детермінованих, незмінних цілей; раціональність у теорії прийняття рішень і стратегічна  раціональність; раціональність у теорії ігор (стратегічна раціональність  у більш вузькому смислові) [10, с. 120-121]. Вищенаведене розуміння філософських метапринципів некласичної раціональності з точки зору некласичної логіки дозволяє будувати типології систем некласичної логіки, яких існує нескінченна кількість. Оскільки «класичні апарати чис- лення висловлювань і предикатів не були пристосовані, щоб експлікувати можливість і необхідність, описувати вислов- лювання темпорального характеру, перформативів, запитань, Логіка, філософія науки 141Філософські обрії, 2010, № 23 концепцій, що допускають протиріччя, то це обумовило ви- никнення різноманітних некласичних логік ... Так з’явились модальна, багатозначна, інтуїціоністська логіки, логіка за- питань, логіка зміни думки, темпоральна, епістемічна, пара- консистентна та інші логіки. Завдяки цим досягненням мож- на назвати ХХ століття не тільки століттям атомної енергії, комп’ютерів, спорту, але й століттям логіки» [6, c. 85-86]. З’ясуємо, як це питання розглядається у фундаментальних енциклопедичних виданнях кінця ХХ ст. і початку ХХІ ст. У «Новій філософській енциклопедії» фігурує наступна класифікація типів некласичних логічних систем: багатозначні логіки, в яких відмовляються від прин- ципу двозначності (ймовірнісні, нечіткі логіки). Засади таких логік ґрунтуються на постулаті про те, що твердження є не тільки істинними чи хибними, але можуть набувати інших існиннісних значень; інтуїціоністські та конструктивні логіки, які  досліджують міркування в межах потенційної здійсненності. До складу принципів стандартизації знання у логіках першо- го типу не включається закон виключеного третього, та, як наслідок, не діє принцип зняття подвійного заперечення; модальні логіки (алетичні, деонтичні, епістемологічні,  аксіологічні, логіки часу та ін.), що оперують відповідними типами модальностей. У таких логічних системах із си- стеми принципів стандартизації виключається принцип двозначності; релевантні логіки були створені під поштовхом ідеї  трансформації класичного уявлення про логічні виводи та логічне слідування; паранесуперечливі логіки. Відомо, що наявність  протиріч в аксіоматичній базисі призводить до негативних наслідків, які називають тривіалізацією системи. Це означає, що в межах такої системи виводиться будь-що. Системи паранесуперечливої логіки конструюються таким чином, що в Логіка, філософія науки 142 Філософські обрії, 2010, № 23 них не дозволяється виводити з протиріч все, що завгодно за- вдяки дозволу суперпозиції істиннісних оцінок. Тому до скла- ду принципів стандартизації логік такого типу не включається закон логічної несуперечності, або, як його називають у західноєвропейській логіці, закон виключення протиріччя. Це дозволяє «узгодити» протиріччя в контекстах міркувань без за- грози тривіалізації або виродження логічних систем; логіки запитань та ін.; металогіка, яка досліджує:  1) властивості логічних теорій, насамперед, несуперечливість, повноту, незалежності вихідних де- дуктивних принципів та ін.; 2) відношення між логічними теоріями [1, c. 406]. Дещо інший підхід до класифікації основних напрямів некласичної логіки реалізує О.А.Івін у енциклопедії «Філософія: енциклопедичний словник». У його класифікації основою виступає галузь застосування логічного знання. Він поділяє основні гілки сучасної логіки на такі класи: базисна логіка, до складу якої входять класична,  модальна, багатозначна логіки та некласичні теорії логічного слідування. Особливістю позиції автора класифікації є недоцільність розмежування класичної та некласичної логік; металогіка, яка досліджує властивості та відношення  логічних систем «у зв’язку з реальністю, яку вони описують» [9, c.439]. Тут прослідковується в явному вигляді ознаки некласично-раціонального підходу, згідно якого некласична раціональність залежить від типу досліджуваної реальності; розділи математичного напряму, що включають  теорію доведень, теорію множин, теорію функцій, логіку ймовірностей, обґрунтування математики; розділи, що орієнтовані на застосування в природничих  і гуманітарних науках, насамперед, індуктивна логіка, логічні теорії часу, причинності, норм, оцінок, дії, вибору, розв’язків та ін.; Логіка, філософія науки 143Філософські обрії, 2010, № 23 розділи логіки, що знаходять застосування при  обговоренні філософських проблем. Сюди включаються логіка буття, логіка частин і цілого, логіка змін, логічні теорії запитань, знання, переконань, уяви та ін. [там само, c. 439-440]. Недоліки такої класифікації зрозумілі вже її автору, оскільки певні гілки сучасної логіки можуть одночасно застосовуватися у філософії та природничих науках, математиці та металогіці тощо. Більш конструктивний варіант типології напрямків досліджень у некласичній логіці пропонує А. Т. Ішмуратов у «Філософському енциклопедичному словнику»: теоретична логіка, до складу якої включаються теорія  доведень, теорія аналізу та формальна семантика; практична логіка включає логіку дій, рішень, евристику,  праксеологію, конфліктологію; філософська логіка експлікується системами логіки  часу, динамічною, епістемічною, когнітивною, деонтичною логіками, логікою тропів (метафор, аналогій), логікою оцінок, норм, імперативів; логічний аналіз мови представлений теоріями  комунікації, аргументації, мовленнєвих актів, аналізом дискурсу, дискусій, риторикою, семіотикою; логіка інформаційних технологій включає логіко- когнітивний аналіз, комп’ютерну логіку, логіку програмування, логіку «штучного інтелекту». Окрім виділених п’яти основних напрямків досліджень некласичної логіки виокремлюється група її метапроблем, до складу якої входять історія логіки, філософія логіки, викладання логіки та соціологія логіки [5, c. 334-335]. Саме остання класифікація дозволяє повною мірою співставити філософські метапринципи некласичної раціональності з їх формальною експлікацією в системах некласичної логіки. По-перше, виділяється теоретичний та практичний виміри некласичної раціональності, що знахо- Логіка, філософія науки 144 Філософські обрії, 2010, № 23 дить відображення у назвах перших двох типів некласичних логічних систем. Це може стати основою для виокремлення теоретичного та практичного вимірів некласичної логіки. Виокремлення класу «логіка інформаційних технологій» кореспондує до нього тлумачення концепції постнекласичної раціональності, оскільки в цих логічних системах діє систе- моутворюючий суб’єкт. Література Бочаров В. А.1. Логика / Бочаров В. А. // Новая философская энциклопедия : В 4 т. / Ин-т философии РАН, нац. общ.- науч. фонд ; Научно-ред совет : предс. В. С. Степин ; заместители предс. : А. А. Гусейнов, Г. Ю. Семигин ; уч. секр. А. П. Огурцов. — М. : Мысль, 2001. — Т. 2. — 2001. — С. 404–407. Зиновьев А. А.2. Комплексная логика / А. А. Зиновьев // Во- просы философии. — 2003. — № 1. — С. 29–37. Ивин А.А.3. Рациональность // Философия : энциклопеди- ческий словарь / под ред. А. А. Ивина. — М. : Гардарики, 2006. — 1072 c. Ивин А. А.4. Логика / А. А. Ивин // Философия : энциклопедический словарь / Под ред. А. А. Ивина. — М.: Гардарики, 2006. — С. 438–440. Ішмуратов А. Т.5. Логіка / А. Т. Ішмуратов // Філософський енциклопедичний словник. — К. : Абрис, 2002. — С. 334– 335. Леоненко Л. Л.6. Об адекватности логического ана- лиза философскому рассуждению / Л. Л. Леоненко, А. Ю. Цофнас // Вопросы философии. — 2004. — № 5. — С. 85–98. Логіки некласичні // Філософський енциклопедичний 7. словник. — К. : Абрис, 2002. — С. 338. Пуанкаре А.8. О науке / Анри Пуанкаре. — Ред перев. Понтрягин Л.С. – М. : Наука, 1983. — 558 c. Логіка, філософія науки 145Філософські обрії, 2010, № 23 Смирнова Е. Д.9. Логика и философия / Смирнова Е. Д. // Вопросы философии. — 2000. — № 12. — С. 35–48. Lenk H.10. Typen und Systematic der Rationalitât / H. Lenk // Zur Kritik der wissenschaftlichen Rationalitât. — Р. 105–122. Шенгерій Л.Н. Неклассическая логика в контексте неклассической рациональности В статье проводится анализ типологий неклассической логики в контексте взаимосвязи двух первых составляющих логико-рациональной модели познавательных процессов. Сделан вывод о существовании морфизмов между системами теоретической и практической логики и неклассической рациональностью, логики информационных технологий и постнеклассической рациональностью. Ключевые слова: неклассическая логика, неклассические формально-логические принципы стандартизации знания, типологии неклассической логики. Shengerij L.M. Non-classical logic in the context of non- classical rationality The article deals with the analysis of typologies of non-classical logic in the context of interrelations of the two first components of logic and rational model of cognitive processes. There is made a conclusion as regards establishment of morphisms between the systems of theoretical and practical logic and non-classical rationality, logic and information technologies and post non- classical rationality. Key words: non-classical logic, non-classical formal logic principles of standardization of knowledge, typologies of non- classical logic. Надійшла до редакції 4.09.2009 р.

Некласична логіка в контексті некласичної раціональності

Institution

Ähnliche Einträge