русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Лекция 4. СУЖДЕНИЯ. УМОЗАКЛЮЧЕНИЯ


Дата добавления: 2013-12-24; просмотров: 2166; Нарушение авторских прав


Суждение –форма мышления, логическая связь двух и более понятий в форме утверждения и отрицания, могущая быть истинной и ложной. В суждении всегда что-то утверждается или отрицается. К ним относят только повествовательные предложения. Между понятиями устанавливаются отношения тождества, подчинения, частичного совпадения, которые выразимы утвердительной логической связкой "есть"; отношения противоречия, противоположности и соподчинения выразимы логической связкой "не есть". Эти отношения, выраженные в языковой форме, предложениях, выражают суждения разного вида.

В структуре суждения: субъект, предикат, связка, квантор. Составляющие суждения: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка (логическая связь), количественный показатель предмета мысли (квантор).

Субъектсуждения (S) - логическое подлежащее, отражающее предмет на который направлено внимание, предмет мысли, означает новое знание, которое необходимо доказать.

Предикат суждения (Р) - логическое сказуемое, понятие о признаке предмета, обозначает известное знание. Предикат должен быть более известен, чем субъект, менее проблематичен, и признаваться всеми. Менеджмент (S) - наука об управлении персоналом (Р).

Связка- выражает отношение между субъектом и предикатом, между S и Р, отношение между предметом мысли и его свойствами, выражается союзами (есть - не есть, суть - не суть, является - не является, имеется - не имеется, либо, либо), согласованием слов.

Квантор– явно не выразимый, непостоянный элемент, отражает количественную характеристику субъекта суждения; указывает отношение суждения ко всему объему понятия, выражающего субъект или к его части. Выражается словами: «все», «без исключения», «каждый» - квантор общности; словами «некоторые», «многие», - квантор существования.



В соответствии с количественным и качественным показателями элементов, суждения делятся на виды. По числу субъектов и предикатов их делят на простые и сложные.

Простые - связь устанавливается между одним субъектом и одним предикатом (S—Р).

Сложные - несколько субъектов и предикатов: несколько субъектов при одном предикате, несколько предикатов при одном субъекте. В сложном суждении логическая связь между несколькими простыми суждениями. Признак сложных суждений - логический союз Среди простых суждений по качественной характеристике связки-отношения можно выделить суждения действительности (ассерторические), необходимости (аподиктические) и возможности (проблематические). Всю эту группу суждений называют суждениями модальности. Модальность - степень достоверности содержания простого суждения, что в логической форме выражается связкой и другими логическими операторами.

Суждения действительности (ассерторические) – говорится о наличии (отсутствии) у предмета какого-то признака. «Ассерто» (уверен) указывает, что у предмета А есть свойс-тво В. Они адекватно или неадекватно, но категорично (выражается связками есть, не есть, суть, не суть) отражают настоящее. Сложное суждение состоит из нескольких простых.

Суждения необходимости (аподиктические) – отражают признак, необходимый при всех условиях; могут отражать прошлое, настоящее, будущее. Они выражаются оператором необходимо, включенным в структуру суждения: Необходимо, что S есть Р.

Суждения возможности (проблематические) – отображают вероятность наличия или отсутствия у предмета какого-то признака; отражают то, что могло быть в прошлом, может быть в настоящем и в будущем. Они выражаются оператором возможно, вероятно.

Суждения существования (экзистенциальные) - утверждает существование предмета: Жизнь существует. Связка и предикат сливаются (отождествляются, подразумеваются).

Выделяющие простые категорические суждения отражают принадлежность (или нет) только данному предмету: "Только равноугольные треугольники равносторонни".



<== предыдущая лекция | следующая лекция ==>
Совместимые: Несовместимые | Категорические суждения. Логический квадрат. Отношения суждений


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.003 сек.