Chapter 1: A brief summary of Göran Sundholm's philosophical work
Chapter 2: Formative experiences
Chapter 3: Bibliography
Chapter 4: Epistemic assumptions: Are they assumed to be backwards vindicated or forwards vindicable?
Chapter 5: Dialogical logic and constructive type theory: New explorations
Chapter 6: Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
Chapter 7: How to classify varieties of consequence
Chapter 8: Informal classical and intuitionistic proofs together
Chapter 9: Judgmental and definitional equality from a Fregean perspective
Chapter 10: "Sind die Zahlformeln beweisbar?"
Chapter 11: Handling mobility failures by modal types
Chapter 12: The ideal of unity of science tested against the Liar
Chapter 13: Vindicating the future: A dialogical stance on Belnap's approach to tomorrow's sea battle
Chapter 14: Goodbye Oxhead. Prolegomena to the philosophy of the letter
Chapter 15: Logical deducibility and logicality in 1837
Chapter 16: Frege on knowing the fundamental laws of logic
Chapter 17: Sundholm on Wittgenstein and Realism
Chapter 18: Becker's rule is not Becker's rule
Chapter 19: Judgment and commitment
Chapter 20: Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity
Chapter 21: Gastronomical Platonism.