Рассмотрение категорий языка через призму логическихкатегорий.... Ориентация на содержательный аспект рассматриваемых явлений и категорий языка в их связи с категориями... , которые мыслятся как формы выражения универсальных категорий мышления.... Логическое изучение языка основано на представлении о том, что логические структуры, то есть структуры... категорий.
В статье предпринимается попытка выявить основы и функциональный характер категории СПИСОК, а также определить логическую структуру данной категории, включающую интенсиональные контексты. В результате исследования логических механизмов выделения значения в рамках СПИСКА была определена процедура вычисления семантического значения его членов и границ его контекста. Были установлены логические кванторы СПИСКА, позволяющие комбинировать экстенсиональные элементы с интенсиональными функционалами. Также определены перспективы применения данной модели.
Становление теории семантических категорий
Определение 1
Теория семантических категорий и ее роль... в обосновании логических систем – это формальная система, которая использует обобщенные символы для... описания логических систем, и идею обобщенного словаря, в котором каждое слово имеет определенный значение... , и предоставляет практический метод для описания логических систем и инструменты для обоснования логических... Дальнейшее развитие теории происходило в 1960-е годы в англоязычной логической литературе (М.
Логический плюрализм оказывается гораздо более интригующим явлением, если мы обратимся к рассмотрению следствий логического плюрализма для элементарных логических теорий. Если мы откажемся от того, что в их основании лежит исключительно классическая логика, то мы оказываемся в области неклассических элементарных логических теорий, основанных на различных неклассических логиках. Это особенно важно, если учесть, что такие теории лежат в основе неклассических математик, по меткому выражению «существует столько математик сколько и логик», достаточно вспомнить релевантную арифметику, квантовую теорию множеств, нечеткую теорию множеств, паранепротиворечивую математику и др. В статье предлагаются неклассические аксиоматические теории категорий, основанные на некоторых неклассических категориальных структурах.
методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.
