Что такое исчисление предикатов первого порядка? Душкин объяснит
Предикативное мышление
Предикативное мышление противопоставляется логическому или считается ложно-логическим. Разберемся в чем суть да дело. Предикат (от лат. praedicatum – сказанное) – языковое выражение, обозначающее какое-либо свойство или отношение. Предикат, указывающий на свойство отдельного предмета («зеленый», «теплый»), называется одноместным. Предикат, обозначающий отношение, называется двухместным, трехместным и т.д., в зависимости от числа членов данного отношения («любит» – двухместный предикат, «находится между» – трехместный)...
ФАТАЛЬНЫЕ ОШИБКИ СОВРЕМЕННОЙ НАУКИ. – ЧТО ТАКОЕ ЛОГИКА? – ЧТО ТАКОЕ МАТ.ЛОГИКА? – И ЧТО ТАКОЕ "ТЕОРЕМЫ ГЁДЕЛЯ"?
Для современного физ-мат.обывателя "логическая история", о которой я хочу рассказать, началась в далеком 1900 году на 2-ом Международном конгрессе математиков. Главным событием II Конгресса стал программный доклад Давида Гильберта, сделанный 8 августа 1900 года на заседании 5-й и 6-й секций. Доклад носил скромное название «Математические проблемы», но в нём Гильберт перечислил наиболее насущные и важнейшие, по его мнению, проблемы математики. Математический мир принял этот вызов, и в течение века большинство проблем были так или иначе решены...