Skip to main content
Log in

A Logic is Referential iff it is Selfextensional

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The title of this paper is a theorem, which I am going to state and prove. The theorem extends from prepositional to predicate languages the result I presented in [5].

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Hintikka, J., Models and Modalities, Selected Essays, D. Reidel, 1968.

  2. Pogorzelski, W.A., Klasyczny rachunek kwantyfikatorów, PWN, Warszawa, 1981.

    Google Scholar 

  3. Robinson, A., Introduction to model theory and to the metamathematics of algebra, North-Holland Publ., 1963.

  4. Tarski, A., Logics, Semantics Metamathematics; Papers from 1923–1928, Clarendon Press, Oxford, 1956.

    Google Scholar 

  5. WÓjcicki, R., Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht, 1988.

    Google Scholar 

  6. WÓjcicki, R., ‘Referential semantics’, to appear in V. F. Hendricks, K. F. Jørgensen, S. A. Pedersen (eds), Knowledge Contributors, Synthese Library Series, Kluwer Academic Publishers, Dordrecht, 2003.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wójcicki, R. A Logic is Referential iff it is Selfextensional. Studia Logica 73, 323–335 (2003). https://doi.org/10.1023/A:1023360709757

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1023360709757

Navigation