I argue that the implementation of theDummettian program of an ``anti-realist'' semanticsrequires quite different conceptions of the technicalmeaning-theoretic terms used than those presupposed byDummett. Starting from obvious incoherences in anattempt to conceive truth conditions as assertibilityconditions, I argue that for anti-realist purposesnon-epistemic semantic notions are more usefully kept apart from epistemic ones rather than beingreduced to them. Embedding an anti-realist theory ofmeaning in Martin-Löf's Intuitionistic Type Theory(ITT) takes care, however, of many notorious problemsthat have arisen in trying to specify suitableintuitionistic (...) notions of semantic value,truth-conditions, and validity, taking into accountthe so-called ``defeasibility of evidence'' forassertions in empirical discourses. (shrink)

Even though Husserl and Brouwer have never discussed each other's work, ideas from Husserl have been used to justify Brouwer's intuitionistic logic. I claim that a Husserlian reading of Brouwer can also serve to justify the existence of choice sequences as objects of pure mathematics. An outline of such a reading is given, and some objections are discussed.

An anti-realist theory of meaning suitable for both logical and proper axioms is investigated. As opposed to other anti-realist accounts, like Dummett-Prawitz verificationism, the standard framework of classical logic is not called into question. In particular, semantical features are not limited solely to inferential ones, but also computational aspects play an essential role in the process of determination of meaning. In order to deal with such computational aspects, a relaxation of syntax is shown to be necessary. This leads to a (...) general kind of proof theory, where the objects of study are not typed objects like deductions, but rather untyped ones, in which formulas have been replaced by geometrical configurations. (shrink)