Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...) that Brouwer has invited us to introduce into mathematics. (shrink)

The two different layers of logical theory—epistemological and ontological—are considered and explained. Special attention is given to epistemic assumptions of the kind that a judgement is granted as known, and their role in validating rules of inference, namely to aid the inferential preservation of epistemic matters from premise judgements to conclusion judgement, while ordinary Natural Deduction assumptions serve to establish the holding of consequence from antecedent propositions to succedent proposition.

According to Brouwer’s ‘theory of the exodus of consciousness’, our experience includes ‘egoicity’, a distinct kind of feeling. In this paper, we describe his phenomenology in order to explore and elaborate on the notion of egoic sensations. In the world of perception formed from sensations, some of them are, Brouwer claims, not completely separated or ‘estranged’ from the subject, which is to say they have a certain degree of egoicity. We claim this phenomenon can be explained in terms of the (...) primordial state of consciousness from where the ‘exodus’ starts. Having undertaken the analysis and interpretation of Brouwer’s descriptions and examples of egoic sensations, we provide a formal account of egoicity based on Brouwer’s definition of its relation to estrangement, desire and fear. We show that the four terms can be modeled by a classical and a graded logical hexagon, giving the corresponding axiomatizations. (shrink)

The use of the three labels to denote the three foundational schools of the early twentieth century are now part of literature. Yet, neither their number nor the...

Alongside the analogy between maximal ideals and complete theories, the Jacobson radical carries over from ideals of commutative rings to theories of propositional calculi. This prompts a variant of Lindenbaum’s Lemma that relates classical validity and intuitionistic provability, and the syntactical counterpart of which is Glivenko’s Theorem. The Jacobson radical in fact turns out to coincide with the classical deductive closure. As a by-product we obtain a possible interpretation in logic of the axioms-as-rules conservation criterion for a multi-conclusion Scott-style entailment (...) relation over a single-conclusion one. (shrink)