Контрольная работа по «Логика»

Автономная некоммерческая организация высшего профессионального образования «ПЕРМСКИЙ ИНСТИТУТ ЭКОНОМИКИ И ФИНАНСОВ»

 

 

Факультет: Экономический

Кафедра: Рекламы, связей с общественностью и гуманитарных дисциплин

 

 

 

 

 

 

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

по дисциплине: «Логика»

Вариант № 4

 

Выполнил:	Касимова Анастасия Владимировна
Группа:	Э1/2-13-С(И)
Контактная информация:	89655628207
Отметка о регистрации:
Проверил:
Дата:		Оценка:
Примечания:

 

 

 

Пермь 2014г.

 

СОДЕРЖАНИЕ

 

 

ПЛАН

 

1. Отношения между понятиями. Виды совместимости и несовместимости.

2. Сложное суждение. Импликация, эквиваленция, отрицание. Таблицы истинности.

3. Умозаключение по аналогии. Виды аналогий.

 

ВВЕДЕНИЕ

 

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

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

В данной работе будет рассмотрено три вопроса, а, значит, работа имеет три основные цели:

1) рассмотреть отношения между  понятиями, выявить виды совместимости  и несовместимости

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

3) рассмотреть вопрос умозаключений  по аналогии, а также определить  и охарактеризовать основные  виды аналогий.

 

 

 

1. ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ. ВИДЫ СОВМЕСТИМОСТИ И НЕСОВМЕСТИМОСТИ

 

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

Рассматривая отношения между понятиями, следует, прежде всего, различать понятия по видам.

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

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

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

Конкретные - это понятия, в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее: «студент», «дом» и др.

Абстрактные - это понятия, в которых мыслится не сам предмет, а какой-либо из признаков предмета, взятый отдельно от самого предмета: «синева» и др.

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

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

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

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

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

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

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

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

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

- такие, из которых одно является  частью содержания другого (например, «телевизор» и «цветной телевизор»);

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

Несоединимость понятий бывает трех видов:

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

- противоположная несоединимость; в этом случае полагание одного понятия связано с отрицанием другого, но отрицание одного из них не соединяется с полаганием другого. Отношение противоположности есть отношение между такими двумя понятиями, полагание которых невозможно без полагания понятий, отличных от них; например, понятия «наибольший» и «наименьший» логически невозможны без мысли о том, что есть предметы однородные по качеству с наибольшими и наименьшими предметами, но отличные от них по величине. Например, понятие «наибольшее количество баллов» и «наименьшее количество баллов»; полагание первого связано с отрицанием второго, но отрицание любого из них не означает полагания другого. Символически это отношение можно представить как первый и последний члены ряда Ах, Ах' , Ах”…Ах , где х' , х'' …хn - несовместимые определения А, а между х и хn - крайняя степень различия;

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

Два совершенно различных по содержанию понятия А и В являются такими, что одно из них не подразумевает и не исключает другого. Они называются несравнимыми или диспарантными, потому что сравнение их не ведет ни к какому определенному результату. Оба могут входить в содержание третьего понятия С, т.е. являются совместимыми. Например, «двуногий» и «разумный» являются признаками понятия «человек». Символически это можно представить, как С = АВх, где х обозначает признаки, отличные от признаков понятий А и В.

Отношение совместимости между диспарантными понятиями является синтетическим, тогда как отношения между понятиями противоречащими, противоположными и внеположными - аналитическими.

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

1. Совпадение объемов, когда объем  одного понятия равен объему  другого. Такие понятия называются  взаимозаменяемыми. Например, «геометрическая фигура с тремя углами» и «треугольник» (соответственно А и В).

2. Включение объемов. Объем понятия  В включен в понятие А, здесь  понятие А является подчиняющим, а В - подчиненным. Например, «человек»  и «мужчина» («женщина»).

3. Исключение объемов.

Здесь нет ни одного понятия, которое бы находилось в обоих объемах. Например, «планета» и «теория».

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

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

Отношение соподчинения: два исключающих друг друга понятия оба находятся в объеме третьего.

Например, «черное» и «белое» находятся в объеме третьего понятия «тело»; материализм и «идеализм» находятся в объеме третьего понятия «философия» и т.д.

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

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

- не храбрый и не трус;

- не здоровый, но и не больной  и т.д.

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

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

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

 

 

2. СЛОЖНОЕ СУЖДЕНИЕ. ИМПЛИКАЦИЯ, ЭКВИВАЛЕНЦИЯ, ОТРИЦАНИЕ. ТАБЛИЦЫ ИСТИННОСТИ

 

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

Различают следующие виды сложных суждений:

- соединительные,

- разделительные,

- условные,

- эквивалентные

Истинность таких сложных суждений определяется истинностью составляющих их простых.

1. Отрицание - «не», «неверно, что …»  «Неверно, что Земля квадратная». Обычно обозначается знаком «¬»  или «~»

Условия истинности сложных суждений, состоящих из простых основываются на допущении двузначности и задаются при помощи таблиц истинности, где p, q - пропозициональные переменные, обозначающие простые суждения, т.е. р - (S есть P) и q - (S есть P). И - истина, Л - ложь. В первых двух столбцах р и q берутся как независимые.

Таблица 1 - таблица истинности для отрицания

p	¬p
и	л
л	и