Софи́зм — формально кажущееся правильным, но ложное по существу умозаключение, основанное на преднамеренно неправильном подборе исходных положений.
Мета́фора — слово или выражение, употребляемое в переносном значении, в основе которого лежит сравнение предмета или явления с каким-либо другим на основании их общего признака. По Б. В. Томашевскому, метафора – «такой случай тропа, когда предмет, означаемый прямым значением слова, имеет какое-нибудь косвенное сходство с предметом переносного значения».
Сильная и слабая типизация или строгая и нестрогая типизация — характеристика системы типов языка программирования, отражающая существенные ограничения на приведение типов при присваиваниях и операциях. Языки, в которых такие ограничения менее строгие, называют — слабо типизированными.
Парадо́кс в широком смысле — высказывание, мнение, рассуждение, которое расходится с общепринятым мнением и кажется нелогичным или противоречащим здравому смыслу.
Оксю́морон, окси́морон, а также оксюморо́н, оксиморо́н — образное сочетание противоречащих друг другу понятий; остроумное сопоставление противоречивых понятий, парадокс; стилистическая фигура или стилистическая ошибка — сочетание слов с противоположным значением.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Плеона́зм — оборот речи, в котором происходит дублирование некоторого элемента смысла; наличие нескольких языковых форм, выражающих одно и то же значение, в пределах законченного отрезка речи или текста; а также языковое выражение, в котором имеется подобное дублирование.
Катахре́за — троп или стилистическая ошибка, неправильное или необычное употребление сочетаний слов с несовместимыми буквальными лексическими значениями.
Семанти́ческая сеть — информационная модель предметной области, имеет вид ориентированного графа. Вершины графа соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть: понятия, события, свойства, процессы. Таким образом, семантическая сеть — это один из способов представления знаний.
Джордж Буль — английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Праязы́к, иногда протоязы́к — предполагаемый предковый язык, в древовидной модели исторической лингвистики, от которого, как считается, в процессе развития с образованием новой языковой семьи произошёл ряд существующих родственных языков. Праязыки обычно не поддаются прямому изучению или, в лучшем случае, исследуются частично, реконструируются с помощью сравнительно-исторического метода.
Алоги́зм — нелогическое рассуждение, ход мысли, нарушающий законы и правила логики, либо факт, который не укладывается в рамки логического мышления, то, что нельзя обосновать логически, противоречащее логике.
Э́двард Лир — английский художник и поэт, один из основоположников «поэзии бессмыслицы», автор многочисленных популярных абсурдистских лимериков.
Фигу́ра ре́чи — термин риторики и стилистики, обозначающий различные речевые конструкции, которые придают речи стилистическую значимость, образность и выразительность, изменяют её эмоциональную окраску.
Абсу́рд, неле́пость, бессмы́сленность — отсутствие смысла, толка, рассудка в ком, в чём, нечто нелогичное, нелепое, противоречащее здравому смыслу.
Лад — одно из главных понятий русской музыкальной науки, центральное понятие в учении о гармонии. Единственная и общепринятая дефиниция лада отсутствует, как это нередко бывает с фундаментальными понятиями в разных науках. Чаще всего слово «лад» употребляют по отношению к двум тональным ладам — мажору и минору. «Ладами» упрощённо называют звукоряды западных и восточных модальных ладов — натуральных, церковных, традиционных восточных.
Апелляция к авторитету — вид оспаривания аргументаций, предложение считать некоторое утверждение корректным потому, что такое утверждение сделано неким источником, считающимся авторитетным.
«Бесцве́тные зелёные иде́и спят я́ростно» — пример, использованный Ноамом Хомским в книге «Синтаксические структуры» для демонстрации неэквивалентности понятий «грамматичность» и «осмысленность». Хомский, сравнивая данное предложение с другим, построенным не в соответствии с правилами английской грамматики, писал:
