тик Д. фон Нейман. У середині 30-х рр.. ним разом з іншим американським математиком Д. Біркгофом була побудована особлива квантова логіка, що поклала початок ще одному напрямку некласичної логіки. Пізніше німецький філософ Г. Рейхенбах побудував ще одну логіку з метою усунення В«причинних аномалійВ», що виникають при спробах застосувати класичне причинне пояснення до квантових явищ. До теперішнього часу запропоновано десятки різних логічних систем, що прагнуть виявити своєрідність міркувань про квантових об'єктах.
Ці В«Квантові логікиВ» серйозно різняться як множинами прийнятих в них законів, так і способами свого обгрунтування. Найчастіше в них відмовляються від класичних законів асоціативності і дистрибутивности, що стосуються складних тверджень, побудованих за допомогою союзів В«іВ» і В«абоВ». Іноді відкидається навіть закон виключеного третього.
У початковий період свого розвитку квантова логіка зустріла як критику (фізики Н. Бор, В. Паулі), так і схвалення (фізики К.Вайцзеккер, В. Гейзенберг, М. Борн). Тривала полеміка не внесла, однак, ясності в питання: дійсно Чи квантова механіка керується особливою логікою? Якщо навіть це так, потрібно визнати, що дослідження в даному напрямку не надали скільки- помітного впливу на розвиток самої механіки. Поступово квантова логіка стала навіть відходити від неї і шукати додатки в інших областях. Одне з таких намітилися додатків - діалог двох дослідників, які дотримуються по обговорюваного питання протилежних точок зору, але користуються спільною мовою діалогу.
В
5.2 Паранепротіворечівая логіка
Наука непримиренна до протиріч і успішно бореться з ними. Але в житті багатьох наукових теорій, особливо на початку їх розвитку, є періоди, коли вони не вільні від внутрішніх протиріч.
Логіка, що вимагає виключення протиріч, повинна рахуватися з цією обставиною. До того ж їй самій притаманні внутрішні протиріччя (логічні парадокси), періодично доставляють чимало занепокоєння.
Класична логіка підходить до суперечностей кілька прямолінійно. Відповідно до одного з її законів, з протиріччя слід все, що завгодно. Це означає, що протиріччя забороняється, притому забороняється під загрозою, що в разі його появи в теорії виявиться доказовим будь-яке твердження. Очевидно, що тим самим теорія буде зруйнована. p> Однак реально ніхто не користується цим дозволом виводити з протиріч все, що попало. Практика наукових міркувань різко розходиться в даному пункті з логічної теорією.
У Як реакцію на це неузгодженість в останні десятиліття почали розроблятися різні варіанти паранепротіворечівой логіки. Кілька незвичайне її назва покликана підкреслити, що вона інакше трактує протиріччя, ніж класична логіка. Виключається, зокрема, можливість виводити з протиріч будь-які твердження. Довідність в теорії протиріччя перестає бути смертельно небезпечною загрозою, що нависла над нею. Цим не усувається, звичайно, принципова необхідність позбавлятися від протиріч в процесі подальшого розвитку теорії. Цікаво відзначити, що одним з перших (ще в 1910 р.) сумніви в необмеженої приложимости закону несуперечливий висловив російський логік Н.А.Васільев. В«Припустімо, - говорив він, - світ здійсненого протиріччя, де протиріччя виводилися б, хіба таке пізнання не було б логічним? В» Васильєв писав не тільки наукові статті, а й вірші. У них іноді своєрідно заломлювалися його логічні ідеї, зокрема ідея уявлюваних (можливих) світів:
Мені мариться безвісна планета,
Де все йде інакше, ніж у нас.
У якості логіки уявного світу він і запропонував свою теорію без закону протиріччя, довгий час вважався центральним принципом логіки. Васильєв думав необхідним обмежити також дію закону виключеного третього і в цьому сенсі з'явився одним з ідейних попередників інтуїционістськой логіки.
Новаторські ідеї Васильєва не були зрозумілі сучасниками. Вони тлумачилися невірно, оголошувалися безграмотними. Васильєв важко переживав подібну В«критикуВ» і незабаром залишив заняття логікою. Знадобилося півстоліття, перш ніж його В«Уявна логікаВ» без законів протиріччя і виключеного третього була оцінена по достоїнству. <В
5.3 Логіка причинності
Поняття причинності є одним з центральних як у науці, так і в філософії науки. Причинний зв'язок не є логічним відношенням. Але те, що причина не сводіма до логіки, не означає що проблема при-чинности не має ніякого логічного змісту і не може аналізуватися за допомогою логіки. Завдання логічного дослідження причинності полягає в систематизації тих правильних схем міркувань, посилками або висновками яких служать каузальні висловлювання. У цьому плані логіка причинності нічим не відрізняється, скажімо, від логіки часу або логіки знання, метою яких є побудова штучних мов, що дозволяють з більшою ясністю та ефективністю міркувати про час або знанні.
У логіці причинності зв'язок причини і наслідку представляється ос...