Geum.ru

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

Вид материалаЗакон

Содержание


Л и т е р а т у р а
Войшвилло Е.К.
Поварнин С.И.
Подобный материал:
1   2   3   4   5   6   7   8   9   ...   13

Л И Т Е Р А Т У Р А


Основная:

Бочаров В.А., Маркин В.И. Основы логики. - М., 2006

Ивлев Ю.В. Логика. - М., 2005.

Дополнительная:

Алексеев А.П. Аргументация. Познание. Общение. -М.,1991

Брюшинкин В.Н. Логика, мышление, информация. -Л.,1988

Войшвилло Е.К. Понятие как форма мышления. -М.,1989

Войшвилло Е.К., Дегтярев М.Г. Логика -М., 1998

Горский Д.П. Определение. -М.,1984

Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. -М.,1991

Ивин А.А. Основы теории аргументации. -М., 1997

Карнап Р. Значение и необходимость. -М., 2000

Поварнин С.И. Искусство спора. -М., 1992

Символическая логика. - СПб., 2005

Смирнова Е.Д. Основы логической семантики. -М.,1990.

Словарь


(при составлении словаря использовалось издание

Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. -М.,1991)


АБСТРАКЦИЯ - 1) процесс отвлечения от некоторых характеристик (свойств, отношений) изучаемых предметов и явлений, от реальных носителей интересующих нас характеристик; 2) результат этого отвлечения, представляющий собой некоторый абстрактный предмет.

АБСУРД - в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. Абсурдным считается также выражение, которое внешне не является противоречивым, но из которого все-таки может быть выведено противоречие. А. отличается от бессмысленного: бессмысленное не истинно и не ложно, его не с чем сопоставить в действительности, чтобы решить, соответствует оно ей или нет. Абсурдное высказывание осмысленно и в силу своей противоречивости является ложным.

В логике рассматриваются доказательства путем «приведения к А.»: если из некоторого положения выводится противоречие, то это положение является ложным.

АКСИОМА - исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений.

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

АНАЛОГИЯ - сходство между предметами, явлениями и т. д. Умозаключение по А. (или просто А.) — индуктивное умозаключение, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.

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

АНТЕЦЕДЕНТ И КОНСЕКВЕНТ — два высказывания, из которых с помощью логической операции импликации («если..., то ...») образуется сложное импликативное высказывание. А. — высказывание, которому предпослано слово «если», К. — высказывание, идущее после слова «то». Два высказывания, составляющие условное высказывание, именуются также основанием и следствием.

АНТИТЕЗИС — суждение, противоречащее тезису некоторого построенного доказательства. А. используется в косвенном доказательстве тезиса: мы обосновываем ложность А. и, опираясь на закон исключенного третьего, гласящий, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему суждения — тезиса.

АРГУМЕНТ — суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к.-л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых логически следует доказываемое суждение.

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

1. А. должны быть истинными суждениями.

2. А. должны быть суждениями, истинность которых устанавливается независимо от тезиса.

3. А. должны быть достаточным основанием для доказываемого тезиса.

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

АРГУМЕНТАЦИЯ — приведение доводов, или аргументов, с намерением вызвать или усилить сочувствие другой стороны к выдвинутому положению; совокупность таких доводов. Цель А. — принятие выдвигаемых положений аудиторией. Истина и добро могут быть промежуточными целями А., но конечной ее целью всегда является убеждение аудитории в справедливости предлагаемого ее вниманию положения, склонение ее к принятию данного положения и, возможно, к действию, предполагаемому им.

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

ВЕРБАЛЬНОЕ ОПРЕДЕЛЕНИЕ — определение, сформулированное в языке с помощью слов или специальных знаков. В.о. противопоставляются остенсивным определениям с помощью указания на объект или явление.

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

Обычно различают два типа В.:

Уточняющие В., напр.: «Верно ли, что Петров успешно сдал экзамен по математике?» Подобные В. включают в себя обороты «верно ли», «нужно ли», «действительно ли» и т. п.

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

Восполняющие В., напр.: «Какой город является столицей Португалии?», «Что означает слово "филистер"?» и т. п. Такие В. включают в себя вопросительные слова «где?», «когда?», «кто?» и т. п. Они выражают стремление спрашивающего получить недостающую информацию. Сложный восполняющий В. включает в себя несколько вопросительных слов и может быть разбит на ряд простых восполняющих В., напр.: «Кто, где, когда, из какого оружия совершил убийство президента США Джона Кеннеди?»

ВЫВОД ЛОГИЧЕСКИЙ — рассуждение, в ходе которого из к.-л. исходных суждений — посылок — с помощью логических правил получают заключение — новое суждение. Напр., из суждений «Все люди смертны» и «Кай — человек» мы можем вывести с помощью правил простого категорического силлогизма новое суждение: «Кай смертен».

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

ВЫСКАЗЫВАНИЕ - грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом.

ГИПОТЕЗА - положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования объекта, причин его возникновения, его свойств и связей, его прошлого и будущего и т. д.

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

ДЕДУКЦИЯ — переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.

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

ДЕЛЕНИЕ ЛОГИЧЕСКОЕ — логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака. Посредством операции Д. л. раскрывается объем того или иного понятия, выясняется, из каких подмножеств состоит множество, соответствующее делимому понятию. Так, по строению листьев множество деревьев может быть подразделено на два подмножества: лиственные деревья и хвойные деревья. Иногда говорят не о Д. л. объема понятия, а просто о Д. л. понятия. Делимое понятие есть понятие, подлежащее делению. Подмножества, которые получаются в результате Д. л. понятия, называются членами деления. Признак, по которому производится Д., называют основанием Д. л.

ДИЗЪЮНКЦИЯ — логическая операция — аналог употребления союза «или» в обычном языке, с помощью которой из двух или более исходных суждений строится новое суждение. Так, из суждений «Он — способен» и «Он — прилежен» с помощью операции «или» можно получить новое суждение «Он способен или он прилежен» (1). Из суждений «Он совершил преступление», «Он не совершал преступления» с помощью «или» можно получить новое суждение «Он совершил преступление или он не совершал преступления» (2). Суждение (1) истинно в трех случаях: 1) когда какой-то человек оказывается способным, но не прилежным; 2) когда этот человек оказывается прилежным, но не способным; 3) когда установлено, что этот человек и способен, и прилежен. Оно является ложным, когда оказалось, что этот человек не является ни способным, ни прилежным. Суждения типа (1) в логике называют соединительно-разделительными. Суждение же (2) истинно лишь только в том случае, когда имеет место или только первая ситуация («Он совершил преступление»), или только вторая ситуация («Он не совершал преступления»). Суждение (2) не допускает, чтобы имели место обе ситуации. Суждения типа (2) носят название исключающе-разделительных или строго разделительных.

ДИЛЕММА - в традиционной логике условно-разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительные суждения. Условно-разделительные умозаключения вообще называются леммами; если разделительная посылка содержит только два члена, то такое умозаключение называется дилеммой, если в нее входит три члена, то перед нами трилемма, и вообще полилемма, когда разделительная посылка содержит больше двух членов.

ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис - утверждение, которое нужно доказать, и основание, или аргументы, — те утверждения, с помощью которых доказывается тезис. Напр., тезис «Платина проводит электрический ток» можно доказать с помощью следующих истинных утверждений: «Платина — металл» и «Все металлы проводят электрический ток».

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

ДОКАЗАТЕЛЬСТВО ПО СЛУЧАЯМ, или: Доказательство разбором случаев, — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наиболее простом случае посылками являются высказывания: «Если есть первое, то есть третье», «Если есть второе, то есть третье» и «Есть первое или есть второе», заключением — высказывание «Есть третье». Напр.: «Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; значит, мы пойдем в кино».

ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП - принцип, требующий, чтобы в случае каждого утверждения указывались основания, в силу которых оно принимается и считается истинным.

В логике традиционной