Single Idea 18813

[catalogued under 5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence]

Full Idea

Logical consequence, I argue, is distinguished from other implication relations by the fact that logical laws may be applied in extending any implication relation so that it applies among some complex statements involving logical connectives.

Gist of Idea

Logical consequence is a relation that can extended into further statements

Source

Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3)

Book Reference

Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.74


A Reaction

He offers implication in electronics as an example of a non-logical implication relation. This seems to indicate that logic must be monotonic, that consequence is transitive, and that the Cut Law always applies.