Метод экстенсионала и интенсионала в логике Рудольфа Карнапа

Ключевые понятия: Семантический анализ значения, семантическая система S1, десигнатор (designators), декларативное предложение (повествовательное), , индивидные выражения, дескрипции, предикатор (предикатные постоянные), функтор, оператор, дескриптор, пропозитор, статор, L-истинность (логическая истинность), внеязыковые факты, семантические правила, логическая валентность (истина или ложь), язык-объект S1, метаязык М, экстенсионал (extension) - класс, интенсионал (intension) - свойство, коннекторы (логические связки), индивидные переменные (x, y, z), предложение (sentence) - декларативное предложение, матрица предложений, матрица степени n (n - число вхождений свободных переменных), правила истинности, экспланд (explandum), экспликат (explicaandum), описание состояния (state description)


Экстенсионал один у двух эквивалентных десигнаторов. Интенсионал один у двух десигнаторов, если они L-эквивалентны.

Мнение "Джон считает, что сейчас идет дождь" выражено предложением, которое не является ни экстенсиональным, ни интенсиональным.