Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

This paper proposes an account of mathematical reasoning as parallel in structure: the arguments which mathematicians use to persuade each other of their results comprise the argumentational structure; the inferential structure is composed of derivations which offer a formal counterpart to these arguments. Some conflicts about the foundations of mathematics correspond to disagreements over which steps should be admissible in the inferential structure. Similarly, disagreements over the admissibility of steps in the argumentational structure correspond to different views about mathematical practice. (...) The latter steps may be analysed in terms of argumentation schemes. Three broad types of scheme are distinguished, a distinction which is then used to characterize and evaluate four contrasting approaches to mathematical practice. (shrink)

The dual-aspect monist conjecture launched by Pauli and Jung in the mid-20th century will be couched in somewhat formal terms to characterize it more concisely than by verbal description alone. After some background material situating the Pauli–Jung conjecture among other conceptual approaches to the mind–matter problem, the main body of this paper outlines its general framework of a basic psychophysically neutral reality with its derivative mental and physical aspects and the nature of the correlations that connect these aspects. Some related (...) approaches are discussed to identify key similarities to and deviations from the Pauli–Jung framework that may be useful for cross-fertilization. (shrink)