- универсальный предикат
- мат. universal predicate
Большой англо-русский и русско-английский словарь. 2001.
универсальный предикат
Смотреть что такое "универсальный предикат" в других словарях:
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ФЕЙЕРБАХ — (Feuerbach) Людвиг Андреас (1804 1872) нем. философ материалист и атеист. Слушал лекции Г.В.Ф. Гегеля в Берлинском ун те, в 1828 защитил диссертацию и стал приват доцентом Эрлангенского ун та, где с 1829 преподавал учение Гегеля и историю новой… … Философская энциклопедия
Гегель Георг — Жизненный путь Георг Вильгельм Фридрих Гегель родился в Штутгарте в 1770 г. Его отец был государственным чиновником, и доходы позволяли дать сыну высшее образование. В местной гимназии Гегель изучал греческую и латинскую классику. С годами… … Западная философия от истоков до наших дней
логика (средневековья) — Ars vetus , Ars nova , Logica modernorum Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней … Западная философия от истоков до наших дней
БЫТИЕ — филос. понятие, обозначающее наличие явлений и предметов самих по себе или как данности в сознании, а не содержательный их аспект. Может пониматься как синоним понятий «существование» и «сущее» или же отличаться от них теми или иными смысловыми… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ХРИСИПП — (Chrisippos) из Сол (ок. 280/277 ок. 208/204 до н.э.) крупнейший представитель раннего стоицизма, ученик и преемник Клеанфа. По скудным сведениям, X. уже в молодые годы приехал в Афины, где слушал Клеанфа, академиков Аркесилая и Лакида. Обладал… … Философская энциклопедия
Стоики — Стоики представители Стои философской школы эпохи эллинизма, одной из крупных школ в истории лингвистических учений. Основателем школы считается Зенон из Китиона на Кипре (около 336 264 до н. э.). Его учителя принадлежали к древнегреческим… … Лингвистический энциклопедический словарь
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
БЫТИЕ И ВРЕМЯ — ’БЫТИЕ И ВРЕМЯ’ (‘Sein und Zeit’, 1927) основная работа Хайдеггера. На создание ‘Б.иВ.’, как традиционно полагается, повлияли две книги: работа Брентано ‘Значение бытия согласно Аристотелю’ и ‘Логические исследования’ Гуссерля. Первая из них… … История Философии: Энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… … Энциклопедия культурологии
