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