- универсальная импликация
- мат. universal implication
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
СТОИЦИЗМ — учение одной из наиболее влиятельных филос. школ античности, основанной ок. 300 г. до н.э. Зеноном из Китиона. История С. традиционно делится на три периода: ранняя стоя (Зенон, Клеанф, Хрисипп и их ученики, 3 2 вв. до н.э.), средняя стоя… … Философская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Кроче Бенедетто — Идеализм в Италии до Кроче и Джентиле Вряд ли случаен тот факт, что именно Неаполь стал в известном смысле колыбелью итальянского идеализма. В Неаполитанском университете преподавали Аугусто Вера (1813 1885) и Бертрандо Спавента (1817 1883),… … Западная философия от истоков до наших дней