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

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


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

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

Гипотеза Каринского о логическом выводе

Гипотеза М.И. Каринского:

"Озирая все просмотренные нами модификации умозаключающей деятельности, мы можем, повидимому, прийти к тому выводу, что процесс умозаключения есть решение вопроса о праве перенести один из элементов одного суждения на соответствующее ему место в другом суждении, - решение, которое мотивируется или тождеством или противоречием между остальными элементами тех же суждений (Каринский, С.176).

Чтобы суждения "А есть В" и "А есть С" дали для меня заключение "некоторые В суть С", я должен посмотреть на них как на такие, которые дают возможность установить определение для В; затем я должен понять суждение "А есть В" в таком смысле, чтобы оно оправдывало мое право перенести на В то, что высказано об А в суждении "А есть В" (Каринский, С.58).