Шпаргалка по "Логике"

 

 

 

В-21 Общая хар-ка Определение понятия – это логическая операция, направленная на выявление правильного значения термина или содержания понятия. Определить поня-тие – значит полно раскрыть его содержание и отличить V данного понятия от V-в иных понятий (т.е определить предметы, входя-щие в понятие, и отделить их от др предме-тов). Опр-ние понятия может быть явным и неявным. Явные определения содержат оп-ределяемое и определяющее понятие, при их равных объемах. В этом виде д/определения используется ближайший род и вид (видовое отличие), содержащие хар-ные признаки оп-ределяемого понятия. Неявные определения. Определение через род и видовое отличие – это очень удобный и эффективный инстр-нт раскрытия содержания понятий. Можно вы-делить несколько видов неявных опред-ний: контекстуальное, индуктивное, остенсивное, через аксиомы. Контекстуальное (от лат. «соединение», «связь») опред-ние хар-тся тем, что оно позволяет выяснить суть, значе-ние слова, смысла к-го мы не знаем, ч/з кон-текст, т.е ч/з относительно законченный отрывок информации, к-ая сопровождает данное слово, относится к нему и содержит его признаки.Индуктивные определения рас-крывают смысл термина при помощи самого этого термина, ч/з понятия, в к-ых содержит-ся его смысл. Примером этого служит опре-деление натуральных чисел. Так, если 1 – натуральное число и n – натуральное число, то 1 + n тоже есть натуральное число. Осте-нсивное опред-ние устанавливает значение термина, прибегая к демонстрации предме-та, обозначаемого этим термином. Такие оп-ред-ния применяются при раскрытии сущно-сти предметов чувственного мира, др слова-ми, предметов, к-ые доступны д/непосредс-твенного восприятия. Аксиома – это поло-жение, к-ое принимается б/логического доказ-ва в силу непосредственной убедите-льности. Определение ч/з аксиомы основано на этом их кач-ве. Хаар-ка ч/з аксиомы широко применяется в математике.

 

В-22 Виды определений. По функциям, к-ые определения выполняют в процессе поз-нания, они / наноминальные и реальные. Но-минальным (от лат.– имя) наз-ся опред-ние, посредством к-го вводится нов. имя, оно как бы выражает требование называть данным термином определенный предмет. Напр, «Термин «юридический» означает относя-щийся к правоведению, правовой». Такое определение может быть охар-но с точки зрения эффективности, целесообразности. Реальным наз-ся опред-ние, раскрывающее сущ-ные признаки предмета, описывающее какой-л объект. Напр, «улика – это доказ-во винов-ти обвиняемого в совершенном прес-туплении». Реальные опред-ния должны ве-рно отражать предмет, их можно хар-вать с т. зр истинности.По способу выявления содержания понятия опред-ния /на явные и неявные. Явные определения раскрывают сущ-ные признаки предмета, в них устана-вливается отношение равенства, эквивал-сти м/у определяемым и определяющим. Расп-ространенным яв-ся опред-ние ч/з ближай-ший род и видовое отличие. Напр, «кража есть тайное хищение чужого имущества». Понятие «кража» подводится под ближай-шее родовое понятие – «хищение чужого имущества», а затем в рамках этого рода выявляется отличительная черта кражи от др видов хищения: грабежа, разбоя, то, что это хищение тайное. Структура этого вида опре-делений выражается след. формулой:А = Вс,где А – определяемое понятие; В – род; с – видовое отличие.Этот вид определений имеет след. разновидности:а) генетическое определение. В нем раскрывается происхо-ждение предмета. Напр, «Обычай – это пра-вило поведения, сложившееся вследствие факт-го применения его в теч.длительного времени»;б) сущностное опред-е (или опред-е кач-ва предмета). В нем раскр-ся сущ-ть предмета, его природа или кач-во.Оно широ-ко применяется во всех науках; в) функцио-нальное опред-е. В нем раскр-ся назначение предмета, его роль и ф-ции. Напр, «Термом-етр – это прибор для измерения темп-ры»; г)структурное опред-е (или опред-е по сос-таву). В нем раскр-ся эл-ты системы, виды какого-л рода или части целого. Напр., «По-лит-кая система – это совок-сть гос-ных и негос-ных, партийных и непарт-х орг-ций и учреж-й».

В-23 Правила ошибки и возможности  в определении. Определение должно быть соразмерным. Правило соразмерности требует, чтобы объем определяемого понятия был равен объему определяющего, т. е. Dfd = Dfn. 
Нарушение этого правила ведет к двоякого рода ошибке: слишком широкое определение, когда объем определяющего понятия шире объема определяемого понятия. Например, «Логика - это наука о мышлении». Здесь не указан специфический признак логики как науки о мышлении, отличающей ее от других наук, изучающих мышление; слишком узкое определение, когда в качестве видового отличия берется отличительный признак не вида, а подвида. Например, «Остров - часть суши, ограниченная со всех сторон морем». Определение не должно заключать в себе круга, что означает, что понятие не должно определяться через самого себя. Ошибка, которая получается вследствие нарушения этого правила, называется нарочным кругом. Она встречается в двух разновидностях: круг в определении и тавтология. 
Круг в определении означает, что при определении понятия прибегают к другому понятию, которое в свою очередь определяется при помощи первого. Например, «логика - это наука о правильном мышлении, а правильное мышление - это мышление в соответствии с правилами логики».  Понятие «логика» определяется через понятие «правильное мышление», а последнее определяется через понятие «логика».

В-24 Модальность - это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и др. его характеристиках. Рассматривая сущность и специфику простых и сложных видов суждений, важно иметь также представление об их модальности.Модальность суждения - это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений.Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической, зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность. Например, в суждении "Очевидно автор "Задонщины" был участником "Куликовской битвы" устанавливается связь между освещаемыми событиями XIV в. и непосредственными знаниями автора.Во-вторых, выделяют фактическую обусловленность или детерминированность. Так, в суждении "Париж расположен западнее Варшавы" устанавливается именно фактическая модальность. В данном случае не требуется каких-либо особенных доказательств.Вторая группа - несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Утверждение "Я знаю, что знаю мало в области философии" показывает обоснованность понимания данной проблемы. Знания в такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими.Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей к конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы:правопредставляющие -"имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".

 

Б-25 Отрицание  суждений  связано с отрицательной частицей  «не».Производится   оно   путем   отрицания   связки   суждения,   т.е.    замены утвердительной  связки  на   отрицательную.   Отрицать   можно   не   только утвердительное,  но  и  отрицательное  суждение.  Этим  действием   истинное исходное суждение преобразуется в ложное, а ложное – в истинное.  Отрицается суждение  по  средством  отрицания   квантора,   субъекта,   предиката   или нескольких элементов сразу. Например, отрицая  суждение  «Кеша  –(есть)  мой любимый волнистый попугай», получаем следующие суждения «Кеша  не  есть  мой любимый волнистый попугай», «Не Кеша есть мой  любимый  волнистый  попугай», «Кеша есть не мой любимый волнистый попугай», «Не Кеша не есть  мой  любимый волнистый попугай» и т.д. В процессе отрицания суждений возникает ряд сложностей. Так  суждение «Не  все  студенты  –  спортсмены»  («Не  все  S   есть   Р»)   тождественно частноутвердительному «Некоторые студенты спортсмены» (Некоторые S есть  Р). Значит  подчиненное суждение  иногда  может выступать отрицанием  общего. Например, суждение «Все студенты  – спортсмены» можно отрицать  суждением «Только некоторые студенты – спортсмены» или «Неверно, что все студенты  – спортсмены». Более понятной  в логике  является  операция  отрицания суждения  – превращение.  Она представляет  собой действие,  связанное с   изменением качества  исходного суждения  – связки.  При этом  предикат   полученного суждения  должен  противоречить исходному.  Таким образом   утвердительное суждение  превращается  в отрицательное и наоборот.  В виде  формул  это выглядит так:

      S есть  Р                  S не есть Р

     ______________            ___________

      S не  есть не-Р            S есть не Р

 

 

 

Вопросы к зачёту по логике:

Формы, приемы логики.

Законы логики.

Логическая форма и содержание.

Исчисление предикатов.

Понятие как форма мысли.

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

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

Операции с понятиями.

Суждение как форма мысли.

Простые и сложные суждения.

Категорические суждения.

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

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

Виды умозаключений.

Выводы по аналогии.

Энтимема.

Язык, логистика и исчисление высказываний.

Типы объектов познания и их возможные  характеристики.

Понятие признака. Виды признаков.

Определение как прием познания.

Общая характеристика определений.

Виды определений.

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

Суждения и виды модальности.

Отрицательные суждения.