Общее понятие о предикативной логике и ее основные элементы: субъект, предикат, субъектно-предикатная связка. Логический смысл операторов предикации. Основные типы высказываний силлогистики Аристотеля. Исследование проблемы разрешения в логике предикатов.
Аннотация к работе
Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образованияВ рамках данного раздела любое высказывание (пропозиция, предложение) рассматривается как некоторый структурно-сложный символ, разделяющийся на субъект, предикат и субъектно-предикатную связку. Субъект указывает на целостное понятие о предмете суждения; предикат - на к.-л. отдельное свойство, присущее предмету суждения; субъектно-предикатная связка - на отношение предикации (присущности), имеющее место между предметом суждения и отдельным свойством рассматриваемого предмета. Логика предикатов - раздел современной логики символической, изучающий рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально, т. е. как знаки некоторых функций или же знаки аргументов этих функций. Предикаторы репрезентируют функции, возможными аргументами которых являются объекты некоторого универсума рассмотрения, а значениями - истинностные оценки (в классической логике - это “истина” и “ложь”). Напр., предикатор “человек” представляет функцию, которая каждому отдельному человеку сопоставляет оценку “истина”, а каждому отличному от человека существу - оценку “ложь”. В основе классической логики предикатов лежат, прежде всего, общие для всех классических систем логики принципы - двузначности (всякое высказывание принимает ровно одно из двух значений: “истину” или “ложь”), экстенсиональности (значение сложного выражения зависит только от значений составляющих его выражений), а также идущая от Аристотеля классическая трактовка истины как соответствия наших утверждений действительности.