Preface

This book is a collection of papers presented at the 5th World Congress on Paraconsistency, which was organized at the Indian Statistical Institute (ISI), Kolkata, India, February 13–17, 2014. A paraconsistent logic is a logic where there is a nonexplosive negation, i.e., from a proposition and its paraconsistent negation it is not necessarily possible to deduce anything. The expression “paraconsistent logic” was coined in a discussion between Newton da Costa and the Peruvian philosopher Francisco Miró Quesada. This expression had a booming effect as recalled by da Costa: