Умозаключения логики высказываний лемматические умозаключения.

Условно-разделительные (лемматические) умозаключения

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

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

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

Малыми буквами а, Ь, с обозначим простые суждения. Запись a v b обозначает нестрогую дизъюнкцию, запись а -» b — импликацию («если а, то

Ь»). Дилемма выражается следующей схемой: a-*b,c-»b,avc Ь

Соединив посылки знаком конъюнкции («л») и присоединив к ним посредством знака «-»» заключение, мы получим формулу этого вида дилеммы:

((а -» b) л (с -» b) л (а v с)) -> b.

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

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

Схема: a-* ft, с-* a, av с b v d

Формула:

((а - b) л (с d) л (a v c))-*(b\id).

В простой деструктивной дилемме первая (условная) посылка указывает на то, что из одного и того же основания вытекают два различных следствия. Во второй посылке содержится дизъюнкция отрицаний обоих этих следствий. В заключении отрицается основание. Схема этого вида умозаключения: q-»6,a-*c,?vc а

Формула может быть записана двумя способами:

((а -• Ь) л (а -» с) л (b-v с)) -» а

ИЛИ

((в -* (Ь л с)) л (* v с)) -* а.

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

Схема: а-» Ь, с -» а,Ъ v ~d a v с формула: _

((в - Ь-) л (с - d) л (Ь v d)) - (а v с).

Понятие как форма мышления,виды содержание объем

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

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

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

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

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

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

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

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

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

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

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

Множество предметов, которое мыслится в понятии, называется объемом понятия.

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

а) Интенсиональность понятия.

Содержание понятия объясняют, как правило, через отождествление его либо:

- с понятием как таковым (содержание понятия — это система признаков, на основе которой осуществлено обобщение и выделение предметов в понятии).

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

-со всем, что известно о данном явлении вообще.

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

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

б) Экстенсиональность понятия.

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

Чтобы перейти к объему понятия, нужно провести различие между предметами реальными и абстрактными. Случается, что кое-какие признаки и черты приписываются ему и ошибочно. Словом, предмет в своем реальном бы­тии и предмет как объект мысли — это не одно и то же. В последнем случае мы имеем дело с особым мыслительным явлением, которое называют абстрактным предметом.

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

Понятию, однако, соответствуют не только отдельные конкретные пред­меты, но и их категории. Поэтому в трактовке объема понятия можно отметить два подхода.

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

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

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

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

Не нашли, что искали? Воспользуйтесь поиском: