Категорическое Суждение

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

— в грамматике естественного языка парный знак препинания (обычно ,, ". Или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле. В логике К. Используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Мос­ква расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обыч­но, а во втором — автонимно, т. Е. В качестве имени самого се..

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

- конеч­ная или бесконечная совокупность объектов, выделенная по об­щему для них признаку (свойству или отношению), мыслимая как нечто целое. Объекты, составляющие К., называются его элемента­ми. Примером К. (м.) могут быть следующие. «реки России», «чет­ные числа». Первый К. Является конечным, второй - бесконечным. Элементами первого К. Являются отдельные реки — Волга, Ока, Енисей и др. Элементами второго К. Являются числа - 0, 2, 4, 6, 8 и т. Д. До бесконечности. Элементами К. Могут быть, в св..