look into paraconsistent logic, it at least tries to work around contradictions
but contradictions in paraconsistent logic aren't really contradictions per se (e.g. it will rain tomorrow and it won't rain tomorrow - which works if it rains for half of the day - not really a contradiction in the strict sense but in a more general one)
