It is argued that indicative conditionals are best viewed as having truthconditions (and so they are in part factual) but that these truth conditions are 'gappy'which leaves an explanatory gap that can only be filled by epistemic considerations (and soindicative conditionals are in part epistemic). This dual nature of indicative conditionalsgives reason to rethink the relationship between logic viewed as a descriptive discipline(focusing on semantics) and logic viewed as a discipline with a normative import (focusingon epistemic notions such as 'reasoning', 'beliefs' and 'assumptions). In particular, it isargued that the development of formal models for epistemic states can serve as a startingpoint for exploring logic when viewed as a normative discipline.
展开▼