Понятие логической формы.

Логическая форма – это структура мысли или способ связи элементов ее содержания. Логическая форма  выражается  посредством  логических  переменных  и  логических констант. В качестве логической переменной может выступать любая буква латинского  алфавита: A, B, C, p, q. Константы, или логические постоянные, выступают способом связи логических переменных и выражаются словами «все», «некоторые», «суть», «и», «или», «либо, либо», «если…,  то»  и  т.д.  Для  обозначения  логических  констант  употребляются символы. Этим достигается большая компактность и строгость изложения. Примерами логических констант являются: 

∀ (x) – квантор общности «для всякого x верно, что».

∃ (x) – квантор существования – «существуют x».

∧ – логический союз конъюнкция, выражается посредством грамматических союзов «и», «да», «но».

∨ –  логический  союз  дизъюнкция  в  значении  грамматического союза «или… или».

→ –  логический  союз  импликация,  выражается  словами «если, то».

Пропозициональная функция

Пропозициональная  функция –  это  выражение,  содержащее переменные и превращающееся в высказывание при подстановке вместо этих переменных соответствующих дескриптивных терминов.

Билет №2

Значение логики для юриста

1. Особенности мышления юриста

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

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

Профессиональное мышление юриста по содержанию определяется правом, потому его еще называют правовым мышлением.

Правовое мышление осуществляется на основании государственного языка, специальной юридической терминологии и правовых понятий.1

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

Главные особенности правового мышления — системность, операция правовыми сроками, которые имеют специфический юридический смысл, подчинение принципам права, регламентованисть требованиями закона, логичность, то есть, обоснованность законами логики.

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

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

2. Значение логики для юристов

Вопрос о значении логики для права, о соотношении этих двух наук долгое время привлекало внимание логиков, философов, юристов. В течение многих веков выдавались труды, посвященные его исследованию. Да, еще в конце XVI ст., в 1588 году, была изданная книга Абраама Франца «Правовая логика», основная цель которой заключалась в демонстрации тесной связи логических и правовых знаний.

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

Именно юристы постоянно подтверждали большое значение логических знаний для правоведов. Да, в начале XX ст. в правовой литературе неоднократно отмечалось о необходимости знаний из логики для правовой деятельности. Правовед В.Д. Катков в 1913 году высказывался за то, что связь юриспруденции и логики настолько очевидна, что было бы так же странно сомневаться в нем, как и доводить его.1

Эту точку зрения поддерживал известный русский дореволюционный юрист Е.В. Васьковський, которому принадлежат такие слова, : «Можно правильно мыслить без понятия о логике, можно хорошо говорить любым языком без знания ее грамматики. Но логика и грамматика учат мыслить и говорить сознательно и находить ошибки у себя и других».

Билет №3

4. ИСТОРИЯ ФОРМИРОВАНИЯ ЛОГИКИ

В своем развитии логика прошла два этапа:

1) с IV в. до н. э. до XIX в. н. э. В этот период произошло возникновение формальной логики, автором которой традиционно считается Аристотель, и ее медленное совершенствование;

2) с конца XIX в. до наших дней произошла научная революция и на смену аристотелевской логике пришла современная.

Отдельные логические проблемы возникали перед человечеством уже свыше 2,5 тыс. лет назад в Древней Индии. В индийской логике много внимания уделяется теории умозаключения, которое в ней отождествляется с доказательством.

Логика в Древней Индии не рассматривалась как система, а трактовалась в виде кратких афоризмов. При этом логика была полностью зависима от других наук. Логика Древней Индии была практически неизвестна в Западной Европе. Поэтому считается, что логические проблемы получают свое освещение только в Древней Греции и Риме.

Основными причинами возникновения логики как науки являются:

1) зарождение и развитие наук. Логика и пыталась выявить и объяснить те требования, которымдолжно удовлетворять научное мышление, чтобы его результаты соответствовали действительности;

2) развитие ораторского искусства и искусства спора. Основателем логики как науки принято считать Аристотеля. Однако первое систематическое изложение логических проблем было раньше дано другим древнегреческим философом – Демокритом. Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или о канонах» (от греч. canon – «правило, предписание»). В данной работе была раскрыта сущность основных форм познания и критерии

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

В центре логических размышлений Аристотеля лежит теория дедуктивных умозаключений и доказательства. Он также дал классификацию категорий и близкую к демокритовской классификацию суждений, сформулировал три фундаментальных закона мышления – закон тождества, закон противоречия и закон исключенного третьего.

В Средние века в развитии логики как науки сыграла проблема общих понятий – «универсалий». Суть проблемы заключается в том, что появляется раньше – общие понятия, вытекающие из нашего разума (рационализм), или единичные, фактические предметы (номинализм).

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

Следующий этап в развитии логики начинается с XVII в. Он связан с созданием в ее рамках индуктивной логики, в которой нашли отражение многообразные процессы получения общих знаний на основе накопившегося эмпирического материала. Потребность в таких знаниях наиболее полно осознал и выразил в своих трудах Ф. Бэкон. Он и стал родоначальником интуитивной логики.

Растущие потребности научно-технического прогресса обусловливают дальнейшее развитие современной логики.

Билет №4

Язык логики

Необходимая связь мышления и языка, при которой язык выступает материальной оболочкой мыслей, означает, что выявление логических структур возможно лишь путем анализа языковых выражений. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь путем анализа языка.

В целях овладения логико-языковым анализом рассмотрим кратко структуру и функции языка, соотношение логических и грамма-

18

тических категорий, а также принципы построения особого языка логики.

Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.

Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак — это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета.

Среди различных знаков выделим два вида: знаки-образы и знаки-символы.

Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.

Множество исходных знаков языка составляет его алфавит.

Комплексное изучение языка осуществляется общей теорией знаковых систем — семиотикой, которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом.

Синтаксис — это раздел семиотики, изучающий структуру языка: способы образования, преобразования и связи между знаками. Семантика занимается проблемой интерпретации, т.

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

По происхождению языки бывают естественные и искусственные.

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

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

19

2»

венного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной—языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.

Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.

Особую группу составляют смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе можно отнести язык, условно называемый «юридическим языком», или «языком права». Он строится на базе естественного (в нашем случае русского) языка, а также включает множество правовых понятий и дефиниций, правовых презумпций и допущений, правил доказательства и опровержения. Исходной клеточкой этого языка выступают нормы права, объединяемые в сложные нормативно-правовые системы.

Искусственные языки успешно используются и логикой для точного теоретического и практического анализа мыслительных структур.

Один из таких языков — язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях.

Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений. Рассмотрим кратко состав и структуру этого языка, отдельные элементы которого будут использованы в процессе содержательного изложения курса.

Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.

Имя — это имеющее определенный смысл языковое выражение в виде отдельного слова или словосочетания, обозначающее или именующее какой-либо внеязыковой объект. Имя как языковая ка

20

тегория имеет таким образом две обязательные характеристики или значения:предметное значение и смысловое значение.

Предметное значение (денотат) имени — это один или множество каких-либо объектов, которые этим именем обозначаются. Например, денотатом имени «дом» в русском языке будет все многообразие сооружений, которые этим именем обозначаются: деревянные, кирпичные, каменные; одноэтажные и многоэтажные и т.д.

Смысловое значение (смысл, или концепт) имени — это информация о предметах, т.е. присущие им свойства, с помощью которых выделяют множество предметов. В приведенном примере смыслом слова «дом» будут следующие характеристики любого дома: 1) это сооружение (здание), 2) построено человеком, 3) предназначено для жилья.

Отношение между именем, смыслом и денотатом (объектом) можно представить следующей семантической схемой:

объект / денотат

Это значит, что имя денотирует, т.е. обозначает объекты только через смысл, а не непосредственно. Языковое выражение, не имеющее смысла, не может быть именем, поскольку оно не осмысленно, а значит и не опредмечено, т.е. не имеет денотата.

Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений.

Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.

По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие.

Единичное имя обозначает один объект и бывает представлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).

21

Имена признаков — качеств, свойств или отношений — называются предика/порами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т.д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»).

Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.

Алфавит языка логики предикатов включает следующие виды знаков(символов):

1) а, Ь, с,... — символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;

2) х, у, z, ... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;

3) Р', Q', R',... — символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;

4) р, q, r, ... — символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio — «высказывание»);

5) V, 3 — символы для количественной характеристики высказываний; их называют кванторами: V — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т.п.; 3 — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует и т.п.;

6) логические связки:

л — конъюнкция (союз «и»);

V — ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»);

—> — импликация (союз «если..., то...»);

•= — эквиваленция, или двойная импликация (союз «если и только если..., то...»);

"1 — отрицание («неверно, что...»). Технические знаки языка: (,) — левая и правая скобки.

22

Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вводится следующими определениями:

1. Всякая пропозициональная переменная—p,q, r,... есть ППФ.

2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А' (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А1, А2, А3,..., А" — знаки метаязыка для предикаторов.

3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения V хА (х) и Э хА(х) также будут ППФ.

4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:

А л В,

AvB,

А->В,

А=В,

-I А, -1 В также являются формулами.

5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка.

С помощью приведенного логического языка строится формализованная логическая система, называемая исчислением предикатов. Элементы языка логики предикатов будут использованы в дальнейшем изложении для анализа отдельных фрагментов естественного языка.

ОСОБЕННОСТИ ЛОГИЧЕСКИХ ЗАКОНОВ И ИХ СВЯЗЬ С ПРИНЦИПАМИ МЫШЛЕНИЯ ( так же см. билет №5)

Связность – всеобщее свойство составляющих его элементов. Это способность предметов и явлений существовать не порознь, а вместе, вступая в те или иные связи и отношения. Одним из видов связей является и закон.

Закон – это внутренняя, существенная и необходимая связь между предметами и явлениями, повторяющаяся всегда и всюду при определенных условиях.

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

Поскольку мышление имеет содержание и форму, то эти связи двоякого рода – содержательные и формальные. Так, в высказывании «Москва есть столица» содержательная, или фактическая, связь состоит в том, что мысль о конкретном городе – Москве – соотносится с мыслью о специфических городах – столицах. Но здесь есть и иная, формальная связь между самими формами мыслей – понятиями. Она выражается в русском слове «есть» и означает, что один предмет включается в группу предметов. С изменением содержания высказывания меняется и содержательная связь, а формальная может повторяться сколь угодно долго. Высказываниях «Право есть общественное явление» и «Конституция есть закон» содержательная связь каждый раз новая, а формальная – одна и та же. Так вот, логика изучает не содержание высказываний, а их форму. Соответственно, формальные связи между высказываниями получили название «логические связи». Логических связей также существует огромное множество. Это связи между признаками в понятии и самими понятиями, между элементами суждения и самими суждениями и т. п. Они выражаются союзами «и», «или», «если,... то» и др. В них отражаются реальные, объективно существующие связи и отношения между предметами и явлениями действительности: соединения, разъединения, обусловленности и пр. Особым видом логической связи является закон мышления, или закон логики.

Закон логики – это внутренняя, необходимая и существенная связь между мыслями в процессе рассуждения, рассматриваемая со стороны ее формы.

Цель законов логики – сформулировать основания, фундамент правил и рекомендаций, следуя которым можно достичь истины. Поэтому законы мышления не являются законами в том смысле, в котором указанный термин используется для описания явлений природы.