- математика без отрицания
- лог. negationless mathematics
Большой англо-русский и русско-английский словарь. 2001.
математика без отрицания
Смотреть что такое "математика без отрицания" в других словарях:
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
Философия — есть свободное исследование основных проблем бытия, человеческого познания, деятельности и красоты. Ф. имеет задачу весьма сложную и решает ее различным образом, стараясь соединить в одно разумное целое данные, добытые наукой, и религиозные… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Положительная логика — логика, в которой приемлемыми считаются только рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия
КАНТ — (Kant) Иммануил (1724 1804) нем. философ, крупнейший представитель нем. идеализма. Доцент (1755 1770), проф. Кёнигсбергского ун та (1770 1796). В философии К. традиционно выделяется два периода: «докритический» (до 1770) и «критический». Ранние… … Философская энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
Писарев, Дмитрий Иванович — даровитый критик; родился 2 октября 1840 г. в родовом селе Знаменском, на границе Орловской и Тульской губерний. До 11 лет он рос в семье единственным любимым сыном; воспитывался под влиянием матери бывшей институтки; к 4 летнему возрасту уже… … Большая биографическая энциклопедия
