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