Non-Transitive Identity

Abstract

This chapter defines a notion of identity in the second-order paraconsistent logic LP. The notion does not have the properties of transitivity or substitutivity, but these may be regained in consistent contexts. The chapter then discusses applications of this notion of identity, especially to entities involved in change. Soritical changes come in for special consideration.