Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

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

Категория — (от греч. kategoria — высказывание, обвинение, признак) — предельно общее фундаментальное понятие, отражающее наиболее существенные, закономерные связи и отношения реальной действительности и познания.

Класс, Множество (в логике и математике) — конечная или бесконечная совокупность объектов, выделенная по общему для них признаку (свойству или отношению), мыслимая как нечто целое. Объекты, составляющие К., называются его элементами.

Классификация — многоступенчатое, разветвленное деление логического объема понятия. Результатом К. является система соподчиненных понятий: делимое понятие является родом, новые понятия — видами, видами видов (подвидами) и т. д.

Конвенция — (от лат. conventio — соглашение) — договор, соглашение, условие.

Коннотация — (от лат. connotatio — добавочное значение) — дополнительные черты, оттенки, сопутствующие основному содержанию понятия, суждения.

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

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

Контекстуальное Определение — см.: Определение контекстуальное.

Контрадикторная Противоположность — (от лат. contradictorius — противоречащий) — отношение между противоречащими друг другу суждениями.

Контрапозиции Закон — общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания.

Контрарная Противоположность — (от лат. contrarius — противоположный) — отношение между противными, или противоположными, суждениями (см.: Логический квадрат).

Концепт — (от лат. conceptus— понятие) — содержание понятия, то же, что и смысл.

Конъюнкция — (от лат. conjunctio — союз, связь) — логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказывание. Это новое высказывание называется конъюнктивным высказыванием или просто К.

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

Круг в Доказательстве — (лат. — circulus in demonstrando) — логическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса.

Круг в Определении — логическая ошибка, связанная с нарушением одного из правил определения и состоящая в том, что при определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с помощью данного определяемого понятия.