Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.Стр 1 из 66Следующая ⇒
Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно1. Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой -| (р л~\р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под ~1 р — отрицание высказывания р, знак I перед всей формулой — отрицание двух высказываний, соединенных знаком конъюнкции. Закон непротиворечия действует в отношении всех несовместимых суждений2. Для правильного его понимания необходимо иметь в виду следующее. Утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать (1) то же самое (2) о том же самом предмете, (3) взятом в то же самое время и (4) в том же самом отношении. Понятно, что не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного признака, а в другом — отрицается принадлежность этому же предмету другого признака (1) и если речь идет о разных предметах (2). Согласно традиции этот закон принято называть законом противоречия. Однако название — закон непротиворечия — точнее выражает его действительный смысл. 2 О несовместимых суждениях см. гл. IV, § 4. (3) Противоречия не будет и в том случае, если мы что-либо утверждаем и то же самое отрицаем относительно одного лица, но рассматриваемого в разное время. Допустим, что обвиняемый Н. в начале следствия дал ложные показания, однако в конце следствия он был вынужден под тяжестью изобличающих его улик признаться и дать истинные показания. В этом случае суждения: «Показания обвиняемого Н. являются ложными» и «Показания обвиняемого Н. являются истинными» — не противоречат друг другу. (4) Наконец один и тот же предмет нашей мысли может рассматриваться в разных отношениях. Так, о студенте Щукине можно сказать, что он хорошо знает немецкий язык, так как его знания удовлетворяют требованиям, предъявленным к поступающим в институт. Однако этих знаний недостаточно для работы в качестве переводчика. В этом случае мы вправе сказать: «Щукин плохо знает немецкий язык». В двух суждениях знание Щукиным немецкого языка рассматривается с точки зрения разных требований, следовательно, эти суждения также не противоречат друг другу. Закон непротиворечия выражает одно из коренных свойств логического мышления — непротиворечивость, последовательность мышления. Его сознательное использование помогает обнаруживать и устранять противоречия в своих и чужих рассуждениях, вырабатывает критическое отношение ко всякого рода неточности, непоследовательности в мыслях и действиях. Н.Г. Чернышевский подчеркивал, что непоследовательность в мыслях ведет к непоследовательности в поступках. У кого не уяснены принципы во всей логической полноте и последовательности, писал он, у того не только в голове сумбур, но и в делах чепуха. Умение вскрывать и устранять логические противоречия, нередко встречающиеся в показаниях свидетелей, обвиняемого, потерпевшего, играет важную роль в судебной и следственной практике. Одно из основных требований, предъявляемых к версии в судебном исследовании, состоит в том, чтобы при анализе совокупности фактических данных, на основе которых она построена, эти данные не противоречили друг другу и выдвинутой версии в целом. Наличие таких противоречий должно привлечь самое серьезное внимание следователя. Однако бывают случаи, когда следователь, выдвинув версию, которую он считает правдоподобной, не принимает во внимание факты, противоречащие этой версии, игнорирует их, продолжает развивать свою версию вопреки противоречащим фактам. В процессе судебного разбирательства обвинитель и защитник, истец и ответчик выдвигают противоречащие друг другу положения, отстаивая свои доводы и оспаривая доводы противной стороны. Поэтому необходимо тщательно проанализировать все обстоятельства по делу, чтобы окончательное решение суда основывалось на достоверных и непротиворечивых фактах. Недопустимы противоречия в судебных актах. К числу обстоятельств, по которым приговор признается несоответствующим фактическим обстоятельствам дела, уголовно-процессуальное право относит существенные противоречия, содержащиеся в выводах суда, изложенных в приговоре. Закон исключенного третьего. Закон непротиворечия действует по отношению ко всем несовместимым друг с другом суждениям. Он устанавливает, что одно из них необходимо ложно. Вопрос о втором суждении остается открытым: оно может быть истинным, но может быть и ложным. Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо Ь, либо не-Ь. Истинно либо утверждение некоторого факта, либо его отрицание. Противоречащим (контрадикторным) называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом — отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно и наоборот. Например, если суждение «Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. Например: «П. привлечен к административной ответственности» и «П. не привлечен к административной ответственности». Одно из этих суждений необходимо истинно, другое — необходимо ложно. Этот закон можно записать с помощью дизъюнкции: р v i p, где р — любое высказывание, " 1 р — отрицание высказывания р. Подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано. Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается другими средствами. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно. Закон исключенного третьего требует ясных, определенных ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого. Важное значение имеет этот закон в юридической практике, где требуется категорическое решение вопроса. Юрист должен решать дело по форме «или—или». Данный факт либо установлен, либо не установлен. Обвиняемый либо виновен, либо не виновен. Jus (право) знает только: «или—или». Закон достаточного основания. Наши мысли о каком-либо факте, явлении, событии могут быть истинными или ложными. Высказывая истинную мысль, мы должны обосновать ее истинность, т.е. доказать ее соответствие действительности. Так, выдвигая обвинение против подсудимого, обвинитель должен привести необходимые доказательства, обосновать истинность своего утверждения. В противном случае обвинение будет необоснованным. Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть Ь, то есть и его основание а. Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. К таким основаниям прибегают обычно в следственной и судебной практике при расследовании преступлений. Благодаря развитию научных знаний человек все шире использует в качестве основания своих мыслей опыт всего человечества, закрепленный в законах и аксиомах науки, в принципах и положениях, существующих в любой области человеческой деятельности. Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (каждое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакого смысла погружать в жидкость какой-либо предмет, чтобы выяснить сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения любого частного случая. Благодаря науке, которая в своих законах и принципах закрепляет общественно-историческую практику человечества, мы для обоснования наших мыслей не прибегаем всякий раз к их проверке, а обосновываем их логически, путем выведения из уже установленных положений. Таким образом, достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли. Если из истинности суждения а следует истинность суждения Ь, то а будет основанием для Ь, a b — следствием этого основания. Связь основания и следствия является отражением в мышлении объективных, в том числе причинно-следственных связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). Однако это отражение не является непосредственным. В некоторых случаях логическое основание может совпадать с причиной явления (если, например, мысль о том, что число дорожно-транспортных происшествий увеличилось, обосновывается указанием на причину этого явления — гололед на дорогах). Но чаще всего такого совпадения нет. Суждение «Недавно был дождь» можно обосновать суждением «Крыши домов мокрые»; след протекторов автомобильных шил — достаточное основание суждения «В данном месте прошла автомашина». Между тем мокрые крыши и след, оставленный автомашиной, — не причина, а следствие указанных явлений. Поэтому логическую связь между основанием и следствием необходимо отличать от причинно-следственной связи. Обоснованность — важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыс- 2-1902 лей. В этом состоит коренное отличие научного мышления от мышления ненаучного, которое характеризуется бездоказательностью, способностью принимать на веру различные положения и догмы. Это особенно характерно для религиозного мышления, опирающегося не на доказательство, а на веру. Закон достаточного основания не совместим с различными предрассудками и суевериями. Например, существуют нелепые приметы: разбить зеркало — к несчастью, рассыпать соль — к ссоре и т.д., хотя между разбитым зеркалом и несчастьем, рассыпанной солью и ссорой нет причинной связи. Логика — враг суеверий и предрассудков. Она требует обоснованности суждений и не совместима поэтому с утверждениями, которые строятся по схеме «после этого — значит, по причине этого». Эта логическая ошибка возникает в случаях, когда причинная связь смешивается с простой последовательностью во времени, когда предшествующее явление принимается за причину последующего. Закон достаточного основания имеет важное теоретическое и практическое значение. Фиксируя внимание на суждениях, обосновывающих истинность выдвинутых положений, этот закон помогает отделить истинное от ложного и прийти к верному выводу. Значение закона достаточного основания в юридической практике состоит, в частности, в следующем. Всякий вывод суда или следствия должен быть обоснован. В материалах по поводу какого-либо дела, содержащих, например, утверждение о виновности обвиняемого, должны быть данные, являющиеся достаточным основанием обвинения. В противном случае обвинение не может быть признано правильным. Вынесение мотивированного приговора или решения суда во всех, без исключения, случаях является важнейшим принципом процессуального права. § 4. Язык логики Необходимая связь мышления и языка, при которой язык выступает материальной оболочкой мыслей, означает, что выявление логических структур возможно лишь путем анализа языковых выражений. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь путем анализа языка. В целях овладения логико-языковым анализом рассмотрим кратко структуру и функции языка, соотношение логических и грамматических категорий, а также принципы построения особого языка логики. Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак — это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы. Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков. Множество исходных знаков языка составляет его алфавит. Комплексное изучение языка осуществляется общей теорией знаковых систем — семиотикой, которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом. Синтаксис — это раздел семиотики, изучающий структуру [^ языка: способы образования, преобразования и связи между знаками. Семантика занимается проблемой интерпретации, т.е. анализом отношений между знаками и обозначаемыми объектами. Прагматика анализирует коммуникативную функцию языка — эмоциональные, психологические, эстетические, экономические и другие отношения носителя языка к самому языку. По происхождению языки бывают естественные и искусственные. Естественные языки — это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни. Искусственные языки — это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусст- венного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной — языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями. Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии. Особую группу составляют смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе можно отнести язык, условно называемый «юридическим языком», или «языком права». Он строится на базе естественного (в нашем случае русского) языка, а также включает множество правовых понятий и дефиниций, правовых презумпций и допущений, правил доказательства и опровержения. Исходной клеточкой этого языка выступают нормы права, объединяемые в сложные нормативно-правовые системы. Искусственные языки успешно используются и логикой для точного теоретического и практического анализа мыслительных структур. Один из таких языков — язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях. Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений. Рассмотрим кратко состав и структуру этого языка, отдельные элементы которого будут использованы в процессе содержательного изложения курса. Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени. Имя — это имеющее определенный смысл языковое выражение в виде отдельного слова иди словосочетания, обозначающее или именующее какой-либо внеязыковой объект. Имя как языковая ка- тегория имеет таким образом две обязательные характеристики или значения: предметное значение и смысловое значение. Предметное значение (денотат) имени — это один или множество каких-либо объектов, которые этим именем обозначаются. Например, денотатом имени «дом» в русском языке будет все многообразие сооружений, которые этим именем обозначаются: деревянные, кирпичные, каменные; одноэтажные и многоэтажные и т.д. Смысловое значение (смысл, или концепт) имени — это информация о предметах, т.е. присущие им свойства, с помощью которых выделяют множество предметов. В приведенном примере смыслом слова «дом» будут следующие характеристики любого дома: 1) это сооружение (здание), 2) построено человеком, 3) предназначено для жилья. Отношение между именем, смыслом и денотатом (объектом) можно представить следующей семантической схемой: объект / денотат Это значит, что имя денотирует, т.е. обозначает объекты только через смысл, а не непосредственно. Языковое выражение, не имеющее смысла, не может быть именем, поскольку оно не осмысленно, а значит и не опредмечено, т.е. не имеет денотата. Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений. Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы. По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие. Единичное имя обозначает один объект и бывает представлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом). Имена признаков — качеств, свойств или отношений — называются предико/порами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т.д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»). Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь. Алфавит языка логики предикатов включает следующие виды знаков (символов): 1) а, Ь, с,... — символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, пли константами; 2) х, у, z,... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными; 3) Р', О', R',... — символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными; 4) р, q, г,... — символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio — «высказывание»); 5) V, 3 — символы для количественной характеристики высказываний; их называют кванторами: V — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т.п.; 3 — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует и т.п.; 6) логические связки: Л —— КОНЪЮНКЦИЯ (СОЮЗ «И»); V —— ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»); —> — импликация (союз «если..., то...»); = — эквиваленция, или двойная импликация (союз «если и только если..., то...»);. Ч — отрицание («неверно, что...»). Технические знаки языка: (,) — левая и правая скобки. Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вводится следующими определениями: 1. Всякая пропозициональная переменная — р, q, г,... есть ППФ. 1. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ. А' (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А', А2, А3,..., А" — знаки метаязыка для предикаторов. 3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения V хА (х) и 3 хА(х) также будут ППФ. 4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения: А л В, A v В, А—В, А^В, -1А.1В ^ также являются формулами. 5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка. С помощью приведенного логического языка строится формализованная логическая система, называемая исчислением предикатов. Элементы языка логики предикатов будут использованы в дальнейшем изложении для анализа отдельных фрагментов естественного языка. § 5. История логики (краткий очерк) Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (348—322 гг. до н.э.). В своих логических трудах, получивших общее название «Органон» (греч. «орудия познания»), Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — логики предикатов. Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), дополнившая аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков — основа другого направления математической ло-, гики — логики высказываний. Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена, именем которого названа 4-я фигура категорического силлогизма; Пор-фирия, известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями («древо Порфи-рия»); Боэция, сочинения которого длительное время служили основными логическими пособиями. Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики. Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561—1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении «Новый/Органон» (в отличие от старого, аристотелевского «Органона»). Разработка индуктивного метода — огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806—1873). Дедуктивная логика Аристотеля и индуктивная логика Бэкона — Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время. Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой. Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др. Французский философ Р. Декарт (1569—1650) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в со- чинении «Правила для руководства ума». В 1662 г. в Париже вышла книга «Логика, или Искусство мыслить», написанная последователями Декарта А. Арно и П. Николем, известная также под названием «Логика Пор-Рояля»1. Книга оказала заметное влияние на всю последующую историю развития логики. Крупный вклад в исследование логических проблем внесли немецкий философ Г. Лейбниц (1646—1716), сформулировавший закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX—XX вв.; немецкий философ И. Кант (1724—1804) и многие другие западно-европейские философы и ученые2. Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М.В. Ломоносов (1711— 1765), А.Н. Радищев (1749—1802), Н.Г.Чернышевский (1828— 1889). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Карийский (1804—1917) и Л.В. Рутков-ский (1859—1920). Одним из первых начал развивать логику отношений философ и логик С.И. Поварнин (1807—1952). Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической, логики3. Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т.д.). Большое внимание уделяется разработке многозначной логики, в которой помимо принятых в традиционной логике двух значений истинности — «истинно» и «ложно» — допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («ней- 1 Авторы книги были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль 2 Учитывая европейские традиции, в русле которых в основном развивалась логика в России, мы не останавливаемся здесь на формировании и развитии логических учений в странах Востока, где сложились оригинальные концепции таких мыслителей, как Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др 3 Математической логикой называют также особый раздел современной математики, исследующий специфику математических рассуждений и доказательств. трально»). Им же построена система модальной логики со значениями «возможно», «невозможно», «необходимо» и т.п., а также четырехзначная и бесконечнозначная логики. Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество степеней правдоподобия — от 0 до 1, временная логика и многие другие. Особое значение для правоведения имеет раздел модальной логики, получивший название деонтической логики, исследующий структуры языка предписаний, т.е. высказываний со значением «обязательно», «разрешено», «запрещено», «безразлично», которые широко используются в правотворческой и правоохранительной деятельности. Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить последнюю. Это два направления, две ступени в развитии формальной логики. Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика, впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770— 1831) и с материалистических позиций переработанная в философии марксизма. Диалектическая логика изучает законы развития человеческого мышления, а также методологические принципы и требования, которые формируются на их основе. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны, восхождение от абстрактного к конкретному, принцип единства исторического и логического и др. Диалектическая логика служит методом познания диалектики объективного мира. Логика формальная и логика диалектическая изучают один и тот же объект — человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Это значит, что диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-ло гический аппарат, так и средства, разработанные диалектической логикой. Формальная логика изучает формы мышления, выявляя структуру, общую для различных по содержанию мыслей. Рассматривая, например, понятие, она изучает не конкретное содержание различных понятий (это задача специальных наук), а понятие как форму мышления, независимо от того, какие именно предметы мыслятся в понятиях. Изучая суждение, логика отвлекается от их конкретного содержания, выявляя структуру, общую для различных по содержа-' нию суждений. Формальная логика изучает законы, обусловливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики, изложение основ которой и составляет задачу предлагаемого учебника.
|