- определение истинности
- мат. truth definition
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
определение — (лат. definitio) логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. О. понятия термин говорит, что это… … Словарь терминов логики
KRITIK — (нем.; фр. critique; русск. критика; англ. criticism от греч. kritike искусство судить) 1) в классической философии понятие, фиксирующее в своем содержании аналитическое рассмотрение социально (культурно) артикулированного объекта (концепции),… … История Философии: Энциклопедия
КРИТИКА — (нем.; фр. critique; русск. критика; англ. criticism от греч. kritike искусство судить) 1) в классической философии понятие, фиксирующее в своем содержании аналитическое рассмотрение социально (культурно) артикулированного объекта (концепции),… … История Философии: Энциклопедия
семантическое понятие истины — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… … Словарь терминов логики
истины семантическое понятие — классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе Понятие истины в формализованных языках (1935). Тарский исходит из… … Словарь терминов логики
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
ФИЛОСОФСКАЯ ЛОГИКА — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в 19 в. отделилась («отпочковалась») от философии и перестала … Философская энциклопедия
ВАЙЦЗЕККЕР — [нем. Weizsäcker] Карл Фридрих фон (род. 28.06.1912, г. Киль 28 апр. 2007), нем. физик, философ и политический деятель. В. принадлежит к семье, давшей Германии известных ученых, военных и политических деятелей. Несмотря на интерес к философии… … Православная энциклопедия
SMART — У этого термина существуют и другие значения, см. Smart. SMART / SMARTER это мнемоническая аббревиатура, используемая в менеджменте и проектном управлении для определения целей и постановки задач. Известное использование термина упоминается … Википедия
МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… … Философская энциклопедия