Введение в неклассические логики. Лекция 2. Исчисление предикатов
Предикативное мышление
Предикативное мышление противопоставляется логическому или считается ложно-логическим. Разберемся в чем суть да дело. Предикат (от лат. praedicatum – сказанное) – языковое выражение, обозначающее какое-либо свойство или отношение. Предикат, указывающий на свойство отдельного предмета («зеленый», «теплый»), называется одноместным. Предикат, обозначающий отношение, называется двухместным, трехместным и т.д., в зависимости от числа членов данного отношения («любит» – двухместный предикат, «находится между» – трехместный)...
Основы формальной и предикатной логики первого порядка
Аристотель считал, что логика — инструмент к познанию, который объединяет методом получения информации науки