×

Harmony in a sequent setting. (English) Zbl 1284.03107

Summary: In response to a problem pointed out by F. Steinberger [Analysis, Oxf. 69, No. 4, 655–661 (2009; Zbl 1284.03105)], the harmony principle of N. Tennant [“Inferentialism, logicism, harmony, and a counterpoint”, in: A. Miller (ed.), Essays for Crispin Wright: logic, language and mathematics. Oxford: Oxford University Press (2011)] is here given a sequent formulation in order to better illustrate its application to the existential quantifier.

MSC:

03A05 Philosophical and critical aspects of logic and foundations

Citations:

Zbl 1284.03105
PDFBibTeX XMLCite
Full Text: DOI Link