- теория квантификации
- мат. theor of quantification
Большой англо-русский и русско-английский словарь. 2001.
теория квантификации
Смотреть что такое "теория квантификации" в других словарях:
теория квантификации — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ФИЛОСОФСКАЯ ЛОГИКА — весьма широкая область логических исследований, ориентированных на философские проблемы и требующих применения философских, содержательных методов и категориального аппарата. Ф.л. не является ни особой философской дисциплиной, ни особым разделом… … Современная западная философия. Энциклопедический словарь
логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
логика функциональная — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
кванторная логика — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ИНФОРМАЦИОННАЯ КУЛЬТУРА — 1. Совокупность норм, правил и стереотипов поведения, связанных с информ. обменом в об ве (сегодня в науке практически вышло из употребления); 2. Понятие, характеризующее культуру с т.зр. кумулируемой, обрабатываемой и транслируемой в ее… … Энциклопедия культурологии
СОЦИОЛОГИЯ КАК НАУКА — (SOCIOLOGY AS SCIENCE) В социологии давно ведется полемика о том, в какой степени или в каком смысле социология является наукой. В общепринятое понимание наук входит представление о том, что они имеют определенные цели и используют определенные… … Социологический словарь
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
