Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Leibniz's 333-year-old problem solved

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.math.bas.bg/~vlsot/

Author:Vladimir Sotirov
Description: Arithmetizations of the traditional syllogistic. The first Leibniz trial to arithmetize the Aristotelian syllogistic explored divisibility of integers; it was unsuccessful. The second one used pairs of co-prime numbers and was successful, as Slupecki proved. However, this second translation did not include the syllogistics of term negation or term conjunction. In this paper Sotirov justifies the viability of Leibniz' earlier and less complicated idea and proposes two translations into arithmetic that are appropriate for the extended syllogistic as well.

Levels: College, Research
Languages: English
Resource Types: Articles
Math Topics: Logic/Foundations, Number Theory

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.