Non-constructive inference and conditionals David Over Psychology Department Durham University Thanks to: The organizers Nagoya University Japan Society for the Promotion…