Search results for "Metalogic"
showing 2 items of 2 documents
Foundations for the formalization of metamathematics and axiomatizations of consequence theories
2004
Abstract This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems initiated by Tarski, in particular research on (i) the axiomatization of the general notion of consequence operation, (ii) axiom systems for the theories of classic conse…
Leon Henkin the Reviewer
2014
In this chapter, we intend to look at Henkin’s reviews, a total of forty-six. The books and papers reviewed deal with a large variety of subjects that range from the algebraic treatment of logical systems to issues concerning the philosophy of mathematics and, not surprisingly—given his active work in mathematical education—one on the teaching of this subject. Most of them were published in The Journal of Symbolic Logic and only one in the Bulletin of the American Mathematical Society. We will start by sorting these works into subjects and continue by providing a brief summary of each of them in order to point out those aspects that are originally from Henkin, and what we take to be mistake…