Abstract In this paper we will consider the existing notions of bilateralism in context proof-theoretic semantics and propose, based on our understanding bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under name before that do not multiple speech acts as core such a theory but rather consequence relations. We argue for aim most beneficia...

Einstein initially objected to the probabilistic aspect of quantum mechanics— the idea that God is playing at dice. Later he changed his ground, and focussed instead on the point that the Copenhagen Interpretation leads to what Einstein saw as the abandonment of physical realism. We argue here that Einstein's initial intuition was perfectly sound, and that it is precisely the fact that quantum ...

The target of this paper is twofold. The first part develops firstly a very general and abstract topic, by describing what philosophy of logic is, when it is embedded in a genuine philosophical system, and it secondly provides an explanation of the reason why intuitionism, assumed as genuine philosophical system, is in total harmony with the contemporary intuitionistic formal logic. This part e...

The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano-Dedekind postulates for arithmetic within a theory of natural numbers that also accounts for their applicability in counting finite collections of objects. The axioms still to be derived are those for addition and multiplication. Frege did not der...