On Relational and Functional Languages

• Authors: Vladimir Shalack
• Languages of publication: EN

Abstracts

EN

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

EN

relational language; functional language; substantivemetaphysics

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2012
• Volume: 21
• Issue: 1
• Pages: 25-32

Dates

published

2012-03-01

online

2013-07-02

Contributors

author

Vladimir Shalack

• Section of Logic Institute of Philosophy Russian Academy of Sciences Volkhonka 14 119991 Moscow, Russia

References

• [1] Carnap, R., “Die alte und die neue Logik”, Erkenntnis, Bd. I, Leipzig, 1930-1931, p. 12-26.
• [2] Kleene, S.C., Introduction to Metamathematics, Elsevier Science Ltd, 1952.
• [3] Mendelson, E., Introduction to Mathematical Logic, D. Van Nostrand Co. Inc., New York, 1997 (fourth edition).
• [4] Smirnov, V.A., Logicheskie metody analiza nauchnogo znanija, Nauka, Moskva, 1987.

Identifiers

DOI

10.12775/LLP.2012.002