Content: BIBLIOSortPubli: byDateDesc
Publityp: ALL
Filter Corrresp: ALL
PubliLang: ALL
Decade: ALL
Göran Sundholm
BibliographyBiographyWork & ideasLiteratureCORRESPALLBOOKSBOOKEDARTJRNLBYTITLECHRONOANTICHRONO
with Dybjer P, Lindström Sten, Palmgren Erik (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Dordrecht, Springer.
with Van Atten Mark (2008) "The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar theorem", in: Boldini Pascal; Bourdeau Michel; Heinzmann Gerhard (ed), One hundred years of intuitionism (1907–2007): the Cerisy conference, Dordrecht, Springer, pp.60-77.- (2013) "Demonstrations versus proofs, being an afterword to constructions, proofs, and the meaning of the logical Constants", in: van der Schaar Maria (ed), Judgement and the epistemic foundation of logic, Dordrecht, Springer, pp.15-22.
- (2013) "Containment and variation: two strands in the development of analyticity from Aristotle to Martin-Löf", in: van der Schaar Maria (ed), Judgement and the epistemic foundation of logic, Dordrecht, Springer, pp.23-35.
- (1999) "Intuitionism and logical tolerance", in: Woleński Jan; Köhler Eckehart (ed), Alfred Tarski and the Vienna circle: Austro-Polish connections in logical empiricism, Dordrecht, Springer, pp.135-148.
- (2003) "Tarski and Leśniewski on languages with meaning versus languages without use", in: Hintikka Jaakko; Czarnecki Tadeusz; Placek Tomasz; Rojszczak Artur (ed), Philosophy and logic in search of the Polish tradition: essays in honour of jan Woleński on the occasion of his 60th birthday, Dordrecht, Springer, pp.109-128.
- (2004) "Antirealism and the roles of truth", in: Niiniluoto Ilkka; Sintonen Matti; Woleński Jan (ed), Handbook of epistemology, Dordrecht, Springer, pp.437-466.
- (2014) "Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session", in: Dubucs Jacques; Bourdeau Michel (ed), Constructivity and computability in historical and philosophical perspective, Dordrecht, Springer, pp.1-35.
- (2014) "The vocabulary of epistemology, with observations on some surprising shortcomings of the English language", in: Reboul Anne (ed), Mind, values, and metaphysics II: philosophical essays in honor of Kevin Mulligan, Dordrecht, Springer, pp.203-208.
- (2002) "A century of inference: 1837–1936", in: Grdenfors Peter; Gärdenfors Peter; Woleński Jan; Kijania-Placek Katarzyna (ed), In the scope of logic, methodology and philosophy of science II: 11th international congress of logic, methodology and philosophy of science, cracow, august 1999, Dordrecht, Springer, pp.565-580.
- (2012) ""Inference versus consequence" revisited: inference, consequence, conditional, implication", Synthese 187 (3), pp.943-956.
- (2006) "Semantic values for natural deduction derivations", Synthese 148 (3), pp.623-638.
- (1989) "Constructive generalized quantifiers", Synthese 79 (1), pp.1-12.
- (1992) "The general form of the operation in Wittgenstein's Tractatus", Grazer Philosophische Studien 42, pp.57-76.