Рабочая программа теория аргументации (стр. 4 )

http://www.iph.ras.ru/~logic/index.html - Сайт Сектора логики Института философии РАН. Рекомендуется тем, кто желает познакомиться с современным состоянием логических исследований, а также тем, кто хочет более глубоко изучить предмет. Имеется большое количество ссылок на другие Интернет-ресурсы, посвященные логике.

http://golovolomka.hobby.ru – Этот ресурс полезен тем, кто любит интеллектуальные развлечения. Содержит задачи, головоломки, анекдоты. Кроме того имеются полнотекстовые электронные версии работ Р. Смаллиана, М. Гарднера, Л. Кэрролла, величайших популяризаторов логики. Рекомендуется посетить всем.

http://ntl.narod.ru/logic/index.html - «Логика для всех» (задачи, головоломки).

http://www.wwnorton.com/ - Имеется тестирующая программа «Logictutor» Михаэля Грина, составленная на основе книги [16]. Рекомендуется тем, кто желает проверить свои знания по логике на английском языке.

Два полезных ресурса посвященные теории аргументации:

Argumentation on the World Wide Web // http://www. /~mackey/thesis/thesis. html

Informal Logic // http://plato. stanford. edu/entries/logic-informal/

7. КРАТКИЙ СЛОВАРЬ ПО ЛОГИКЕ И ТЕОРИИ АРГУМЕНТАЦИИ

А

Абсолютные и относительные модальности - модальные характери­стики, выступающие как свойства объектов, называются аб­солютными, например, "Плохо, что ты не выполнил обеща­ние"; выступающие как отношения - относительными. На­пример: "Лучше не давать обещание, чем не выполнить его".

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

Аксиологическая модальность = оценочная модальность - характери­стика объекта с точки зрения определенной системы ценно­стей. Например: "Плохой мир лучше хорошей ссоры".

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

Алогизм - ход мысли, нарушающий законы и правила логики, содер­жащий ошибку.

Амфиболия - логическая ошибка, в основе которой - двусмысленность языковых выражений. Например: "Говорят, язык до Киева доведет. А я купил вчера копченый язык. Теперь могу идти в Киев".

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

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

Антиномия - рассуждение, доказывающее, что два высказывания, яв­ляющиеся отрицанием друг друга, вытекают одно из друго­го. Характерным примером антиномии является парадокс "лжеца": "Что говорит человек, сказавший: «Я лгу».?

Антитезис - суждение, противоречащее тезису доказательства и ис­пользуемое в качестве исходной посылки логического выво­да в доказательствах "от противного".

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

Апория - проблема, связанная с противоречием между данными опы­та и их мысленным анализом. Наиболее известны апории Зенона Элейского: "Ахилл", "Дихотомия" и др. В отличие от антиномии, которая обосновывает оба несовместимых утверждения, апория обосновывает утверждение, противо­речащее опыту.

Апостериори и априори - понятия для обозначения знания, полученно­го из опыта, на основе опыта (апостериори) и знания, которое предшествует опыту и независимо от него (априори), на­пример, что сумма углов треугольника равна двум прямым.

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

Аргументация - приведение аргументов, приведение доводов в обос­нование какого-либо положения; совокупность таких дово­дов.

Ассерторический - установленный, достоверный. Ассерторическое суждение утверждает нечто действительно существующее, например: "Волга впадает в Каспийское море".

Б

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

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

В

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

Верификация - установление истинности научных утверждений по­средством их эмпирической проверки.

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

Вероятность - характеристика степени возможности появления како­го-либо события.

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

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

Возражение - обоснованное отрицание (отклонение) какой-либо мыс­ли, положения.

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

Вопросов логика - исследует логико-семантические свойства вопроси­тельных предложений.

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

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

Г

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

Гипотетическое утверждение - высказывается не как установленная истина, а как предположение, которое может быть (оказаться) или истинным или ложным. Например: "Возможно, на Марсе есть жизнь".

Д

Двузначная логика - опирающаяся на принцип двузначности, т. е. ис­ходящая из того, что всякое высказывание либо истинно, либо ложно.

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

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

Деонтическая логика = логика норм - исследует логическую структуру и логические связи нормативных высказываний (устанавливающих какую-то норму поведения). Нормы вы­ражаются понятиями "обязательно", "разрешено", "запрещено". Эти понятия считаются взаимно определяе­мыми.

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

Дизъюнктивный силлогизм - см. Модус понендо толленс, Модус толлендо поненс.

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

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

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

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

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

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

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

З

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

Закон гипотетического силлогизма = Гипотетического силлогизма за­кон - один из законов исчисления высказываний, который может быть выражен следующим образом: "Если из А следу­ет В, а из В следует С, то из А следует С".

Закон двойного отрицания - отрицание отрицания дает утверждение, или : повторенное дважды отрицание ведет к утверждению.

Законы де Моргана - а) отрицание конъюнкции эквивалентно дизъ­юнкции отрицаний; б) отрицание дизъюнкции эквивалентно конъюнкции отрицаний. Например: «Неверно, что завтра будет холодно и будет дождливо» = «Завтра не будет холодно или не будет дождливо».

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

Закон Дунса Скота - характеризует логическое противоречие и мате­риальную импликацию: ложное высказывание влечет (имплицирует) любое высказывание. Например: "Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит".

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

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

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

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

Закон косвенного доказательства - закон, позволяющий делать за­ключения об истинности какого-либо высказывания на основании того, что отрицание этого высказывания влечет противоречие.

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

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

Знание - результат познания действительности, получивший под­тверждение в практике; адекватное отражение. Различают обыденное и научное знание.

Значение - содержание, связываемое с тем или иным языковым выра­жением. Вопрос о значении языковых выражений исследует­ся лингвистикой, семиотикой и логической семантикой. Наиболее известна концепция значения Готлоба Фреге.

И

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

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

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

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

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

Индукции каноны - методы установления причин. Сформулированы , опиравшемся на "Таблицы открытий" Ф. Бэкона. Всего пять методов: единственного различия, един­ственного сходства, сходства и различия, сопутствующих изменений, остатков.

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

положений в математике и других дедуктивных науках.

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

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

Индукция энумеративная - неполная индукция через простое перечис­ление.

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

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

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

Иррациональное - находящееся за пределами разума, противоречащее логике.

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

Истина - адекватное отражение мира, знание, соответствующее действительности.

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

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

К

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

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

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

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

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

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

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

Косвенное доказательство - установление истинности тезиса путем показа ошибочности противоположного ему допущения.

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

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

Л

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

Логика высказываний - пропозиционная логика - занимается формализацней употребления логических связок ("и", "или", ...), служащих для образования сложных высказываний из про­стых. Предполагается, что простое высказывание является либо истинным, либо ложным и что истинностное значение сложного высказывания зависит от значения простых и их связи(логических связок).

Логика отношений - раздел логики, изучающий свойства высказыва­ний об отношениях между объектами. Различают двух­местные или бинарные отношения, тернарные или трех­местные и вообще N-местные или N-арные отношения. В случае эквивалентности для бинарных отношений отмечают свойства рефлексивности, симметричности, транзитивности.

Логическая правильность - соответствие законам и правилам фор­мальной логики. Обычно различают истинность и правиль­ность человеческого мышления.

Логическая форма - логической формой конкретной мысли является строение этой мысли, т. е. способ связи ее основных частей. Логическая форма это способ связи содержательных частей рассуждения (доказательства, вывода, ...). Логическая форма представляется посредством логических констант ("и", «или","если.., то…", = логических связок) и переменных (высказываний, имен).

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

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

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

Логическое ударение - ударение, характеризующее смысловую нагруз­ку компонентов суждения, вследствие чего роль предиката будут выполнять соответствующие компоненты. Логическое ударение (позволяет выделить часть текста в качестве преди­ката, например, "Студент Иванов болен". В стандартной форме получаем суждение: «Этот больной – (есть) студент Иванов».

М

Метод - способ исследования, обучения, изложения; способ достиже­ния определенных результатов в познании и практике.

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

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

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