1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ

Для выяснения предмета логики можно использовать несколько методов, каждый из которых дает определенный результат.

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

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

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

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

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

Значение логики состоит в следующем:

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

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

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

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

Язык логики: имена, семантич.

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

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

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

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

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

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

В качестве символов выступают определенные знаки. Знак- любой чувственно воспринимаемый предмет, который заменяет, представляет другой предмет, используемый в процессе познания или общения в качестве представителя какого-либо объекта. Наиболее типичны три вида знаков: (1) знаки-индексы; (2) знаки-образы; (3) знаки-символы.

Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами (симптомы, признаки, показания приборов и т. п.). Так, дым - знак, говорящий о наличии огня; повышенная температура человека - о заболевании; изменение высоты ртутного столба - об изменении атмосферного давления и т. д.

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

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

Одним из видов знаков являются имена. Имя - это слово или словосочетание, обозначающее какой-либо предмет. Поскольку имя является знаком, оно имеет значение и смысл. Значение имени - это предмет, обозначаемый этим именем. Смысл имени - это понятие о предмете. Взаимосвязь между именем, предметным значением и смыслом наглядно может быть выражена с помощью треугольника, по углам которого находятся: имя, понятие, предмет.

Это означает, что имя, понятие и предмет не совпадают, но тесно взаимосвязаны: имя обозначает предмет и выражает понятие о предмете.

Взаимосвязь мышления и языка (понятия и слова) не означает их тождества. Одно и то же понятие может выражаться разными словами. Например, словами из разных естественных языков или словами-синонимами в одном языке. Синонимы - слова, различные по звучанию, но тождественные или близкие по смыслу: «труд» и «работа»; «договор» и «контракт».

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

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

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

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

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

Имена могут обозначать и несуществующие в объективной реальности предметы. Например, «кентавр», «русалка», «самая удаленная точка Вселенной» и т. п. Эти имена являются мнимыми, или пустыми.

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

В логике различают языки логики высказываний и логики предикатов. Язык логики высказываний используется для описания структуры высказываний, рассуждений, предложений. Под высказываниями понимаются простые или сложные абстрактные символические выражения, обозначающие суждения. Простые высказывания, объединенные в сложные с помощью связок «и», «или», «если.., то» и др., называют пропозициональными высказываниями, а логику, с помощью которой описываются такие высказывания, иногда называют пропозициональной логикой, или пропозициональным исчислением. Логика высказываний может быть классической (двузначной) или многозначной.

Язык логики предикатов используется для описания внутренней структуры высказываний. Алфавит языка логики предикатов состоит из следующих символов:

а) а, Ь, с... - постоянные предметные термины;

б) x,y,z...- переменные предметные термины;

в) Р, Q, R ... - предикатные термины (имена свойств);

г) p, q, r ... - пропозициональные термины (имена высказываний);

д) кванторы: - все, - некоторые;

е) , , , - логические союзы, которые соответственно читаются: «и», «или», «если…,то...», «если, и только если, то...» и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;

ж) технические знаки: , - запятая; () - скобки.

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

Существует особая наука о знаках - семиотика. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.

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

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

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

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

Вопрос3 понятие как форма мышления

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

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

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

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

Выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом.

Выделение с помощью анализа признаков позволяет отличить существенные признаки от несущественных и отвлечься, абстрагироваться от последних. Мысленное выделение признаков одного предмета и отвлечение от других признаков называется абстрагированием.

Элементы, стороны, признаки предмета, выделенные с помощью анализа, должны быть соединены в единое целое. Это достигается с помощью приема, противоположного анализу, – синтеза, представляющего собой мысленное соединение частей предмета, расчлененного анализом. Признаки изучаемых предметов распространяются на все сходные предметы. Эта операция осуществляется путем обобщения – приема, с помощью которого отдельные предметы на основе присущих им одинаковых свойств объединяются в группы однородных предметов. Благодаря обобщению существенные признаки, выявленные у отдельных предметов, рассматриваются как признаки всех предметов, к которым приложимо данное понятие.

Признаки – это то, в чем предметы сходны друг с другом или отличны друг от друга.

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

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

Любое понятие имеет структуру, которая включает объем и содержание.

Объем понятия – совокупность предметов, которая мыслится в данном понятии. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.

Содержание понятия – это совокупность основных существенных признаков предмета или группы однородных предметов, отраженных в данном понятии. Например, содержанием понятия «преступление» является совокупность существенных признаков преступления: общественно опасный характер деяния, виновность, противоправность, наказуемость.

Вопрос 4. Логич отнош-я м/у понятиями

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

1.  Равнозначными  называют такие понятия, содержания которых соответствуют друг другу, а объемы совпадают. Например, «великая русская река» и «Волга». X – Волга; R – великая русская река. (рис.  2)

Рис.  2

2.  В  отношении пересечения  находятся понятия, объем одного из которых частично входит в объем другого понятия. Например, «юрист» и «военнослужащий». X – юрист; R – военнослужащий. (рис.  3)

Рис.  3

В совместившейся части круга х и R (заштрихованная часть) мыслятся те юристы, которые являются военнослужащими.

3.  В  отношении подчинения  находятся понятия, объем одного из которых полностью входит в объем другого, составляя его часть. Например, «преступление» и «взятка». X – преступление; R – взятка.(рис.  4)

Рис.  4

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

Если в отношении подчинения находятся общее и единичное понятие, то общее называют видом, а единичное – индивидом. Понятия, объемы которых не совпадают ни полностью, ни частично, называются  несовместимыми.

Существуют  три вида несовместимости: соподчинение, противоположность, противоречие.

1.  В  отношении соподчинения  находятся два или более неперекрещивающихся понятия, подчиненных общему для них понятию.

Например, «следователь», «адвокат» и «юрист». Z – юрист; У – следователь; X – адвокат. (рис.  5)

Рис.  5

2.  В  отношении противоположности  находятся понятия, одно из которых содержит некоторые признаки, а другое эти признаки отрицает, заменяя их на противоположные. Например, «черный» и «белый». Z – черный; Р – белый. (рис.  6)

Рис.  6

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

 

Определение понятий, правила и ошибки. Вопрос 5