Логика: учебник для юридических вузов
Шрифт:
6) логические связки:
— конъюнкция (связка «и»);
— дизъюнкция (связка «или»);
– > — импликация (связка «если..., то...»);
— эквиваленция, или двойная импликация (связка «если, и только если..., то...»);
— отрицание («неверно, что...»).
Технические знаки языка: (,) — левая и правая скобки.
Других знаков данный алфавит не включает. Допустимые, т. е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вводится следующими определениями:
1. Всякая пропозициональная переменная — р, q, r,... есть ППФ.
2. Всякая предикатная переменная, взятая с последовательностью
3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения хА (х) и хА (х) также будут ППФ.
4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:
А В,
А В,
А -> В,
А В,
А, В
также являются формулами.
5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка.
Язык логики предикатов может быть использован в дальнейшем изложении для анализа отдельных фрагментов естественного языка.
1. Что такое язык? Приведите определение.
2. Какие языки относятся к естественным и какие к искусственным?
3. Что представляет собой язык логики предикатов? Какие знаки (символы) включает алфавит этого языка?
§ 5. ИСТОРИЯ ЛОГИКИ (КРАТКИЙ ОЧЕРК)
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука. Она сформировалась более двух тысяч лет назад, в IV в. до н. э. Ее основателем является древнегреческий философ Аристотель (384—322 гг. до н. э.). В своих логических трудах, получивших общее название «Органон» (греч. «орудие, инструмент познания»), Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — логики предикатов.
Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), дополнившая аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков — основа другого направления математической логики: логики высказываний.
Среди других античных мыслителей, развивающих и комментирующих учение Аристотеля, следует назвать Галена, Порфирия, Боэция, сочинения которого длительное время служили основными логическими пособиями.
Логика развивалась и в Средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.
Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561—1626).
Дедуктивная логика Аристотеля и индуктивная логика Бэкона — Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время.
Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской, логикой.
Дальнейшее развитие логики связано с именами французского философа Р. Декарта (1596—1650), внесшего существенный вклад в дедуктивную логику [10] ; немецкого философа Г. Лейбница (1646—1716), сформулировавшего закон достаточного основания, выдвинувшего идею математической логики, которая получила развитие значительно позднее; немецкого философа И. Канта (1724— 1804) и многих других европейских философов и ученых.
10
В 1662 г. в Париже вышла книга «Логика, или Искусство мыслить», написанная последователями Декарта А. Арно и П. Николем, известная также под названием «Логика Пор-Рояля». Книга оказала заметное влияние на последующую историю развития логики.
Ряд оригинальных логических идей выдвинули и развили мыслители стран Востока: Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.
Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М. В. Ломоносов (1711—1765), А. Н. Радищев (1749—1802), Н. Г. Чернышевский (1828—1889). Известны своими новаторскими идеями в теории умозаключений русские логики М. И. Каринский (1840—1917) и Л. В. Рутковский (1859—1920). Одним из первых начал развивать логику отношений философ и логик С. И. Поварнин (1870—1952).
Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывалось в трудах Д. Буля, У. С. Джевонса, П. С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формальных языков получил название математической, или символической, логики [11] .
Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т. д.). Большое внимание уделяется разработке многозначной логики, в которой, помимо принятых в традиционной логике двух значений истинности — «истинно» и «ложно», —допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («нейтрально»). Им же построена система модальной логики со значениями «возможно», «невозможно», «необходимо» и т. п., а также четырехзначная и бесконечная логики.
11
Математической логикой называют также особый раздел современной математики, исследующий специфику математических рассуждений и доказательств.