| Головна |
| « Попередня | Наступна » | |
X. Вессель Логіка Олександра Зінов'єва |
||
|
ександр Зінов'єв почав свій шлях у науці з дослідження методології емпіричних наук. Його кандидатська дисертація і перші наукові статті були присвячені методу «сходження від абстрактного до конкретного» (на матеріалі «Капіталу» К. Маркса). Отримані ним результати в цій області радикально відрізнялися від марксистських публікацій на цю тему, Тому його дисертація була недоступна читачам у бібліотеках, а перші статті з'явилися лише в Польщі, У Росії він отримав можливість публікувати свої ідеї через кілька років. Зінов'єв розглядає метод сходження від абстрактного до конкретного як метод дослідження складних систем емпіричних зв'язків. Логічна сутність цього методу полягає в наступному. Компоненти таких систем повинні подумки вилучатись з їх взаємної зв'язку (абстрагувати) і розглядатися абстрактно один від одного (абстрактно). І потім крок за кроком має розглядатися сукупну взаємодію зв'язків з використанням попереднього результату аналізу. При цьому виходить сумарне знання, що є конкретним по відношенню до знання, отриманого на попередньому етапі. Але більш важливими, ніж ця Демістифікація методу сходження від абстрактного до конкретного, були загальні висновки Зінов'єва про необхідність розробки логічних принципів дослідження складних систем зв'язків. Він встановив, що такі логічні правила не можна виявити шляхом дослідження практики, оскільки логічні правила взагалі не залежать від конкретної предметної області, досліджуваної наукою, і нічого не говорять про позамовною реальності. Логіка як наука має справу виключно з мовними виразами. Встановлювані логікою правила (закони) суть людські винаходи, за самою своєю природою мають універсальну значущість. Логіка для своєї побудови передбачає ніякі інші науки, Але щоб виробити достатньо ефективні логічні правила для дослідження складних систем зв'язків, необхідно радикальним чином реформувати саму логіку. У тому вигляді, в якому логіка існувала, вона була непридатна для вирішення такого завдання. І Зінов'єв здійснив найважливіший крок у своїй науковій діяльності - звернувся до перегляду сучасної логіки взагалі. Ця реформа логіки стала справою життя Зінов'єва. Зінов'єв був першим автором у східному (радянському) блоці, який здійснив всеосяжний огляд досліджень з багатозначною логікою. З його численних публікацій з багатозначною логікою назву лише книгу «Філософські проблеми багатозначної логіки» (російською мовою видана в 1960 р.), яка в переробленому вигляді видана в 1963 р. англійською і в ще більш зміненому вигляді видана в 1968 р. на німецькою. До цього часу на Заході порівнянної з зінов'євської книгою була тільки робота Россера і Тюркетта «Багатозначна логіка» (Амстердам, 1952), в якій викладався лише технічний апарат багатозначної логіки і свідомо ігнорувалися всі філософські проблеми. У книзі ж Зінов'єва з самого початку давалася загальна характеристика багатозначної логіки, визначалося її місце в логіці і в методології науки, викладалися її основні результати і додатки всередині і поза логіки. Розгляну три основних результату Зінов'єва, викладені у згаданій його книзі. Він ввів поняття аналога та узагальнення двозначної функції в багатозначною логікою. Завдяки цьому стало можливо осмислене порівняння різних систем багатозначної логіки з двозначної. Зінов'єв довів, наприклад, таку основоположну теорему. У кожній функціонально повної системи багатозначної логіки можна, з одного боку, такі аналоги функцій двозначної логіки визначити, що за будь поділі безлічі значень істинності на виділені і невиділені формули багатозначної системи, що є аналогом тавтологію двозначної логіки, будуть тавтологіями і в багатозначною системі; і з іншого боку, такі аналоги функцій дво-значної логіки визначити, що за будь поділі безлічі значень істинності формули багатозначної системи, що є аналогом тавтологію двозначної логіки, що не будуть тавтологіями в багатозначною системі. Якщо інтерпретувати тавтології як закони логіки, сказане буде означати, що в багатозначних системах можуть бути введені логічні оператори (функції), що формули, аналогічні законам двозначної логіки, будуть законами і в багатозначною, і такі аналогічні двозначним оператори, що формули, аналогічні законам двозначної логіки, що не будуть законами в багатозначною системі. Ця теорема Зінов'єва викриває багато філософські спекуляції за рахунок багатозначної логіки. Вона доводить, що багатозначні системи логіки не дають абсолютно ніяких аргументів на користь заперечення універсальності законів логіки. Зокрема, логіка єдина як у випадку міркувань про макросвіті, так і у випадку міркувань про мікросвіті. Другий основоположний результат Зінов'єва - встановлення ролі значень істинності в логіці. Він чітко розрізняє чисто технічне (формальне) використання і змістовний сенс значень істинності. І третій результат Зінов'єва - фундаментальне розрізнення двох форм заперечення - внутрішнього і зовнішнього. Зовнішнє заперечення є звичайне заперечення класичної двозначної логіки висловлювань. Його синтаксична роль - оператор, за допомогою якого з висловлювань утворюються нові висловлювання. Внутрішнє заперечення відноситься не до висловлювань в цілому, а до інших логічним операторам, наприклад, до оператора предикации, який пов'язує суб'єкти і предикати в висловлювання, до КВАНТОР «все» і «деякі» («Предмет не має ознаки», «не все» , «немає таких»). Ці заперечення відносяться до різних синтаксичним категоріям. Зінов'єв показав, що багато проблем і парадокси методології є наслідком змішання різних типів заперечення. Зараз у логічній літературі найрізноманітніші курйозні форми заперечень вводяться, тоді як ясне розрізнення заперечень Зінов'євим ігнорується, хоча воно очевидно і виявилося вельми продуктивним при вирішенні безлічі логічних проблем. Після робіт по багатозначною логікою Зінов'єв поставив перед собою грандіозне завдання - всю сучасну логіку так переробити, щоб вона могла краще служити задоволенню потреб емпіричних наук. Ставши відмінним знавцем світової логічної літератури, він оцінив сучасний стан логіки як не відповідає цим потребам. Його особливо вразило невідповідність між громіздким і роздутим технічним апаратом сучасної логіки і примітивністю проблем, які можна було вирішити з його допомогою. Він зауважив також ізольованість окремих логічних проблем і гетерогенний характер результатів їх вирішення. Такі тенденції сучасних логічних досліджень таять у собі загрозу руйнації єдності науки логіки. Зінов'єв поставив перед собою завдання побудови своєї логічної теорії, яку назвав комплексної логікою. Я мав щастя в 60-ті роки бути учнем і пізніше соратником Зінов'єва. У ці роки він у статті за статтею, у книзі за книгою розробляв різні підрозділи своєї теорії. У 1962 р. з'явилася його книга «Логіка висловлювань і теорія виведення». Вже в 1967 р. були опубліковані основи його логічної концепції у книзі «Основи логічної теорії наукових знань». У 1970 р. книга в переробленому вигляді була видана німецькою під назвою «Комплексна логіка» (у Берліні, Брауншвейгу і Базелі), а в 1973 р. з'явився її англійський переклад. У 1970 р. з'явилася книга «Комплексна логіка» (російською) верб 1971 р. - книга «Логіка науки». У 1975 р. була опублікована німецькою наша спільна книга «Логічні правила мови» (в Берліні, Мюнхені та Зальцбурзі). У ній були викладені основні результати комплексної логіки в систематизованому вигляді, придатному як навчальний посібник для студентів, що спеціалізуються в сфері логіки. Фундаментальними розділами комплексної логіки є теорія термінів і теорія логічного проходження. Остання радикально відрізняється від панував в логіці розуміння логічного проходження. Зінов'єв не використовує для позначення логічного слідування оператор імплікації, як це прийнято. Він вводить двомісний предикат «З ... логічно випливає ... ». Він входить у формулу логічного слідування тільки один раз і є фактично метатерміном логіки. Формули логічного проходження суть скорочена в логічній теорії запис затвердження типу «З висловлювання, що має відХ, логічно випливає висловлювання, що має вигляд У». Крім того, в теорії Зінов'єва виконується умова на входження змінних в посилки і слідства формул прямування, а саме - в наслідках не повинні з'являтися змінні, відсутні в посилках. Це означає, що правила логічного проходження дозволяють отримувати слідства тільки з того матеріалу, який мається на посилках. Тим самим з самого початку усуваються парадокси, отримувані у разі визначення логічного слідування шляхом інтерпретації матеріальної імплікації класичної логіки та інших форм імплікації. На основі таких змістовних міркувань Зінов'єв побудував систему логічних числень, які в сукупності дають вирішення проблем логічного проходження, - сильного, ослабленого, виродженого та інших форм прямування. На основі загальної теорії логічного проходження Зінов'єв побудував всі інші розділи логіки, включаючи теорію кванторів і предикації, логіку класів, нормативну і епістіміческую логіку та інші. Для всіх їх вирішені проблеми, які стосуються логічним исчислениям. Причому всі обчислення включають дві різні форми заперечення і особливий оператор невизначеності. У них подолані труднощі, пов'язані зі знаменитими результатами Геделя. Зінов'єв в розробці своєї теорії виходив з принципу: якщо якась проблема виявляється нерозв'язною з вини логічного числення, то це означає, що обчислення побудовано погано. У науці не повинно бути проблем, нерозв'язних з вини логіки. У світовій логічної та методологічної літературі немає робіт, порівнянних з роботою Зінов'єва «Логічна фізика», яка по-російськи була опублікована в 1972 р. і видана німецькою мовою в Берліні в 1975 р. під назвою «Логіка і мова фізики» і англійською мовою у Дордрехті в 1983 г Під логічної фізикою Зінов'єв розуміє розділ комплексної логіки, завдання якого-логічна обробка засобами логіки (вони розглядаються в попередніх розділах, згаданих вище) комплексу мовних виразів, що відносяться до простору, часу , зміни, руху, фізичним зв'язкам, причинності і т. д. На відміну від філософії і фізики, які точно так же займаються згаданими проблемами, логічна фізика виділяє виключно такі властивості згаданих мовних виразів, які можуть бути визначені у формі логічних числень. Ці обчислення встановлюють правила оперування понятійним апаратом, використовуваним в емпіричних науках. Необхідність логічної обробки згаданих мовних виразів очевидна, оскільки внаслідок невизначеності та багатозначності термінології і незнання техніки побудови понять і оперування ними виникають численні проблеми, практично нерозв'язні без такої обробки. У логічній фізиці фізичні поняття і твердження не вводяться як ілюстративні приклади для логіки, як це зазвичай робиться, але ці мовні явища вперше логічно коректно вводяться у вживання. На основі понятійного апарату, розробленого в логічній фізиці, Зінов'єв дока зивает цілий ряд тверджень, які на перший погляд видаються чисто емпіричними гіпотезами. Наприклад, він довів незворотність часу, існування мінімальних довжин і тимчасових інтервалів, мінімальних і максимальних швидкостей і т. п. Результати, отримані в логічній фізиці чисто логічним шляхом, важливі у багатьох відношеннях. Наприклад, тут значно розширена порівняно зі стала звичною математичною логікою сфера логічних досліджень. Нескінченні і безперспективні дискусії про ставлення логіки та філософії тут підняті на рівень можливості суворої доказовості або спростовності. Частина логічної фізики Зінов'єва утворює емпірична геометрія, основи якої опубліковані ним у статтях «Нарис емпіричної геометрії» і «Про паралельних лініях в емпіричної геометрії» в 1975 р. У ній він визначає сукупність понять, включаючи поняття емпіричної точки, емпіричної лінії, емпіричної поверхні і емпіричного тіла. Емпірична точка має протяжність у просторі більше нуля (на відміну від математичної точки), але мінімальну. Зінов'єв довів твердження, що паралельні лінії не перетинаються, як теорему емпіричної геометрії. Довів також твердження, що будь-які просторові виміри понад три логичес- ки зводяться до тривимірності, тобто всякі спекуляції щодо яких-то різних світів в різних вимірах в одному просторі відпадають як логічно абсурдні. Роботи Зінов'єва за логічною фізики досі не оцінені по достоїнству. Більше того, вони зустрічають опір при спробах поширення їх основних ідей і результатів. Вони не спростовуються, бо спроби їх спростування означали б переказ їх гласності. Вони просто замовчуються. Олександр Зінов'єв зробив унікальний і неповторний внесок у розвиток науки логіки. Його комплексна логіка є самою багато розробленою програмою логічних новаторських досліджень. Сьогодні наштовхується вона на нерозуміння і пре-пятствованіе. Думаю, що в найближчі десятиліття будуть робитися численні «відкриття» в логіці, які були зроблені Зінов'євим вже в 70-і роки XX століття. Цей процес вже почався, як правило - без посилань на Зінов'єва. Проте історична справедливість буде відновлена, і Зинов'єв займе гідне місце в історії логіки як один з найзначніших логіків XX сторіччя. |
||
| « Попередня | Наступна » | |
|
|
||
Інформація, релевантна "X. Вессель Логіка Олександра Зінов'єва " |
||
|
||