Пётр Испанский

1210 год
-
1277 год

Португалия

Португальский врач, позже принял духовный сан и стал Папой Римским под именем Иоанн XXI.

В 1276 году написал сочинение из 7 трактатов по логике: «Summulae logicales».

Первые 6 трактатов являлись переложением работ по логике Аристотеля и Боэция.

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

После изобретения книгопечатания Иоганном Гутенбергом, вышло около 150 переизданий «Summulae logicales» Петра Испанского в разных странах Европы.

Новости
Случайная цитата
  • Догматы науки по Ю.А. Шрейдеру
    «До последнего времени математики думали, что их наука выгодно отличается от других, поскольку любое утверждение в рамках чисто аксиоматической теории может быть либо строго доказано, либо опровергнуто.Но эти представления были нарушены с появлением в 1931 г. знаменитой теоремы К. Гёделя. Если не прибегать к точной математической формулировке, содержание этой теоремы состоит в том, что всякая достаточно сильная формальная логическая теория содержит такие утверждения, которые нельзя ни доказать,...