![](/public/assets/img/creator/_default.jpg)
Göran Sundholm
14 Publications
1 - 10 >Constructive 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, Berlin,
The vocabulary of epistemology, with observations on some surprising shortcomings of the English language
2014
in: Mind, values, and metaphysics II, Berlin,
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, Berlin,
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, Berlin,
"Inference versus consequence" revisited
inference, consequence, conditional, implication
2012
Synthese 187 (3)
![](/public/assets/img/publi/_default/cover.jpg)
Epistemology versus ontology
essays on the philosophy and foundations of mathematics in honour of per Martin-löf
2012
P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds)
Berlin, Springer
The proper explanation of intuitionistic logic
on Brouwer's demonstration of the Bar theorem
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
Tarski and Leśniewski on languages with meaning versus languages without use
2003
in: Philosophy and logic in search of the Polish tradition, Berlin,
14 Publications
1 - 10 >