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)
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 >