Контрфактическое Высказывание
Контрфакти́ческое Выска́зывание, выражается условным предложением с глаголом в сослагательном наклонении; подчеркивает смысловую связь (логическую, причинную и пр.) между высказываниями,...

Концепт
Конце́пт (от лат. conceptus — мысль, понятие),

Конъюнкция
Конъю́нкция (от лат. conjunctio — союз, связь), логический эквивалент союза «и»; операция, формализующая логические свойства этого союза.

Косвенное доказательство
Ко́свенное доказа́тельство,

Круг в доказательстве
Круг в доказа́тельстве, обоснование тезиса доказательства с помощью посылок, в числе которых имеется такая, для оправдания которой приходится, в свою очередь, обращаться к тезису. Доказательство,...

Круг в определении
Круг в определе́нии, логическая ошибка, вхождение определяемого термина в определяющее выражение, в результате чего определение ничего не определяет.

Логика
Ло́гика (греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем...

Логика высказываний
Ло́гика выска́зываний, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных...

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

Логика науки
Ло́гика нау́ки, наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма....

Логика предикатов
Ло́гика предика́тов, раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык,...

Логицизм
Логици́зм, направление в основаниях математики кон. 19 — нач. 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин; рассматривает математику как чисто аналитическую...

Логическая ошибка
Логи́ческая оши́бка, вызывается нарушением правил или законов логики; признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.

Логическая семантика
Логи́ческая сема́нтика, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью — моделью теории, условия существования...

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

Логический синтаксис
Логи́ческий си́нтаксис, в широком смысле — теория (возможно, аксиоматическая), рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру (теоретический...

Логическое исчисление
Логи́ческое исчисле́ние, исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

Логическое следствие
Логи́ческое сле́дствие, суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений.

Математическая логика
Математи́ческая ло́гика, дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической...

Материальная Импликация
Материа́льная Имплика́ция, см. Импликация.