Argument (Dec 2014)
Application of natural deduction in Renaissance geometry
Abstract
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.
