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

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

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

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

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

Список используемой литературы

1. Абачиев С.К. «Формальная логика с элементами теории познания» Издательство: «Феникс». Серия: Высшее образование, 2012. – 635 с.
2. Войшвилло Е.К. Логика. Учебник для вузов. Издатель – Владос 2010
3. Гусев Д.А. Логика: учебное пособие Издатель: «Москомский психолого-социальный институт (МПСИ)», 2010с. – 568 с.
4. Демидов И.В. Логика Учебник. Издательство: «Дашков и К°» Издание 7-е 2012. – 348 с.
5. Ерина Е.Б. Логика. Учебное пособие 2012. – 112 с. Издательство РИОР Издание 2-е
6. Ивин А.А.. Логика. Учебное пособие для бакалавров Учебники: доп. пособие Издатель - Юрайт Серия - Бакалавр. Гуманитарное направление
7. Светлов А.А. Логика. Учебное пособие. Издатель ь - Питер. Серия – Учебное пособие. 2011

^{1 Отдельный раздел или направление логики конца XIX-начала XX века.}

^{2 Аристотель. Соч. т.1. С. 141.}

^{3 Цит. по: Кириллов В.И. Логика. М.: Юристъ. 1995 г. С. 24.}