Абстра́кция — процесс отвлечения (абстрагирования) от тех или иных характеристик объекта для их избирательного анализа; при этом наблюдаемый объект замещается его идеализированным теоретическим образом — абстрактным объектом. Абстракции являются универсальным методом научного познания, они необходимы для формирования понятий, узнавания и классификации объектов исследования на всех уровнях формирования знаний.

Определе́ние, дефини́ция — логическая процедура придания строго фиксированного смысла терминам языка. Термин, над которым проводится операция дефиниции, называется дефидентом.

Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Поня́тие — отображённое в мышлении единство существенных свойств и связей предметов; мысль, выделяющая и обобщающая предметы (объекты) некоторого класса по общим и в своей совокупности специфическим для них признакам.
Катего́рия в филосо́фии — предельно общее понятие, выражающее наиболее существенные отношения действительности. Изучение категорий заключается в определении наиболее фундаментальных и широких классов сущностей.
Су́щность, суть — смысл данной вещи, то, что она есть сама по себе, в отличие от всех других вещей и в отличие от изменчивых состояний вещи.

Инду́кция — умозаключение от фактов к некоторой гипотезе. Различают полную индукцию, когда обобщение относится к конечно-обозримой области фактов, и неполную индукцию, когда оно относится к бесконечно или конечно-необозримой области фактов.
Эпи́тет — определение при слове, влияющее на его выразительность, красоту произношения.
Вид — основная структурная единица биологической систематики живых организмов ; таксономическая, систематическая единица, группа особей с общими морфофизиологическими, биохимическими и поведенческими признаками, способная к взаимному скрещиванию, которое даёт в ряду поколений плодовитое потомство, закономерно распространённая в пределах определённого ареала и сходно изменяющаяся под влиянием факторов внешней среды.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Кантиа́нство — система критической философии, разработанная Иммануилом Кантом, а также другие философские системы, возникшие под влиянием его идей.
И́мя — часть речи, дающая название для человека, продукта, идеи или концепции, обычно используемая для того, чтобы отличить его от других, принадлежащих к тому же классу.
Соста́в преступле́ния представляет собой совокупность объективных и субъективных признаков, закреплённых в уголовном законе, которые в сумме определяют общественно опасное деяние как преступление. Признаки состава преступления закрепляются в нормах общей и особенной части уголовного права. Их можно условно разделить на четыре подсистемы: признаки объекта, субъекта, объективной и субъективной стороны преступления.
Грамма́тика как наука является разделом языкознания (лингвистики), который изучает грамматический строй языка, закономерности построения правильных, осмысленных речевых отрезков на этом языке. Эти закономерности грамматика формулирует в виде общих грамматических правил.
Объе́кт преступле́ния — уголовно-правовая категория, которая используется для обозначения общественных институтов, которым причиняется ущерб вследствие совершения преступления. Чаще всего в числе таких институтов называются общественные отношения, а также социальные ценности, интересы и блага: человек, его права и свободы, собственность, общественный порядок и общественная безопасность, окружающая среда, государственный строй и государственное управление, мир и безопасность человечества. В законодательствах различных стран мира этот перечень может варьироваться, но перечисленные объекты являются основными и охраняются практически во всех странах.
Содержа́ние поня́тия — это совокупность существенных и отличительных признаков предмета, качества или множества однородных предметов, отражённых в этом понятии, поскольку с точки зрения логики всякое понятие имеет содержание и объём. Например, содержанием понятия «коррупция» является совокупность двух существенных признаков: «сращивание государственных структур со структурой преступного мира» и «подкуп и продажность общественных и политических деятелей, государственных чиновников и должностных лиц».
Экстенсиона́л — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком».
Интенсиона́л — термин семантики, обозначающий содержание понятия, то есть совокупность мыслимых признаков обозначаемого понятием предмета или явления. Например, в интенсионал понятия «Сократ» входят все свойства, которыми обладает Сократ: человек, мужчина, грек, философ и т.д. Интенсионал противопоставляется экстенсионалу, то есть множеству объектов, способных именоваться данной языковой единицей.
«Логические исследования» — философское сочинение Э. Гуссерля. Хотя в «Логических исследованиях» ещё не развёрнуты все характерные для феноменологии темы, это — исходная для феноменологического движения работа, о которой сам Гуссерль сказал позднее, что она стала для него «произведением прорыва».
Остенсивное определение — определение предмета путём непосредственного показа. Например, в зоопарке можно определить зебру, просто показав на неё и сообщив: «это — зебра». Остенсивное определение очевидным образом не может быть чисто словесным.