Logic Informed

被引:35
作者
Bledin, Justin [1 ]
机构
[1] Johns Hopkins Univ, Baltimore, MD 21218 USA
关键词
COUNTEREXAMPLE; CONDITIONALS; OUGHTS; TRUTH;
D O I
10.1093/mind/fzu073
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
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.
引用
收藏
页码:277 / 316
页数:40
相关论文
共 42 条
[1]  
[Anonymous], ENTAILMENT
[2]  
[Anonymous], 1986, CHANGE VIEW
[3]  
[Anonymous], 1975, The Logic of Conditionals
[4]  
[Anonymous], WHAT SENSE ANY UNPUB
[5]  
[Anonymous], 1983, LOGIC SEMANTICS META
[6]  
Barwise J., 1989, The situation in logic
[7]  
Barwise Jon., 1999, LANGUAGE PROOF LOGIC
[8]  
Bledin J., 2013, LOGIC INFORMED
[9]  
Carroll Lewis., 1894, MIND, V3, P436, DOI DOI 10.1093/MIND/III.11.436
[10]  
Cooper R., 1990, Situation theory and its applications. Volume, V1