A paraconsistent logic is a logical

A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way.
Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic.

Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle);[1] however, the term paraconsistent ("beside the consistent") was not coined until 1976, by the Peruvian philosopher Francisco Miró Quesada.[2]

ผลลัพธ์ (ไทย) 1:

ตรรกะแบบ paraconsistent เป็นระบบตรรกะที่พยายามจัดการกับกันข้ามวิธีรับการจำแนก หรือ paraconsistent ตรรกะเป็นย่อยของตรรกะที่เกี่ยวข้องกับการศึกษา และการพัฒนาระบบ paraconsistent (หรือ "คล้องป้องกัน") ของตรรกะมีการหารือ logics คล้องป้องกันตั้งแต่ 1910 น้อย (และ arguably มากก่อนหน้า นี้ เช่นในงานเขียนของอาริสโตเติล); [1] อย่างไรก็ตาม paraconsistent ระยะ ("ข้างที่สอดคล้องกัน") ไม่เป็นจนถึง 1976 โดยนักปราชญ์ชาวเปรู Francisco Miró Quesada [2]

ผลลัพธ์ (ไทย) 2:

ตรรกะ paraconsistent เป็นระบบตรรกะที่พยายามที่จะจัดการกับความขัดแย้งในทางเหยียด.
อีกวิธีหนึ่งคือตรรกะ paraconsistent เป็นสาขาย่อยของตรรกะที่เกี่ยวข้องกับการศึกษาและการพัฒนา paraconsistent (หรือ "ความไม่สอดคล้องกันใจกว้าง") ระบบของตรรกะ. ไม่สอดคล้องใจกว้าง logics ได้รับการกล่าวถึงอย่างน้อยตั้งแต่ 1910 (และเนื้อหามากก่อนหน้านี้เช่นในงานเขียนของอริสโตเติล); [1] แต่ paraconsistent คำ ("ข้างที่สอดคล้องกัน") ไม่ได้รับการประกาศเกียรติคุณจนถึงปี 1976 โดยนักปรัชญาฟรานซิสเปรูMiró เฆ. [2]

ผลลัพธ์ (ไทย) 3:

ประธานนักเรียน