Импликативные сложные суждения

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

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

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

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

Отрицание соответствует частицам "не" и "ни" а также выражению "не верно, что". Отрицание истинно в том случае, когда утверждение ложно и наоборот.

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

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

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

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

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

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

Для отношения тождества характерно следующее условие. Если одно из таких суждений истинно, то другое тоже истинно. Если же суждение ложно, то другое тоже ложно.

Отношения частичного совпадения. В данном типе отношений выступают полностью сравнимые простые суждения, имеющие одинаковое по количеству частное кванторное слово, но разную по качеству логическую связку. Для частичного совпадения характерны следующие условия: 1) если одно из таких суждений истинно, то другое может быть как истинным, так и ложным; 2) если же одно из таких суждений ложно, то другое обязательно истинно.

Отношения подчинения. В данный вид отношений вступают полностью сравнимые отношения., имеющие одинаковую по качеству логическую связку, но разное по количеству кванторное слово. Для подчинения характерны следующие условия: 1) если общее суждение истинно, то подчиняющееся ему частное будет тем более истинным; 2) если общее суждение ложно, то подчиняющееся ему частное может быть как истинным, так и ложным; 3) если частное суждение ложно, то соответствующее ему общее тем более ложно; 4) если частное суждение истинно, то соответствующее общее может быть как истинным так и ложным.

Отношения противоположности. В данный вид отношений вступают полностью сравнимые простые суждения, имеющие одинаковое по количеству общее кванторное слово, но разную по качеству логическую связку. Для противоположности характерны следующие условия: 1) если одно из таких суждений истинно, то другое обязательно ложно; 2) если же одно из таких суждений ложно, то другое может быть как истинным, так и ложным.

Отношения противоречия. В данный вид отношений вступают полностью сравнимые простые суждения, имеющие различную по качеству логическую связку и разное по количеству кванторное слово. Для отношений противоречия характерны следующие условия: 1) если общее суждение истинно, то противоречащее ему частное ложно; 2) если общее суждение ложно, то противоречащее ему частное истинно.

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

К вспомогательным видам модальностей относятся: временная и ценностная.

16.03.2012,

Эпистемальная модальность характеризует основные способы получения информации. По скольку у человека есть 2 основных вида познания (чувственная и рациональная) эпистемальная модальность в соответствии с ними делится на 2 подвида: модальность веры и модальность знаний.

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

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

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

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

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

Ценностная модальность характеризует отношение человека к окружающему миру. Также делится на абсолютную и относительную. Абсолютная выражается словами: хорошо, плохо, безразлично. Относительная выражается словами: хуже, лучше, равнозначно.

Умозаключение как форма мышления.

1) Общая характеристика умозаключения

2) Непосредственное умозаключение

3) Дедуктивное умозаключение

3.1) Разновидности этих умозаключений: простой, категорический, силлогизм

3.2) Сложный категорический силлогизм

3.3) Условный силлогизм

3.4) Разделительный силлогизм

3.5) Условно-разделительный силлогизм. Дилемма.

4) Индуктивные умозаключения

4.1) Полная и неполная индукция

4.2) Методы построения причинной связи в индуктивных умозаключениях

5) Умозаключения по аналогии

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

а) Посылка - это суждение, которое содержит исходную информацию об объекте. Число посылок в умозаключениях может быть различным.

б) Вывод - это суждение, которое содержит итоговую информацию об объекте. Вывод в каждом умозаключении только один.

в) Логическая связка в умозаключениях показывает переход от посылок к выводу и разграничивает исходную и конечную информацию между собой. Логическая связка может быть выражена словами: следовательно, итак, таким образом, значит, поэтому. А также может быть выражена символами ->, =>.

Для того, чтобы правильно строить умозаключения, необходимо соблюдать 3 основных правила:

1) Если умозаключение содержит 2 и более посылки, между ними обязательно должна быть взаимосвязь.

2) Посылки обязательно должны быть истинными.

3) Понятия, входящие в состав посылок должны иметь только одно смысловое значение.

В зависимости от способа построения все умозаключения делятся на 3 класса:

Дата добавления: 2014-01-07