Концепт — (от лат. conceptus- понятие) - содержание понятия, то же, что и смысл. В семантической концепции Р. Карнапа между языковыми выражениями и соответствующими им денотатами, т. е. реальными предметами, имеются еще некоторые абстрактные объекты - К.

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

Лжеца Парадокс — - один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: "Я лгу". Или говорит: "Высказывание, которое я сейчас произношу, является ложным". Или: "Это высказывание ложно". Если высказывание ложно,...

Лемма — (от греч. lemma - предположение) - в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике - условно-разделительное, или лемматическое, умозаключение (см.: Дилемма).

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

Концепт — (от лат. conceptus- понятие) - содержание понятия, то же, что и смысл. В семантической концепции Р. Карнапа между языковыми выражениями и соответствующими им денотатами, т. е. реальными предметами, имеются еще некоторые абстрактные объекты - К.

Лемма — (от греч. lemma - предположение) - в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике - условно-разделительное, или лемматическое, умозаключение (см.: Дилемма).

Категория — (от греч. kategoria - высказывание, обвинение, признак) - предельно общее фундаментальное понятие, отражающее наиболее существенные, закономерные связи и отношения реальной действительности и познания. Будучи формами и устойчивыми организующими...

Класс, Множество (в Логике И Математике) — - конечная или бесконечная совокупность объектов, выделенная по общему для них признаку (свойству или отношению), мыслимая как нечто целое. Объекты, составляющие К., называются его элементами. Примером К. (м.) могут быть следующие: "реки России",...

Иррациональное — (от лат. irrationalis - неразумный, бессознательный) - находящееся на пределами разума, противоречащее логике. Обычно противопоставляется рациональному как разумному, целесообразному, обоснованному. Понимание И. зависит от определения...