We give characterizations for the (in ZFC unprovable) sentences “Every -set is measurable” for various notions of measurability derived from well-known forcing partial orderings.Expand

We describe the planning problem within the framework of dynamic epistemic logic (DEL), considering the tree of sequences of events as the underlying structure.Expand

The peer review process has been the topic of many studies in the medical sciences, but not so in mathematics. Given that mathematicians refer to results from the literature without checking the… Expand

In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and… Expand

We generalize lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.Expand

In this paper, we present a paradigm for the philosopher of mathematics who takes mathematical practice seriously: Empirical Philosophy of Mathematics. In this philosophical paradigm, we use… Expand