непротиворечивый язык
Смотреть что такое "непротиворечивый язык" в других словарях:
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
интуиционизм — направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление … Словарь терминов логики
ВИТГЕНШТЕЙН — (Wittgenstein) Людвиг (1889 1951) австрийско британский философ, профессор Кембриджского университета (1939 1947), скиталец и подвижник. Основоположник двух этапов становления аналитической философии в 20 в. логического (совместно с Расселом) и… … История Философии: Энциклопедия
ВИТГЕНШТЕЙН — (Wittgenstein) Людвиг (1889 1951) австрийский философ, профессор Кембриджского университета (1939 1947). Основоположник двух этапов становления аналитической философии в 20 в. логического (совместно с Расселом) и лингвистического. Автор ряда… … Новейший философский словарь
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
ВИТГЕНШТЕЙН Людвиг (1889- 1951) — австрийско британский философ, профессор Кембриджского университета (1939 1947), скиталец и подвижник. Основоположник двух этапов становления аналитической философии в 20 в. логического (совместно с Расселом) и лингвистического. Автор термина… … История Философии: Энциклопедия
ГУДМЕН — (Goodman) Нелсон (р. 7.8.1906, Соммервилл, шт. Массачусетс), амер. философ и логик. Представитель аналитической философии. В своих филос. исследованиях Г. стремится обосновать логически непротиворечивый базис «единой системы описания… … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ФОРМАЛЬНЫЙ — (лат. formalis, от forma). Сделанный с соблюдением всех формальностей, по установленному порядку; исполненный только для вида, ради формы. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ФОРМАЛЬНЫЙ лат. formalis,… … Словарь иностранных слов русского языка
логичный — См … Словарь синонимов
несовместимый — несовместный, противоречивый, несовпадающий, несоответствующий, несочетающийся; разнонаправленный, несоединимый, взаимоисключающий. Ant. совместимый, совместный, непротиворечивый, совпадающий, соответствующий, сочетающийся Словарь русских… … Словарь синонимов