Logical harmony, a name coined by Michael Dummett, is a property on the rules of inference that a given logical system can satisfy. == Overview == The logician Gerhard Gentzen proposed that the meanings of logical connectives does not need to be defined by a world outside of logic, but could be given by the rules for using them within logic itself.
Logical harmony, a name coined by Michael Dummett, is a property on the rules of inference that a given logical system can satisfy. == Overview == The logician Gerhard Gentzen proposed that the meanings of logical connectives does not need to be defined by a world outside of logic, but could be given by the rules for using them within logic itself.
Source: Wikipedia "Logical harmony" · CC BY-SA 4.0
Share this article: X · Bluesky