Аналогия

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

Аналогия свойств

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

ДЕДУКЦИЯ

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

ДЕЛЕНИЕ ПОНЯТИЯ ДИХОТОМИЧЕСКОЕ

- деление понятия  строго на два объема, пополам, по типу: «А и не-А».

ДИЗЪЮНКЦИЯ (ДИЗЪЮНКТИВНОЕ СУЖДЕНИЕ)

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

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ

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

ЗАКОНЫ МЫШЛЕНИЯ (ЗАКОНЫ ЛОГИКИ)

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

ИМПЛИКАЦИЯ (ИМПЛИКАТИВНОЕ СУЖДЕНИЕ)

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

ИНДУКЦИЯ (ИНДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ)

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

КВАДРАТ ЛОГИЧЕСКИЙ

- схематичное изображение отношений между простыми сравнимыми суждениями (А, I, E, О). Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали - отношения между ними.

КОНЪЮНКЦИЯ (КОНЪЮНКТИВНОЕ СУЖДЕНИЕ)

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

КРУГ В ОПРЕДЕЛЕНИИ (ТАВТОЛОГИЯ)

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

ЛОГИКА СИМВОЛИЧЕСКАЯ (МАТЕМАТИЧЕСКАЯ, СОВРЕМЕННАЯ)

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

ОБОБЩЕНИЕ ПОНЯТИЯ

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

ОГРАНИЧЕНИЕ ПОНЯТИЯ

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

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ

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

ПРЕДИКАТ

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

ПОНЯТИЕ

- это форма мышления,  которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания.

ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ

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

СИЛЛОГИЗМ

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

СИЛЛОГИЗМ РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКИЙ

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

СИЛЛОГИЗМ УСЛОВНО-КАТЕГОРИЧЕСКИЙ

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

СОДЕРЖАНИЕ ПОНЯТИЯ

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

СОПОДЧИНЕНИЕ

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

СОРИТ

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

СОФИЗМ

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

СУБКОНТРАРНОСТЬ

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

УМОЗАКЛЮЧЕНИЕ

- форма мышления,  в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

УМОЗАКЛЮЧЕНИЕ НЕПОСРЕДСТВЕННОЕ

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

ФИГУРА ПРОСТОГО СИЛЛОГИЗМА

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

ФОРМА МЫШЛЕНИЯ

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

ЭНТИМЕМА

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

ЭПИХЕЙРЕМА

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

ТЕЗИСЫ ЛЕКЦИЙ ПО ДИСЦИПЛИНЕ «ЛОГИКА»

Тема 1

Логика как наука

План

1. Предмет логики

2. Формы мышления

3. История логики

Литература

1. Поппер К. Определение. М., 1976.

2. Попов П.С.,Стяжкин Н.И. История логики Нового времени. М., 1982

3. Жеребкин В.С. Логический анализ понятий права. Киев, 1976

4. Аристотель. Аналитики. Категории. Об истолковании. Топика. О софистических опровержениях. Риторика. Сочинения в 4-х томах, тт.1-2-М., Мысль, 1975-1978.

5. Арно А., Николь П. Логика или Искусство мыслитель. М., Наука,1991

Цель - дать представление о сущности научного понимания логики, значения изучения предмета логики для развития мышления и использования в профессиональной деятельности

Логика — это наука о правилах мышления, изучающая мышление как средство познания, и о законах мыслительных процессов, направленных на обнаружение и обоснование истины. Предметом логики служат законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий мир. Значимые вопросы философии относятся к познанию действительности и связаны с мышлением, поэтому логика зародилась и развивалась как наука философская, в современности представляющая собой систему знаний, состоящую из двух самостоятельных наук: логики формальной и диалектической. В настоящее время понятие «логика» используется, во-первых, для обозначения последовательных связей предметов и явлений окружающего мира (например, «логика событий», «логика международных отношений»); во-вторых, для характеристики способа мышления («субъективная логика»,«женская логика», «железная логика»); в-третьих, для обозначения непосредственно науки. Логика как наука зародилась в Древней Греции и много столетий считалась критерием образованности. В начале XIX в. Г.В.Ф. Гегель указал на ее ограниченность и недостаточность с точки зрения отражения процесса движения мысли. Он отметил, что такая логика отражает не движение содержания мысли, а форму мыслительного процесса. Для компенсации этого недостатка Гегель создал новую диалектическую логику, а существовавшую до нее назвал формальной. Предметом изучения диалектической логики служат законы развития человеческого мышления и основанные на них методологические принципы (объективность, всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны, восхождение от абстрактного к конкретному и др.). Диалектическая логика — это один из способов познания диалектики реальности. Формальная логика, использующая математические методы изучения реальности, в начале XX в. получила название «логистика», означающее искусство вычисления. Теперь данный термин почти вышел из употребления, уступив место терминам «математическая логика» или «символическая логика». Формальная логика изучает форму как нечто отдельное, обособленное от содержания. Предметом изучения формальной логики служит форма мышления. Рассмотрим внешнюю и внутреннюю формы мышления как любого явления. Внешняя форма явления — это способ данного явления проявиться вовне, его поверхность (например, для мышления такой формой становится речь).

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

Понятие, суждение, умозаключение - основные формы мышления. Наиболее простейшей в структурном отношении формой мысли выступает понятие. По определению, понятие является формой мысли, отражающей общие существенные и отличительные признаки предмета мысли. Признаком будет являться любое свойство предмета внешнее или внутренне, очевидное или непосредственно не наблюдаемое, общее или отличительное. Понятие может отражать явление, процесс, предмет (материальный или воображаемый). Главное для данной формы мысли – отражать общее и в тоже время существенное, отличительное в предмете. Общими признаками выступают те, которые присущи нескольким предметам, явлениям, процессам. Существенным является признак, который отражает внутреннее, коренное свойство предмета. Уничтожение или изменение этого признака влечет за собой качественное изменение самого предмета, а значит и его уничтожение. Но следует иметь в виду, что существенность того или иного признака определяется интересами человека, сложившейся ситуацией. Существенным признаком воды для жаждущего человека и для химика будут два различных свойства. Для первого – способность утолить жажду, для второго – структура молекул воды. Так как понятие по своей природе является «идеальным», то не имеет вещественно-материального выражения. Материальным носителем понятия выступает слово или сочетание слов. Например, «стол», «группа студентов», «твердое тело». Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком. Функции языка: хранить информацию, быть средством выражения эмоций, быть средством познания. Речь может быть устной или письменной, звуковой или незвуковой, речью внешней или внутренней, речью, выраженной с помощью естественного или искусственного языка. Слово лишь выражает понятие, оно – материальное образование, удобное для передачи, хранения и обработки. Слово, обозначая предмет, заменяет его. А понятие, выражаясь в слове, отражает этот предмет в самых важных, существенных, общих признаках. Мысль не возможно передать на расстояние. Человек передает на расстояние сигналы о возникающих в голове мыслях с помощью речи (слова), которые воспринимаются другими людьми, превращаются в соответствующие исходным, но теперь уже их мысли. На данном этапе можно определить, что понятие, слово и предмет, совершенно разные по своей сути вещи. Например, один человек сообщает другому о том, что он приобрел письменный стол, допустим, не добавляя каких-либо других его характеристик. В целях упрощения, выделяем из контекста лишь одно понятие «письменный стол». Для первого человека оно связано с конкретным предметом, обладающим рядом свойств, из которых выделено существенное - он предназначен для письма. При помощи речи мысль о «письменном столе» передается другому человеку и уже превращается в его мысль. В голове последнего на основании понятия идеального «письменного стола» (обобщенного, абстрактного) возникает образ этого «письменного стола» как предмета. По-моему мнению, несмотря даже на то, что это понятие можно было передать и при помощи не двух, а более сочетаний слов, характеризующих предмет, то в конечном итоге образ «письменного стола», воспроизведенного в голове другого человека все- таки не полностью соответствовал конкретному описанному предмету в точности. Поэтому предмет, слово и понятие взаимосвязаны, но не тождественны. Признаки предмета и признаки понятия не совпадают между собой. Признаки любого материального предмета – это внешнее или внутренние свойства, признаки понятия – обобщенность, абстрактность, идеальность. Образование понятия включает в себя множество логических приемов: 1. Анализ - это мысленное разложение предметов на его признаки. 2. Синтез - мысленное соединение признаков предмета в одно целое. 3. Сравнение - мысленное сопоставление одного предмета с другим, выявление признаков сходства и различия в том или ином отношении. 4. Абстрагирование - мысленное сопоставление одного предмета с другими, выявление признаков сходства и различия.

Суждение представляет собой форму мысли, устанавливающую логическую связь между двумя и более понятиями. Между понятиями, как вышеперечисленно, устанавливаются отношения тождества, подчинения, частичного совпадения, которые могут выражаться логической связкой «есть». Отношения противоречия, противоположности и соподчинения могут выражаться логической связкой «не есть». Эти отношения, выраженные в форме грамматических предложений, будут суждениями разного вида. Представители номиналистической логики рассматривают логику как науку о языке. “Логика, - говорит английский номиналист Р. Уэтли, - имеет дело только с языком. Язык вообще, для какой бы цели он не служил, составляет предмет грамматики, язык же, насколько он служит средством для умозаключения, составляет предмет логики». Исходя из такого понимания предмета логики, номиналисты отождествляют суждение с предложением. Для них суждение – это сочетание слов или имен. “Предложение, - говорит номиналист Гоббс, - есть словесное выражение, состоящее из двух, связанных между собой связкой имен…». Таким образом, согласно номиналистам, то о чем мы, что–либо утверждаем (или отрицаем) в суждении, есть определенная связь этих слов. Такое истолкование природы суждения неправильно. Конечно, всякое суждение выражается в предложении. Однако предложение есть только языковая оболочка суждения, а не само суждение. Любое суждение можно выразить в предложении, но не всякое предложение может выражать суждение. Так не выражают суждений вопросительные, побудительные предложения, поскольку они не отражают ни истины, ни лжи, не устанавливают логических отношений. Хотя они и являются формами мысли. Суждения, реально отражающие предмет и его свойства, будут являться истинными, а неадекватно отражающие – ложными.

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

Ключевые термины: умозаключение, суждение, понятие формальная логика, правильное мышление, формы мышления, истинность и ложность мышления