Mind 123 (490):277-316 (
2014)
Copy
BIBTEX
Abstract
Do logically valid arguments necessarily preserve truth? Certain inferences involving informational modal operators and indicative conditionals suggest that truth preservation and good deductive argument come apart. Given this split, I recommend an alternative to the standard truth preservation view of logic on which validity and good deductive argument coincide: logic is a descriptive science that is fundamentally concerned not with the preservation of truth, but with the preservation of structural features of information. Along the way, I defend modus ponens for the indicative against an attack by Kolodny and MacFarlane, and I present a new proof system, Info, appropriate to this informational view