Abstract

This paper examines how the intellectual heritage of Tarski's «scientific semantics» contributes to the metalogic of Carnap, and viceversa. It seeks first to establish the connections between the Warsaw School in metamathematics and semantics. Secondly, the author explores the relationship between the Warsaw School and the Vienna Circle. Third, the specific influences of Tarski's program on the logical syntax of language will be analyzed and finally, the internal discussions conduced within the Vienna Circle in relation to Carnap's contribution to metalogic will be discussed