Модус - свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и связей, в которых он находится. Модус противопоставляется атрибуту - неотъемлемому свойству предмета.
Модус понендо толленс - термин средневековой логики, обозначающий схемы рассуждения: а) имеет место "либо А, либо В"; имеет место "А"; заключение "не-В";:
б) имеет место "либо А, либо В",имеет место "В"; заключение "не-А".
Модус поненс - термин средневековой логики, обозначающий правило вывода: имеет место "Если А, то В";'имеет место "А"; следовательно, имеет место "В".
Модус толлендо поненс - термин средневековой логики, обозначающий разделительно-категорическое рассуждение: имеет место "А или В"; имеет место "не-А"; следовательно, имеет место "В".
Модусы силлогизма - разновидности силлогизма, отличающиеся друг от друга по количеству и качеству суждений, составляющих его посылки и заключение.
Модус толленс - термин средневековой логики, обозначающий схему рассуждения: имеет место "Если А, то В"; имеет место "не-В; следовательно, имеет место "не-А".
Мышление - активный процесс отражения объективного мира в понятиях, суждениях, гипотезах, научных теориях, ... имеющий опосредованный, обобщенный характер.
Н
Наука - сфера человеческой деятельности, функцией которой является производство и систематизация знаний о природе, обществе, человеке,...
"Не следует, не вытекает" - логическая ошибка в доказательстве, когда между аргументами доказательства и его тезисом отсутствует логическая связь.
"Недоказанное обоснование" - логическая ошибка в доказательстве, когда в число аргументов включается положение, само нуждающееся в доказательстве.
Необходимость - необходимым является высказывание, отрицание которого логически невозможно. Или: высказывание логически необходимо, ели его истинность может быть установлена независимо от опыта или на чисто логических основаниях. Вообще же выделяют три вида необходимости: логическую, физическую и нормативную (то, отрицание чего противоречит нормам).
Непосредственное умозаключение - умозаключение (вывод) из одной посылки, операция, позволяющая путем преобразования структуры исходного суждения получить на его основе новое. Осуществляется тремя способами: превращение, обращение, противопоставление предикату (см.).
Непротиворечивость - невыводимость противоречия в некоторой системе предложений. Непротиворечивость теории означает, что никакое предложение не может быть в ней доказано и вместе с тем опровергнуто.
Непротиворечия закон - один из четырех законов формальной логики, согласно которому не могут быть одновременно истинными две противоположных мысли об одном и том же предмете, например, "Эта доска черная" и "Эта доска белая", т. е. нельзя противоречить самому себе.
Неточность - характеристика употребления термина (пЬнятия), обозначающего недостаточно определенный или нечетко очерченный класс объектов.
Неясность - характеристика употребления термина (понятия) с недостаточно определенным, расплывчатым смыслом. Понятие, отсылающее к размытому множеству вещей, является неточным, а понятие с неопределенным содержанием, смыслом называется неясным.
Номологическое высказывание - высказывание, выражающее закон природы.
Нормативное высказывание = деонтическое - устанавливающее норму поведения.
О
Обобщение - мыслительная операция, приводящая от мысли об индивидуальном к мысли об общем. Или: переход от понятия меньшей общности к понятию большей общности путем отбрасывания признаков.
Обоснование - процедура использования определенных знаний для принятия каких-либо утверждений. В логике речь идет об обосновании истинности суждений. Средством обоснования служит доказательство. Суждение обосновано, если его доказательство удовлетворяет правилам логики.
Обращение = конверсия - преобразование простых категорических атрибутивных суждений путем "ролевого обмена" между субъектом и предикатом, например, "Некоторые металлы - жидкости" - "Некоторые жидкости - металлы".
Ограничение понятия = ограничение объема понятия - переход от понятия исходного к понятию меньшего объема добавлением новых признаков, т. е. увеличением содержания понятия.
Омонимия - языковое выражение, имеющее несколько значений, не связанных между собой семантически.
Определение = дефиниция - логический прием, позволяющий отличить изучаемый объект от других; формировать значение вводимого знакового выражения.
Определение генетическое - через описание способов образования, возникновения, построения определяемого предмета.
Определение аналитическое - определение, являющееся явным формулированием значений терминов, существующих в каком-либо, языке, где они уже определились независимо от вводимого определения, например, контекстуально.
Определение классическое - определение через род и видовое отличие.
Определение контекстуальное - строится на основе знания связи определяемого с контекстом, т. е. с законченной в смысловом отношении частью текста, в которой достаточно точно выявляется значение определяемого понятия.
Определение неполное – определение, в котором не выполнено требование соразмерности, а именно: определяющее шире определяемого, например: "Страус - это такая большая птица, которая быстро бегает, но не умеет летать". Указанными в определяющей частит свойствами кроме страуса обладают и другие птицы.
Определение номинальное - посредством которого формулируется значение некоторого знакового выражения. Когда новый термин вводится как простое сокращение другого знакового выражения, это называют также определением типа сокращения.
Определение операциональное - главным образом определение физических величин (массы, длины, силы и др.) через описание специфицирующих их операций.
Определение остенсивное - определение значений слов путем непосредственного показа, демонстрации, предъявления соответствующих объектов.
Определение реальное - когда предмет выделяется, специфицируется среди других смежных с ним по некоторому отличительному признаку. Определение реальное и номинальное взаимопереводимы: "Квадрат есть прямоугольник с равными сторонами" - "Термин "квадрат" служит для обозначения прямоугольников с равными сторонами".
Определение семантическое - номинальное определение, в котором термин определяется посредством описания обозначаемого им предмета (реального или абстрактного).
Определение неявное - а) аксиоматические определения в аксиоматически построенных теориях; б) определения контекстуальные.
Определение явное - когда определяемое равно в известном отношении определяющему. Различают абсолютные - когда ни одна часть определяемого не входит в определяющее (например, определяемое состоит из одного слова: "Барометр есть прибор...") и неабсолютные - когда часть определяемого входит в определяющее (например, "Затухающие колебания – это такие колебания, которые...").
Опровержение - рассуждение, направленное против выдвинутого тезиса и имеющее целью установление его ложности или недоказанности.
Осмысленность - наличие смысла в противоположность бессмысленному. Существует несколько критериев осмысленности предложений: верификационный, операциональный, критерий переводимости и др.
Основание и следствие - части условного высказывания: идущая после слова "если" называется основанием или антецедентом; после слова "то" - следствием или консеквентом.
Отношение - в логике отождествляется с многоместным предикатом (языковым выражением, обозначающим какое-то свойство). Одноместные предикаты соответствуют свойствам, двух - или более - местные соответствуют отношениям.
Отношение нерефлексивное - такое двухместное отношение, что для любого элемента множества неверно, что оно находится в данном отношении к самому себе.
Отношение рефлексивное - бинарное (двухместное) отношение, когда для любого X некоторого множества элемент X находится в данном отношении к самому себе. Примерами отношений рефлексивных могут быть: равенство, одновременность и т. п.
Отношение симметричное - такое бинарное отношение, когда из того, что элемент "X" находится в отношении R к "У", следует, что "У" находится в том же отношении к "X".
Отношение типа равенства - двухместное отношение, удовлетворяющее следующим условиям (аксиомам): а) рефлексивности; б) симметричности; в) транзитивности.
Отношение транзитивное - такое двухместное отношение, когда для любых "х", "у", "z" из xRy и yRz следует xRz. Примеры транзитивных отношений: "больше", "меньше".
Отношение функциональное (однозначное) - такое бинарное отношение, когда каждому значению "у" отношения xRy соответствует единственное значение "х". Например: "х отец у".
Отрицание - получение из данного высказывания нового высказывания, обладающего противоположным истинностным значением. Отрицанием высказывания "А" считается высказывание "не-А".
Оценочное высказывание - устанавливает абсолютную или относительную (сравнительную) ценность какого-то объекта.
Ошибка логическая - нарушение каких-либо законов, правил логики. Неумышленная ошибка - паралогизм, умышленная - софизм. Логические ошибки надо отличать от фактических ошибок, которые обусловлены незнанием фактического положения дел.
П
Парадигма - совокупность теоретических и методологических положений, принятых научным сообществом на некотором этапе в качестве образца, модели.
Парадокс - в широком смысле: утверждение, резко расходящееся с общепринятым; в более узком: два противоположные утверждения, для каждого из которых имеются убедительные аргументы. Наиболее известную и сложную группу парадоксов составляют антиномии (типа "Лжец").
Паралогизм - непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики.
Подмена тезиса - логическая ошибка в доказательстве, когда переходят к доказательству другого положения, сходного с тезисом.
Познание - высшая форма отражения действительности, процесс выработки истинных знаний. Различают: чувственное и рациональное, обыденное, научное познание.
Полемика - разновидность спора, когда усилия спорящих направлены на утверждение своей точки зрения по обсуждаемому вопросу.
Понимание - универсальная операция мышления, связанная с усвоением нового содержания, включением его в систему устоявшихся идей, представлений.
Понятие - форма абстрактного мышления, фиксирующая существенные признаки отображаемых в ней предметов и позволяющая отличать эти предметы от смежных с ними.
"Порочный круг" - логическая ошибка в определении понятий и в доказательстве (см. также тавтология).
"После этого, значит, по причине этого" - логическая ошибка, когда простую последовательность во времени принимают за причинную связь.
Поспешное обобщение - логическая ошибка в индуктивном выводе. Особенно часто совершается в обыденной жизни, когда по одному-двум случаям судят о целом классе вещей, событий.
Правило вывода - определяет переход от посылок к следствиям. Например, модус поненс (см.).
Правило Локка - если некоторое свойство А принадлежит любому элементу изучаемого множества, то оно принадлежит всем элементам. Правило Локка истолковывают как "правило обобщения", которое обосновывает, например, почему мы можем доказывать общие теоремы в геометрии на индивидуальном чертеже.
Превращение - вид непосредственного умозаключения, когда предикат и связка исходного суждения заменяются на противоположные.
"Предвосхищение основания" - ошибка в доказательстве, когда в качестве аргумента (основания) приводится положение, которое, хотя и не является ложным, само нуждается в доказательстве. Например, аргументы Мальтуса.
Предикат - языковое выражение, обозначающее какое-либо свойство или отношение. Предикат, указывающий на свойство, называется одноместным; обозначающий отношение - двух-, трех - и вообще N-местным.
Предложение - соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль. Логика берет этот термин из грамматики и использует для определения высказывания как грамматически правильного предложения, взятого вместе с его содержанием.
Предметная область = универсум рассуждения - множество объектов, рассматриваемых в пределах отдельного рассуждения, научной теории.
Предметное значение = предметным значением, или объемом некоторого выражения называют класс предметов, который обозначается данным выражением*: Два выражения могут иметь одно и то же предметное значение, но различаться по смыслу. Например, "Город Петра" и "Город на Неве".
Приведение к абсурду - рассуждение, показывающее ошибочность какого-либо положения путем выведения из него абсурда, противоречия.
Принцип многозначности - положение, в соответствии с которым всякое высказывание имеет только одно из трех или более истинностных значений. Принцип многозначности противопоставляется принципу двузначности. Логика в целом не является ни двузначной, ни многозначной - это лишь характеристики логических систем.
Принцип объемности - два предиката (свойства, отношения, понятия) могут быть отождествлены друг с другом, если они имеют один и тот же объем.
Принцип однозначности - всякое выражение (имя) должно обозначать только один предмет, класс предметов или свойство. Принцип однозначности исключает омонимию.
Проблема - сложный исследовательский вопрос, для ответа на который нет достаточных средств.
Противоположность логическая - вид отношения между понятиями (или суждениями), когда объемы, например, двух несовместимых понятий включаются в объем более широкого (родового) понятия, но не исчерпывают его.
Противопоставление предикату - такое преобразование исходного суждения, когда оно сначала подвергается превращению (см.), а затем обращению (см.)
Противоречие - два высказывания, из которых одно является отрицанием другого.
Р
Равенство - отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать об одном из них, можно высказать и о другом (и наоборот), и получить истинные высказывания.
Равнозначность = равносильность = эквивалентность - когда высказывания или формулы принимают одни и те же истинностные значения.
Равнообъемность - совпадение понятий по объему. Например, понятия "Луна" и "естественный спутник Земли" совпадают по объему.
Разделительное суждение - сложное суждение, образованное из двух
или более простых с помощью логической связки "или". Разделительно-категорическое умозаключение - умозаключение, в котором одна из посылок разделительное суждение, а другая - категорическое. Разделительно-условное умозаключение = дилемма - одна из посылок - разделительное суждение, другая - условное.
Разрешимости проблема = разрешения проблема - проблема нахождения общего метода для данной дедуктивной теории, позволяющего решать, может ли отдельное утверждение быть доказанным в ней или нет. В классической логике высказываний проблема разрешимости решается с помощью таблиц истинности.
С
Свойство - характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. В логике свойством называют также то, что обозначается одноместным предикатом.
Связка - элемент простого суждения, соединяющий субъект и предикат.
Семантика логическая - раздел логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию.
Силлогизм - дедуктивное умозаключение, в котором из двух суждений, посылок, имеющих субъектно-предикатную форму, следует новое суждение (вывод, заключение).
Символ - идея, образ или объект, имеющий, собственное содержание и одновременно представляющий в обобщенной, неразвернутой форме некоторое иное содержание. Символ стоит между "чистым" знаком, у которого собственное содержание ничтожно, и моделью, имеющей прямое сходство с объектом.
Символика логическая - система знаков (символов), используемая в логике для обозначения термов (индивидных константных выражений), предикатов, высказываний, логических отношений между высказываниями и др.
Синонимия - одно из важнейших понятий логической семантики, выражающее тождество значений языковых выражений.
Синтаксис - раздел семиотики, исследующий структурные свойства систем знаков, правил их образования и преобразования. Синтаксис формализованного языка - это система правил построения выражения этого языка и проверки, являются ли они правильно построенными.
Сложное высказывание - полученное с помощью логических связок из простых.
Случайность логическая - одна из модальных характеристик высказывания, наряду с возможностью, необходимостью, невозможностью. Высказывание случайно, когда оно само и его отрицание являются возможными..
Смысл - в обычной речи синоним значения. В логической семантике общее значение языковых выражений расщепляют на две части: предметное значение и смысл. Смысл – содержание знакового выражения, сведения, информация о предмете. Предметным значением, или объемом некоторого выражения называют класс предметов, который обозначается данным выражением*: Два выражения могут иметь одно и то же предметное значение, но различаться по смыслу. Например, "Город Петра" и "Город на Неве".
Совместимость - вид отношения между понятиями и суждениями: они в отношении совместимости, если их объемы совпадают полностью или частично. Суждения называют совместимыми, когда они вместе могут быть истинными, т. е. истинность одного не исключает истинности другого: например, "Некоторые яблоки зелены" и "Некоторые яблоки не зелены" .
Содержание понятия - совокупность отраженных в понятиях существенных признаков объекта.
Сорит - вид сложносокращенного силлогизма, в котором опущена или большая или меньшая посылка. Различают сориты, в которых, начиная со второго силлогизма, опущена меньшая посылка, и те, в которых опущена большая посылка.
Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному суждению. Софизм - вид интеллектуального мошенничества.
Спор - столкновение мнений, позиций, в ходе которого каждая из сторон аргументировано отстаивает свое понимание и стремится опровергнуть доводы другой стороны.
Строгость - комплексная характеристика рассуждения, учитывающая степень ясности и точности используемых терминов, достоверность исходных принципов, логическую обоснованность переходов от посылок к следствиям.
Субьект суждения = "логическое подлежащее" - часть суждения, которая отображает предмет мысли (т. е. то, о чем размышляют).
Суждение - форма абстрактного мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Суждение характеризуется истинностью или ложностью.
Сходство - наличие хотя бы одного общего признака у изучаемых предметов.
Т
Таблица истинности - таблица, с помощью которой определяются истинностные функции (значения) сложных высказываний, зависящие от истинностных значений составляющих их простых, а также определяются логические связки.
Тавтология (в определении и доказательстве) - логическая ошибка, разновидность "порочного круга". Суть тавтологии: определяемое понятие характеризуется посредством самого себя и при доказательстве некоторого положения в качестве положения используется само это положение.
Тезис - один из элементов доказательства; положение, истинность которого обосновывается в доказательстве.
Теория - наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности.
Термин - в широком смысле - слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный). В науке - слово или словосочетание для обозначений предметов в пределах какой-либо науки, научной теории. В логике - слово, имя а) для обозначения предметов универсума; б) для обозначения субъекта и предиката суждения; в) для обозначения элементов посылок силлогизма.
Термины силлогизма - элементы суждений, входящих в состав силлогизма. Различают крайние термины (больший или меньший) и средний термин.
Типология - а) учение о классификации, упорядоченности и систематизации сложных объектов, в основе которых лежат понятия о нечетких множествах и о типе; б) учение о классификации сложных объектов, связанных между собой генетически.
Тождества закон - один из четырех основных законов формальной логики, согласно которому каждая мысль, которая приводится в данном рассуждении, при повторении должна иметь одно и то же содержание, выражать то же самое, что и в исходном варианте.
Тождество - отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга.
Транзитивности закон - символическая запись закона транзитивности может быть прочитана так: "Если (если а, то в) и (если в, то с), то (если а, то с). Транзитивности закон иногда называется конъюнктивно-гипотетическим силлогизмом.
У
Убеждение - (одно из значений): метод воздействия на сознание личности через обращение к ее собственному критическому суждению на основе отбора и логического упорядочения фактов и выводов.
Умозаключение - мыслительный процесс, форма абстрактного мышления, с помощью которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением или следствием.
Условное высказывание - сложное высказывание, формулируемое обычно с помощью связки "если..., то...".
Условное умозаключение - состоящее из условных суждений. Условное умозаключение может состоять из одной или нескольких посылок.
Учетверение терминов - логическая ошибка в простом категорическом силлогизме, связанная с тем, что слово, играющее роль среднего термина, в одной посылке выражает одно понятие, а в другой - иное.
Ф
Факт - а) синоним понятия истина; событие; результат. Нечто реальное в противоположность вымышленному, б) в логике и методологии научного познания - предложения, фиксирующие эмпирическое знание.
Фальсификация - процесс установления ложной теории или гипотезы в результате ее эмпирической проверки. С логической точки зрения процесс фальсификации описывается схемой модус поненс (см.)
Фигура силлогическая - различают четыре фигуры силлогизма в зависимости от положения среднего термина в - посылках: роль субъекта в большей или предиката в меньшей - 1 фигура; роль предиката в большей и меньшей - 2 фигура; роль субъекта в большей и меньшей - 3 фигура; роль предиката в большей и субъекта в меньшей - 4 фигура.
Формализация - отображение результатов мышления в точных понятиях и утверждениях. Формализация уточняет содержание и может осуществляться с разной степенью полноты. Логическая формализация выявляет и фиксирует логическую форму выводов и доказательств.
Формы мысли = формы мышления - в традиционной логике: понятие, суждение, умозаключение. Каждая из этих форм имеет разновидности.
Функция - соответствие между переменными величинами "х" и "у", в результате которого каждому значению величины "х" сопоставляется единственное значение величины "у".
Э
Эвристика - совокупность приемов и методов, облегчающих решение познавательных, конструктивных, практических задач. Или: специальная научная область, изучающая специфику творческой деятельности.
Эйлера круги - геометрическая иллюстрация объемов понятий и отношений между ними с помощью кругов.
Эквивалентность = равнозначность - общее название отношений, являющихся рефлексивными, симметричными и транзитивными. В логике эквивалентность - сложное высказывание типа: "А" если и только если "В" и разлагающееся на две импликации: "Если "А", то "В" и "Если "В", то "А".
Эквивокация - логическая ошибка, заключающаяся в том, что одно и то же слово используется в разных значениях в одном рассуждении.
Экзистенциальное высказывание - высказывание о существовании каких-либо предметов. Для выражения таких высказываний в формальном языке используется квантор существования.
Эклектика - соединение разнородных, внутренне не связанных и, возможно, несовместимых взглядов, идей, концепций, стилей и т. д. Для эклектики характерно игнорирование логических связей и, вместе с тем, стремление создать видимость логической последовательности и строгости.
Экспликация - уточнение понятий и утверждений естественного и научного языка с помощью средств символической логики.
Эллиптическое высказывание - неразвернутое высказывание, в котором пропущены, хотя и подразумеваются, некоторые части. Обычная речь почти целиком состоит из эллиптических высказываний. Типичным примером эллиптического высказывания является энтимема.
Энтимема - рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются и легко могут быть восстановлены. Или: силлогизм, в котором опущены одна из посылок или вывод(заключение).
Эпихейрема - сокращенный силлогизм, в котором обе посылки - энтимемы.
Эристика - искусство ведения спора. Первоначально понималась как средство отыскания истины с помощью спора, но постепенно выродилась в обучение тому, как вести спор, чтобы выиграть его любой ценой.
Ю
Юма принцип - принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой "есть" к утверждениям со связкой "должен". Логический анализ принципа Юма дается в деонтической логике и логике оценок.
Я
Язык - знаковая система, используемая для целей коммуникации и познания. Различают естественные, искусственные и частично искусственные языки.
Язык логики - специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Логика традиционная пользовалась обычным языком, дополненным немногими специальными символами. Для логики необходим искусственный язык, строящийся по строго сформулированным правилам. Это язык не для общения, но для эффективного выявления логических связей наших мыслей.
Ясность - характеристика термина (понятия) с точки зрения определенности, отчетливости его смысла. Понимание термина, успешная его интерпретация предполагают знание смысла и класса тех объектов, к которым он отсылает. Если этот класс четко очерчен, о термине говорят, что он точен. Если смысл термина определен отчетливо и однозначно, термин называется содержательно ясным или просто ясным.
Разработчики:
ИВЭСЭП доцент
Рецензенты:
ВАС профессор
УТВЕРЖДАЮ :
Зав. кафедрой философии
УТВЕРЖДАЮ :
Декан гуманитарного факультета
СОДЕРЖАНИЕ
1. Цели и задачи дисциплины …………………………………………………….. 3
2. Место дисциплины в структуре ООП ………………………………………… 3
3. Требования к результатам освоения дисциплины ………………………….. 3
4. Объем дисциплины и виды учебной работы …………………………………. 4
5. Содержание дисциплины ………………………………………………………. 5
5.1. Содержание разделов дисциплины …………………………………………….. 5
5.2. Разделы дисциплины и междисциплинарные связи с обеспечиваемыми
(последующими) дисциплинами ……………………………………………….. 7
5.3. Разделы дисциплины и виды занятий ………………………………………… 7
6. Учебно-методическое и информационное обеспечение дисциплины ……. 8
6.1. Методические рекомендации по организации изучения дисциплины …... 8
6.2. Темы семинарских занятий по логике……………………………………….. 8
6.3. Темы рефератов, докладов, сообщений. Индивидуальные задания для
самостоятельной работы………………………………………………………… 11
6.4. Вопросы для экзамена по теории аргументации ………………………… 13
6.5. Литература …………………………………………………………………………………….. 14
6.5.1. Основная ……………………………………………………………………………………... 14
6.5.2. Дополнительная …………………………………………………………… 14
6.5.3. Вспомогательная……………………………………………………… 15
6.5.4. Интернет-ресурсы, электронные библиотечные системы……………… 15
7. Краткий словарь по логике и теории аргументации………………………… 16
Содержание …………………………………………………………………………… 32
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 |


