Before revision: The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by the rules for introducing them into discourse.
After revision: OverviewThe logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by the rules for introducing them into discourse.