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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

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

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

9. Отношения между понятиями.

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

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

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

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

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

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

Существуют три вида отношений совместимости: 1) равнообьемность, 2) пересечение (перекрещивание) и 3) подчинение (субординация).

1. В отношении равнообъемности находятся понятия, в которых мыслится один и тот же предмет. Объемы этих понятий полностью совпадают (хотя содержание различно). В отношении равнообъемности находятся, например, понятия «геометрическая фигура с тремя равными углами» и «геометрическая фигура с тремя равными сторонами». Эти понятия отражают один предмет мысли: равноугольный (равносторонний) треугольник, их объемы полностью совпадают, однако содержание различно, поскольку каждое из них содержит разные признаки треугольника.

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

Так, отношение между двумя равнообъемными понятиями должно быть изображено в виде двух полностью совпадающих кругов А и В(рис. 2).

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

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

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

В таком отношении находятся, например, понятия «суд» (А) и «городской суд» (В). Объем первого понятия шире объема второго понятия

 

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