Field of research:
logic and its applications to:
linguistics, philosophy, information sciences and methodology.
Main trends of research interest:
I. Metalogic and Methodology of Sciences,
II. Logic of Language and Logical Philosophy of Language,
III. Theoretical and Applied Information Sciences.
I.1. Some equivalent axiomatic systems of arithmetic of natural and integral numbers (MA thesis and other papers).
I.2. Tarski's theory of deductive systems; formalizations of the consequence operation.
I.3. Theory of rejected sentences; formalizations of the rejection consequence and its application in empirical sciences (Ph.D. dissertation).
II.1. Theory of languages generated by the classical categorial grammar (postdoctoral D.Sc. dissertation; habilitation).
II.2. Logical foundations of ontology of language syntax; token-type distinction of linguistic objects; two different and equivalent levels of formalization of language syntax; categorial semantics.
II.3. Truth and denotation; truth in systems of knowledge; quantifiers in formal or natural languages, and their interpretation.
II.4. Logical and ontological aspects of names.
III.1. Information systems.
III.2. Formal-logical aspects of the theory of rough sets (Pawlak 1982, 1992).
III.3. Computer aided teaching of logic.
III.4. Formal-logical approach to the problem of imprecise information and its language representation.
IV.1. History of logic.
IV.2. The improvement of logical culture; logic in discussion and education.
IV.3. Logic of belief and action.
Main current research interest:
V.1. Knowledge, communication and logic.
V.2. Philosophy of linguistics; compositionality, meaning -- denotation, meaning -- interpretation, meaning -- truth.