d9e5a92d

Логицизм

Традиционно логика относится к основным предметам в программе профессиональной подготовки философа. Логические приемы и методы познания составляют ядро философской культуры. Логическая терминология выступает основой для построения теории познания и онтологии, но и собственно логические результаты составляют важную часть современной философии.

Именно поэтому логические знания - важнейшая предпосылка для получения полноценного высшего образования по всем философским дисциплинам.
Вопросы, делающие логику актуальной сегодня, имеют довольно давнюю историю, подвергались рефлексии еще в античность и средневековье, поэтому имеются необходимые традиции анализа знака, многозначной логики и т. д. (логика стоя1, логика Пор-Рояля2 и т. д.).
Курс неклассической логики является продолжением общего курса логики и имеет целью изложение основ этой науки для студентов философского факультета, усвоение приемов и методов логического мышления, способов анализа философских проблем, структуры и принципов построения современных (неклассических) логических языков, основных элементов и законов развития научного знания в конце ХХ - начале ХХІ в.
Основные задачи, которые решаются в учебном пособии, подчинены проблеме освоения разнородных способов отражения мира и организации знания. Выявление особенностей логического анализа языка, иных логических форм и методов анализа высказывания, делают возможной не только четкую артикуляцию основных проблем мышления, которые поглощались формами классической логики, но и проясняют направления принципиально новых подходов при анализе механизмов мышления.
Понятия классической и неклассической логики возникают одновременно. На рубеже ХІХ-ХХ вв. в логике происходит революция: для анализа логических структур применяются математические методы, оформляется целое направление - логицизм, представители которого утверждали, что логика имеет приоритет перед математикой. Стремясь обосновать математику посредством сведения исходных понятий логики и математики, логицисты утверждали, что это не разные дисциплины, а две ступени в развитии одной науки, так как математика может быть полностью выведена из чистой логики. Математики рассчитывали на то, что это позволит установить истинную природу математики. Мысль о сведении математики и логики вовсе не была новой.

О ней сообщается еще в произведениях Г. Лейбница, где утверждается, что идеи и принципы математики лежат в основе любой другой науки. Именно в связи с этими предположениями Г. Лейбниц вводит математические исчисления задолго до Дж. Буля3.

Так, математика для Лейбница представляла собой частный случай применения логики.
С середины XIX в., в связи с появлением понятия математическое доказательство, создается возможность обогащения аристотелевской логики. Интерес усиливается с открытием неевклидовой геометрии и введением понятия парадокс в математике в конце XIX в. В связи с этим нормы аристотелевской логики повсеместно пересматриваются, подвергаются тщательному анализу и критике: Дж. Буля (1815-1864), А. де Моргана (1806-1871), Ч. Пирса (1839-1914), Г. Фреге (1848-1925), Б. Рассела (18721870), А. Уайтхеда (1861-1947), Г. Гильберта (1862-1943). Для обоснования логицизма предпринимаются попытки сведения к понятиям логики всех исходных понятий математики.

Г. Фреге проблеме логического обоснования чистой математики посвящает книгу Основные законы математики. В начале ХХ в. происходит арифметизация действительных чисел и других систем объектов большой мощности, что приводит к пониманию бесконечной совокупности как одного объекта, а множества всех таких объектов - как новой совокупности. Данное положение стало основой пересмотра канторовской теории множеств.
Появление концепции логицизма в математике - вполне объяснимое явление. Именно в математике логические методы играют действительно первостепенное значение, ведь любая математическая теорема выводится из принятых заранее аксиом сугубо логическим путем. После в работах таких логицистов, как Р. Де-декинд и Ф. Рамсей, основным аргументом в пользу сведения математики и логики выступало раскрытие роли дедуктивного рассуждения и обобщения аналитических предложений в математике.

Теорией данного рассуждения в процессе обобщения объявлялась логика.
Георг Кантор (1845-1918). Родился в Петербурге. Является основоположником теории множеств.



Ему принадлежит огромный вклад в развитие теории трансфинитных (бесконечных) чисел. Сформулировал понятие множества множеств и разъяснил его как то общее, что есть у всех множеств, эквивалентных данному множеству. Нашел принцип сравнения множеств.

Установил, что множество всех целых чисел, множество всех рациональных чисел и множество всех алгебраических чисел имеют одинаковую мощность и потому между ними можно установить взаимооднозначные соответствия.
Кантор ввел понятия множество и элемент. Множество - это любое собрание определенных и различимых объектов, что мыслимо как единое целое, но элементы различны. Множества были поделены на конечные и бесконечные. Когда речь идет о конечных множествах, вопрос об отличии его от другого не возникает, но как отличить одно бесконечное множество от другого бесконечного? Существует ли одно бесконечное множество или можно говорить о бесконечности различной степени?

Для того чтобы сравнить бесконечные множества по величине, Кантор вводит понятие мощность множества. Два множества имеют одинаковую мощность, если элементы одного сопоставимы с элементами другого множества так, что образует с ними пары соответствующих элементов. Такое отношение между множествами называются одно-однозначным соответствием. Другими словами, это эквивалентные множества, когда каждый элемент одного является и элементом другого множества, они состоят из одних и тех же элементов.

Одно-однозначное соответствие характеризуется симметричностью, рефлексивностью и транзитивностью и потому эквивалентно.
Опираясь на абстракцию абсолютной, завершенной бесконечности, Кантор отметил, что мощность континуума (непрерывное образование, такое, как совокупность всех точек отрезка, множество всех действительных чисел и т. д.) действительных чисел больше мощности счетного множества, и сформулировал вопрос: существует ли множество более мощное, чем множество всех целых чисел, но менее мощное, чем множество всех действительных чисел.
В начале ХХ в., еще при жизни Кантора, в связи с обнаружением парадоксов в его теории множеств доверие к ней было подорвано. Усилиями Б. Рассела, А. Уайтхеда, Л. Бауэра, А. Гей-тинга, Г. Вейля, Е. Цермело и др. появляется новая теория множеств, которая и предлагает глобальный пересмотр всех рациональных основ науки. В результате этих пересмотров и перенесения в логику математических методов анализа оформляется цельная, стройная логическая теория, которая позже ученое сообщество назовет классической, основное назначение которой - анализ математических рассуждений.

Классическая логика сегодня определяется как раздел современной логики и включает в себя классическую логику высказываний и логику предикатов, опирающихся на принцип двузначности, в соответствии с которым всякое высказывание является или истинным, или ложным.
В начале ХХ в. обоснованием логицизма занялся Б. Рассел. В 1903 г., сначала в письме Фреге, а после в работе Принципы математики Рассел выступает с доказательством, что сведение математики к логике вполне возможно и что это обосновывается всей историей науки и философии. Свою завершенную форму логицизм находит в трехтомном труде Принципы математики (1910-1913) Б. Рассела и А. Уайтхеда.

Основную цель своего труда авторы видели в разработке целой системы символической логики, которая исчерпывающим образом раскрывала бы логические зависимости между математическими объектами.
Однако идея логицистов не смогла получить успешного развития. Б. Рассел обнаружил в системе Г. Фреге неразрешимое противоречие, впоследствии названное парадоксом Рассела. Еще в письме Рассел излагал, что множества делятся на: 1) множество, не содержащие себя в качестве элемента собственного множества; 2) множество, содержащее себя в качестве элемента несобственного множества.
Узнав об этом, Г. Фреге отказался от дальнейших попыток изложить идею чистого логического обоснования чистой математики. Парадокс Рассела поразил математиков. Под угрозой оказались основания математики и сама формальная логика, частью которой был парадокс Рассела.

Математическое сообщество раскололась на три части.
Одни математики решили, что при рассмотрении множеств нельзя просто полагаться на интуицию, хотя множество является фундаментальным понятием математики и человеческого мышления. Другие - стали отвергать всю теорию множества, называя ее ошибочной и несостоятельной. Третьи - предложили исходить из того, что парадоксы не затрагивают теории множеств по той причине, что они возникают из-за определений и рассуждений, искажающих математическую интуицию и существенно отличающихся от правомочных выводов, обычно применяемых в математике. На основе именно этого подхода начинается работа по уточнению тех представлений, которые лежат в основе теории множеств, и более четкому определению тех рассуждений, которые ведут к антиномиям.

Самым подходящим оказался аксиоматический метод4, который возникает в 1908 г. на основе двух аксиоматических систем, разработанных Б. Расселом и Е. Цермело независимо друг от друга.
Самого же Рассела его парадокс не смог заставить отказаться от идей логицизма. Он только изменил тактику обоснования. Во избежание парадоксов в процессе осуществления логицисти-ческого тезиса, Рассел и Уайтхед вводят теорию типов5.

Рассел предложил обозначить каждый логический объект некоторым неотрицательным числом, тем самым установить тип данного объекта и расположить все логические объекты по своим местам в иерархии типов. Суть теории в том, что никакое множество не должно содержать такие элементы, которые определялись бы в терминах самого множества. Другими словами, логический тип множества всегда должен быть выше типа его элементов.

Согласно теории типов, функция может иметь в качестве аргумента лишь объекты, которые предшествуют ей в этой иерархии. Так, х есть элемент у тогда и только тогда, когда тип у на единицу больше типа х. Однако при разработке теории типов ее авторам пришлось ввести, например, аксиому бесконечности, что вывело их за пределы логики, так как аксиома бесконечности не является чисто логической аксиомой.
Так, логика стала развиваться за рамками силлогистического ряда, и, кроме суждения все люди смертны, стала возможна его численная форма два человека смертны. Как писал Френк Пламптон Рамсей, Рассел и Уайтхед доказали, что математика является частью логики. Все идеи чистой математики могут быть не определены явно в математических терминах, а включены в сложную мысль любого описания.

Все пропозиции математики могут быть выведены из пропозиции формальной логики.
Тем не менее в целом логицизм остался в истории как не совсем удавшаяся попытка сведения логики с математикой. Советский логик Д.А. Бочвар писал: математика не выводима из формальной логики, так как для построения математики необходимы аксиомы, которые устанавливают определенные факты, а такие аксиомы обладают уже внелогической природой [4, 382]. Американский логик А. Черч по проблемам логицизма высказывался также без энтузиазма, утверждая, что попытки свести математику к логике удались не более чем наполовину [24].

Американец Х. Карри называл понятие логицизм расплывчатым, так как термин чистая логика, с которой связан логицизм, сам не определен и нарушает закон: определение должно быть ясным, четким однозначным (ошибка: определение неизвестного через неизвестное).
Однако логики и математики не склонны отрицать все результаты логицизма. Так, А. Черч утверждает его пользу в двух следующих моментах: сведение математического словаря к неожиданно краткому перечню основных понятий, которые принадлежат словарю чистой логики, и обоснование всей существующей математики с помощью сравнительно простой унифицированной системы аксиом и правил вывода.
Все те работы и открытия, которые возникают позже, подвергая жесткой критике как математические методы анализа, так и их результаты, подпадают под определение неклассической логики. В 1907-1908 гг. голландский математик, основатель интуиционистской математики Лейтзен Эгберт Ян Брауэр (18811966) высказал идею о неприменимости закона исключенного третьего в рассуждениях о бесконечных множествах.
В 1912-1918 гг. американский логик Кларенс Ирвинг Льюис (1883-1964), основоположник концептуалистического прагматизма, разработал модальную логику и применил ее к формализации логического исследования. В книге Очерки символической логики он изложил исчисление, в которое вводилось новое понятие строгая импликация.
Позже были разработаны аксиоматические системы модальной логики Курта Геделя (1906-1978), Альфреда Тарского (1902-1983), Герхарда Генцена (1909-1945) и др.
В 1920 г. поляк Ян Лукасевич (1879-1956) создает трехзначную, четырехзначную, многозначную логику. Год спустя систему многозначной логики независимо от Лукасевича разрабатывает американец Э.Л. Пост (1897-1954).
В 1925 г. советский математик и логик Андрей Николаевич Колмогоров (1903-1987) в статье О принципе tertium non datur доказывал, что интуиционистская логика может быть истолкована как исчисление задач, так как в задаче говорится о построении (конструировании) объекта (а не об объективной истинности или ложности предложения). Это обоснование открыло путь к созданию конструктивной логики. Так, классическая арифметика может быть переведена на интуиционистский язык, и он скорее обосновывает, чем опровергает, арифметику.

Стало возможно по-другому взглянуть на аксиомы арифметики6.
В 1928-1929 гг. советский логик и математик Василий Иванович Гливенко (1896-1940) сформулировал систему аксиом интуиционистского исчисления высказываний. В 1936 г. К. Бирк-гоф (1884-1944) выступает с работами по логике квантовой механики. Советский логик Александр Александрович Зиновьев (1922-2006) разрабатывает комплексную логику.
Все эти логические системы получили название неклассической логики. Таким образом, неклассическими называются разные современные логические направления, которые возникают в начале ХХ в.
Необходимо отметить, что принципиально нового не было ничего. В основном это те идеи, которые фиксировались еще древнегреческими и средневековыми мыслителями, но которые в ходе оформления логики как науки эпохи Нового времени остались за ее рамками. Все эти направления, находясь в известной оппозиции к классической логике, представляют собой попытки усовершенствования, дополнения и развития классических логических идей, которые составляют основу современной логики.
Основой любой логической системы объективно являются соответствующие работы Аристотеля, который ввел принцип двузначности. Однако сам Аристотель данный принцип не считал универсальным и отмечал, что на суждения о будущем, об объектах, недоступных человеческому восприятию, о неустойчивых, переходных состояниях, о несуществующих объектах и т. д. он не распространяется.
Нельзя утверждать, что двузначность или многозначность логических значений являются имманентными человеческому мышлению. Есть проблемы, которые успешно решаются в рамках двузначной логики, но есть и такие, для решения которых они не пригодны. Появление многозначной логики потребовало по-другому взглянуть на саму науку о способах организации знания и осознать, что логика как наука находится в процессе активного развития.

Многозначные логики имеют такие функции, которые невыразимы на языке и способами двузначной логики, они поглощаются двузначностью и тем самым остаются за рамками логической имитации. Так, в двузначной логике имеются только четыре разные функции, а в трехзначной - соответственно их двадцать семь. Трехзначная логика наряду с А и не-А допускает третью возможность - неизвестно, а или не-а, т. е. кроме истины и лжи появляется третье значение - неизвестность. В таком случае закон исключенного третьего аннулируется и появляется закон исключенного четвертого: А VіА VцА.

Сведения о трехзначной истинности (истинно, ложно, неопределенно) можно найти у У. Оккама (1285-1349).
По идее введение многозначности должно позволить более адекватно выявлять логическую структуру, что обеспечит более полноценный информационный поиск и создаст возможность построить общую теорию и формализованным языком, логическими средствами точнее имитировать естественный язык. Кроме того, исследования неклассической логики могут быть очень полезны и интересны и по методологическим причинам: они дают возможность принять другую интерпретацию смысла пропозициональных связок и другую точку зрения на проблему истинности предложения.
Необходимо отметить расхожее мнение о том, что методология некоторых формализованных теорий представляет большой интерес ввиду их связи с топологией и теорией решеток. Топологическая логика (греч. - место) считается направлением неклассической логики, которая исследует относительное место двух двухместных высказываний в ряду значений истинности от 0,1,2,..., до п, когда значение 0 рассматривается как самая высокая степень истины (абсолютно истинно), значение п - как самая низкая (абсолютно ложно)7.
Топологическое пространство - это непустое множество, обозначаемое цифрой 1, элементы которого называются точками. Для топологического пространства выполняются следующие аксиомы:
і (АСВ) = ^АС^В, где А и В - подмножества топологического множества;
АСВ АСВ;
А (АСВ).
Каждому подмножеству топологического множества А соответствует множество не-А, которое называется замыканием множества А и которое тоже содержится в топологическом пространстве.
В топологической логике высказывания упорядочены по степеням истины в следующем специфическом смысле: имеют место два двухместных отношения равноистинно и менее истинно, которые обозначаются соответственно G W. В терминах этой логики невозможно выразить точное место одного высказывания, а возможно только выразить относительное место двух предложений в ряду истинности.
Пример: если дано относительное место двух пар высказываний (хі, у1) и (х2, у2), то топологические таблицы истинности отвечают на вопрос следующего типа: какое относительное место имеет (х1 Vy1) относительно (х2 Vу2)? При этом указывается на следующее различие между двузначной и многозначной логиками, с одной стороны, и топологической логикой - с другой, в решении проблемы истинности: если первые при помощи таблиц истинности могут установить, какие формулы являются тавтологиями (тождественно-истинными), то в топологической логике такой возможности нет, так как нет выделенных и невыделенных значений истинности.
Как и в любой системе логики, в топологической логике самой важной задачей считается установление правил логического следования. Для обозначения отношения логического следования используется знак f . На левой стороне от него записывают посылки, а на правой - заключение .
Адепты топологической логики видят ее отличие от двузначной в том, что в обычной двузначной предполагаются данными точные значения истинности элементарных (простых) высказываний: каждое высказывание либо истинно, либо ложно. Истинное значение сложных высказываний является функцией от истинных значений элементарных высказываний. Такая же картина в многозначных логиках, с той разницей, что здесь возможно три и более значения истинности. В отличие от них, в топологической логике невозможно точное (числовое) значение истинности одного высказывания.

Возможно лишь выразить относительное место двух высказываний в ряду истинности. То есть в топологической логике для двух высказываний предполагается только их логико-топологическое отношение, топологическое значение истинности. Так, если даны логико-топологические отношения четырех высказываний хъ у1 х2, у2, то по топологическим таблицам истинности можно получить, например, логико-топологическое отношение двух сложных высказываний: х1 Vу1, х2 Vу2.
Достоинством топологической логики считают прежде всего то, что она некоторым образом соответствует понятию относительной и абсолютной истины в смысле степеней приближения к абсолютной истине. При этом делается оговорка, что топологической логикой не охватываются сами эти различные степени приближения между высказываниями и положением вещи. Однако утверждается, что топологическая логика может быть истолкована так, что она охватывает исторический аспект учения об истине, поскольку предпринимаются попытки ввести в топологическую логику в качестве критерия истинности практику.
Исходя из этого, вводится следующее определение топологического значения истинности: равноистинно, менее (более) истинно.
Два высказывания х и у являются равноистинными тогда и только тогда, когда они утверждаются или отвергаются теми же самыми видами практики.
Высказывание х является более (менее) истинным, чем высказывание у, если и только если х подтверждается (отвергается) определенной практикой, отвергающей (подтверждающей) в то же время высказывание у.
При этом отмечается, что данное определение вносит некоторый элемент относительности и неопределенности в силу относительности критерия истины.
Недостатками топологической логики считают то, что она строится не на объективном языке, а на метаязыке второй ступени, что существенно усложняет оперирование логикой. Кроме того, пока не удается найти практические приемы для установления равенства или различия истины данных высказываний на данном конкретном уровне развития человеческого знания.
В любом случае в топологической логике отражаются только некоторые логические отношения между относительными высказываниями и совсем не учитываются их отношения к абсолютно истинным высказываниям.
1. аГ а= а.
2. аГ в а
3. аГв в
4. с а и с в влекут с аГ в
5. в а тогда и только тогда когда а Г в = в
6. а с и в d влекут аГвcГd
Решетка, или структура
Решетка - это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением, при условии, что выполняются следующие тождества, которые могут быть исполнены как аксиомы в виде законов коммутативности, ассоциативности и элиминации для сложения и пересечения:
1. AUB =BUA АГВ =ВГА
2. АU(BUC) = (AUB)UC АГ(В ГС)= (АГВ) ГС
3. АЩАГВ) =А АГ(АиВ)=А
Упорядоченное множество - это такое множество, в котором элементы подчинены правилу предшествования, или следования (обозначается - знак отношения порядка на множество). Или, по определению В. Серпинского, множество называется упорядоченным, если для любых двух различных элементов определено правило, по которому один из этих элементов предшествует другому. Каждое упорядоченное множество удовлетворяет следующие аксиомы:
1) из любых двух различных элементов а' и а , принадлежащих множеству А, один предшествует другому, а' а;
2) отношение а' а и а а' исключают друг друга;
3) если а' а и а' а' , то а' а;
4) если а' а и а а' , то а' = а;
5) а' а или а а' для всех а', а е А.
Не всякое множество может быть упорядочено. Считается, что нельзя упорядочить множество всех множеств точек данной прямой.
Множество является упорядоченным, если для его элементов определен предикат от двух переменных, которые не рефлексивны, но транзитивны и которые для произвольных отличных друг от друга А и В выполняются либо для пары (АВ), либо для пары (ВА).
П.Н. Новиков называет упорядоченное множество вполне упорядоченным, если каждая его непустая часть содержит элемент, предшествующий всем другим элементам этой части. Операции по упорядочению множеств определяются такими теоремами, как: 1) любое вполне упорядоченное множество имеет первый элемент. Каждый элемент, кроме последнего (если такой существует), имеет последователя (следующего за); 2) никакое вполне упорядоченное множество не подобно своему отрезку; 3) никакие два различные отрезка вполне упорядоченного множества не подобны; 4) если множества А и В вполне упорядочены, то либо они подобны, либо множество А подобно отрезку множества В, либо множество В подобно отрезку множества А.
В этом контексте операции объединения и пересечения множества характеризуются следующими свойствами:
4. а Uа= а.
5. а а U в
6. в а U в
7. а с и в с влекут аU в с
8. а в тогда и только тогда когда а U =в
9. а с и в d влекут аU cUd
Каждая решетка М может быть рассмотрена как универсальная алгебра (М, U, Г ), а именно булева алгебра, псевдоалгебра, топологическая алгебра и т. д.
Решетка имеет верхнюю границу элементов а, в е М, если а а„ при всех а е М, которая (граница) обозначается посредством аили supМ(от лат. - supremus - верхний, высший).
Решетка имеет точную нижнюю границу элементов а, в е М, если аао при всех а е М, которая (граница) обозначается посредством аГ в, или inf М (от лат. - infimus - низ).
Отношение порядка на множестве М называется отношением решеточного порядка, если для любых а, в е М элементы sup (а, в) и inf (а, в) существуют.
Решетка М называется дистрибутивной, если при любых а, в, с е Мвыполняются А П (В UC) = (АПВ) U(АПС)
А U(ВП С) = (AUB) П (AUC).
Дистрибутивная решетка называется булевой алгеброй, в которой имеются два элемента (нуль и единица), причем такие элементы, что aU0=a, аП1=а, и для любого элемента а имеется такой элемент ^ а, что aU^ а= 1, а П^а=0.
Решетка М называется импликативной, если А^В существует для всех элементов а, в е М. Каждая импликативная решетка с нулевым элементом называется псевдобулевой алгеброй. Каждая импликативная решетка может рассматриваться как алгебра с тремя бинарными операциями М, П, U, ^, а каждая псевдобулева алгебра М - как алгебра с тремя бинарными операциями П, U, ^ и с одной унарной операцией М, П, U,



Содержание раздела