Direct vs. Indirect Consequences of Empirical Verifications
Résumé
Professor Prawitz has made four claims in his talk. The first claim is that one should be able to generalize the intuitionistic theory of meaning already available for mathematical discourse to empirical discourse. Since each claim constitutes a step in an argument of a general form in favour of some new kind of antirealistically inclined theory of meaning (with a final pessimistic overtone), I shall go over each claim one by one, check whether the argument which links them in the way described is sound, and assess on that basis the appropriateness of the project (and of the pessimism).