9. Интернет-ресурсы
www.mnui.ru – на сайте содержится учебная литература по логике
www.mfua.info – на сайте можно найти лекции и книги по логике, примеры решений задач
www.gumfak.ru – на сайте содержатся учебные пособия по логике
www.logic.philos.msu.ru
www.logic.philosophy.pu.ru
www.istina.rin.ru
www.i-u.ru
www.studlib.ru
www.ibif.nm.ru
www.ratio.albertina.ru
www.logic.ru
www.logic.vbelous.net
www.ido.tsu.ru
www.unetsite.narod.ru
10. Набор схем
11. Глоссарий
АНАЛОГИЯ (от греч. Analogia – соответствие) – умозаключение, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.
АТРИБУТИВНОЕ (от лат. attribution – «свойство», «признак») суждение – суждение о признаке предмета.
АРГУМЕНТ (лат.) – суждение, посредством которого обосновывается истинность другого суждения.
АРГУМЕНТАЦИЯ – операция обоснования каких-либо суждений, в которой наряду с логическими применяются также речевые, эмоционально-психологические и другие внелогические методы и приемы убеждающего воздействия.
ГИПОТЕЗА (от греч. hipothesis – основание, предложение) – положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений.
ДЕДУКЦИЯ (от лат. Deductio – выведение) – переход от посылок к заключению, опирающийся на закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.
ДЕМОНСТРАЦИЯ – это логическая связь между аргументами и тезисом.
ДИЗЬЮНКЦИЯ (от лат. disjunction – разобщение, различие) – логическая операция – аналог употребления союза «или» в обычном языке, с помощью которой из двух или более исходных суждений строится новое суждение.
ДИЛЕММА (от греч. di(s) – дважды и lemma - предположение) – в традиционной логике условно-разделительное умозаключение, т.е. умозаключение, посылками которого являются условные и разделительные суждения.
ДИХОТОМИЯ (от греч. dicha и tome – рассечение на две части) – деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого понятия.
ДОКАЗАТЕЛЬСТВО – рассуждение, устанавливающее истинность какого-либо утверждения путем приведения других утверждений, истинность которых уже доказана.
ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП – принцип, требующий, чтобы в случае каждого утверждения указывались основания, в силу которых оно принимается и считается истинным.
ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО – логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Например: «Аристотель умер в 322 г. до н.э. или он не умер в этом году».
ЗАКОН МЫШЛЕНИЯ – необходимая, существенная связь мыслей в процессе рассуждения.
ИМПЛИКАЦИЯ (от лат. Implication – сплетение, от implico – тесно связываю) – логическая связка, соответствующая грамматической конструкции «если …., то …», с помощью которой из двух простых высказываний образуется сложное высказывание.
ИНДУКЦИЯ (от лат. induction – наведение) – умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью.
КОНЬЮКЦИЯ (от лат. conjunction – союз, связь) – логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказывание. В обычной речи К. соответствует союз «и», поэтому К. читается так: А и В. Например:
«Пассажиры заняли свои места, и поезд тронулся».
ЛОГИКА (от греч. loqos – слово, понятие, рассуждение, разум), или: Формальная логика, – наука о законах и операциях правильного мышления.
МОДАЛЬНОСТЬ (от лат. Modus – мера, способ) – оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «доказуемо», «обязательно», «разрешимо» и т.п.
НЕПРОТИВОРЕЧИЯ ЗАКОН – логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными.
ОБЬЕМ ПОНЯТИЯ – множество предметов, которое мыслится в понятии.
ОПРЕДЕЛЕНИЕ (лат. definition) – логическая операция, раскрывающая содержание понятия.
ПАРАЛОГИЗМ (от греч. paralogismos – неправильное, ложное рассуждение) – непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики.
ПОНЯТИЕ – это форма мышления, отражающая предметы в их существенных признаках.
ПРЕДИКАТ (от лат. praedicatum – сказанное) – языковое выражение, обозначающее какое-то свойство или отношение.
СИЛЛОГИЗМ (от греч. sillogismos) категорический – дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму («Все S суть Р», «Ни одно S не есть Р», «Некоторые S суть Р», «Некоторые S не есть Р»), следует новое суждение (заключение), имеющее также субъектно-предикатную форму.
Примером С. может быть: Все адвокаты – юристы.
Иванов – адвокат.
Иванов – Юрист.
СОДЕРЖАНИЕ ПОНЯТИЯ – совокупность существенных признаков предмета, которая мыслится в данном понятии.
СОФИЗМ – рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению. Примером может служить ставший знаменитым еще в древности С.:
«Рогатый»: «Что ты не терял, то имеешь; рога ты не терял; значит у тебя рога».
СТРОГАЯ ДИЗЬЮНКЦИЯ – суждение, в котором связка «или» употребляется в разделительном значении (символ V).
СУБЪЕКТ СУЖДЕНИЯ – понятие о предмете суждения.
СУЩЕСТВЕННЫЕ ПРИЗНАКИ ПРЕДМЕТА – это признаки, необходимо принадлежащие предмету, выражающие его сущность.
СУЖДЕНИЕ – форма логического мышления, в которой что-либо утверждается или отрицается.
ТЕЗИС – один из элементов доказательства, положение, истинность которого обосновывается в доказательстве.
ЭВРИСТИКА (от греч. heurisko – отыскиваю, открываю) – совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач.
ЭЙЛЕРА КРУГИ – геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью кругов.
ЭНТИМЕМА (от греч. in thymos – в уме) – 1) рассуждение, доказательство, в котором некоторые посылки, либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной форме какая-либо его часть: большая или меньшая посылка, либо заключение.