Abstract

This paper concerns a description of change in the framework of tense interval logic. The main goal is to present an approach to the construction of tense paraconsistent logic. Recent investigations show that moments are inapplicable to the study of the phenomenal continuums: for many kinds of the quality changes, any subdivision of existence time of an object does not separate clearly the state before change from the state after it. It is not possible to determine the last moment of the prior state and the first moment of the posterior one. So, the predicates of natural language are not valued relatively to the moment of time. I consider change as that occupying an interval of time which has fuzzy boundaries. The description of change consists in the conjunction of the descriptions of those states which overlap an interval of change. As a result such description contains inconsistent statements.