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