Экзистенциальное Высказывание — (от лат. existentia - су­ществование)  — высказывание о существовании к.-л. предметов и явлений, напр.: «Жизнь на Марсе существует», «Существуют ядови­тые грибы» и т. п. Для выражения таких высказываний в формаль­ном языке используется квантор...

Энтимема — (от греч. in thymos — в уме)  — 1) рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной форме к.-л. его часть: большая или меньшая...

Язык —  — знаковая система, используемая для целей коммуника­ции и познания. Системность Я. выражается в наличии в каждом язы­ке помимо словаря также синтаксиса и семантики. Природа и значе­ние языкового знака не могут быть поняты вне языковой системы. Все...

Эйлера Круги —  - геометрическая наглядная иллюстрация объе­мов понятий и отношений между ними с помощью кругов. Если круг A иллюстрирует объем понятия «студенты», а круг В иллюс­трирует объем понятия «спортсмены», то отношение между объемами этих понятий можно...

Язык Науки —  – система понятий, знаков, символов, создаваемая и используемая той или иной областью научного познания для по­лучения, обработки, хранения и применения знаний. В качестве спе­циального языка конкретных наук обычно используется некоторый фрагмент...

Язык Семантически Замкнутый —  – язык, который содер­жит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя...

Эвристика — (от греч. heurisko - отыскиваю, открываю)  - со­вокупность приемов и методов, облегчающих и упрощающих реше­ние познавательных, конструктивных, практических задач. Э. назы­вают также специальную научную область, изучающую специфику творческой...

Эпихейрема — (от греч. epiheirema — умозаключение)  — сокра­щенный силлогизм, в котором обе посылки представляют собой энтимемы. Примером Э. может быть следующее рассуждение. Ложь заслуживает презрения, т. к. она безнравственна. Лесть есть ложь, т. к. она есть...

Функтор —  — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние...

Частное Суждение —  - суждение, имеющее логическую струк­туру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение). Примера­ми частных суждений могут быть: «Некоторые металлы являются жидкими» (1), «Некоторые...