Министерство образования Республики Беларусь

Учреждение образования

«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ»

Институт информационных технологий

Специальность ИСиТ

Контрольная работа

По курсу Логика

Вариант № 2

Минск, 2011

Тема 2. Логические формы мысли

План

1. Понятие логической формы мысли.

2. Основные формы абстрактного мышления.

Упражнения

1. Определите, какие формы мысли представлены в следующих языковых выражениях:

13 – нечетное число; 7 не делится на 3 без остатка; сознательный, искусственный интеллект; Париж – моя мечта; контроллер; безбилетный; поскольку все химические элементы имеют атомный вес, то и ртуть, как химический элемент, также имеет атомный вес; автобус №81.

2. Приведите собственные примеры различных форм мысли и назовите их.

3. Определите, является ли выражение (рр) законом логики. Если да, то поясните каким?

1. Понятие логической формы мысли.

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

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

Для того чтобы мысль считалась логичной (правильной), она должна подчиняться четырём законам:

1. Закон тождества – всякая мысль в процессе рассуждения должна быть тождественна самой себе. В символической записи он выражается формулой p → p (если р, то р), где p – любое суждение, → - символ импликации (логическая связка «Если…, то…»).

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

2. Закон непротиворечия (закон противоречия) - два несовместимых суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. В символической записи: (рр) ( неверно, что p и не-р одновременно истинны) под р понимается любое суждение, под р –отрицание суждения р, знак  перед всей формулой – отрицание двух суждений, соединенных знаком конъюнкции (логическая связка «и»).

3. Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») – два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: a есть либо b, либо не-b. В символической записи: p Vр, где р – любое суждение, р - отрицание суждения р, v – символ дизъюнкции (логическая связка «или»).

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

2. Основные формы абстрактного мышления.

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