A short seventeenth-century text, sometimes cited as one of the first essays in mathematical logic, is introduced, translated and evaluated. Although by no means sharing the depth and magnitude of the investigations by Leibniz being undertaken at the same time, and although in particular not yet applying algebraic symbolism to logical structures, the treatise is of historical interest as an early published attempt to trace out analogies between logical and mathematical form, and may be viewed as…
Read moreA short seventeenth-century text, sometimes cited as one of the first essays in mathematical logic, is introduced, translated and evaluated. Although by no means sharing the depth and magnitude of the investigations by Leibniz being undertaken at the same time, and although in particular not yet applying algebraic symbolism to logical structures, the treatise is of historical interest as an early published attempt to trace out analogies between logical and mathematical form, and may be viewed as a preliminary step toward the formalization of logic