Referential Semantics

  • Ryszard Wójcicki
Part of the Synthese Library book series (SYLI, volume 322)


The task of this paper is to define the notion of referential semantics, to comment on its relevance to various epistemological issues and to prove a theorem that defines the class of logics whose logical constants are definable in terms of interpretations set forth by a referential semantics. The theorem I am going to prove extends from propositional to predicate languages, a result I presented in 1979 (see note on referential semantics in Section 16 below).


Free Variable Truth Table Truth Criterion Consequence Operation Atomic Sentence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [243]
    Ludwik Fleck. Entstehung und Entwicklung einer wissenschaftlichen Tatsache, Einführung in die Lehre vom Denkstil und Denkkolektiv. Basel: Schwabe & Co.; 1936. English transl.: Genesis and Development of Scientific Fact, The University of Chicago Press.Google Scholar
  2. [244]
    J. Hintikka. Models for Modalities, Selected Essays. D. Reidel, 1968.Google Scholar
  3. [245]
    S. Kripke. Naming and Necessity. Harvard University Press, 1980.Google Scholar
  4. [246]
    W. A. Pogorzelski. Klasyczny rachunek kwantyfikatorów. PWN, Warszawa, 1981.Google Scholar
  5. [247]
    A. Robinson. Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland, 1963.Google Scholar
  6. [248]
    A. Tarski. Logics, Semantics Metamathematics; Papers from 1923–1928. Clarendon Press, Oxford, 1956.Google Scholar
  7. [249]
    R. Wójcicki. Theory of Logical Calculi. Kluwer Academic Publishers, Dordrecht, 1988.Google Scholar
  8. [250]
    R. Wójcicki. Foundationalism, coherentism and foundherentism — the controversies from an alternative point of view, 2003. To appear in the volume devoted to Susan Haack.Google Scholar
  9. [251]
    R. Wójcicki. A logic is referential iff it is selfextensional. Studia Logica, 73:323–335, 2003.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • Ryszard Wójcicki
    • 1
  1. 1.Institute of Philosophy and SociologyThe Polish Academy of SciencesWarsawPoland

Personalised recommendations