On relational and functional languages

Vladimir Shalack

DOI: http://dx.doi.org/10.12775/LLP.2012.002


We prove two theorems concerning expressive power of relational and functional languages. The theorems have interesting consequences for the history of philosophy and logic.


relational language; functional language; substantive metaphysics

Full Text:



Carnap, R., “Die alte und die neue Logik”, Erkenntnis, Bd. I, Leipzig, 1930–1931, p. 12–26.

Kleene, S.C., Introduction to Metamathematics, Elsevier Science Ltd, 1952.

Mendelson, E., Introduction to Mathematical Logic, D. Van Nostrand Co. Inc., New York, 1997 (fourth edition).

Smirnov, V.A., Logicheskie metody analiza nauchnogo znanija, Nauka, Moskva, 1987.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism