andrey

Путь к Файлу: /Документы для форматирования / Кошелев / Логика / Глоссарий.doc

Ознакомиться или скачать весь учебный материал данного пользователя
Скачиваний:   0
Пользователь:   andrey
Добавлен:   05.01.2015
Размер:   83.5 КБ
СКАЧАТЬ

Федеральное агентство по образованию

ГОУ ВПО

Российский государственный профессионально-педагогический университет

Институт педагогической юриспруденции

 

Кафедра философии

 

 

                                                                   

 

 

 

 

 

Словарь основных терминов по дисциплине

логика

для студентов всех специальностей,

обучающихся по дистанционной технологии

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

                                 Екатеринбург, 2006

 

                               

 

 

 

 

Логика. Словарь основных терминов для студентов всех форм обучения и специальностей. Екатеринбург: Изд-во РГППУ, 2006. –   с.

 

 

 

 

 

 

 

Составитель:  канд. филос. наук, доцент Остапенко М.А.                                         

 

 

 

 

 

 

 

 

 

 

Одобрено на заседании кафедры философии  ИПЮ РГППУ. Протокол N           от “      “                       200 г.

 

Рекомендовано к изданию Учебно-методическим советом ИПЮ РГППУ. Протокол N             от “      “                     200  г.

 

 

 

 

 

 

 

                

                                    

 

 

Абстрактное понятие – в логике абстрактным называется понятие, обозначающее признак или свойство, качество без предмета не существующее (высокий, мягкий, меткий, бесчувственный).

Аналогия (греч. – пропорция) – приписывание признака одного объекта другому на основе наличия у них других одинаковых признаков.

Антецедент - это переменная, стоящая перед знаком импликации.

 

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

Большая посылка – это та, в которой обнаруживается предикат вывода силлогизма.

 

Вероятностные умозаключения – истинность посылок не гарантирует истинности вывода.

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

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

 

Генетическое определение -  указывает способ образования или получения того или иного предмета.

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

 

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

 

Дедуктивные умозаключения (лат. deduktio – выведение) – умозаключение от общих положений к более частным.

Деление объема понятия – это операция по выявлению видовых понятий в объеме рода.

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

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

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

ДНФ (дизъюнктивно нормальная форма)  формулы – это такая ее форма, которая выражается дизъюнкцией элементарных конъюнкций и имеет отрицание только пере переменными. Элементарной называется конъюнкция, не имеющая внутренних скобок. Общий вид ДНФ: (pÙqÙr)Ú(rÙpÙq)Ú(qÙpÙr).

 

Импликация ® – подразумевает причинно-следственные, функциональные, временные и проч. взаимосвязи. Поэтому - это такая связь суждений, которая ложна в единственном случае: при истинности антецедента (переменная, стоящая перед знаком импликации) и ложности консеквента (переменная, стоящая после знака импликации).

Импортация - одно из правил прямых выводов, схема которого такова: если А, то, В следовательно С равносильно если А и В, то С.

Индуктивные умозаключения (лат. induktio – наведение) – умозаключение от частных положений к более общим.

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

 

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

КНФ (конъюнктивно нормальная форма) формулы – это такая ее форма, которая выражается конъюнкцией элементарных дизъюнкций и имеет отрицание только перед переменными. Элементарной называется дизъюнкция, не имеющая внутренних скобок. Общий вид КНФ: (pÚqÚr)Ù(rÚpÚq)Ù(qÚpÚr).

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

Конкретное понятие – в логике конкретным называется понятие, которое отражает предмет или явление в его целостности.

Консеквент - это переменная, стоящая после знака импликации.

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

Контрарные суждения - не могут быть одновременно истинными, но могут быть одновременно ложными. В таком отношении находятся общеутвердительное  и общеотрицательное суждение, при условии тождества их субъектов и тождества их предикатов.

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

 

 

Логическая правильность мысли - мысль считается логически правильной, если она соответствует законам (правилам) логики. В противном случае мысль логически не правильна.

Ложность – мысль считается ложной, если она не соответствует действительности.

 

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

(AÙBÙCÙE)®P

(AÙDÙFÙG)®P

(AÙSÙQÙH)®P

Вероятно, что A®P

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

(A1 ÙBÙCÙE)®P1

(A2 ÙBÙCÙE)®P2

(A3 ÙBÙCÙE)®P3

Вероятно, что A®P

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

(AÙBÙCÙE)®P

(BÙCÙE)® ùP

(CÙE)® ùP

Вероятно, что A®P

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

(AÙBÙCÙE)®abce

(BÙCÙE)® bce

(CÙE)® ce

Вероятно, что A®a.

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

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

 

Научная индукция – это спланированная (а не спонтанная) аналогия по заранее выделенному существенному (а не случайно попавшемуся) признаку. Выделенные фрагменты – отличительные для этого вида аналогии.

Неполная индукция (вероятностная или популярная) – это умозаключение, в котором посылки фиксируют наличие какого-либо признака Р не у всех объектов множества S и в котором нет противоречащих друг другу посылок.

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

Нормальная форма формулы - называется такая форма формулы, где отсутствуют знаки импликации, эквиваленции и строгой дизъюнкции, а знаки отрицания стоят только перед переменными, перед скобками их нет (т.е. такая форма формулы, где нет следующих знаков: ®, «, W, ù (...)).

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

 

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

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

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

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

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

Остенсивное доказательство – формируется на основе остенсивных определений (лат. ostensio – указание) – это простое и непосредственно указание на факт, на очевидно существующее положение вещей.

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

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

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

 

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

Полисиллогизм – это два и более простых категорических силлогизма, у которых вывод первого является посылкой второго и так далее.

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

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

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

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

Предикат – свойство, качество, способность, наличие которого утверждается или отрицается у субъекта простого суждения.

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

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

Простая контрпозиция – одно из правил прямых выводов, схема которого такова:  если А, то В;  не-В, следовательно не-А.

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

 

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

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

Регрессивный полисиллогизм – так принято называть полисиллогизм, в котором заключение просиллогизма становится меньшей посылкой эписиллогизма.

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

 

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

Сложная контрпозиция - одно из правил прямых выводов, схема которого такова: если А и В, то С; А и не-С, следовательно не-В.

Совершенная ДНФ - ДНФ, в которой отсутствуют одинаковые конъюнкты и дизъюнкты, нет тождественно-ложных дизъюнктов, а каждый дизъюнкт содержит все переменные формулы.

Совершенная КНФ - КНФ, где отсутствуют одинаковые конъюнкты и дизъюнкты, где нет тождественно-истинных конъюнктов, а каждый конъюнкт содержит все переменные формулы.

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

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

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

Сорит – это сокращенный полисиллогизм. Поскольку полисиллогизмов два вида, то получается и два вида соритов – прогрессивный и регрессивный.

Средний термин (М) -  термин, присутствующий в обеих посылках силлогизма и, естественно, отсутствующий в выводе.

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

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

Существенный признак – существенным считается тот признак, без которого данный предмет или явление не существует как данный предмет или явление.

Субъект – в логике - предмет мысли, то, о чем идет речь в простом суждении.

 

Термин – в логике термином называют предмет мысли (то есть субъект) или свойство (то есть предикат) в простом суждении.

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

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

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

 

Фигура силлогизма – фигуру силлогизма определяют по положению среднего термина и изображают с помощью ломаной линии (всего четыре варианта, или четыре фигуры).

Формальное доказательство – это доказательство по логическим правилам умозаключений. Оно основано на корректных определениях.

 

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

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

 

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

Экспортация - одно из правил прямых выводов, схема которого такова: если А и В, то С равносильно если А, то, В следовательно С.

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

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

 

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

 

 

 

Наверх страницы

Внимание! Не забудьте ознакомиться с остальными документами данного пользователя!

Соседние файлы в текущем каталоге:

На сайте уже 21970 файлов общим размером 9.9 ГБ.

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

Не нашли нужный документ? Воспользуйтесь поиском по содержимому всех файлов сайта:



Каждый день, проснувшись по утру, заходи на obmendoc.ru

Товарищ, не ленись - делись файлами и новому учись!

Яндекс.Метрика