Abstract

We offer an overview of the relation between formal logic and naturalism. In Section 2, examples are considered of empirically-motivated logics. In Section 3, an empirically-motivated interpretation of alethic modalities is outlined. Through both issues, we attempt to support the thesis that formal logic can be regarded as a quasi-empirical, or already naturalized discipline.