логика предикатов
111ЗАКОН ЛОГИЧЕСКИЙ — ЗАКОН ЛОГИЧЕСКИЙ общее название законов, образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos e как предпосылке объективной (“природной”) правильности рассуждений. Собственно логическое… …
112Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, т.е. именами отдельных единичных «сущностей» реальных или идеальных, а …
113Обобщение — форма приращения знания путём мысленного перехода от частного к общему, которой обычно соответствует и переход на более высокую ступень абстракции (См. Абстракция). Пример: переход от наблюдения над совокупностями индивидуализированных… …
114Сложная система — составной объект, части которого можно рассматривать как системы (См. Система), закономерно объединённые в единое целое в соответствии с определенными принципами или связанные между собой заданными отношениями. Понятием С. с. пользуются в …
115Номиналисты — Номинализм (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, то есть именами отдельных единичных «сущностей» реальных или… …
116множеств теория — МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… …
117логический закон — ЛОГИЧЕСКИЙ ЗАКОН общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреч. понятию о логосе как о предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание …
118ЛОЖЬ — заявление, рассчитанное на обман, когда говорящий умалчивает или искажает то, что он знает о рассматриваемом положении вещей, либо когда он знает нечто другое, чем то, что он говорит. С точки зрения этики ложь подлежит осуждению, если обман… …
119металогика — МЕТАЛОГИКА (от греч. meta после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. Поскольку современное развитие логики привело к тому, что сами рассуждения образуют те или иные… …
120полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… …