Göran Sundholm
(2010-2019)
XConstructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer
The vocabulary of epistemology, with observations on some surprising shortcomings of the English language
2014
in: Mind, values, and metaphysics II, Dordrecht : Springer
Containment and variation: two strands in the development of analyticity from Aristotle to Martin-Löf
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
Demonstrations versus proofs, being an afterword to constructions, proofs, and the meaning of the logical Constants
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
"Inference versus consequence" revisited: inference, consequence, conditional, implication
2012
Synthese 187/3
Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf
2012
with Dybjer P, Lindström Sten, Palmgren Erik (ed)
Dordrecht, Springer