Логика и язык.

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

Логика как наука включает в себя традиционную логику и современную (классическую и неклассическую) логику. Своим содержанием они представляют хронологию этапов развития логической науки. Их различают по тому, какие основные понятия и методы используют они для построения формальных теорий и какие при этом решают задачи: традиционная логика метод формализации использует в полуформальном виде, а современная – в чистом; в традиционной логике центральными категориями являются «понятие», «суждение» и «умозаключение», а в современной – высказывания и термины; традиционная логика формирует культуру мышления, т.е. является способом доказательства и опровержения, основой различных видов дискурса и т.п., а современная исследует функционирование мышления в языке науки, т.е. анализирует принципы построения, трансформации и обоснования научных теорий.

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

Логика (греч. λογιχή – наука о мышлении, от λόγος – мысль, слово, учение) – это философская наука о законах и формах теоретического мышления, о взаимосвязи данных форм и об ошибках в процессе мышления и способах их преодоления.

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

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

Предмет логики составляют:

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

– общие законы мышления: тождества, противоречия, исключенного треть­его и достаточного основания;

– всеобщие методы науки, теоретического мышления в целом: анализ, синтез, абстрагирование, обобщение, формализация и др.;

– структурные законы и правила отдельных форм мысли: закон обратного отношения объема и содержания понятия, правила посылок и терминов, специальные правила фигур простого категорического силлогизма и т.д.;

– язык логики как система специализированных символов для обозначения форм мысли и их связей;

– термины и определения, обосновываемые в логике;

– логические ошибки, возможные в процессе мышления.

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

Свойства правильного мышления:

– определенность – точность и строгость;

– последовательность – без внутренних противоречий;

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

В мышлении выделяют содержание и форму мысли:

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

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

Рассуждения бывают правильными и неправильными.

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

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

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

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

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

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

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

Пример: «Все металлы – твердые тела. Ртуть не является твердым телом. Следовательно, ртуть не является металлом». В данном случае нарушено одно из правил логики, ибо одна из посылок (1-я) неистинная. Но и при истинности двух посылок можно получить как истинный, так и неистинный вывод: «Все ноутбуки имеют экран. Это техническое устройство имеет экран. Следовательно, это техническое устройство – ноутбук». Здесь нарушено также одно из правил логики. Потому заключение не следует с необходимостью из этих посылок. Заключение делается по II фигуре с двумя утвердительными посылками, а согласно правилам данной фигуры одна из посылок и заключение должны быть отрицательными суждениями.

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

Пример: «Все технологи – специалисты по технологии определенной отрасли производства» истинно; «Все абитуриенты – будущие студенты» неистинно.

Все эти примеры показывают важность знания и применения двух правил: формального и содержательного .

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

Например, возьмем суждения «Киев – столица Франции» и «Если Киев – столица Франции, то 2 2=5», где первое – простое суждение, а второе – сложное, образованное союзом «если, то». Применим к этим суждениям одно из формальных правил логики: х, х→у ╞у , где х и у – обозначают простые суждения, → – обозначает союз естественного языка «если, то», ╞ – обозначает отношение следования. Когда обозначим первое суждение х , второе – х→у , то соответственно здесь у – 2 2=5. И нет значения, являются ли эти суждения истинными, и есть ли в них смысл. Конечно первое суждение неистинное, а второе и неистинное, и если бы было истинным («2 2=4»), то оно не имеет смысла в обычном понимании. Однако это показывает, что для применения формального правила истинность суждений и их связь по смыслу несущественны . А если это так, то обозначив первое суждение «Киев – столица Франции» как А , а суждение «2 2=5» – В , то получим формулу сложного суждения «Если Киев – столица Франции, то 2 2=5» в виде выражения «если А , то В ». Выделив форму суждений, можно применить к ним формальное правило «х, х→у ╞у », не зная ни смысла, ни значения суждений «А » и «если А , то В ». Поэтому, когда из суждений «А » и «если А , то В » делается вывод «В », то рассуждение формально-логично правильное. Следовательно, здесь происходит формально-логичное рассуждение, ибо оно подчинено формальным правилам логики. И когда суждение «А » и суждение «если А , то В » будут истинными, то обязательно будет истинным и «В ». В случае их неистинности истинность «В » не гарантирована.

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

Например , возьмем правило аналогии свойств, имеющее вид формулы:

◊[(P , P , P (x ))(P , P (y ))→(P (y ))],

которую можно прочитать так: «Элемент х обладает свойствами P ,P ,P , а элемент у – свойствами P , P . Следовательно, элемент у , вероятно, обладает свойством P ».

Зависимость этого правила от содержания определяется тем, что его применение к одному (1) содержанию имеет смысл, а к другому (2) – приводит к неистинному выводу.

(1) «Земля (х ) является планетой P , обращается вокруг Солнца P , светит отраженным светом P . Венера (у ) является планетой P ,обращается вокруг Солнца P . Следовательно, Венера (у ), вероятно, светит отраженным светомP ». (2) «Земля (х ) является планетой P , обращается вокруг Солнца P , имеет спутник P . Венера (у ) является планетой P ,обращается вокруг Солнца P . Следовательно, Венера (у ), вероятно, имеет спутникP », которого, как известно, у Венеры нет.

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

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

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

Любой язык состоит из знаков. Знак – это элемент языка, который замещает и представляет предметы и их признаки в процессе мышления и познания.

Знак характеризуется наличием значения и смысла (лат. sensus – смысл). Значение (экстенсионал , лат. extensio – объем) знака – это предмет материального мира, представленный этим знаком. Смысл (интенсионал , лат. intensio – напряжение) знака – это передаваемая знаком информация о наличии или признаках обозначаемого предмета. Это то, что называется прямым смыслом , в отличие от переносного смысла (указывающего на подобие предмета другим предметам: «Уголь – хлеб промышленности») и этимологического (объясняющего буквальное значение слова: ««Бытие» – учение о сущем»).

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

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

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

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

Все знаки подразделяют на языковые знаки и неязыковые знаки . Виды неязыковых знаков выделяют похарактеру связи знака с предметами и их признаками: знаки-образы – обладают определенным подобием с соответствующим предметом (карта, план местности, чертеж, фотография); знаки-индексы (лат. index – показатель) – имеют непосредственную связь с обозначаемым им предметом (дым – признак огня, изменение высоты ртутного столбика – признак изменения атмосферного давления, числовой или литерный показатель: х , х ... х , где 1, 2, n – знаки-индексы); знаки-символы – указывают на предметы, но физически с ними не связанны (дорожные знаки как информирующие символы о соответствующей организации дорожного движения; герб, флаг, гимн как символы государственности определенной страны)... Языковые знаки обозначают предметы.

Знаки, представляющие предметы, являются именами предметов (или термами ). Имя (лат. nomen – имя) – это выражение естественного или искусственного, формализованного языка, который обозначает отдельный предмет или класс предметов. Другими словами, имя предмета фиксирует «то, что говорится» . На теоретическом уровне обозначение предметов именами является условием не только общения, но и мышления. Предмет (лат. res – предмет, вещь) здесь понимается в широком смысле: это вещи, явления, процессы, свойства, связи, отношения и т.п. как природы, так и общества, любых продуктов их существования.

Имена классифицируют на единичные и общие . Единичные обозначают один предмет и представлены в языке именем собственным («Г. С. Сковорода», «Днепр»). Когда имя собственное передается не явно, тогда используется йота-оператор – «тот, кто» («Те, кто разработали методы научной индукции»). Общие обозначают множество (класс однородных ) предметов и представлены в языке именем нарицательным («книга», «планета Солнечной системы»). Среди общих имен можно выделить простые , в которых нет частей, имеющих самостоятельный смысл («книга») и сложные, или описательные, состоящие из частей, имеющих самостоятельный смысл («планета Солнечной системы»: «планета», «система», «Солнечная система»).

Имя (как и знак) имеет значение и смысл. Значение имени есть обозначаемый им предмет. Значение имени называется денотатом (лат. denotatus – обозначенный; десигнатом , лат. designatio – обозначение). Смысл имени – это способ, каким имя обозначает предмет, т.е. определенная информация об обозначаемом предмете. Смысл имени называетсяконцептом. Смысл и значение составляют содержание имени.

Например, такие языковые формы выражения, как «самая маленькая страна – город-государство», «город-государство в пределах столицы Италии – Рима», «страна, площадь которой составляет 44 га с населением ок. 1 тыс. человек», «центр Римско-Католической Церкви, резиденция ее главы Папы Римского» имеют одно и то же значение (Ватикан ),но различный смысл, т.к. представляют данную страну с помощью различных свойств, т.е. дают разную информацию о ней.

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

Например, денотатом слова «Днепр» может быть река, мотоцикл, футбольный клуб и т.д.

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

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

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

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

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

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

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

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

Так , областью применения предикатора «продавать» будет класс людей, а «мимикрировать» – класс животных или класс растений.

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

Например , предикатор «любит» может фиксировать отношения человека к другому человеку, к виду деятельности, к определенной вещи и т.д.

Объем представленного предикатором свойства или отношения называется областью истинности предикатора .

Например , соответственно указанным признакам, областью истинности предикатора «красивый» могут быть человек, танец, цветок и т.д., «потомок» – палеоантроп и архантроп, черноморский казак и запорожец и т.п.

Выражения, которые обозначают различные действия, операции с предметами, в результате чего возникают новые предметы, называются функциональными знаками (предметно-функциональными выражениями, или предметными функторами , т.е. названиями предметных функций: в математике: «√», «+», «ctg a » и др.; в естественном языке: «возраст», «рост», «масса», «скорость», «расстояние», «профессия» и т.д.).

Предметные функторы (как и предикаторы) бывают одноместными («вес») и многоместными («дистанция»), а также имеют область применения , т.е. тот класс предметов, где целесообразно употреблять определенный функтор («масса» в физике, «log» в математике). Но приложение функтора (напр., «возраст» к Самарину С. М.) приведет к образованию нового предмета (в данном случае к поименованному числу, напр., 20). В связи с этим можно говорить не об области истинности , а об области значений предметного функтора .

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

В целом имена предметов (т.е. слова и словосочетания, обозначающие единичные предметы и классы однородных предметов), предикаторы (т.е. слова и словосочетания, обозначающие свойства предметов или отношения между предметами), а также функциональные знаки (т.е. выражения, обозначающие предметные функции, операции: «√», «+», «ctg a ») являются дескриптивными (от лат. descriptio – описание, описательными ) терминами (лат. terminus – граница).

В языке имеются также логические термины (логические постоянные, или логические константы). Логические термины выражают такие слова и словосочетания естественного языка , как «и» , «или» , «если, то» , «не» , «если и только если, то» и т.д., «все» , «некоторые» и т.п., «тот» , «который» , «такой, что» и др.

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

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

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

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

В логике существуют специальные названия и символы логических союзов: «и » – конъюнкция (), «или » – дизъюнкция (), «если, то » – импликация (→), «если и только если, то » – эквиваленция – (≡) и др. Их природу исследует логика высказываний. С их помощью из простых высказываний (суждений) образуются сложные, носящие имя соответствующего союза: конъюнкции, дизъюнкции и т.д. Они же и являются пропозиционными союзами , или пропозиционными связками (лат. propositio – предложение, высказывание).

Логические термины «все» , «некоторые»... дают количественные характеристики в простых высказываниях. Эти логические термины представляют логические операторы, к которым относятся кванторы (от лат. guantum – сколько): квантор общности ( – «все» ) и квантор существования ( – «некоторые» ). Они имеют и другие аналоги естественного языка, и другие обозначения.

Логические термины «тот» , «который» , «такой, что»... отражают описательные выражения предметов мысли в простых высказываниях.

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

Формальное свойство высказываний (независимо от их соответствия фактическим данным) обретать значение истинности также имеет символьное выражение: 1 (истина ), 0 (неистина ). Высказывание формально может иметь не только два значения истинности, т.е. быть двузначным , но и многозначным .

Логические термины в языке логики выражают следующие символы:

1) a, b, c – символы единичных имен, или предметные переменные;

2) x, y, z – символы общих имен, или предметные переменные;

3) P , Q , R , … P , Q , R – символы предикаторов, с указанием их местности, или предикаторные переменные;

4) p, q, r – символы высказываний, или пропозиционные переменные;

5) – символ квантора общности («все», «ни один», «любой», «всякий», «каждый» и т.д.);

6) – символ квантора существования («не все», «некоторые», «существуют такие», «большинство», «меньшинство», «часть», «иногда» и т.д.);

7) S, P – символы субъекта и предиката суждения;

8) М – символ среднего термина умозаключения (общего для двух посылок);

9) А – символ общеутвердительного суждения («Все S есть Р »);

10) Е – символ общеотрицательного суждения («Все S не есть Р »);

11) I – символ частноутвердительного суждения («Некоторые S есть Р »);

12) О – символ частноотрицательного суждения («Некоторые S не есть Р »);

13) () – технические знаки левой и правой скобок, применяющиеся для записи, например, сложных терминов суждений;

23) – символ логической операции умножения или пересечения понятий;

24) – символ подчинения, включения класса в класс;

25) \ – символ логической операции вычитания понятий;

26)  – символ модального оператора «необходимо»;

27) ◊ – символ модального оператора «возможно»;

28) – символ модального оператора «случайно»;

29) i – символ модального оператора «действительно»;

30) Р – символ модального оператора «разрешено»;

31) F – символ модального оператора «запрещено»;

32) О – символ модального оператора «обязательно»;

33) К – символ модального оператора «знает»;

34) В – символ модального оператора «верит» (считает);

35) 1, i , t – символ «истинно»;

36) 0, x , f – символ «неистинно»;

37) R – символ отношения;

38) А , В , С – символы высказываний;

39) Df – символ определения (дефиниции).

Язык символов – это формализованные языковые средства фиксации логической структуры (форм связи ) мысли и исследования ее логических свойств и отношений со строго фиксированными правилами.

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

Например: «Автохтоны – коренное население страны». В этом суждении можно выявить явно выраженные два термина: субъект (S ) – «автохтоны» и предикат (P ) – «коренное население страны». Третий основной термин суждения – логическая связка «есть» – пропущен, но может быть выражен также явно: «Автохтоны есть коренное население страны». Пропущен и квантор общности () – «все» , но в суждении подразумевается все первоначальное население страны. Отсюда логическая структура атрибутивного категорического суждения, выраженная данным повествовательным предложением, или иным, более сложным, но членам которого в логическом языке имеются соответствующие элементы, символическим образом записывается так: S – Р . Такая формула читается по правилам языка символов: «Все S есть Р ». Содержание и грамматические особенности в соответствующем предложении полностью опу­скаются. Более того, такое прочтение заменяет громоздкость фразы естественного языка об общеутвердительном суждении: «В общеутвердительном суждении каждому предмету определенного множества, которое отражает понятие субъекта, принадлежит свойство, которое отражено в понятии предиката».

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

Структура естественного языка представлена тремя частями семиотики (греч. σημειωτικόν – учение о знаках, от греч. σημεϊον – знак) – науки о знаках и языке как знаковой системе: синтаксис (греч. σύνταζις – строение, сочетание; где анализируются знаки сами по себе, т.е. определяются принципы построения знаков, правила соединения и размещение языковых знаков в определенной знаковой системе), семантика (греч. σημαντικός – обозначающий; где раскрывается соотношение знака и значения, изучается смысл и значение языковых выражений, анализируется язык как знаковая система по функциям определения и обозначения) и прагматика (от греч. πραγμα – дело, действие; где рассматривается отношение между знаковой системой и ее носителем, способы использования знаков и языка как знаковой системы в конкретных практических ситуациях).

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

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

Литература

Гетманова А. Д. Логика: учебник, словарь, практикум / А. Д. Гетманова. – 2-е изд. – М. : Академический Проект, 2009. – С. 3-39, 258-278, 279-296, 380-383, 562-700, 701-703.

Иванов Е. А. Логика: учебник / Е. А. Иванов. – 3-е изд., перераб. и доп. – М. : Волтерс Клувер, 2005. – С. 1-38.

Конверський А. Є. Логіка (традиційна та сучасна) : підручник / А. Є. Конверський. – К. : Центр учбової літератури, 2008. – С. 13-106.

Логика: учеб.-методич. пособие. – 2-е изд., испр. и доп. / Автор-составитель В. И. Пашков. – Донецк: ДонНТУ, 2014. – С. 5-19.

Маслов Н. А. Логика: учебник / Н. А. Маслов. – 2-е изд. – Ростов н/Д. : Феникс, 2008. – С. 5-44.

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

Задачами логики являются:

– научить студентов правильно формулировать определения и последовательно осуществлять классификацию понятий;

– на основе понятийной четкости и системного анализа материала обоснованно артикулировать проблему, выдвигая ясный и непротиворечивый тезис;

– строить убедительные и непротиворечивые умозаключения по законам силлогизма, в согласии с требованиями научной аргументации;

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

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

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

В результате изучения дисциплины «Логика» студенты должны:

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

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

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

Курс логики направлен на формирование у студентов следующих компетенций :

– способность логически верно, аргументировано и ясно строить устную и письменную речь;

– способность использовать в познавательной и профессиональной деятельности базовые знания в области гуманитарных наук;

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

ТЕМАТИЧЕСКИЙ ПЛАН КУРСА

№ п/п	Наименование темы
1.	Логика как наука: предмет, значение, история развития
2.	Понятие. Виды понятий. Отношения между понятиями. Операции с понятиями
3.	Суждение. Классификация простых категорических суждений. Логический квадрат. Распределенность термина. Операции обращения и превращения
4.	Сложные суждения. Законы формальной логики
5.	Умозаключение. Виды умозаключений. Простой категорический силлогизм
6.	Силлогизмы со сложными суждениями. Сокращенные, сложные и сложносокращенные силлогизмы. Энтимема, эпихейрема, сорит
7.	Доказательство и опровержение. Софизмы и паралогизмы. Логические парадоксы

Тема №1. Логика как наука: предмет, значение, история развития

Теория.

Логика – наука о формах и законах мышления, необходимых для рационального познания.

История. Логика становится самодостаточным предметом исследования в трудах древнегреческого философа Аристотеля (384-322 гг. до н.э.), таких как «Категории», «Об истолковании», «Первая аналитика», «Вторая аналитика», «Топика», «О софистических опровержениях». Хотя сам Аристотель называл свою концепцию законов мышления аналитикой , именно Стагирита считают основателем формальной логики.

Наряду с классической логикой, основы которой были заложены еще в Древней Греции и оставались практически неизменными на протяжении почти двадцати двух веков, активно развивается и логика неклассическая, инициированная в середине 19 в. деятельностью Джорджа Буля (1815-1864), а также Августуса де Моргана (1806-1871), и получившая дальнейшую разработку в трудах Чарлза Пирса (1839-1914), Готлоба Фреге (1848-1925), Платона Порецкого (1846-1907) и др.

Ниже приводятся фрагменты из произведений Аристотеля, основателя формальной логики, и Людвига Витгенштейна (1889-1951), создателя двух влиятельных течений современности: логического позитивизма и философии обыденного языка. Такое сопоставление античности и современности в лице двух выдающихся мыслителей выбрано автором методического пособия не случайно. Благодаря компаративному анализу указанных источников обучающийся имеет уникальную возможность сравнить представления о роли логики в структуре философского знания, а также сопоставить классический и неклассический подходы к интерпретации логико-философских проблем. Вопросы, поставленные перед каждым текстовым фрагментом, помогут читателю расставить необходимые смысловые акценты и поучаствовать в интеллектуальном сотворчестве. Предваряя знакомство с австрийским мыслителем, хочется задать следующий вопрос: почему автор «девятой логической симфонии» (так называли «Логико-философский трактат» Витгенштейна), утверждавший, что законы логики даже более фундаментальны, чем законы физики, в поздний период творчества приходит к осознанию границ логического могущества, считая требования логической однозначности не только неисполнимыми, но и ненужными в сфере обыденной речи?

Практика.

Вопросы к фрагменту из работы Аристотеля «О софистических опровержениях»:

1) Что выступает началом в аристотелевском учении о суждениях и умозаключениях?

2) Согласны ли вы с тем, что «начало – пол-целого дела»? Кто задолго до Стагирита высказал эту идею?

3) Были ли у Аристотеля предшественники в разработке логического учения? Как сам автор аналитики отвечает на этот вопрос?

Что же изучает логика как наука и почему она называется формальной?

Слово «логика» происходит от греческого logos , что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

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

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

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

Объектом логики как науки является мышление человека. Но мышление - сложный, многосторонний процесс обобщенного отражения человеком вещей, их свойств и отношений окружающего его мира. Этот процесс изучается многими науками, например такими, как философия, психология, генетика, языкознание, кибернетика и др. Философия изучает происхождение и сущность мышления, его отношение к материальному миру и познанию. Психология изучает условия нормального (в соотношении с патологией) функционирования и развития мышления, влияние на него социально-психологической среды. Генетика стремится раскрыть механизм наследования людьми способностей к мыслительной деятельности. Языкознание интересуется взаимосвязью мышления с языком. Ученые-кибернетики пытаются сконструировать технические модели мозга и человеческого мышления. Логика же изучает процесс мышления с точки зрения его структуры мыслей, правильности и неправильности рассуждений, отвлекаясь от конкретного содержания мыслей и их развития.

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

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

чувственное познание - с помощью органов чувств и приборов;

рациональное (ratio - разум) - познание с помощью абстрактного 1 мышления.

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

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

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

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

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

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

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

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

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

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

Имея понятия о предметах, человек может судить о них (высказывать суждения) и делать умозаключения. Например, имея понятие о человеке и зная, что все живое рано или поздно умирает, мы мо­жем высказать суждение: «Всякий человек - смертен».

Суждение - форма мышления, в которой о предмете мысли что-то утверждается или отрицается. Суждениями являются также следующие высказывания: «Всякий ученик сдает экзамен», «Если студент не сдаст экзамены за первый курс, то не будет переведен на второй курс» и т. д.

Из суждений мы можем получать новые суждения. Например: исходя из суждения «Всякий человек смертен», можно утверждать, что «Некоторые смертные - люди» или отрицать: «Ни один человек не бессмертен». Если же мы свяжем суждение «Всякий человек смертен» с суждением «Сократ - человек», то можем чисто умственным путем получить новое суждение: «Сократ - смертен». Такая взаимосвязь суждений называется умозаключением:

Всякий человек – смертен

Сократ - человек

Сократ – смертен 2 .

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

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

Например, исходя из суждений «Если шел дождь, то дорога будет мокрая» и «Шел дождь», можно с уверенностью сказать, что «Дорога будет мокрая». Но неправильно делать вывод: «Если шел " дождь, то дорога будет мокрая» и «Дорога мокрая», следовательно, «Шел дождь», так как дорогу могли просто полить. Неправильным будет рассуждение, когда из двух суждений «Если человек совершил кражу, то он совершил - преступление» и «Человек не совершил кражу» делается заключение «Человек не совершал преступление», так как человек мог совершить какое-либо другое преступление.

Вопрос о правильности умозаключений - это вопрос о правилах их построения, о правилах взаимосвязи отдельных мыслей (понятий, суждений, умозаключений). Именно этим интересуется логика как наука о мышлении. Поэтому ее называют «формальной логикой». Формальная логика отвлекается от конкретного содержания мыслей и их развития. Но она учитывает истинность или ложность исследуемых мыслей (в двузначной формальной логике учитываются два значения всякой мысли - «истина» и «ложь»; в многозначной формальной логике вводятся другие значения, например «неопределенно»). Иногда правильное мышление называют логичным - по названию науки, которая изучает эту сторону процесса мышления.

Вопрос об истинности (ложности) суждений - это вопрос о соответствии (несоответствии) того, что в нем утверждается или отрицается, объективному миру. Истинное суждение - такое, в котором верно отражается положение дел в объективной реальности (которое соответствует действительности). Например: «Москва - столица России», «Преступник - человек, который нарушает правовые и нравственные законы общества» и т. п. Ложное суждение такое, которое не соответствует действительности. Например: «Санкт-Петербург - столица России», «Преступник - праведный человек» и т. д. Вопросы о том, что такое истина вообще, как соотносится чувственное познание и абстрактное мышление в процессе достижения истины о предметах, изучает другая наука - философия.

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

Этимологически термин «логика» восходит к древнегречес­кому слову «λογοσ» (logos), означающему «мысль», «слово», «учение». Он многозначен: логикой могут отличаться не только мысли, но и поступки, и действия человека, развитие общества и культуры, связь знаков языка и т. д.

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

Статус и роль любой науки в познании характеризуются, пре­жде всего, ее объектно-предметной областью.

Объектом науки в широком смысле является область действительности, на ко­торую направлены исследовательские усилия ученых.

Предмет науки, в свою очередь, - это определенная сторона объекта, способствующая его качественно-количественному уточнению.

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

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

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

Из всех сторон мышления прямое отношение к логике имеет его опо-средованность, т.е. способность переходить от старых знаний к новым, не обращаясь каждый раз непосредственно к опыту. Логика интересуется формой построения мыслей и отвлекается при этом от конкретной информации. Поэтому она называется формальной ло­гикой. Основательную и систематическую разработку формальной логики впервые осуществил Аристотель. Его работы объединены под названием «Органон» (орудие знания). В конце 16 - начале 17 века английский ученый Фрэнсис Бэкон создал «Новый Органон» - учение об индукции, обнаруже­ние причинных связей между явлениями окружающего мира посредством наблюдений и экспериментов.

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

Предмет логики составляют:

1) формы теоретического мышления– понятие, суждение, умозаключение;

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

3) всеобщие методы науки, теоретического мышления в целом, такие как анализ, синтез, абстрагирование, обобщение и др.;

4) структурные законы и правила отдельных форм мысли, на­пример, закон обратного отношения объема и содержания поня­тия, правила посылок и терминов, специальные правила фигур простого категорического силлогизма и т. д.;

5) язык логики как система специализированных символов для обозначения форм мысли и их связей;

6) обосновываемые в логике теоремы и определения;

7) логические ошибки, возможные в процессе мыслительной деятельности.

Любая наука о мышлении различает два уровня познания: эмпирический и теоретический .

Предметом эмпирического познания является непосредственно данная в восприятии реальность, которую можно на­блюдать, над которой можно экспериментировать. Формами эмпирического познания являются: ощущение, восприятие и представление. Эмпирическое познание даёт представление о внешних отдельных свойствах и качествах мышления. Человек же стремиться к познанию глубинных свойств и сущностей вещей, закономерностей мира. Поэтому он прибегает к исследованию интересующих его проблем на абстрактно-теоретическом уровне. На этом уровне складываются такие формы теоретического познания как понятие, суждение и рассуждение (умозаключение) .

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

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

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

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

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

Логика: Учебник для студентов юридических вузов и факультетов Иванов Евгений Акимович

Глава I. Предмет логики

Глава I. Предмет логики

1. Специфика логики как науки

Свое название логика получила от древнегреческого слова logos, означавшего, с одной стороны, слово, речь, а с другой - мысль, смысл, разум.

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

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

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

Какое же место занимает логика в системе наук?

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

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

В чем же специфика логики в сопоставлении именно с этими науками, тоже изучающими мышление? Каков, иначе говоря, ее собственный предмет исследования?

Философия , важнейшим разделом которой выступает теория познания, исследует мышление в целом. Она решает фундаментальный философский вопрос, связанный с отношением человека, а следовательно, и его мышления к окружающему миру: как соотносится наше мышление с самим миром, можем ли мы в наших знаниях иметь верную мысленную картину о нем?

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

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

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

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

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

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

Из книги Логика: конспект лекций автора Шадрин Д А

ЛЕКЦИЯ № 4 Предмет логики 1. Ощущение, восприятие и представление как формы познания окружающего мира Разными учеными предмет логики понимается по-разному. Некоторые указывают в качестве предмета рассуждения{2}, другие придерживаются более широкого толкования и

Из книги Галактика Гутенберга автора Маклюэн Герберт Маршалл

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

Из книги Монизм как принцип диалектической логики автора Науменко Л К

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

Из книги Метаполитика автора Ефимов Игорь Маркович

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

Из книги Введение в логику и научный метод автора Коэн Моррис

Глава I. Предмет логики § 1. Логика и совокупность оснований Подавляющее большинство наших ежедневных дел мы проделываем, не задумываясь, и лишь изредка задаемся вопросом об истинной природе того, что по привычке считаем истинным. Однако при этом мы не можем всегда

Из книги Форма - Стиль - Выражение автора Лосев Алексей Федорович

Глава I. Предмет логики 1. Что из перечисленного ниже мы знаем непосредственно, а что с опорой на основания?a. Существует центр Земли.b. Существует король Италии.c. Мы обладаем легкими, с помощью которых дышим.d. Существует бельгийская колония Конго.e. Между Индией и Китаем

Из книги Фрэнсис Бэкон автора Субботин Александр Леонидович

МУЗЫКА КАК ПРЕДМЕТ ЛОГИКИ ПРЕДИСЛОВИЕ Предлагаемая работа состоит из нескольких очерков, писавшихся в разное время и по разным поводам и читавшихся в свое время в виде докладов в Государственной академии художественных наук и в Государственном институте музыкальной

Из книги Учение логики о доказательстве и опровержении автора Асмус Валентин Фердинандович

V. Предмет и задачи логики К середине XVI века перипатетическая диалектика окончательно завязла в логико-грамматических тонкостях той проблематики, которую почти две тысячи лет назад так свежо и оригинально сформулировал Аристотель. На фоне настойчивого стремления

Из книги Логика: Учебное пособие для юридических вузов автора Демидов И. В.

ІІІ. ДОКАЗАТЕЛЬСТВО КАК ПРЕДМЕТ ЛОГИКИ Чрезвычайно важное значение доказательства для всякого мышления и в особенности для мышления научного делает эту логическую форму важным предметом изучения логики.Логика изучает строение доказательства, его составные части, виды

Из книги Логика и аргументация: Учебн. пособие для вузов. автора Рузавин Георгий Иванович

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

Из книги Гоббс автора Мееровский Борис Владимирович

1 ГЛАВА. Предмет и задачи логики

Из книги Логика в вопросах и ответах автора Лучков Николай Андреевич

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

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

Из книги Логика для юристов: учебник автора Ивлев Ю. В.

Глава I. Предмет логики 1. Специфика логики как науки Свое название логика получила от древнегреческого слова logos, означавшего, с одной стороны, слово, речь, а с другой - мысль, смысл, разум.Возникая в рамках античной философии как единой, не расчлененной еще на отдельные

Из книги автора

Глава II. Соотношение законов формальной логики и логики диалектической Диалектика «не отменяет формальной логики, а только лишает ее законы приписываемого им метафизиками абсолютного значения». Г. Плеханов 1. Определите, какие из следующих высказываний представляют

Из книги автора

ГЛАВА I ПРЕДМЕТ ЛОГИКИ “Логика” (от древнегреческого слова “логос”) означает “понятие”, “разум”, “рассуждение”. В современном языке это слово употребляется в следующих основных значениях.Во-первых, логикой называют закономерности в изменении и развитии вещей и

Предыдущая статья: Чему равна скорость света Следующая статья: Углерод — характеристика элемента и химические свойства