Languages, Meta-languages and METATEM, A Discussion Paper

, , , &
Logic Journal of the IGPL 4 (2):255-272 (1996)
  Copy   BIBTEX

Abstract

Meta-languages are vital to the development and usage of formal systems, and yet the nature of meta-languages and associated notions require clarification. Here we attempt to provide a clear definition of the requirements for a language to be a meta-language, together with consideration of issues of proof theory, model theory and interpreters for such a language

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Structure and Texture: Toward an Understanding of Real Languages.Emmon Bach - unknown
Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Is English really a formal language?Robin Cooper - unknown
Index sets for ω‐languages.Douglas Czenzer & Jeffrey B. Remmel - 2003 - Mathematical Logic Quarterly 49 (1):22-33.
Restorations of punctured languages and similarity of languages.Gerhard Lischke - 2006 - Mathematical Logic Quarterly 52 (1):20-28.
Meta Kritik der Erkenntnis des Sprachlichen.Klaas Willems - 1990 - Studia Germanica Gandensia.
A theory of truth for a class of mathematical languages and an application.S. Heikkilä - manuscript
The IDEF family of languages.Christopher Menzel - 1998 - In Peter Bernus, Kai Mertins & Günter J. Schmidt (eds.), Handbook on Architectures of Information Systems. Springer-Verlag. pp. 209-241.
Meta-argumentation modelling I: Methodology and techniques.Dov Guido Boella, Leendert der Torre M. Gabbavany & Serena Villata - forthcoming - Studia Logica.
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Wittgenstein and the Sorites Paradox.David Wolach - 2007 - Sorites 19:58-60.
Toward using bio-ontologies in the Semantic Web: trade-offs between ontology languages.Mariano Rodr´Iguez - unknown
An Introductory Lecture on the Metaphysics & Philosophy of Languages Being the First Number of a Philosophical and Practical Grammar of the English and French Languages.Peter Stephen Chazotte - 1981 - Printed for the Author.
Meta-Argumentation Modelling I: Methodology and Techniques.Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata - 2009 - Studia Logica 93 (2-3):297 - 355.
Towards otherland: languages of science and languages beyond.Rainer Ernst Zimmermann & Vladimir G. Budanov (eds.) - 2005 - Kassel: Kassel University Press.

Analytics

Added to PP
2015-02-04

Downloads
12 (#1,090,574)

6 months
4 (#798,384)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references