непротиворечивость

  • 121целостность данных — Свойство, при выполнении которого данные сохраняют заранее определенный вид и качество. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] целостность данных Сервис контроля доступа, гарантирующий, что принятые по сети данные не были… …

    Справочник технического переводчика

  • 122ПРОТИВОРЕЧИЕ — (в логике), наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно отрицание другого; в широком смысле утверждение о тождестве заведомо различных объектов. Противоречие указывает либо на логическую порочность приводящего к… …

    Современная энциклопедия

  • 123возможность логическая — одна из модальных характеристик высказывания, наряду с необходимостью , невозможностью и случайностью ; высказывание возможно, если его отрицание не является логически необходимым. В. л. обычно выражается оборотом возможно, что A (A какое то… …

    Словарь терминов логики

  • 124гипотеза — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… …

    Словарь терминов логики

  • 125Закон Мышления - — термин традиционной логики, аобознанчавший требование к логически совершенному мышлению, имею щее формальный характер, т. е. не зависящее от конкретного сондержания мыслей. 3. м. назывались также законами логики или (формально ) логическими… …

    Словарь терминов логики

  • 126интуиционизм — направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление …

    Словарь терминов логики

  • 127логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …

    Словарь терминов логики

  • 128метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… …

    Словарь терминов логики

  • 129предпочтений логика — логика сравнительных оценок, выражаемых при помощи понятий лучше , хуже , равноценно , называемых предпочтениями. Логическое исследование сравнительных оценок началось в конце 40 х годов этого века в связи с попытками установить формальные… …

    Словарь терминов логики

  • 130Бочаров, Вячеслав Александрович — (р. 13.12.1937) спец. по логике; д р филос. наук, проф. Род. в Москве. В 1965 окончил филос. ф т МГУ. С 1966 работает на кафедре логики филос. ф та МГУ, с 1990 проф. этой кафедры. Канд. дисс. "Силлогистика без экзистенциальных… …

    Большая биографическая энциклопедия

  • 131Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… …

    Большая биографическая энциклопедия

  • 132Смирнова, Елена Дмитриевна — (р. 28.04.1929) спец. по логике; д р филос. наук, проф. Род. в Киеве. Окончила филос. ф т МГУ (1954), асп. по кафедре логики того же ф та (1963). С 1963 работает на той же кафедре, в наст. вр. проф., а также с 1996 зав. сектором логики ИФ РАН, в… …

    Большая биографическая энциклопедия

  • 133Яшин, Борис Леонидович — (р. 09.09.1945) спец. по логике и теории познания; д р филос. наук, проф. Род. в Егорьевске Моск. обл. Окончил матем. ф т МГПИ им. Ленина, (1973) и асп. по кафедре филос. того же ин та (1977). Работал на кафедре филос. МГПИ асс., ст. преп., доц; …

    Большая биографическая энциклопедия

  • 134Лейбниц Готфрид Вильгельм — Лейбниц (Leibniz) Готфрид Вильгельм (1.7.1646, Лейпциг, 14.11.1716, Ганновер), немецкий философ идеалист, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском университетах. В 1668… …

    Большая советская энциклопедия

  • 135Логика науки —         в специальном смысле дисциплина, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика научного развития),… …

    Большая советская энциклопедия

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

    Большая советская энциклопедия

  • 137Минимальная логика —         логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …

    Большая советская энциклопедия

  • 138Натуральное исчисление —         исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического …

    Большая советская энциклопедия

  • 139Нейрат Отто — Нейрат (Neurath) Отто (10.12.1882, Вена, ‒ 22.12.1945, Оксфорд), австрийский философ, социолог и экономист. Один из организаторов и лидеров Венского кружка. В 1934‒40 жил в Голландии, с 1941 ‒ в Великобритании, где преподавал в Оксфордском… …

    Большая советская энциклопедия

  • 140Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя)         философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, т.е. именами отдельных единичных «сущностей» реальных или идеальных, а …

    Большая советская энциклопедия