Studia Logica

, Volume 85, Issue 1, pp 105–132

Meaning and Interpretation. I


DOI: 10.1007/s11225-007-9026-0

Cite this article as:
Wybraniec-Skardowska, U. Stud Logica (2007) 85: 105. doi:10.1007/s11225-007-9026-0


The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic concepts of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language.


Token-type distinctiontoken-syntaxtype-syntaxmeaningreferringdenotationsynonymy unambiguityambiguity

Copyright information

© Springer Science+Business Media, Inc. 2007

Authors and Affiliations

  1. 1.Department in Chorzów Autonomous Section of Applied Logic and Methodology of Sciences Wandy 66Poznań School of BankingChorzówPoland