On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

Science advances by means of argument and debate. Based on a formal model of complex argumentation, this article assesses the interplay between evidential and inferential drivers in scientific controversy, and explains, in particular, why both evidence accumulation and argumentation are veritistically valuable. By improving the conditions for applying veritistic indicators , novel evidence and arguments allow us to distinguish true from false hypotheses more reliably. Because such veritistic indicators also underpin inductive reasoning, evidence accumulation and argumentation enhance the reliability of (...) inductive inference, for example, inference to the best explanation. 1 Introduction2 Theory of Dialectical Structures3 Debate Simulations4 From Evidence and Arguments to Truth: The First Route5 From Evidence to Truth: The Second Route6 Conclusion. (shrink)

I begin by contrasting two facets of belief: that belief is a response to a sufficiency of evidence and that belief plays a role in one’s representation of reality. I claim that these conceptions of belief are in tension because whilst the latter – Representationalism – requires Logical Coherence of belief the former – Thresholdism – conflicts with Logical Coherence. Thus we need to choose between conceptions. Many have argued that the Preface Paradox supports Thresholdism. In contrast I argue that (...) Representationalism has a more plausible response to the paradox. (shrink)

The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.