Закон обратного отношения между содержанием и объемом понятия – увеличение содержания понятия ведет к образованию понятия с меньшим объемом; увеличение объема понятия ведет к образованию понятия с меньшим содержанием.
Закон тождества – всякая мысль о данном предмете в процессе рассуждения должна быть тождественной себе, сколько бы раз она не повторялась.
Идеализация – мысленное конструирование объектов, которые в действительности не существуют и вообще практически неосуществимы.
Импликация – логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из
повторяемости признака у некоторых явлений определенного класса
двух простых высказываний образуется сложное высказывание. Индукция неполная – это умозаключениеИ, в котором на основе
заключают о принадлежности этого признакаДвсему классу явлений.
Индукция полная – это умозаключение, в котором на основе повторяемости признака у каждого из явлений определенного класса
заключают о принадлежности этого признака всему классу.
Исключенного третьего закон – логический закон, согласно
которому истинно или само высказывание, или его отрицание.
Истина – мысль или высказывание, соответствующие своему |
|||||
предмету. |
и |
А |
|||
Категорическ й с ллогизм |
– доказательное умозаключение, |
||||
|
С |
|
|
|
|
состоящее из категор |
ческбх суждений. |
||||
Категорическое |
|
суждение |
– суждение, в котором |
||
непосредственно выражено знание о принадлежности или об отсутствии признака у предмета.
Категория – предельно широкое понятие. Выделяют три типа категорий: частнонаучные, общенаучные и философские категории.
Качество суждения – утвердительная или отрицательная форма суждения.
Квадрат логический – диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (А), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О).
Кванторное слово (квантор) – логические операторы,
выражающие количество суждения. Общие суждения связываются с кванторными словами «все» и «ни одно» (кванторами общности);
131
частные суждения выражаются кванторным словом «некоторые» (кванторами существования); единичные суждения выражаются кванторным словом «это».
Класс – совокупность предметов, имеющих общий признак. Классификация – многоступенчатое, разветвленное деление
логического объема понятия.
Количество суждения – зафиксированный в суждении объем предметов (один предмет, часть предметов или все предметы класса). По количеству суждения делятся на единичные, частные и общие.
Конкретное понятие – понятие, в котором отображен определенный предмет в целом или класс предметов.
Консеквент – часть импликации, которая вводится в сложное
высказывание при помощи слова «то»; следствие в условном |
|
суждении. |
И |
|
|
Контекстуальное определение – определение, которое |
|
|
Д |
строится на основании знания связи определяемого слова с окружающими (контекстом).
Контрадикторные понятия – понятия, объемы которых исчерпывают родовое понятие, но не имеют общих элементов в своих
объемах. |
|
|
|
|
|
Концепция |
– |
общий |
замысел, |
главная |
мысль; |
основополагающая идея какой-ли о теории. |
|
|
|||
|
и |
|
|
|
|
Конъюнкция |
– логическаяАоперация, соединяющая два или |
||||
более высказыван й при помощи союза «и». |
|
|
|||
С |
|
|
|
|
|
Крайние терм ныб– больший и меньший термины |
|||||
категорического с ллог |
зма. |
|
|
|
|
Круг в доказательстве – логическая ошибка, заключающаяся в том, что истинность какого-либо доказываемого положения (тезиса) обосновывается посредством того же самого положения, которое должно быть доказано, но выражено в иной форме.
Круг в определении – логическая ошибка, состоящая в том, что при определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с помощью данного определяемого понятия.
Круговые схемы Эйлера – принятый в логике способ наглядного изображения отношений между объемами понятий с помощью кругов, предложенный Л. Эйлером.
Лемма – условно-разделительный силлогизм; вспомогательная теорема.
132
Логизация – разновидность формализации, которая состоит в применении логических методов для познания действительности.
Логика – наука о законах и операциях правильного мышления. Логика деонтическая – раздел модальной логики, в котором
исследуются суждения, выражающие различные нормы.
Логика классическая – направление в математической логике, которое каждому высказыванию приписывает лишь одно из двух значений: истину или ложь.
Логика неклассическая – направление математической логики, начало которого ведется с первого десятилетия ХХ века, включает разработку многозначной, комплексной, конструктивной и других логик.
Логика предикатов – часть математической логики, в которой исследуются операции с высказываниями, отнесеннымиИ к предметам некоторой области и расчлененными на субъект и предикат.
Логика символическая – направлениеДв логике, в котором более широко, чем в традиционной логике, применяются символы.
Логическая культура – совокупность умений правильно оперировать понятиями и суждениями, правильно умозаключать и доказывать, правильно выдвигать гипотезы и строить теории; искусство владения логическими законами, формами и приемами .
Логическая форма – вид мысли или связей мысли; выделяют |
||||
|
и |
|
||
основные (понятие, |
суждениеАи умозаключение) и производные |
|||
(доказательство, опровержен |
е, вопрос, ответ, гипотеза, теория и т.п.) |
|||
С |
б |
|||
логические формы. |
|
|
||
Логические |
|
ош бки |
– непреднамеренные нарушения |
|
логических правил при определении и делении понятий, при построении умозаключений, доказательств и опровержений, при постановке вопросов и выдвижении гипотез.
Логические уловки – преднамеренное нарушение законов и правил логики.
Логический квадрат – наглядная схема, демонстрирующая отношения между простыми суждениями; верхние вершины квадрата символизируют общеутвердительное и общеотрицательное суждения, а нижние – частно-утвердительные и частно-отрицательные суждения, а стороны и диагонали – логические отношения между суждениями (противоположности, подпротивоположности, подчинения и противоречия).
133
Логический прием – способ мыслительной деятельности, дающий возможность образовывать новые логические формы (понятия, суждения, умозаключения и т. д.).
Логическое противоречие – это отношение между двумя взаимно отрицающими друг друга мыслями. Выделяют явные и неявные, контактные и дистантные, текстуальные и контекстуальные противоречия.
Логичность – качество мышления, характеризующееся ясностью, непротиворечивостью, обоснованностью.
Меньшая посылка – посылка категорического силлогизма, содержащая меньший термин (субъект вывода) и средний термин силлогизма.
Меньший термин – субъект силлогизма (то, о чем идет речь в |
|||
силлогизме); субъект вывода. |
|
И |
|
|
|
|
|
Методы научной индукции |
− методы |
выявления |
|
|
Д |
1) метод |
|
обусловленности. К ним относят |
пять методов: |
||
единственного сходства – нахождение общего условия в различных
событиях, которые приводили к возникновению исследуемого
нахождение в множествебусловийАкак сходного в различном, так и различного в сходноми, которое вызывает исследуемое нечто; 4) метод сопутствующих изменен й – нахождение при анализе таких случаев, в которых видоСзменен е одного из условий сопровождается видоизменением сследуемого действия; 5) метод остатков –
результата; 2) метод единственного различия – нахождение
различного в сходных условиях, которые приводят к чему-либо
исследуемому; 3) соединенный метод сходства и различия –
ориентирует на последовательное устранение условий, в которых произошло событие.
Модальность суждения – явно или неявно выраженная в суждении дополнительная информация о характере зависимости между субъектом и предикатом, о логическом статусе суждения, об оценочных, регулятивных, временных и других его характеристиках.
Моделирование – логический прием, суть которого в изучении каких-либо объектов по моделям, то есть по искусственно создаваемым объектам, которые сходны в чем-то с исследуемыми объектами.
Модус и атрибут – философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он
134
находится. Атрибут − неотъемлемое свойство предмета, без которого он не может ни существовать, ни мыслиться. В логике модус − разновидность некоторой общей схемы рассуждения.
Модус понендо толленс – схема рассуждения от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое, значит, второго нет.
Модус поненс – схема рассуждения, позволяющая от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента) этого высказывания.
Модус толлендо поненс – схема рассуждения, обозначающая разделительно-категорическое умозаключение: первое или второе; не первое, значит, второе.
Модус толленс – схема рассуждения от утверждения условного
высказывания |
и |
отрицания |
его |
следствия |
(консеквента) |
осуществляется |
переход к отрицанию |
основания (антецедента) |
|||
данного высказывания. |
|
И |
|
||
Д |
|
||||
Модусы категорического силлогизма – разновидности силлогизма, отличающиеся по качеству и количеству тех суждений,
которые составляют его. |
|
|
и |
|
|
Не следует – логическаяАошибка в доказательстве некоторого |
||
тезиса, заключающаяся в том, что между аргументами доказательства |
||
С |
|
|
и его тезисом отсутствуетблогическая связь, вследствие чего |
||
аргументы не обосновывают |
|
стинности доказываемого тезиса. |
Неполное деление – |
логическая ошибка, которая возникает, |
|
когда при перечислении видовых понятий некоторые из них упускаются.
Непосредственные умозаключения – такие умозаключения, в
которых заключение выводится из одного категорического суждения. Непротиворечия закон – логический закон, согласно которому высказывание и его отрицание не могут быть одновременно
истинными.
Несовместимые понятия – понятия, у которых общие элементы объема отсутствуют.
Несовместимые понятия – сравнимые понятия, объемы которых не совпадают.
135