Логическая Машина — - механическое, электромеханическое или электронно-вычислительное устройство, предназначенное для полуавтоматического или автоматического решения широкого круга математических и логических задач, для управления технологическими и производственными...

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

Логика Предикатов, Или Функциональная Логика, Теория Квантификации, Кванторная Логика — - основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расширенным вариантом логики высказываний. В Л. п. - в...

Логика Высказываний, Или Пропозициональная Логика — - раздел логики, формализующий употребление логических связок "и", "или", "не", "если, то" и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие высказывания, в...

Логика Времени, Или Временная Логика — - раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ....

Логика Норм — см.: Деонтическая логика.

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

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

Логика Предикатов, Или Функциональная Логика, Теория Квантификации, Кванторная Логика — - основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расширенным вариантом логики высказываний. В Л. п. - в...

Логического Анализа Философия — - течение в современной западной философии, сводящее философию к логическому анализу языка средствами символической логики. Предмет Л. а. ф. - язык науки и формальные языки логики и математики. Возникновение Л. а. ф. связано с интенсивным процессом...