интенсиональная логика

интенсиональная логика
мат. intensional logic

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужна курсовая?

Смотреть что такое "интенсиональная логика" в других словарях:

  • ИНТЕНСИОНАЛЬНАЯ ЛОГИКА —     ИНТЕНСИОНАЛЬНАЯ ЛОГИКА область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает… …   Философская энциклопедия

  • интенсиональная логика —         ИНТЕНСИОНАЛЬНАЯ ЛОГИКА (от лат. intension усиление) область символической логики, в которой формализуют понятие смысла языкового выражения. Традиция различать смысл (англ. sense, meaning; нем. Sinn) и значение (англ. reference,… …   Энциклопедия эпистемологии и философии науки

  • РЕЛЕВАНТНАЯ ЛОГИКА —     РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… …   Философская энциклопедия

  • релевантная логика —         РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …   Энциклопедия эпистемологии и философии науки

  • Список нестандартных логик —     …   Википедия

  • Список неклассических логик —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

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

  • Войшвилло, Евгений Казимирович — (р.14.09.1913) философ, логик; д р филос. наук, проф. Род. во Владивостоке. Окончил Казанский ун т (1939). Работал асс. по математике в Финансово экон. ин те в Казани, преп. математики в средней школе и директором школы в Хабаровске (1941 1943);… …   Большая биографическая энциклопедия

  • семантика логическая —         СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… …   Энциклопедия эпистемологии и философии науки

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • ИМЕНОВАНИЯ ТЕОРИЯ —     ИМЕНОВАНИЯ ТЕОРИЯ теория, развитая Г. Фреге для семантического анализа формального языка арифметики, пригодного для построения теоретической арифметики, но применяемая как самим Фреге, так и рядом его последователей и для анализа… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»