Urszula Wybraniec-Skardowska

The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies and teaching of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as exchange of thoughts, and cooperation with representatives of other disciplines.The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key representatives of the School (among others, Ajdukiewicz, Lesniewski, Łukasiewicz,Tarski), accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing the other segment to the name – Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period – the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of followers are listed accordingly. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland.

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility.

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication.

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic.

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects).

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two dierent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier.

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility.

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions.

The considerations presented in this work are an attempt at giving an answer to the arising doubts: it is obvious to philosophers and logicians that such considerations must be grounded on a relevant conception of the truth and the lie, on bringing up one of the most difficult and disturbing philosophical problems, that is the problemate of the truth, on investigating what the lie is. The confusion about the notions related to the ambiguous terms of “the truth” and “the lie” introduces, in turn, a confusion connected with attempts at answering the questions posed. Thus, in the first part of this paper, we will deal with the very notion itself, or – more precisely – with the notions of the truth; in the second one – with the notions of the lie, and in the third part – we will juxtapose the notions of the truth and the lie in such a way that in each case it should be possible to provide an answer to the question asked in the title of the work. Part four, being the final one, contains certain summary of it, as well as final considerations as a peculiar challenge.

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.

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic.

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types.

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of ‚faith’ and ‚action’, and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF, 2) the logic of deed LD, and 3) certain logics of norms DL connected with „duties” and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)–3).

In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has proved that the theories T+, T−, and T′ are equivalent.

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science.

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284.

The present essay deals with certain questions in the feld of humanistic philosophy, ethics and axiology, discussed in the light of still newer and newer challenges of our changing times. It highlights the signicant role of Professor Andrzej Grzegorczyk in solving and overcoming problems encountered in the life of man, which is based on his natural logic and incessant eorts aimed at preservation of fundamental moral values, as well as at shaping the principles of the individual and social life. The views held by An- drzej Grzegorczyk, which are outlined in the work, form a certain rationalistic vision of the world and mankind.

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic.

The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are connected with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category.

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality.

This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5-131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of rejected propositions II" with Jerzy Słupecki and Grzegorz Bryll.

The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School—a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies and teaching of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as exchange of thoughts, and cooperation with representatives of other disciplines. The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key representatives of the School, accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing the other segment to the name—Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period—the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of continuators are listed accordingly. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland.

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF (doxastic logics), 2) the logic of deed LD, and 3) certain logics of norms DL (deontic logics) connected with "duties" and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)-3).

The paper deals with the problem of logical adequacy of language knowledge with cognition of reality. A logical explication of the concept of language knowledge conceived of as a kind of codified knowledge is taken into account in the paper. Formal considerations regarding the notions of meta-knowledge (logical knowledge about language knowledge) and truth are developed in the spirit of some ideas presented in the author’s earlier papers (1991, 1998, 2001a,b, 2007a,b,c) treating about the notions of meaning, denotation and truthfulness of well-formed expressions (wfes) of any given categorial language. Three aspects connected with knowledge codified in language are considered, including: 1) syntax and two kinds of semantics: intensional and extensional, 2) three kinds of non-standard language models and 3) three notions of truthfulness of wfes. Adequacy of language knowledge to cognitive objects is understood as an agreement of truthfulness of sentences in these three models.

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”.