This volume constitutes the Proceedings of a workshop on formal seman tics of natural languages which was held in Tiibingen from the 1st to the 3rd of December 1977. Its main body consists of revised versions of most of the papers presented on that occasion. Three supplementary papers (those by Gabbay and Sma by) are included because they seem to be of particular interest in their respective fields. The area covered by the work of scholars engaged in philosophical logic and the formal analysis of natural languages testifies to the live liness in those disciplines. It would have been...