1 Вначале логика возникла и развивалась в недрах философии как единой науки, объединявшей всю совокупность представлений людей об окружающем мире и самом человеке, его мышлении. При этом первоначально законы и формы правильного мышления изучались в границах ораторского искусства, как одного из средств воздействия на умы людей, убеждения их в целесообразности определенного поведения. Так было в Древней Индии, Древнем Китае, Древней Греции, Древнем Риме, а также средневековой России. Однако в искусстве красноречия логический аспект представляет пока еще как подчиненный, ибо логические приемы служат не столько цели достижения истины, сколько цели убеждения аудитории.

2   Язык - главная из знаковых систем человека, важнейшее средство человеческого общения, способ осуществления мышления. К. Маркс, например, назвал язык “непосредственной действительностью мысли”. Знак - это внешнее выражение внутреннего содержания предметов и явлений - их значение. Человек - единственное существо, моделирующее внешний мир при помощи знаковых систем.      Язык - это особая знаковая система. Любой язык состоит из различных слов, то есть условных звуковых знаков, обозначающих различные предметы и процессы, а также из правил, позволяющих строить из этих слов предложения. Именно предложения являются средством выражения мысли.

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

3 Язык - главная из знаковых систем человека, важнейшее средство человеческого общения, способ осуществления мышления. К. Маркс, например, назвал язык “непосредственной действительностью мысли”. Знак - это внешнее выражение внутреннего содержания предметов и явлений - их значение. Человек - единственное существо, моделирующее внешний мир при помощи знаковых систем. Знаки - это символы таблицы Менделеева, музыкальные ноты, рисунки, имена и т.д. В любом человеческом сообществе люди реагируют на те или иные знаки в соответствии с культурными традициями, ибо формирование знаковой картины мира и восприятие мира в знаковой системе всегда опосредованно культурой. Знаки, выражающие значения явлений могут иметь либо условный, либо реальный характер (например, местные особенности одежды). Условные знаки, в свою очередь, делятся на специальные и неспециальные. Роль неспециального знака может сыграть, скажем, дерево, используемое как ориентир; специальные знаки - это жесты, знаки уличного движения, знаки различия, ритуалы и т.д.     Важнейшие условные знаки человеческой культуры - это слова. Предметы и явления окружающей действительности редко полностью подвластны человеку, а слова - знаки, которыми мы их обозначаем, подчиняются нашей воле, соединяясь в смысловые цепочки - фразы. Со знаками, со значениями, которые им придаются, оперировать легче, чем с самими явлениями. С помощью слов можно интерпретировать другие знаковые системы (например, можно описать картину). Язык - универсальный материал, который используется людьми при объяснении мира и формировании той или иной его модели. Хотя художник может это сделать и при помощи зрительных образов, а музыкант - при помощи звуков, но все они вооружены, прежде всего, знаками универсального кода - языка.    

4 Понятия принято делить на следующие виды: 1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и абстрактные, 4) положительные и отрицательные, 5) безотносительные и соотносительные.

1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Понятие, в ' котором мыслится один элемент, называется единичным (например, «Москва», «Л.Н. Толстой», «Российская Федерация»). Понятие, в котором мыслится множество элементов, называется общим (например, «столица», «писатель», «федерация»).

2. Понятия делятся на собирательные и несобирательные. Понятия, в которых мыслятся признаки некоторой совокупности элементов, составляющих единое целое, называются собирательными. Например, «коллектив», «полк», «созвездие».

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

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

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

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

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

Понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения к другим предметам, называются безотносительными. Таковы понятия «студент», «государство», «место преступления» и др. Соотносительные понятия содержат

5 Рассматривая отношения между понятиями, следует прежде всего различать понятия сравнимые и несравнимые.

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

Несравнимыми называются понятия, не имеющие общих признаков, поэтому и сравнивать эти понятия невозможно. Например:

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

Сравнимые понятия делятся на совместимые и несовместимые.

Совместимые понятия

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

Обобщить понятие — значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Министерство юстиции Российской Федерации», мы переходим к понятию «министерство юстиции

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

Каждое последующее понятие является родом по отношению к предыдущему.

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

е. исключить видовые (или индивидуальные) признаки.

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

6. Понятие — мысль, отражающая общие и существенные (существенно общие) признаки определенной совокупности предметов, процессов, моментов действительности.

Так, понятие «яблоко» отражает существенные признаки всех яблок. Ясно, что в этот состав не входят такие признаки, как «красное» или «желтое» (яблоки бывают и других цветов) или «сладкое» (яблоки бывают и кислыми).

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

Содержание понятия находится в обратно пропорциональном отношении к объему понятия — совокупности предметов, мыслимых в понятии: чем больше содержание, тем меньше объем понятия, соответственно чем больше объем понятия, тем меньше содержание.

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

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

дихотомия (т.е. деление на две части )

трихотомия (т.е. деление на три части )

политомия (т.е. многочисленное деление)

Правило первое. Деление должно быть соразмерным. Это означает, что общий объем членов деления должен равняться объему делимого родового понятия, Например, в утверждении "звуки делятся на согласные и гласные" это правило учтено. Данное правило гарантирует от двух ошибок: а) неполного (с остатком) деления. Так, деление понятия "право" на государственное, административное, гражданское, уголовное будет неполным, с остатком; б) обширного (с избытком) деления.

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

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

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

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

Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.

• Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

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

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

• Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Бессмысленные суждения

Например, суждение "число 2 зеленое" бессмысленно, так как нельзя сказать ни того, что оно истинно, и ни того, что оно ложно, хотя интуитивно кажется, что это суждение ложно

Неопределенные суждения

В логике неопределенные суждения относят к частным суждениям. Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: “некоторые”, “многие”, “немногие”, “большинство”, “меньшинство”, “часть”, «не все», «отдельные» и др.

9“Логический квадрат” представляет собой наглядную схему взаимного отношения суждений четырех типов А, Е, I, О. Строится логический квадрат так: левый верхний угол обозначается буквой А (общеутвердительное суждение) или SaP; правый верхний угол обозначается буквой Е (общеотрицательное суждение) или SeP; нижний левый угол обозначается буквой I (частноутвердительное суждение) или SiP; нижний правый угол обозначается буквой О (частноотрицательное суждение) или SoP.

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

10 Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.

Рассмотрим, как распределены термины в суждениях А, Е, I, О.

Суждение А (Все S суть Р). «Все студенты нашей группы (S) сдали экзамены (Р)». Субъект этого суждения («студенты нашей группы») распределен, он взят в полном объеме: речь идет обо всех студентах нашей группы. Предикат этого суждения не распределен, так как в нем мыслится только часть лиц, сдавших экзамены, совпадающая со студентами нашей группы.

Таким образом, в общеутвердительных суждениях S распреде­лен, а Р не распределен.

Суждение Е (Ни одно S не есть Р). «Ни один студент нашей группы (S) не является неуспевающим (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключа­ется из объема другого: ни один студент нашей группы не входит в число неуспевающих, и ни один неуспевающий не является студен­том нашей группы. Следовательно, в общеотрицательных суждени­ях и S, и Р распределены (рис. 26).

Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) — отличники (Р)». Субъект этого суждения не распре­делен, так как в нем мыслится только часть студентов нашей груп­пы, объем субъекта лишь частично включается в объем предиката:

только некоторые студенты нашей группы относятся к числу от­личников. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники — студенты нашей группы.

Следовательно, в частноутвердительном суждении ни S, ни Р не распределены (рис. 27).

Исключение из этого правила составляют частновыделяющие суждения, предикат которых полностью входит в объем субъекта. Например: «Некоторые родители, и только они (S), являются много­детными (Р)». Здесь понятие «многодетные» полностью входит в объем понятия «родители». Субъект такого суждения не распреде­лен, предикат распределен (рис. 28).

Суждение О (некоторые S не суть Р). «Некоторые студенты нашей группы (S) — не отличники (Р)». Субъект этого суждения не распределен (мыслится лишь часть студентов нашей группы), пре­дикат распределен, в нем мыслятся все отличники, ни один из кото­рых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном сужде­нии S не распределен, а Р распределен (рис. 29).

11 Модальность — это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логи­ческом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.

Эпистемическая1 модальность — это выраженная в суждении информация об основаниях принятия и степени его обоснованнос­ти.

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

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

12. Сложные суждения образуются путём соединения между собой простых суждений при помощи логических союзов. Существует множество таких союзов, но главными из них в современной логике считаются следующие: конъюнкция, исключающая и не исключающая дизъюнкции, импликация и эквивалентность. В естественном языке они выражаются при помощи грамматических союзов «и», «либо…, либо», «или», «если…, то», «тогда, и только тогда». Не следует полностью отождествлять логические и грамматические союзы, в логике они приобретают специфический смысл.

Каждый из союзов бинарен, то есть соединяет между собой два суждения. Например: «Центральной улицей г Харькова является Сумская, и каждый турист может её посетить»; «Зимой часто выпадает снег или дует холодный ветер»; «Либо данное число делится на два, либо оно является нечётным»; «Ели принять таблетку аспирина, то состояние больного может улучшится»; «Треугольник является равносторонним тогда и только тогда, когда он равноуголен».

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

В современной логике сложные суждения классифицируются в зависимости от того, каким у них является главный логический союз. Так, суждения вида «А и В», где А и В – любые суждения, называются соединительные или конъюнктивными; суждения вида «А или В» и «либо А, либо В» - разделительными или дизъюнктивными; суждения вида «Если А, то В» - условными или импликативными; суждения вида «А тогда и только тогда, когда В» - суждениями эквивалентности.

Рассмотрим эти виды суждений отдельно.

1. Соединительные (конъюнктивные) суждения. 2. Разделительные (дизъюнктивные) суждения. 3. Условные (импликативные) суждения. 4. Суждение эквивалентности.

13. Умозаключение. Классификация умозаключений.

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

Умозаключения делятся на следующие виды:

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

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

Дедуктивные умозаключения.

Дедуктивными (от латинского deductio – «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.

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

14. Непосредственные умозаключения.

Непосредственные умозаключения - такие, в которых заключение выводится из одной посылки. Например, из суждения «Все адвокаты - юристы» можно получить новое суждение «Некоторые юристы - адвокаты». Непосредственные умозаключения дают нам возможность выявить знание о таких сторонах предметов, которое уже содержалось в исходном суждении, но не было явно выражено и явно осознано. В этих условиях мы делаем неявное - явным, неосознанное - осознанным.

К непосредственным умозаключениям относятся: превращение, обращение, противопоставление предикату, умозаключение по «логическому квадрату».

15. Простой категорический силлогизм. Энтимема.

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

Силлогизм происходит от греческого syllogismos (сосчитывание, выведение следствия).

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

Все металлы (М) электропроводны (Р) — большая посылка.

Медь (S) есть металл (М) — меньшая посылка.

Медь (S) электропроводна (Р) — заключение.

Понятия, входящие в состав силлогизма, называются тер­минами силлогизма. В приведенном примере терминами являют­ся: Р («электропроводник») — больший термин, это предикат заключения; S («медь») — меньший термин, это субъект заклю­чения; М («металл») — средний термин, служащий в посылках для связывания S и Р и отсутствующий в заключении (рис. 43).

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

Энтимемой, или сокращенным категорическим силлогизмом, называется силлогизм, в котором пропущена одна из посылок или заключение.

Термин «энтимема» в переводе с греческого языка означает «в уме», «в мыслях». Примером энтимемы является такое умоза­ключение: «Все кашалоты — киты, следовательно, все кашало­ты — млекопитающие». В этой энтимеме пропущена большая посылка.

Восстановив энтимему до полного категорического силлогиз­ма, имеем:

Все киты — млекопитающие.

Все кашалоты — киты.

-----------------------------------------

Все кашалоты — млекопитающие.