Intuitions, theory choice and the ameliorative character of logical theories

Anti-exceptionalists about logic claim that logical methodology is not different from scientific methodology when it comes to theory choice. Two anti-exceptionalist accounts of theory choice in logic are abductivism (defended by Priest and Williamson) and predictivism (recently proposed by Martin and Hjortland). These accounts have in common reliance on pre-theoretical logical intuitions for the assessment of candidate logical theories. In this paper, I investigate whether intuitions can provide what abductivism and predictivism want from them and conclude that they do not. As an alternative to these approaches, I propose a Carnapian view on logical theorizing according to which logical theories do not simply account for pre-theoretical intuitions, but rather improve on them. In this account, logical theories are ameliorative, rather than representational