Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.
По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие. Единичное имя обозначает один объект и бывает предоставлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).
Имена признаков — свойств или отношений — называются предикаторами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т. д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»), Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»).
Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.
Алфавит языка логики предикатов включает следующие виды знаков (символов):
1) а, b, с, ... — символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;
2) х, у, z, ... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
3) Р1, Q1, R1, ... — символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;
4) р, q, r, ... — символы для высказываний, которые называют пропозициональными переменными (от латинского propositio — «высказывание»);
5) ∀, Ǝ — символы для количественной характеристики высказываний; их называют кванторами: ∀ — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т. п.; Ǝ — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует ит.п.;
6) логические связки:
∧— конъюнкция (связка «и»);
∨— дизъюнкция (связка «или»);
→ — импликация (связка «если..., то...»);
≡ — эквиваленция, или двойная импликация (связка «если, и только если..., то...»);
˥ — отрицание («неверно, что...»).
Технические знаки языка: (,) — левая и правая скобки.
Других знаков данный алфавит не включает. Допустимые, т. е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вводится следующими определениями:
1. Всякая пропозициональная переменная — р, q, r,... есть ППФ.
2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А1 (х), А2 (х, у), А3 (х, у, z), Аn (х, у, …, n), где А1, А2, А3, ..., Аn — знаки метаязыка для предикатов.
3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения ⊃хА (х) и Ǝ хА (х) также будут ППФ.
4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:
А ∧В,
А ∨В,
А → В,
А ≡ В,
˥А, ˥В
также являются формулами.
5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка.
Язык логики предикатов может быть использован в дальнейшем изложении для анализа отдельных фрагментов естественного языка.
Вопросы для самопроверки
1. Что такое язык? Приведите определение.
2. Какие языки относятся к естественным и какие к искусственным?
3. Что представляет собой язык логики предикатов? Какие знаки (символы) включает алфавит этого языка?
§ 5. ИСТОРИЯ ЛОГИКИ (КРАТКИЙ ОЧЕРК)
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука. Она сформировалась более двух тысяч лет назад, в IV в. до н. э. Ее основателем является древнегреческий философ Аристотель (384—322 гг. до н. э.). В своих логических трудах, получивших общее название «Органон» (греч. «орудие, инструмент познания»), Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — логики предикатов.
Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), дополнившая аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков — основа другого направления математической логики: логики высказываний.
Среди других античных мыслителей, развивающих и комментирующих учение Аристотеля, следует назвать Галена, Порфирия, Боэция, сочинения которого длительное время служили основными логическими пособиями.
Логика развивалась и в Средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.
Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561—1626). Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж. С. Миллем (1806—1873).
Дедуктивная логика Аристотеля и индуктивная логика Бэкона — Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время.
Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской, логикой.
Дальнейшее развитие логики связано с именами французского философа Р. Декарта (1596—1650), внесшего существенный вклад в дедуктивную логику[10]; немецкого философа Г. Лейбница (1646—1716), сформулировавшего закон достаточного основания, выдвинувшего идею математической логики, которая получила развитие значительно позднее; немецкого философа И. Канта (1724— 1804) и многих других европейских философов и ученых.
Ряд оригинальных логических идей выдвинули и развили мыслители стран Востока: Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.
Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М. В. Ломоносов (1711—1765), А. Н. Радищев (1749—1802), Н. Г. Чернышевский (1828—1889). Известны своими новаторскими идеями в теории умозаключений русские логики М. И. Каринский (1840—1917) и Л. В. Рутковский (1859—1920). Одним из первых начал развивать логику отношений философ и логик С. И. Поварнин (1870—1952).
Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывалось в трудах Д. Буля, У. С. Джевонса, П. С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формальных языков получил название математической, или символической, логики[11].
Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т. д.). Большое внимание уделяется разработке многозначной логики, в которой, помимо принятых в традиционной логике двух значений истинности — «истинно» и «ложно», —допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («нейтрально»). Им же построена система модальной логики со значениями «возможно», «невозможно», «необходимо» и т. п., а также четырехзначная и бесконечная логики.
Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество степеней правдоподобия — от 0 до 1, временнáя логика и многие другие.
Особое значение для правоведения имеет раздел модальной логики, получивший название деонтическая логика, исследующая структуры языка предписаний, т. е. высказываний со значением «обязательно», «разрешено», «запрещено», которые широко используются в правотворческой деятельности.
Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить последнюю. Это два направления, две ступени в развитии формальной логики.
Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика, впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770— 1831) и с материалистических позиций переработанная в философии марксизма.
Диалектическая логика — наука о диалектическом мышлении, в принципах, законах и категориях которого отражаются взаимосвязи, изменение и развитие объективного мира. В отличие от формальной логики, изучающей законы и формы готового знания, диалектическая логика изучает развитие знания, формирует на основе всеобщих законов диалектики методологические принципы: объективность и всесторонность рассмотрения предмета, принцип историзма, восхождение от абстрактного к конкретному и др. Диалектическая логика служит методом познания диалектики объективного мира[12].
Логика формальная и логика диалектическая изучают один и тот же объект — человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Это значит, что диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-логический аппарат, так и средства, разработанные диалектической логикой.
Формальная логика изучает формы мышления, выстраивая структуру, общую для различных по содержанию мыслей. Рассматривая, например, понятие, она изучает не конкретное содержание различных понятий (это задача специальных наук), а понятие как форму мышления, независимо от того, какие именно предметы мыслятся в понятиях. Изучая суждение, логика отвлекается от их конкретного содержания, выявляя структуру, общую для различных по содержанию суждений. Формальная логика изучает законы, обуславливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину.
Мышление, не подчиняющееся требованиям формальной логики, не способно правильно познавать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики, изложение основ которой и составляет задачу предлагаемого учебника.
Вопросы для самопроверки
1. Когда возникла наука логика? Кто ее основатель?
2. В чем отличие современной (символической) логики от традиционной (аристотелевской) логики? Что такое диалектическая логика?
3. Приведите определение формальной логики.
Глава II ПОНЯТИЕ
§ 1. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
Понятие — это форма мышления, отражающая предметы в их существенных признаках.
Признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются.
Любые свойства, черты, состояния предмета, которые так или иначе характеризуют предмет, выделяют его, помогают распознать среди других предметов, составляют его признаки. Признаками могут быть не только свойства, принадлежащие предмету; отсутствующее свойство (черта, состояние) также рассматривается как его признак. Например, отсутствие билета у пассажира или оружия у преступника. Признаком бесхозного имущества является то, что оно не имеет собственника или его собственник не известен.
По наличию или отсутствию свойств признаки делятся на положительные и отрицательные. Признаки, характеризующие отдельный предмет, называются единичными, признаки, принадлежащие множеству предметов, называются общими. Так, каждый человек имеет признаки, одни из которых (например, черты лица, телосложение, походка, жестикуляция, мимика, так называемые особые приметы, броские признаки) принадлежат только данному человеку и отличают его от других людей; другие (профессия, национальность, социальная принадлежность и т. д.) являются общими для определенной группы людей; наконец, есть признаки, общие для всех людей. Они присущи каждому человеку и вместе с тем отличают его от других живых существ. К ним относятся способность создавать орудия труда, способность к абстрактному мышлению и членораздельной речи.
Важное значение имеет деление признаков на необходимые и случайные. Необходимым называется признак, при отсутствии которого предмет перестает быть данным предметом, утрачивает свое качество. Признак, при отсутствии которого предмет не утрачивает своего качества, остается данным предметом, называется случайным. Необходимым признаком преступления является общественно опасный характер деяния. Единичные признаки отдельных преступлений относятся к случайным.
Как форма абстрактного мышления понятия отражают предметы в необходимых признаках, которые выражают наиболее важное, существенное в предметах. Они называются существенными. Остальные признаки называются несущественными[13].
Существенные признаки могут быть общими и единичными. Понятия, отражающие множество предметов, включают общие существенные признаки. Например, общие признаки человека (способность создавать орудия труда и др.) являются существенными. Понятие, отражающее один предмет (например, «Аристотель»), наряду с общими существенными признаками (человек, древнегреческий философ) включает единичные признаки (основатель логики, автор «Аналитики»), без которых отличить Аристотеля от других людей и философов Древней Греции невозможно.
Деление признаков на существенные и несущественные относительно. При определенных условиях несущественные признаки, например, броские признаки, особые приметы конкретного преступника, весьма существенны для его розыска. Но для понятия «преступник» — это несущественные признаки.