Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяФілософія різних країн і часів → 
« Попередня Наступна »
А. Гусейнов. Філософія Росії другої половини XX століття, 2009 - перейти до змісту підручника

X. Вессель Логіка Олександра Зінов'єва

ександр Зінов'єв почав свій шлях у науці з дослідження методології емпіричних наук. Його кандидатська дисертація і перші наукові статті були присвячені методу «сходження від абстрактного до конкретного» (на матеріалі «Капіталу» К. Маркса). Отримані ним результати в цій області радикально відрізнялися від марксистських публікацій на цю тему, Тому його дисертація була недоступна читачам у бібліотеках, а перші статті з'явилися лише в Польщі, У Росії він отримав можливість публікувати свої ідеї через кілька років.

Зінов'єв розглядає метод сходження від абстрактного до конкретного як метод дослідження складних систем емпіричних зв'язків. Логічна сутність цього методу полягає в наступному. Компоненти таких систем повинні подумки вилучатись з їх взаємної зв'язку (абстрагувати) і розглядатися абстрактно один від одного (абстрактно). І потім крок за кроком має розглядатися сукупну взаємодію зв'язків з використанням попереднього результату аналізу. При цьому виходить сумарне знання, що є конкретним по відношенню до знання, отриманого на попередньому етапі.

Але більш важливими, ніж ця Демістифікація методу сходження від абстрактного до конкретного, були загальні висновки Зінов'єва про необхідність розробки логічних принципів дослідження складних систем зв'язків. Він встановив, що такі логічні правила не можна виявити шляхом дослідження практики, оскільки логічні правила взагалі не залежать від конкретної предметної області, досліджуваної наукою, і нічого не говорять про позамовною реальності. Логіка як наука має справу виключно з мовними виразами. Встановлювані логікою правила (закони) суть людські винаходи, за самою своєю природою мають універсальну значущість. Логіка для своєї побудови передбачає ніякі інші науки, Але щоб виробити достатньо ефективні логічні правила для дослідження складних систем зв'язків, необхідно радикальним чином реформувати саму логіку. У тому вигляді, в якому логіка існувала, вона була непридатна для вирішення такого завдання. І Зінов'єв здійснив найважливіший крок у своїй науковій діяльності - звернувся до перегляду сучасної логіки взагалі. Ця реформа логіки стала справою життя Зінов'єва.

Зінов'єв був першим автором у східному (радянському) блоці, який здійснив всеосяжний огляд досліджень з багатозначною логікою. З його численних публікацій з багатозначною логікою назву лише книгу «Філософські проблеми багатозначної логіки» (російською мовою видана в 1960 р.), яка в переробленому вигляді видана в 1963 р. англійською і в ще більш зміненому вигляді видана в 1968 р. на німецькою. До цього часу на Заході порівнянної з зінов'євської книгою була тільки робота Россера і Тюркетта «Багатозначна логіка» (Амстердам, 1952), в якій викладався лише технічний апарат багатозначної логіки і свідомо ігнорувалися всі філософські проблеми. У книзі ж Зінов'єва з самого початку давалася загальна характеристика багатозначної логіки, визначалося її місце в логіці і в методології науки, викладалися її основні результати і додатки всередині і поза логіки.

Розгляну три основних результату Зінов'єва, викладені у згаданій його книзі. Він ввів поняття аналога та узагальнення двозначної функції в багатозначною логікою. Завдяки цьому стало можливо осмислене порівняння різних систем багатозначної логіки з двозначної. Зінов'єв довів, наприклад, таку основоположну теорему. У кожній функціонально повної системи багатозначної логіки можна, з одного боку, такі аналоги функцій двозначної логіки визначити, що за будь поділі безлічі значень істинності на виділені і невиділені формули багатозначної системи, що є аналогом тавтологію двозначної логіки, будуть тавтологіями і в багатозначною системі; і з іншого боку, такі аналоги функцій дво-значної логіки визначити, що за будь поділі безлічі значень істинності формули багатозначної системи, що є аналогом тавтологію двозначної логіки, що не будуть тавтологіями в багатозначною системі. Якщо інтерпретувати тавтології як закони логіки, сказане буде означати, що в багатозначних системах можуть бути введені логічні оператори (функції), що формули, аналогічні законам двозначної логіки, будуть законами і в багатозначною, і такі аналогічні двозначним оператори, що формули, аналогічні законам двозначної логіки, що не будуть законами в багатозначною системі.

Ця теорема Зінов'єва викриває багато філософські спекуляції за рахунок багатозначної логіки. Вона доводить, що багатозначні системи логіки не дають абсолютно ніяких аргументів на користь заперечення універсальності законів логіки. Зокрема, логіка єдина як у випадку міркувань про макросвіті, так і у випадку міркувань про мікросвіті.

Другий основоположний результат Зінов'єва - встановлення ролі значень істинності в логіці. Він чітко розрізняє чисто технічне (формальне) використання і змістовний сенс значень істинності.

У другому випадку основним є значення «істинно». З його допомогою можна визначити всі інші значення істинності. Якщо це не вдається, то це означає, що інші значення істинності введені неправильно. З цього випливає, що значення істинності взагалі можуть бути елімінувати з логічних побудов. Зінов'єв потім показує, що значимість правил логіки не залежить від обраного числа значень істинності. У логіці взагалі немає особливої необхідності у введенні їх. З цього випливає, що роль семантики в логіці сильно перебільшена. Сам Зінов'єв побудував всю свою логічну систему (комплексну логіку) взагалі як чисто синтаксичну. Семантичні засоби, за його думки, можуть використовуватися як підсобні в тих чи інших випадках. Але вони не є засобами докази в строгому сенсі слова.

І третій результат Зінов'єва - фундаментальне розрізнення двох форм заперечення - внутрішнього і зовнішнього. Зовнішнє заперечення є звичайне заперечення класичної двозначної логіки висловлювань. Його синтаксична роль - оператор, за допомогою якого з висловлювань утворюються нові висловлювання. Внутрішнє заперечення відноситься не до висловлювань в цілому, а до інших логічним операторам, наприклад, до оператора предикации, який пов'язує суб'єкти і предикати в висловлювання, до КВАНТОР «все» і «деякі» («Предмет не має ознаки», «не все» , «немає таких»). Ці заперечення відносяться до різних синтаксичним категоріям. Зінов'єв показав, що багато проблем і парадокси методології є наслідком змішання різних типів заперечення. Зараз у логічній літературі найрізноманітніші курйозні форми заперечень вводяться, тоді як ясне розрізнення заперечень Зінов'євим ігнорується, хоча воно очевидно і виявилося вельми продуктивним при вирішенні безлічі логічних проблем.

Після робіт по багатозначною логікою Зінов'єв поставив перед собою грандіозне завдання - всю сучасну логіку так переробити, щоб вона могла краще служити задоволенню потреб емпіричних наук. Ставши відмінним знавцем світової логічної літератури, він оцінив сучасний стан логіки як не відповідає цим потребам. Його особливо вразило невідповідність між громіздким і роздутим технічним апаратом сучасної логіки і примітивністю проблем, які можна було вирішити з його допомогою. Він зауважив також ізольованість окремих логічних проблем і гетерогенний характер результатів їх вирішення. Такі тенденції сучасних логічних досліджень таять у собі загрозу руйнації єдності науки логіки.

Зінов'єв поставив перед собою завдання побудови своєї логічної теорії, яку назвав комплексної логікою. Я мав щастя в 60-ті роки бути учнем і пізніше соратником Зінов'єва. У ці роки він у статті за статтею, у книзі за книгою розробляв різні підрозділи своєї теорії. У 1962 р. з'явилася його книга «Логіка висловлювань і теорія виведення». Вже в 1967 р. були опубліковані основи його логічної концепції у книзі «Основи логічної теорії наукових знань». У 1970 р. книга в переробленому вигляді була видана німецькою під назвою «Комплексна логіка» (у Берліні, Брауншвейгу і Базелі), а в 1973 р. з'явився її англійський переклад. У 1970 р. з'явилася книга «Комплексна логіка» (російською) верб 1971 р. - книга «Логіка науки». У 1975 р. була опублікована німецькою наша спільна книга «Логічні правила мови» (в Берліні, Мюнхені та Зальцбурзі). У ній були викладені основні результати комплексної логіки в систематизованому вигляді, придатному як навчальний посібник для студентів, що спеціалізуються в сфері логіки. Фундаментальними розділами комплексної логіки є теорія термінів і теорія логічного проходження. Остання радикально відрізняється від панував в логіці розуміння логічного проходження. Зінов'єв не використовує для позначення логічного слідування оператор імплікації, як це прийнято. Він вводить двомісний предикат «З ... логічно випливає ... ». Він входить у формулу логічного слідування тільки один раз і є фактично метатерміном логіки. Формули логічного проходження суть скорочена в логічній теорії запис затвердження типу «З висловлювання, що має відХ, логічно випливає висловлювання, що має вигляд У». Крім того, в теорії Зінов'єва виконується умова на входження змінних в посилки і слідства формул прямування, а саме - в наслідках не повинні з'являтися змінні, відсутні в посилках. Це означає, що правила логічного проходження дозволяють отримувати слідства тільки з того матеріалу, який мається на посилках. Тим самим з самого початку усуваються парадокси, отримувані у разі визначення логічного слідування шляхом інтерпретації матеріальної імплікації класичної логіки та інших форм імплікації. На основі таких змістовних міркувань Зінов'єв побудував систему логічних числень, які в сукупності дають вирішення проблем логічного проходження, - сильного, ослабленого, виродженого та інших форм прямування.

Всі ці обчислення побудовані аксіоматично, доведено їх несуперечливість, повнота, непарадоксальность, незалежність, разрешимость. Подальший розвиток теорії Зінов'єва запропоновано у ряді моїх робіт.

На основі загальної теорії логічного проходження Зінов'єв побудував всі інші розділи логіки, включаючи теорію кванторів і предикації, логіку класів, нормативну і епістіміческую логіку та інші. Для всіх їх вирішені проблеми, які стосуються логічним исчислениям. Причому всі обчислення включають дві різні форми заперечення і особливий оператор невизначеності. У них подолані труднощі, пов'язані зі знаменитими результатами Геделя. Зінов'єв в розробці своєї теорії виходив з принципу: якщо якась проблема виявляється нерозв'язною з вини логічного числення, то це означає, що обчислення побудовано погано. У науці не повинно бути проблем, нерозв'язних з вини логіки.

У світовій логічної та методологічної літературі немає робіт, порівнянних з роботою Зінов'єва «Логічна фізика», яка по-російськи була опублікована в 1972 р. і видана німецькою мовою в Берліні в 1975 р. під назвою «Логіка і мова фізики» і англійською мовою у Дордрехті в 1983 г Під логічної фізикою Зінов'єв розуміє розділ комплексної логіки, завдання якого-логічна обробка засобами логіки (вони розглядаються в попередніх розділах, згаданих вище) комплексу мовних виразів, що відносяться до простору, часу , зміни, руху, фізичним зв'язкам, причинності і т. д. На відміну від філософії і фізики, які точно так же займаються згаданими проблемами, логічна фізика виділяє виключно такі властивості згаданих мовних виразів, які можуть бути визначені у формі логічних числень. Ці обчислення встановлюють правила оперування понятійним апаратом, використовуваним в емпіричних науках.

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

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

 Частина логічної фізики Зінов'єва утворює емпірична геометрія, основи якої опубліковані ним у статтях «Нарис емпіричної геометрії» і «Про паралельних лініях в емпіричної геометрії» в 1975 р. У ній він визначає сукупність понять, включаючи поняття емпіричної точки, емпіричної лінії, емпіричної поверхні і емпіричного тіла. Емпірична точка має протяжність у просторі більше нуля (на відміну від математичної точки), але мінімальну. Зінов'єв довів твердження, що паралельні лінії не перетинаються, як теорему емпіричної геометрії. Довів також твердження, що будь-які просторові виміри понад три логичес- ки зводяться до тривимірності, тобто всякі спекуляції щодо яких-то різних світів в різних вимірах в одному просторі відпадають як логічно абсурдні. 

 Роботи Зінов'єва за логічною фізики досі не оцінені по достоїнству. Більше того, вони зустрічають опір при спробах поширення їх основних ідей і результатів. Вони не спростовуються, бо спроби їх спростування означали б переказ їх гласності. Вони просто замовчуються. 

 Олександр Зінов'єв зробив унікальний і неповторний внесок у розвиток науки логіки. Його комплексна логіка є самою багато розробленою програмою логічних новаторських досліджень. Сьогодні наштовхується вона на нерозуміння і пре-пятствованіе. Думаю, що в найближчі десятиліття будуть робитися численні «відкриття» в логіці, які були зроблені Зінов'євим вже в 70-і роки XX століття. Цей процес вже почався, як правило - без посилань на Зінов'єва. Проте історична справедливість буде відновлена, і Зинов'єв займе гідне місце в історії логіки як один з найзначніших логіків XX сторіччя. 

« Попередня Наступна »
= Перейти до змісту підручника =
 Інформація, релевантна "X. Вессель Логіка Олександра Зінов'єва "
  1. Відомості про авторів
      Бараш Петро Петрович - доктор фізико-математичних наук, головний науковий співробітник Інституту енергетичних проблем хімічної фізики РАН. Вессель Хорст - професор Берлінського університету ім. Гум-больта, учень і співавтор А. А. Зінов'єва. Геллер Михайло (1922-1997) - професор Сорбонни, історик і філолог. Гусейнов Абусалам Абдулкерімовіч - академік РАН, директор Інституту
  2. А. ЗІНОВ'ЄВ. НА ШЛЯХУ ДО СВЕРХОБЩЕСТВУ100
      логік і письменник (творець оригінального жанру «соціологічного роману»). Професор Московського університету (1963-1977 і знову з 1999). Народився в 1922 році в селі Чухлома Костромської області. Після закінчення школи в 1939 році вступив в Інститут філософії, літератури та історії (ИФЛИ) у Москві, звідки був виключений за виступи проти культу Сталіна. Був заарештований, втік і поїхав на Далекий
  3. Від редактора
      зіновьевоведеніе.
  4. Список рекомендованої літератури
      логіці. - М.: Черо, 2000 - 304 с. Іванов Є.О. Логіка. - М.: Изд-во БЕК, 1996. - 309 с. Івлєв Ю.В. Логіка для юристів. - М.: Справа, 2000. - 264 с. Кирилов В.І., Старченко А.А. Логіка. Підручник для юридичних вузів. М, 1998. Кузьмін А.В., Очиров Д.-Д.Е. Логіка. - Улан-Уде: Вид-во ВСГТУ, 1999. - 72 с. Никифоров А.Л. Загальнодоступна і захоплююча книга про логіку. М,
  5. В. К. Кантор Русский бог97
      Олександра Зинов'єва У Мюнхені (а ніби з Москви і не відлітав - зауважив вже б) я засипаний золотом листя ... золотом турбот заповітної дружби. Отболело бабине літо там женскою тугою неутоленной. Чому ж (не брехливий і не упертий) Бачу ТУТ по гаях і луках осені московської лик споконвічний? Чому? Не тому ль, що Бог, Російський Бог ходіння по муках продовжує, вигнаний за поріг Батьківщини за правду гірких
  6. Іменний покажчик
      Абдільдін Ж. 29 Авакум 309,310,312,313 Авенаріус 233 Аверинцев С. С. 113 Айера. 25 АйдукевічК. 25,135 АккерманР. 142 Алексєєв М. Н. 29 Аллилуев С. П. 120 Андерсен X. 185 Андерсон А. Р. 142 Андропов Ю. В. 73,202,323 Антонова І. А. 102 Аполлінер Г. 238 Ардаматский В. І. 58 Аристотель 94,99,103, 104, 144, 167, 224, 238, 356, 357 Армстронг Л. 219 Арон R 12,26 Асмус В. Ф. 29,108 Афіногенов А. 218
  7. 1.1. Предмет логіки
      логіки є закони і форми правильного мислення. Специфіка логіки у вивченні людського мислення, на відміну від інших наук, полягає в наступному: У логіці мислення розглядається як інструмент пізнання навколишнього світу, як засіб отримання нового знання. Мислення цікавить логіку з боку його результативності, яка, в свою чергу, грунтується на
  8. В. В. Миронов Життя як вчинок
      логіки. Нарешті, після повернення останні сім років життя він працював професором кафедри етики. Олександр Олександрович був не просто професором у формальному сенсі слова. Його життя - яскравий приклад того, що ми називаємо філософією вчинку. Філософія - це не тільки теоретичне, але й глибоко особистісне утворення, різновид особистісної діяльності. Тому за вчинками,
  9. Джерела та література
      Олександр III. Спогади. Щоденники. Листи. - СПб, 2001. Великий князь Олександр Михайлович: Книга спогадів. - М., 1991. Барятинський В. В. Царствений містик (Імператор Олександр I - Федір Кузьмич). - Л., 1990. Бежін Леонід. Усипальниця без праху. Олександр I - старець Федір Кузьмич: Повість / / Досьє. - 1992. - № 2. Валлотон А. Олександр I. - М., 1992. Василя Г. Імператор Олександр I і
  10. СПИСОК рекомендованої літератури
      логіки про доказ і спростування. М., 1954. Бойко А.П. Логіка: Навчальний посібник. М., 1994. Бочаров В.А. Арістотель і традиційна логіка. М., 1984. Бочаров В.А., Маркін В.І. Основи логіки. М., 1998. Войшвилло Є.К. Предмет і значення логіки. М., 1960. Войшвилло Є.К. Поняття як форма мислення. М., 1989. Войшвилло Є.К., Дегтярьов М.Г. Логіка. М., 1998. Гетманова А.Д. Підручник з логіки. М.,
  11. Бібліографія
      логіки. 1960. 3. Логіка висловлювань і теорія виводу. 1962. 4. Основи логічної теорії наукових знань. 1967. 5. Комплексна логіка. 1970. 6. Логіка науки. 1971. 7. Логічна фізика. 1974. 8. Нарис багатозначної логіки. 1968. 9. Логічне проходження. 1968. 10. Нетрадиційна теорія кванторів. 1973. 11. Логічні правила мови. 1975. 12. Нестандартна логіка. 1983. 13.
  12. РЕКОМЕНДОВАНА ЛІТЕРАТУРА
      логіка. СПб.: Тит «Комета», 1995. Д о п ол н ите л ь ная Брюшінкін В.Н. Практичний курс логіки для гуманітаріїв. М.: Інтерпракс, 1994. Войшвшло Є.К. Поняття як форма мислення. М.: Изд-во МГУ, 1989. Волков В.А. Елементи теорії множин і розвиток поняття числа. Л.: Вид-во Ленінгр. ун-ту, 1978. Гетманова ДА. Підручник з логіки. М.: Владос, 1994. Зегет В. Елементарна логіка. М.: Вища школа,
  13. Логіка і математика
      логіки до математики. Основна складність полягає тут в багатозначності і невизначеності терміна «логіка». Онтологічна теорія природно приводить нас до поняття реальної лопіж. Як сукупності норм мовного мислення, мають онтологічне. Обгрунтування. Наше завдання полягає в тому, щоб визначити склад реальної логіки і прояснити її місце в структурі математичного мислення. Цю
  14. 47. Перехід від колегіальної до міністерської системі управління.
      У 1802 Олександр I своїм Маніфестом про освіту міністерств замінив колегіальний принцип прийняття рішень в органах центрального управління на принцип єдиноначальності, колегії були замінені міністерствами, точніше спочатку колегії були підпорядковані відповідним міністрам. Були засновані такі міністерства: 1. Міністерство військових сухопутних сил. 2. Міністерство військових морських сил. 3.
  15. Джерела та література
      Олександр III. Спогади. Щоденники. Листи. - СПб, 2001. Ананьич Б., Чернуха В. Партія контрреформ (третє покоління російських реформаторів. 1890-1900 роки) / / Батьківщина. - 1992. - № 2. Вони ж. Чорнильні зміни. (Влада і суспільство: етапи розбіжності) / / Батьківщина. - 1991. - № 11-12. Великі реформи в Росії. 1856-1874. - Вид-во МУ, 1992. Вітте С.Ю. Спогади. 1849-1911 рр.. - Тт. I-III. - Таллінн
  16. Основне завдання логіки
      логіки полягає в тому, щоб навчити людину свідомо застосовувати правила і закони побудови міркувань і на цій основі мислити більш послідовно, доказово,
  17. ПРЕДМЕТ ЛОГІКИ
      логіка - це наука про закони і форми правильного мислення. Термін «логіка» має своє походження від грецького «logos», що означає «думка», «слово», «розум», «закон». Логіка досліджує логічні форми, відволікаючись від їх конкретного змісту, аналізує мислення з боку його формальної правильності. Формальна правильність означає відповідність мислення (міркування, докази)
  18. Позитивно-розумна форма логічного.
      логіка, що дозволяє конкретно-цілісно уявити суперечливу і розвивається сутність предметів. Діалектичне мислення - це мислення, що розглядає "речі": 1) у взаємозв'язку внутрішніх протилежностей, 2) в процесі саморозвитку, 3) а тому найбільш повно і, отже, 4) цілісно (Мал. 1). Діалектична логіка, за Гегелем, це наука про форми правильного мислення (як
  19. Предметний покажчик
      логіки 102, 103, 107 - математики 52 Апріорність 42-61 - категорій 42-61 - логіки 102 - математики 46-52 Апріорізм 42 - традиційний 52 - праксеологічний 58, 78 Нескінченність 157 - актуальна 157, 173, 174, 186 - математична 173 , 215 - потенційна 174 - практична 205 Граматика - основа логіки 92 - основа теорії значень 92, 93 Діяльність - мета мислення 42,
© 2014-2021  ibib.ltd.ua