Formalized and Artificial Languages

Synthese 14 (4):320 - 326 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00869312

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

Formalized and artificial languages.W. A. Verloren van Themaat - 1962 - Synthese 14 (4):320-326.
A Note Concerning The Notion Of Satisfiability.Leon Horsten - 2004 - Logique Et Analyse 47.
Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
Towards otherland: languages of science and languages beyond.Rainer Ernst Zimmermann & Vladimir G. Budanov (eds.) - 2005 - Kassel: Kassel University Press.
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.
"Every man in his notions" or alchemists' discussion on artificial intelligence.Mariusz Flasiński - 1997 - Foundations of Science 2 (1):107-121.
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
Two kinds of quotation mark expressions in formalized languages.Tadeusz Kubiński - 1965 - Studia Logica 17 (1):31 - 51.
Sources of Domain-Independence in the Formal Sciences.Kevin de Laplante - unknown
Artificial Intelligence, Language and Thought: Third Meeting of [Sic] Istanbul-Vienna Philosophical Circle.Erwin Lucius & Şafak Ural (eds.) - 1999 - Isis Press.
The Role of Artificial Languages.Martin Stokhof - 2011 - In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. London: Routledge. pp. 5440553.
How to Verify an Epistemic Protocol with DEL.Jan van Eijck - unknown
The Future of Artificial Languages.A. H. Mackinnon - 1909 - The Monist 19 (3):420-425.
The Future of Artificial Languages.C. T. Strauss - 1908 - The Monist 18 (4):609-624.

Analytics

Added to PP
2011-05-29

Downloads
20 (#766,692)

6 months
5 (#637,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references