Словарь логики

  • в грамматике естественного языка парный знак препинания (обычно ,, " или " "), используемый для выделения прямой речи или отдельных выражений

  • (в традиционной логике) -суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования к.-л. условий и

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

  • см.: Онтологическая модальность

  • - диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (A), общеотрицательными (

  • (Функциональная логика) (теория квантификации) (кванторная логика) - основной раздел современной (математической, символической) логики, в

  • КЛАСС (МНОЖЕСТВО)(В ЛОГИКЕ И МАТЕМАТИКЕ) конечная или бесконечная совокупность объектов, выделенная по общему для них признаку (свойству и

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

  • см.: Логика классическая

  • а- конечнная или бесконечная совокупность объектов, выделенная по обнщему для них признаку (свойству или отношению), мыслимая как нечто цел

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

  • - логическая операция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студенто

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

  • (от лат. conventio - соглашение) договор, соглашение, условие. Разнообразные К. играют значительную роль в науке и в повседневной жизни. Спор, дис

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

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

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

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

  • (от лат. contradictorius - противоречащий) отношение между противоречащими друг другу суждениями. В традиционной логике противоречащими друг друг

  • общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквен

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

  • (от лат. conceptus- понятие) содержание понятия, то же, что и смысл. В семантической концепции Р. Карнапа между языковыми выражениями и соответст

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

  • доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения. При прямом доказат

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

  • логическая ошибка, связанная с нарушением одного из правил определения и состоящая в том, что при определении некоторого понятия в опреде