Two Indian dialectical logics: saptabhangi and catuskoti