無矛盾律
無矛盾律は、証明や反証に無矛盾律自身を使う必要があり、論点先取となってしまうため、証明も反証もできないとされている 。しかし、20世紀初頭から何人もの論理学者が無矛盾律を弱めたり否定したりする論理体系を提案してきた。これらの論理体系を総称して矛盾許容論理と呼ぶ。グラハム・プリーストは、この考え方を推し進め、真矛盾主義 に到達した。