Интерсубъективный

- понятия, введенные ав­стрийским логиком и философом Р. Карнапом для анализа зна - чения языковых выражений. Метод И. И Э. Представляет собой модификацию и дальнейшую разработку семантической концеп­ции немецкого математика и логика Г. Фреге. Но если для Фреге исходным и основным было понятие имени, то Карнап скорее ориентировался на роль прилагательных - он анализировал пре­дикаты. Утверждение «Сократ — человек» можно трактовать двоя­ко. Можно считать, что это утверждение приписывает Сократу н..

(от лат. Interpretatio - разъяснение, истолко­вание) - в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы. В результате формальная система превращается в язык, описыва­ющий ту или иную предметную область. Сама эта предметная об­ласть и значения, приписываемые символам и формулам, также наз. И. Рассмотрим обычное построение исчисления высказываний. Сначала задается список исходных с и м в о л о в. А, В, С, . ~, &, Ú®,), (. Затем уст..

- интуитивные представления о пра­вильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления. И. Л., как правило, успешно справляется с встающими перед нею задачами, но совершенно недостаточна для анализа и критики неправильных рассуждений. Правильно ли рассуждает человек, когда говорит. «Если бы барий был металлом, он проводил бы электрический ток. Барий прово­дит электрический ток, следовательно, он металл». Чаще всего на основе логической интуиции отвечают. Правильн..

- направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно-содержатель­ная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление ряда натуральных чисел и на прин­цип математической индукции, истолковываемый как требование действовать последовательно, шаг за шагом. Допускаются лишь конструктивные доказательства существования рассматриваемого объекта, указывающие способ его пост..