On relational and functional languages

Vladimir Shalack

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

Abstract


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

Keywords


relational language; functional language; substantive metaphysics

Full Text:

PDF

References


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