Всё для Учёбы — студенческий файлообменник
1 монета
doc

Студенческий документ № 015530 из ВАВТ

1.Формы рационального познания, логика как наука, основные понятия и проблемы.

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

Логическая форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

Первоначально логика разрабатывалась в связи с запросами развития ораторского искусства. Другим стимулом были запросы математики.

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

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

Понятия - это имена объектов, событий. Например, "дом", "дерево", "человек". У каждого понятия, как правило, выделяют две основные характеристики - объем и содержание.

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

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

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

1) (логический) субъект суждения - это то, о ком или о чем говорится в данном суждении. Его часто обозначают латинской буквой S.

2) предикат - то, что говорится в суждении о субъекте. Его обозначают латинской буквой Р.

3) связка "есть" - связка, соединяющая субъект и предикат, так что в целом логическую структуру суждения можно теперь изобразить в виде "S есть P"

Например, "дом - деревянный", "человек - умный" - примеры суждений с субъектами "дом", "человек" и предикатами "деревянный", "умный" соответственно. В русском языке связка "есть" обычно опускается, поэтому и в этих суждениях она явно не выражена, или выражена через тире.

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

2. Логика и язык. Логическая форма. Логические законы и теории.

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

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

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

Знак - это материальный объект, выступающий в качестве представителя некоторого другого предмета и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). У знака есть 2 характеристики: смысл и значение. Значение- предмет, который замещается этим знаком. Смысл знака- называют информацию о представленном предмете, которую содержит сам знак, или который связывается с этим знаком в процессе общения. Знаки бывают мнимыми(пустыми) и не пустыми. Пустые- нет реального объекта.

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

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

Логические законы Соблюдение законов логики - необходимое условие достижения истины в процессе рассуждения. Основными законами обычно считаются: 1) закон тождества; Он говорит: если утверждение истинно, то оно истинно 2) закон противоречия; Закон противоречия говорит о противоречащих друг другу высказываниях, т. е. о таких высказываниях, одно из которых является отрицанием другого.3) закон исключенного третьего Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным.

3. Предложение, суждение, высказывание. Виды сложных высказываний, условия их истинности.

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

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

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

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

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

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

Разделительные (дизъюнктивные) суждения - включают в качестве составных частей суждения объединяемые связкой "или".

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

Условные (импликативные) суждения образованы из двух простых суждений посредствам логического союза "если [...], то"

4. Классическая логика высказываний. Язык и табличное построение. Понятие закона логики высказываний (нет)

Высказывание - грамматически правильное повествовательное предложение вместе с выражаемым им смыслом. Высказывание является истинным или ложным1.

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

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

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

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

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

Импликация (следование) (результат соединения высказываний с помощью связки >) дает сложное высказывание, ложное, только когда первое из составляющих его высказываний истинно, а второе -- ложно.

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

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

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

5. Логические отношения между сложными высказываниями.

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

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

Несравнимые сложные суждения отличаются тем, что составляющие его суждения полностью или частично разные. Например: "Прокуроры и судьи имеют юридическое образование" (Р) "Прокуроры и судьи стоят на страже законности" (Q). Здесь общие субъекты, но разные предикаты.

Сравнимые тоже бывают совместимыми и несовместимыми. Поэтому здесь имеют место все основные отношения, что и между простыми.

Среди совместимых это эквивалентность, подчинение и частичная совместимость.

Эквивалентность. В таком отношении находятся те сложные суждения, которые при одних и тех же значениях истинности составляющих имеют одинаковые значения. Если истинно Р, то истинно Q, и если ложно Р, то ложно и Q. Но не может быть так, что Р истинно, а Q ложно, и так, что Р ложно, а Q истинно.

Подчинение. Это отношение между сложными суждениям характеризуется тем, что при истинности подчиняющего подчиненное ему всегда истинно. Если Р истинно, то и Q истинно, если Р ложно, то Q может быть как истинным, так и ложным. Но не может быть так, что Р истинно, а Q ложно.

Частичная совместимость. Она выражается в том, что два сложных суждения одновременно могут быть истинными, но не могут быть одновременно ложными.

Среди несовместимых сложных суждений - отношение противоположности и противоречия.

Противоположность. Она проявляется в том, что оба сложных суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Если Р истинно, то Q ложно, если Р ложно, то Q может быть истинным и ложным. Но Р и Q не могут быть вместе истинными (см. отношения частичной совместимости).

И, наконец, противоречие. Характерным для этого отношения между сложными суждениями является то, что их значения могут лишь исключать друг друга: они не могут быть одновременно истинными и не могут быть одновременно ложным. Если Р истинно, то Q - ложно; если Р - ложно, то Q - истинно и т. д.

6. Отношение логического следования. Методы проверки правильности рассуждений (табличный и сокращенный).

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

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

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

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

ТАБЛИЦА ИСТИННОСТИ - таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав. Каждое из сложных суждений имеет свою таблицу истинностных значений. В классической логике существует таблица для конъюнкции, дизъюнкции, импликации, эквивалентности внешнего отрицания.

СОКРАЩЕННЫЙ ТАБЛИЧНЫЙ МЕТОД установления законов логики

Если высказывание содержит три и более переменных, то строить полную таблицу для проверки его правильности затруднительно. В этих случаях используют сокращенный метод проверки, рассуждая от противного. При правильном рассуждении формула вида (А1 ^ ... ^ Аn) > В должна быть тождественно-истинной. Допускаем что эта формула может оказаться ложной. Далее определяем значения переменных на основе соответствующих таблиц истинности. Если при этом обнаружим противоречие то наше изначальное допущение будет неверным. Отсюда следует, что исследуемая формула является законом логики. Если же из допущения не получаем противоречия, то обнаружим набор переменных, при котором формула ложна. Значит, она не является законом логики.

7. Виды простых высказываний. Логическая форма и условия истинности простого атрибутивного высказывания.

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

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

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

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

Условные обозначения для логических и нелогических терминов позволяют выявить логическую форму атрибутивных высказываний.

Логические термины:

* Есть-символ утвердительной логической связки

* Не есть- символ отрицательной логической связки

* Всякий- символ квантора общности

* Некоторый- символ квантора существования

Нелогические термины:

* a, b, c- символы для логических подлежащих единичных высказываний.

* S, S1 и т.д.- символы для логических подлежащих.

* P, P1 и т.д.- символы для логических сказуемых множественных атрибутивных высказываний.

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

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

Всякий S есть P- SaP;Некоторые S есть P- SiP; Всякий S не есть P- SeP;

Некоторые S не есть P- SoP.

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

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

Условия истинности множественных высказываний могут быть обобщены в таблице истинности.

8. Отношения между атрибутивными высказываниями

По своему содержанию атрибутивные суждения могут находиться в двух важнейших отношениях - сравнимости и несравнимости.

Несравнимые суждения. У них разные субъекты или предикаты или то и другое вместе. В подобных случаях истинность или ложность одного из суждений непосредственно не зависит от истинности или ложности другого. Она прямо определяется отношением к действительности - соответствием или несоответствием ей. Очевидна лишь их относительная самостоятельность и независимость с точки зрения истинности или ложности.

Сравнимые суждения. Они, наоборот, имеют одинаковые термины - и субъект, и предикат, но могут различаться по количеству и качеству. Эти суждения сопоставимы по истинности и ложности.

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

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

Эквивалентность (равнозначность) - это отношение между суждениями, у которых субъект и предикат выражены одни и теми же или равнозначными понятиями "Все адвокаты юристы"

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

Его вершины символизируют простые категорические суждения - A, E, I, O; стороны и диагонали отношения между суждениями.

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

а) из истинности подчиняющего (А или Е) следует истинность подчиненного (соответственно I или O), но не наоборот;

б) из ложности подчиненного (I или O) следует ложность подчиняющего (соответственно А или Е), но не наоборот.

Примеры. Если истинно А, что "Все адвокаты - юристы", то тем более истинно, что "По крайней мере, некоторые адвокаты - юристы". Но если истинно, что "Некоторые свидетели правдивы", то отсюда еще не следует, что истинно А: "Все свидетели правдивы". В данном случае это ложное суждение.

Частичная совместимость- это отношение между суждениями одинакового количества, но разного качества: между частноутвердительными (I) и частноотрицательными (О) суждениями. Для нее характерна следующая закономерность: оба суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного из них следует истинность другого, но не наоборот.

Несовместимые суждения. Они имеют следующие логические отношения: противоположности и противоречия.

Противоположность - это отношение между общеутвердительными (А) и общеотрицательными (Е) суждениями. Оба таких суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из истинности одного непременно следует ложность другого, но не наоборот.

Противоречие - отношение между такими суждениями, как общеутвердительное (А) и частноотрицательное (О), общеотрицательное (Е) и частноутвердительное (I). Им присущи следующие закономерности: они не могут быть одновременно истинными и не могут быть одновременно ложными. Из истинности одного непременно следует ложность другого и наоборот.

9. Непосредственные умозаключения. Умозаключения по логическому квадрату.

Самой простой разновидностью силлогистических рассуждений являются непосредственные умозаключения. Непосредственными умозаключениями называют умозаключения вида A\B ; -A\B; A\-B; -A\-B

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

1) Отношение подчинения. Это отношение позволяет обосновать правильные умозаключения следующих видов: SaP\SiP; SeP\SoP

Например: Все студенты любят каникулы \ Некоторые студенты любят каникулы.

Если истинность SaP влечет истинность SiP, то ложность SiP влечет ложность SaP.

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

SaP\\-SoP; SeP\\-SiP; -SaP\\SoP; -SeP\\SiP

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

Например: Неверно, что некоторые кролики бояться удавов\ Ни один кролик не боится удавов.

3) Отношение противоположности. Находящиеся в этом отношении высказывания не могут быть вместе истинными. Если одно из противоположных высказываний истинно, то второе ложно. SaP\-SeP;SeP\-SaP

Например: Все студенты любят каникулы\ Неверно что все студенты не любят каникулы.

4) Отношение подпротивоположности. Подпротивоположные высказывания не могут быть вместе ложными. Если одно из них ложное, то второе должно быть истинным. -SiP\SoP;-SoP\SiP

Например: Неверно, что некоторые люди не умеют смеяться\ Некоторые люди умеют смеяться.

Обращение. При обращении логическое подлежащее и сказуемое меняются местами. Общая схема обращения имеет следующий вид S#P\P@S

Общеутвердительные S+ a P- Частноутвердительные S- i P- Общеотрицательные S+ e P+ Частноотрицательные S- o P+ Для частноутвердительных высказываний обращение осуществить невозможно. При истинности посылки заключение обязательно должно быть истинным. Существует довольно простой способ проверки обращения- распределенность термина в высказывании. Термин считается распределенным,если он полностью включается или полностью исключается по объему из другого термина.

Правила распределенности терминов в высказывании:

1) Логическое подлежащее распределено в общих высказываниях.

2) Логическое сказуемое распределено в отрицательных высказываниях.

Правила обращения:

1) Качественная характеристика заключения должна совпадать с качественной характеристикой посылки.

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

Превращение. Превращением называется непосредственное умозаключение, в заключении которого устанавливается отношение между логическим подлежащим посылки и термином, противоречащим логическому сказуемому посылки. Общая схема превращения: S#P\S@-P

Правила превращения:

1) Качественная характеристика заключения должна отличаться от качественной характеристики посылки.

2) Количественная характеристика заключения должна совпадать с количественной характеристикой посылки.

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

Противопоставление субъекту. Представляет собой результат последовательного обращения, а затем превращения. Общая схема: S#P\P@-S

Например: Ни один трус не играет в хоккей\ Ни один хоккеист не является трусом\ Все хоккеисты- не трусы.

Противопоставлние предикату. Представляет собой результат последовательного превращения и только потом обращения. Общая схема: S#P\-P@S

Например: Ни один трус не играет в хоккей\ Все трусы не хоккеисты \Некоторые не хоккеисты- трусы.

10. Простой категорический силлогизм. Общие правила силлогизма.

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

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

1) наименования "большая" или "меньшая" посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина; 2) с переменой места любого термина в посылке обозначение его не меняется - больший термин (предикат вывода)всегда обозначается символом Р, меньший (субъект вывода) - символом S, средний - символом М; 3) от перемены порядка посылок в силлогизме вывод, то есть логическая связь между крайними терминами, не зависит.

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

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

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

М --- Р Р --- М М --- Р Р --- М

?S --- M S --- M M --- S M --- S

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

Модусами называются виды силлогизма, различающиеся количественным и качественным характером посылок.?По каждой фигуре силлогизма есть определенные сочетания посылок, дающие правильный вывод. Некоторые же сочетания противоречат основным правилам (силлогизма, поэтому правильных выводов дать не могут. Отсюда возникает необходимость установить правильные модусы каждой фигуры. В сочетании по два (две посылки) четыре вида суждений (А, Е, I, О) дадут шестнадцать вариаций.

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

1. Cредний термин должен быть распределен.

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

3. Имеется хотя бы одна утвердительная посылка.

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

5. Если имеется отрицательная посылка, то и заключение отрицательное.

11. Методы проверки категорического силлогизма. Алгоритм восстановления энтимемы в силлогизм.

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

Общие правила:

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

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

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

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

5) Если одна из посылок отрицательная, то и залючение отрицательное.

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

Для первой фигуры:

1. Большая посылка должна быть общим высказыванием.

2. Меньшая посылка должна быть утвердительным высказыванием.

Для второй фигуры:

1. 1. Большая посылка должна быть общим высказыванием.

2. Одна из посылок должна быть отрицательным высказыванием.

Для третьей фигуры:

1. Меньшая посылка должна быть утвердительным высказыванием.

2. Заключение должно быть частным высказыванием.

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

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

2) Энтимема- это силлогизм, в котором пропущены посылка или заключение. Энтимема является корректной, если:

1. Она может быть восстановлена в правильный силлогизм.

2. Все посылки восстановленного силлогизма являются истинными высказываниями.

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

12. Понятие как форма рационального познания. Закон обратного отношения между содержанием и объемом.(надо добавить общую характеристику понятий)

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

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

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

И те и другие признаки могут фиксировать существенные и несущественные свойства предметов. Основные признаки - это те существенные признаки, из которых выводятся как необходимое следствие другие существенные признаки, а производные - те признаки, которые выводятся из основных.

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

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

Закон обратного отношения между объёмом и содержанием понятия : если первое понятие шире второго по объёму, то оно беднее его по содержанию; если же первое понятие у?же второго по объему, то оно богаче его по содержанию.

Закон говорит о том, что объёмы и содержания понятий находятся в тесной обратной взаимозависимости.

13. Виды понятий

Понятие это

-смысл термина

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

Понимать термин это значит узнать его смысл.

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

Виды понятий:

1. По количеству.

Пустые и непустые понятия.

Пустыми называются понятия, которым не соответствует ни один предмет в объективном мире. Они могут быть фактически пустыми и логически пустыми. Непустые понятия делятся на общие и единичные. Соответственно, общими являются понятия, соответствующие каким-либо предметам действительности, должно существовать более 1 элемента. Единичные- один элемент.

2. По типу элементов.

Абстрактные(свойства или отношение). Конкретные. Собирательные (Если элементы объекта представляют собой множество мыслей как единое целое). Не собирательные.

3. По характеристики видового отличия.

Положительные (нет частицы не) и отрицательные (есть частица не).

4. По понятию.

Относительные (если существуют другие объекты, которые не попадают в объем этого понятия) и не относительные.

14.Отношения между понятиями по объему.

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

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

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

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

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

3. Исключение объемов. Здесь нет ни одного понятия, которое бы находилось в обоих объемах. Например, "планета" и "теория".?

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

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

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

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

15. Операции ограничения, обобщения, деления. Виды и правила деления.

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

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

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

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

Главным законом структуры этой логической операции является требование - деление должно быть соразмерным. Это значит, что объем делимого понятия должен быть равен сумме объемов всех членов деления. Деление должно производиться по единому, общему для членов деления признаку (основанию); признак деления должен быть четким, ясным, осознаваемым; члены деления должны исключать друг друга. В зависимости от основания деления различают три вида данной логической операции: деление по видоизменению признака, дихотомическое деление и классификация.

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

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

16. Определение. Виды и правила.

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

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

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

В логике формулируется и такое правило - определение должно быть ясным, четким, свободным от двусмысленности, туманности и противоречивости; определение должно быть лаконичным. Запутанные определения не выполняют своей основной роли, они не раскрывают в краткой форме содержания определяемого понятия, их усложненные формулировки трудно запомнить и ими поэтому сложно пользоваться.: "драка есть такое состояние, субъекты которого, выходя за рамки границ правовой объективности, совершают неправомерные вторжения в область охраняемых государством объективных прав личности, нарушая, тем самым, или стремясь нарушить целость физических покровов личности многократным нарушением таковых прав"

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

Определения в науке выступают обычно итогом исследования того или иного предмета, той или иной предметной области.

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

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

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

Показать полностью…
139 Кб, 19 января 2014 в 14:32 - Россия, Москва, ВАВТ, 2014 г., doc
Рекомендуемые документы в приложении