No abstract

As an extension of the traditional theory of the syllogism, Leibniz's algebra of concepts is built up from the term-logical operators of conjunction, negation, and the relation of containment. Leibniz's laws of consistency state that no concept contains its own negation, and that if concept A contains concept B, then A cannot also contain Not-B. Leibniz believed that these principles would be universally valid, but he eventually discovered that they have to be restricted to selfconsistent concepts. This result is of utmost importance for the philosophical foundations of connexive logic, i.e. for the question how far either "Aristotle's Thesis", ¬(α → ¬α), or "Boethius's Thesis", (α → β) → ¬(α → ¬β), should be accepted as reasonable principles of a logic of conditionals.

No abstract

No abstract

No abstract