Research Group
in Analytic Philosophy

Abstract

We motivate and develop an extension of Nelson's constructive logic N3 that adds a counterfactual conditional to the existing setup. After developing the semantics, we will outline how our account will be able to give a nice analysis of natural language counterfactuals. In particular, the account does justice to the intuitions and arguments that have lead Alan Hájek to claim that most conditionals are false but assertable, without actually forcing us to endorse that rather uncomfortable claim.