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

1. Познание есть построение смыслового (идеального) содержания мира в сознании людей.

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

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

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

2. Формальная логика – наука о законах и формах правильного мышления.

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

3. Понятие истинности или ложности относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно.

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

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

Имена делятся на: простые и сложные или описательные; собственные; общие. Каждое имя имеет значение, или смысл. Значением, или смыслом имени, является способ, которым имя обозначает предмет, т.е. информация о предмете, содержащаяся в имени.

При логическом анализе язык рассматривается как знаковая система.

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

Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами.

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

Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.

Предметное значение называют просто значением, а смысловое значение – смыслом.

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

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

Языки, включающие эмпирические правила значения, принято называть эмпирическими.

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

Формализованный язык – это «насквозь символический» язык. Введение его означает принятие особой теории логического анализа рассуждений.

5. Именами являются языковые выражения, подстановка которых в формулу «S есть Р» вместо переменных S и Р дает осмысленное предложение.

Предложение (высказывание) – это языковое выражение, являющееся истинным или ложным.

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

6. Логика исследует мышление прежде всего под углом зрения его структуры, поэтому сначала нужно анализировать эту структуру относительно самого простого ее элемента – «клеточки» мышления. Таким элементом и выступает понятие.

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

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

Класс предметов может быть универсальным, единичным, нулевым.

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

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

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

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