Application of natural deduction in Renaissance geometry

Abstract

Źródło finansowania: Artykuł ten powstał w wyniku realizacji projektu badawczego nr 2012/07/B/HS1/01986 finansowanego ze środków Narodowego Centrum Nauki. My goal here is to provide a detailed analysis of the methods of inference that are employed in De prospectiva pingendi. For this purpose, a method of natural deduction is proposed. The treatise by Piero della Francesca is a manifestation of a union between the fine arts and the mathematical sciences of arithmetic and geometry. He defines painting as a part of perspective and, speaking precisely, as a branch of geometry, which is why we find advanced geometrical exercises here.