Предмет изучения логики. Предмет дисциплины «Логика»

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

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.Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

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

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

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

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

2. Понятие логического закона. Законы и формы мышления.

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

Закон тождества. Всякое высказывание тождественно са­момусебе:А = А

Закон непротиворечия. Высказывание не может быть од­новременно истинным и ложным. Если высказывание А - истинно, то его отрицание не А должно быть ложным. Сле­довательно, логическое произведение высказывания и его отрицания должнобыть ложно: A & A = 0

Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означа­ет, что результат логического сложения высказывания и его отрицания всегда принимает значение истина: A v A = 1

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

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

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

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

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

Становление науки логики, этапы ее развития.

1 этап - Аристотель. Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления.	АРИСТОТЕЛЬ (лат. Aristotle) (384-322г. до н. э.), древнегреческий ученый, философ
2 этап – появление математической или символической логики. Основы ее заложил немецкий ученый Готфрид Вильгельм Лейбниц.Он сделал попытку заменить простые рассуждения действиями со знаками.	Готфрид Вильгельм Лейбниц (1646-1716) немецкий философ, математик, физик, языковед.
3 этап - окончательно развил эту идею англичанин Джордж Буль, он явился основоположником математической логики. В его работах логика пиобрела свой алфавит, орфографию и грамматику. Начальный раздел математической логики назвали алгеброй логики или Булевой алгеброй.	Джордж Буль (1815-1864). Английский математик и логик.
Джордж фон Нейман в основу работы компьютера заложил математематический аппарат, использующий законы математической логики.

Пример расширения объёма понятия с одновременным уменьшением содержания

МГУ → Государственный университет → Университет → ВУЗ → Учебное (образовательное) заведение → Учреждение образования → Учреждение → Организация → Субъект публичного права → Субъект права

Закон применим только при вхождении объёма одного понятия в объём другого, например: «животное» - «собака». Закон не работает для несовпадающих понятий, например: «книга» - «кукла».

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

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

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

1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Понятие, в котором мыслится один элемент, называется единичным (например, «Москва», «Л.Н. Толстой», «Российская Федерация»). Понятие, в котором мыслится множество элементов, называется общим (например, «столица», «писатель», «федерация»).

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

2. Понятия делятся на собирательные и несобирательные.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Правда, и такое деление носит в известной мере условный, относительный характер, ибо степень несравнимости тоже может быть различной. Например, что общего между столь, казалось бы, различными понятиями, как «космический корабль» и «авторуч­ка», кроме некоторого, чисто внешнего сходства в форме строе­ния? А между тем и то и другое - творения человеческого гения. Что общего между понятиями «шпион» и «буква Ъ»? Как будто ничего. Но вот какую неожиданную ассоциацию они вызвали у А. Пушкина: «Шпионы подобны букве Ъ. Они нужны в некоторых только случаях, но и тут можно без них обойтиться, а они привык­ли всюду соваться». Значит, общим признаком является «необхо­димые иногда».

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

Классификация суждений.

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

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

Реляционные суждения (от лат. relatio – отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой: х R у, где х и у – предметы мысли, a R (от relatio) – отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга».

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

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

По качеству связки

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

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

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

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

По объему субъекта

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

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

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

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

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

По модальности

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

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

Сложные суждения и их виды.

Сложные суждeния образуются из нескольких простых суждений. Таково, например, высказывание Цицерона: «Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности».

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

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

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

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

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

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

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

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

При этом необходимо иметь в виду, что грамматическая форма «если [...], то» не является исключительным признаком условного суждения, она может выражать простую последовательность. Например, «Если исполнителем признается лицо, непосредственно совершившее преступление, то подстрекатель - это лицо, склонившее другое лицо к совершению

Виды вопросов.

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

1. По степени выраженности в тексте вопросы могут быть явными и скрытыми. Явный вопрос выражается в языке полностью вместе со своими предпосылками и требованием установить неизвестное. Скрытый вопрос выражается лишь своими предпосылками, а требование устранить неизвестное восстанавливается после осмысления предпосылок вопроса. Например, прочитав текст: «Все больше рядовых граждан становятся собственниками акций, и рано или поздно приходит день, когда появляется желание их продать», мы не обнаружим здесь явно сформулированных вопросов. Однако при осмыслении прочитанного может возникнуть желание спросить: «Что такое акция?», «Почему их надо продавать?», «Как правильно продать акции?» и т.д. Текст, таким образом, содержит скрытые вопросы.

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

3. По способу запроса неизвестного различают уточняющие и восполняющие вопросы. Уточняющие вопросы (или «ли» - вопросы) направлены на выявление истинности выраженных в них суждений. Во всех этих вопросах присутствует частица «ли», включенная в словосочетания «верно ли», «действительно ли», «надо ли» и т.д. Например, «Верно ли, что Семенов успешно защитил дипломную работу?», «Действительно ли в Москве больше жителей, чем в Париже?», «Верно ли, что если он сдаст все экзамены на «отлично», то получит повышенную стипендию?» и др. Восполняющие вопросы (или «к» - вопросы) предназначены для выявления новых свойств у исследуемого объекта, для получения новой информации.Грамматический признак - вопросительное слово типа «Кто?», «Что?», «Почему?», «Когда?», «Где?» и т.п. Например, «Как заключить договор на оказание брокерских услуг?», «Когда было совершено это дорожно-транспортное происшествие?», «Что означает слово «спонсор»?» и др

4. По количеству возможных на них ответов вопросы бывают открытые и закрытые. Открытый вопрос - это вопрос, на который существует неопределенное множество ответов. Закрытым называется вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов. Эти вопросы широко используются в судебной и следственной практике, в социологических исследованиях. Например, вопрос «Как читает лекции этот преподаватель?» - открытый вопрос, так как на него можно дать множество ответов. Его можно перестроить с тем, чтобы «закрыть»: «Как читает лекции этот преподаватель (хорошо, удовлетворительно, плохо)?».

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

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

Виды ответов.

Среди ответов различают: 1) истинные и ложные; 2) прямые и косвенные; 3) краткие и развернутые; 4) полные и неполные; 5) точные (определенные) и неточные (неопределенные).

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

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

Прямым называется ответ, взятый непосредственно из области поиска ответов, при конструировании которого не прибегают к дополнительным сведениям и рассуждениям. Например, прямым ответом на что-вопрос «В каком году закончилась русско-японская война?» будет суждение: «Русско-японская война закончилась в 1904 году». Прямым ответом на ли-вопрос «Является ли кит рыбой?» будет суждение: «Нет, кит не является рыбой».

Косвенным называется ответ, который получают из более широкой области, нежели область поиска ответа, и из которого лишь выводным путем можно получить нужную информацию. Так, для вопроса «В каком году закончилась русско-японская война?» кос­венным будет следующий ответ: «Русско-японская война закончилась за один год до Первой русской революции». На вопрос «Является ли кит рыбой?» косвенным будет ответ: «Кит относится к млекопитающим животным».

3. Краткие и развернутые ответы. По грамматической форме ответы могут быть краткими и развернутыми.

Краткие - это односложные утвердительные или отрицательные ответы: «да» или «нет».

Развернутые - это ответы, в каждом из которых повторяются все элементы вопроса. Например, на вопрос «Был ли Дж. Кеннеди католиком?» могут быть получены утвердительные ответы: краткий - «Да»; развернутый - «Да, Дж. Кеннеди был католиком». Отрицательные ответы будут такими: краткий - «Нет»; развернутый - «Нет, Дж. Кеннеди не был католиком».

Краткие ответы, как правило, дают на простые вопросы; при сложных вопросах целесообразно пользоваться развернутыми ответами, поскольку односложные ответы в этом случае нередко оказы­ваются двусмысленными.

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

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

«Стихотворение «На смерть поэта» написано М.Ю. Лермонтовым в 1837 году в связи с трагической гибелью А.С. Пушкина».

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

5. Точные (определенные) и неточные (неопределенные) ответы! Логическая зависимость между вопросом и ответом означает, что качество ответа во многом определяется качеством вопроса. Не случайно в полемике и в процессе допроса действует правило: каков вопрос, таков и ответ. Это значит, что на расплывчатый и двусмысленный вопрос трудно получить ясный ответ; если хочешь получить точный и определенный ответ, то сформулируй точный и определен­ный вопрос.

Виды дилемм

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

Можно выделить следующие основные виды дилемм:

– простая конструктивная дилемма,

– сложная конструктивная дилемма,

– простая деструктивная дилемма,

– сложная деструктивная дилемма.

Пример простой конструктивной дилеммы (рассуждение Сократа):

«Если смерть – переход в небытие, то она благо. Если смерть – переход в мир иной, то она благо. Смерть – переход в небытие или в мир иной. Следовательно, смерть – благо».

Простая конструктивная (утверждающая) дилемма:

Если А, то С.

Если В, то С.

Пример сложной конструктивной дилеммы:

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

Сложная конструктивная дилемма:

Если А, то В.

Если С, то Д.

Пример простой деструктивной дилеммы:

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

Простая деструктивная (отрицающая) дилемма:

Если А, то В.

Если А, то С.

Неверно В или неверно С.

Неверно А.

Пример сложной деструктивной дилеммы:

«Если он умен, то он увидит свою ошибку. Если он искренен, то он признается в ней. Но он или не видит своей ошибки, или не признается в ней. Следовательно, он или не умен, или не искренен».

Сложная деструктивная дилемма:

Если А, то В.

Если С, то Д.

Не-В или не-Д.

Не-А или не-С.

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

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

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

Обвинительные приговоры и оправдательные приговоры есть решения суда.

Все решения суда издаются в особом процессуальном порядке.

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

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

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

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

Слово «молоко» изменяется по падежам. Слово «библиотека» изменяется по падежам. Слово «врач» изменяется по падежам. Слово «чернила» изменяется по падежам.

Слова «молоко», «библиотека», «врач», «чернила» - существительные.

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

В зависимости от тог

Этимологически термин «логика» восходит к древнегречес­кому слову «λογοσ» (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 ПРЕДМЕТ ЛОГИКИ “Логика” (от древнегреческого слова “логос”) означает “понятие”, “разум”, “рассуждение”. В современном языке это слово употребляется в следующих основных значениях.Во-первых, логикой называют закономерности в изменении и развитии вещей и

ЛОГИКА КАК НАУКА

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

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления

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

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

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

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

1) ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

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

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

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

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

Значение логики в познании вытекает из возможностей выведения достоверного знания не только формально-логическим путем, но и диалектическим.

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

0

4

0

4

5

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

Составьте логическую схему взаимосвязи уровней и форм познания.

2. Возникновение и развитие логики

Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.

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

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

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

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

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.