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

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

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

От греческого слова logos — «мысль», «слово», «разум», «закономерность». Термин «логика» употребляется также для обозначения закономерностей объективного мира (например, «логика фактов», «логика вещей», «логика политической борьбы» и т.п.); для обозначения строгости, последовательности, закономерности процесса мышления («логика мышления», «логика рассуждений»). Закономерный характер мышления является своеобразным отражением объективных закономерностей. Логика мышления есть отражение логики вещей.

2. Мышление как объект и инструмент познания.

Познание как процесс отражения объективного мира сознанием человека представляет собой единство чувственного и рационального 2 познания.

Чувственное познание протекает в трех основных формах: ощущение, восприятие, представление.

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

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

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

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

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

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

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

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

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

Благодаря этим особенностям мышление является высшей по сравнению с чувственным познанием формой отражения действительности.

4. Язык как знаковая система. Принципы отношения именования.

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

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

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

Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе

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

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

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

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

  ИМЕНОВАНИЯ ТЕОРИЯ — теория, развитая Г. Фреге для семантического анализа формального языка арифметики, но применяемая как самим Фреге, так и рядом его последователей и для анализа естественного языка.

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

В основе теории лежали следующие принципы:

1. Принцип предметности. Каждое выражение, используемое в качестве имени, употребляется для обозначения какого-либо объекта, причем отличного от данного имени.

 2. Принцип однозначности. Каждое выражение, употребленное в качестве имени, является именем только одного объекта

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

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

5. Семантические категории языковых выражений.

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

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

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

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

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

3. Понятие логической формы. Истинность и правильность мысли.

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

В форме суждений отражаются связи между предметами и их свойствами.

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

Таким образом, суждение представляет собой способ связи понятий, выраженный в форме утверждения или отрицания.

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

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

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

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

Закон мышления

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

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

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

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

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

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

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

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

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

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

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

Существенные признаки могут быть общими и единичными. Понятия, отражающие множество предметов, включают общие существенные признаки. Например, общие признаки человека (способность создавать орудия труда и др.) являются существенными. Понятие, отражающее один предмет (например, «Аристотель»), наряду с общими существенными признаками (человек, древнегреческий философ) включает единичные признаки (основатель логики, автор «Аналитики»), без которой отличить Аристотеля от других людей и философов Древней Греции невозможно.

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

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

7. Объем и содержание понятий, операции ограничения и обобщения понятий.

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

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

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

Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество») и «элемент класса».

Классы (множества) состоят из элементов. Элемент класса — это предмет, входящий в данный класс. Так, элементами множества высших учебных заведений будут Московский государственный университет им. М.В. Ломоносова,

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

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

Обобщение и ограничение.

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

Обобщение понятия не может быть беспредельным.

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

7. Виды понятий.

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

1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Понятие, в котором мыслится один элемент, называется единичным (например, «Москва», «Л.Н. Толстой», «Российская Федерация»). Понятие, в котором мыслится множество элементов, называется общим(например, «столица», «писатель», «федерация»). Общие понятия могут быть регистрирующими и нерегистрирующими. Регистрирующими называются понятия, в которых множество мыслимых в нем элементов поддается учету, регистрируется. Например, «участник Великой Отечественной войны 1941—1945 гг.», «родственники потерпевшего Шилова». Общее понятие, относящееся к неопределенному числу элементов, называется нерегистрирующим. Так, в понятиях «человек», «следователь», «указ» множество мыслимых в них элементов не поддается учету: в них мыслятся все люди, следователи, указы прошедшего, настоящего и будущего. Нерегистрирующие понятия имеют бесконечный объем.

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