Логические формы мысли

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

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

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

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

 

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

 

КОНТРОЛЬНАЯ РАБОТА

 

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

 

Вариант № 2

 

 

 

 

 

 

 

 

 

 

 

Минск, 2012

ТЕМА 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. Основные формы абстрактного мышления.

 

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

Понятие

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

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

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

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

По этим характеристикам  понятия делятся на 2 вида:

Виды  понятий по их содержанию:

• Конкретные и абстрактные

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

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

• Положительные и отрицательные

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

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

• Соотносительные и безотносительные

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

Безотносительное понятие мыслится без непременного соотнесения с другими   понятиями. Таковыми могут быть утвердительные, отрицательные, конкретные, абстрактные и другие понятия, кроме соотносительных.

• Собирательные и несобирательные

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

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

Виды  понятий по их объёму:

• Пустые и непустые

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

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

• Единичные и множественные

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

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

Суждение

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

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

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

Классификация простых суждений:

• По качеству

Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

• По объёму

Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».

Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

• По отношению

Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».

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

• По отношению между подлежащим и сказуемым

Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.

Не  распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Умозаключение

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

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

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

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

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

Дедукция - это умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности: Все люди смертны. Сократ – человек. Следовательно, Сократ смертен.

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

Традукция – умозаключение, в котором посылки и заключение – одной и той же степени общности. Например: «На земле, где есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, меня времен года. Возможно, что на Марсе тоже есть жизнь.

Упражнения

Задание 1.

13 – нечетное  число; (суждение)

7 не делится  на 3 без остатка; (суждение)

Сознательный; (понятие)

Искусственный интеллект; (понятие)

Париж – моя  мечта; (суждение)

Контроллер; (понятие)

Безбилетный; (понятие)

Поскольку все  химические элементы имеют атомный  вес, то и ртуть, как химический элемент, также имеет атомный вес; (умозаключение)

автобус №81; (понятие)

Задание 2.

Оценка (понятие)

Я получу хорошую  оценку (суждение)

Хорошие оценки получают только те, кто правильно  решит контрольную, т.к. я правильно  решил контрольную работу, я получу хорошую оценку. (умозаключение)

Задание 3.

Выражение  ù(рÙùр) является законом логики (закон противоречия).

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

p	ùp	(рÙùр)	ù(рÙùр)
0	1	0	1
1	0	0	1

 

ЛИТЕРАТУРА

 

1. Малыхина, Г. И. Логика / Г. И. Малыхина. – Минск, 2002, 2003, 2005.

2. Берков, В.  Ф. Логика / В. Ф. Берков, Я. С.  Яскевич, В. И. Павлюкевич. –  Минск, 1998.

3. Гетманова, А. Д. Логика / А.  Д. Гетманова. – М., 1994.

4. Горский, Д. П. Краткий словарь  по логике / Д. П. Горский. –  М., 1991.

5. Иванов, Е. И. Логика / Е. И.  Иванов. – М., 2000.