กฎหมายอิสลาม ยุคแรกให้ความสำคัญกับการกำหนดมาตรฐานการโต้แย้ง ซึ่งก่อให้เกิด "แนวทางใหม่ในตรรกศาสตร์ " ( ภาษาอาหรับ: منطق manṭiq "การพูด, วาทศิลป์") ในกะลาม (ปรัชญาอิสลาม) ^{[ 1 ]} อย่างไรก็ตาม ด้วยการเกิดขึ้นของ นักปรัชญา มุอ์ตะซิลิผู้ซึ่งให้คุณค่าสูงกับออร์กาโนนของอริสโตเติลแนวทางนี้จึงถูกแทนที่ด้วยแนวคิดเก่าจาก ปรัชญาเฮลเลนิสติก ผลงานของอัล-ฟาราบีอ วิเซน นาอัล - กาซาลีและนักตรรกศาสตร์มุสลิมคนอื่นๆ ที่มักวิพากษ์วิจารณ์และแก้ไขตรรกศาสตร์ของอริสโตเติล และนำเสนอรูปแบบตรรกศาสตร์ของตนเอง ก็มีบทบาทสำคัญในการพัฒนาตรรกศาสตร์ของยุโรปในยุคฟื้นฟูศิลปวิทยาใน เวลาต่อมา ^{[ 2 ]}นักวิชาการที่ศึกษาตรรกศาสตร์อิสลาม ได้แก่นิโคลัส เรสเชอร์ซึ่งในผลงานปี 1964 ได้นำเสนอนักตรรกศาสตร์ภาษาอาหรับประมาณ 170 คน โดยที่หนังสือเล่มนี้ไม่ได้ครอบคลุมทั้งหมด^{[ 3 ]}มีบทความต้นฉบับหลายร้อยฉบับในหัวข้อนี้ รวมทั้งคำอธิบายหรือคำอธิบายเพิ่มเติมอีกหลายพันฉบับในภายหลัง

อ้างอิงจากสารานุกรมปรัชญาของ Routledge :

สำหรับนักปรัชญาอิสลาม ตรรกศาสตร์ไม่ได้หมายความเพียงแค่การศึกษาแบบแผนเชิงตรรกะของการอนุมานและความถูกต้องของมันเท่านั้น แต่ยังรวมถึงองค์ประกอบของปรัชญาภาษา และแม้กระทั่งญาณวิทยาและอภิปรัชญาด้วย เนื่องจากข้อพิพาทเรื่องดินแดนกับนักไวยากรณ์ชาวอาหรับ นักปรัชญาอิสลามจึงสนใจอย่างมากที่จะศึกษาความสัมพันธ์ระหว่างตรรกศาสตร์และภาษา และพวกเขาทุ่มเทการอภิปรายอย่างมากให้กับคำถามเกี่ยวกับเนื้อหาและจุดมุ่งหมายของตรรกศาสตร์ที่เกี่ยวข้องกับการให้เหตุผลและการพูด ในด้านการวิเคราะห์เชิงตรรกะแบบเป็นทางการ พวกเขาได้ขยายความทฤษฎีของคำศัพท์ข้อเสนอและการอนุมานแบบตรรกะตามที่อริสโตเติลได้กำหนดไว้ใน Categories, De interpretatione และ Prior Analytics ด้วยจิตวิญญาณของอริสโตเติล พวกเขาถือว่าการอนุมานแบบตรรกะเป็นรูปแบบที่สามารถลดทอนการโต้แย้งอย่างมีเหตุผลทั้งหมดได้ และพวกเขามองว่าทฤษฎีการอนุมานแบบตรรกะเป็นจุดศูนย์กลางของตรรกศาสตร์ แม้แต่กวีนิพนธ์ก็ยังถูกมองว่าเป็นศิลปะแบบอนุมานแบบตรรกะในบางแง่มุมโดยนักปรัชญาอิสลามที่ยึดถืออริสโตเติลส่วนใหญ่

พัฒนาการที่สำคัญของนักตรรกศาสตร์มุสลิม ได้แก่ การพัฒนา "ตรรกศาสตร์แบบอวิเซนนา" เพื่อทดแทนตรรกศาสตร์แบบอริสโตเติลระบบตรรกศาสตร์ของอวิเซนนามีส่วนรับผิดชอบต่อการนำเสนอตรรกบทสมมติ ตรรกศาสตร์เชิงเวลาและตรรกศาสตร์อุปนัยพัฒนาการที่สำคัญอื่นๆ ในปรัชญาอิสลามยุคแรก ได้แก่ การพัฒนาศาสตร์แห่งการอ้างอิง ที่เข้มงวด คืออิษณัดหรือ "การสนับสนุน" ^{[ 4 ] [ 5 ]}และการพัฒนาวิธีการทางวิทยาศาสตร์ของการสอบสวนแบบเปิดเพื่อหักล้างข้ออ้าง คืออิฏติฮาดซึ่งสามารถนำไปใช้กับคำถามหลายประเภทได้โดยทั่วไป^{[ 6 ] [ 7 ] [ 8 ] [ 9 ]}

รูปแบบแรกเริ่มของการให้เหตุผลเชิงเปรียบเทียบการให้เหตุผลเชิงอุปมาและการอนุมาน เชิงหมวดหมู่ ถูกนำมาใช้ในฟิกห์ (นิติศาสตร์อิสลาม) ชะรีอะห์ (กฎหมายอิสลาม) และกะลาม (เทววิทยาอิสลาม) ตั้งแต่ศตวรรษที่ 7 ผ่านกระบวนการกิยาสก่อนที่จะมีการแปลงานของอริสโตเติลเป็นภาษาอาหรับ ต่อมาในยุคทองของอิสลามมีการถกเถียงเชิงตรรกะในหมู่นักปรัชญา นักตรรกศาสตร์ และนักเทววิทยาอิสลามว่า คำว่ากิยาสหมายถึงการให้เหตุผลเชิงเปรียบเทียบ การให้เหตุผลเชิงอุปมา หรือการอนุมานเชิงหมวดหมู่ นักวิชาการอิสลามบางคนโต้แย้งว่ากิยาสหมายถึงการให้เหตุผลเชิงอุปมา ซึ่งอิบนุ ฮาซม์ (994-1064) ไม่เห็นด้วย โดยโต้แย้งว่ากิยาสไม่ได้หมายถึงการให้เหตุผลเชิงอุปมา แต่หมายถึงการอนุมานเชิงหมวดหมู่ใน ความหมาย ที่แท้จริงและการให้เหตุผลเชิงเปรียบเทียบในความหมายเชิงอุปมาในทางกลับกันอัล-กาซาลี (1058–1111) และอิบนุ กุดามะห์ อัล-มาคดิซี (1147-1223) โต้แย้งว่ากิยาสหมายถึง การให้เหตุผลเชิงเปรียบเทียบในความหมายที่แท้จริง และการอนุมานเชิงหมวดหมู่ในความหมายเชิงอุปมา อย่างไรก็ตาม นักวิชาการอิสลามคนอื่นๆ ในเวลานั้นโต้แย้งว่า คำว่ากิยาส หมายถึง ทั้งการให้เหตุผลเชิงเปรียบเทียบและการอนุมานเชิงหมวดหมู่ในความหมายที่แท้จริง^{[ 10 ]}

งานเขียนภาษาอาหรับดั้งเดิมชิ้นแรกเกี่ยวกับตรรกศาสตร์นั้นผลิตโดยอัล-คินดี (อัลกินดัส) (805–873) ซึ่งได้สรุปตรรกศาสตร์ในยุคก่อนหน้าจนถึงสมัยของเขา งานเขียนชิ้นแรกเกี่ยวกับตรรกศาสตร์ที่มีองค์ประกอบที่ไม่ใช่ของอริสโตเติลนั้นผลิตโดยอัล-ฟาราบี (อัลฟาราบี) (873–950) ซึ่งได้อภิปรายหัวข้อเกี่ยวกับเงื่อนไข ในอนาคต จำนวนและความสัมพันธ์ของหมวดหมู่ความสัมพันธ์ระหว่างตรรกศาสตร์และไวยากรณ์ และรูปแบบ การอนุมานที่ไม่ใช่ของอริสโตเติล[ ^{11 ] เขา}ยังได้รับการยกย่องว่าได้จัดหมวดหมู่ตรรกศาสตร์ออกเป็นสองกลุ่มแยกกัน กลุ่มแรกคือ "แนวคิด" และกลุ่มที่สองคือ " การพิสูจน์ "

Averroes (1126–98) เป็นนักตรรกศาสตร์คนสำคัญคนสุดท้ายจากอัลอันดาลุสซึ่งเขียนคำอธิบายที่ละเอียดที่สุดเกี่ยวกับตรรกศาสตร์ของอริสโตเติล^{[ 12 ]}

อวิเซนนา (980–1037) ได้พัฒนาระบบตรรกะของตนเองที่เรียกว่า "ตรรกะแบบอวิเซนนา" เพื่อเป็นทางเลือกแทนตรรกะแบบอริสโตเติล ในศตวรรษที่ 12 ตรรกะแบบอวิเซนนาได้เข้ามาแทนที่ตรรกะแบบอริสโตเติลในฐานะระบบตรรกะที่โดดเด่นในโลกอิสลาม^{[ 13 ] [ 14 ]}

คำวิจารณ์แรกๆ เกี่ยวกับตรรกศาสตร์ของอริสโตเติลนั้นเขียนโดยอวิเซนนา ซึ่งเขียนตำราเกี่ยวกับตรรกศาสตร์แยกต่างหาก ไม่ใช่เพียงแค่คำอธิบาย เขาได้วิจารณ์สำนักตรรกศาสตร์แห่งแบกแดดที่ยึดมั่นในอริสโตเติลมากเกินไปในเวลานั้น เขาได้ศึกษาทฤษฎีนิยามและการจำแนกประเภทและการหาปริมาณของภาคแสดงในประพจน์ เชิงหมวดหมู่ และได้พัฒนาทฤษฎีดั้งเดิมเกี่ยวกับ ตรรก บทแบบ "โมดอล เชิงเวลา " โดยมีข้อตั้งต้นที่รวมถึงตัวขยายความเช่น "ตลอดเวลา" "ส่วนใหญ่" และ "บางครั้ง"

แม้ว่า Avicenna มักจะใช้เหตุผลแบบนิรนัยในปรัชญา แต่เขากลับใช้วิธีการที่แตกต่างออกไปในทางการแพทย์ Avicenna ได้มีส่วนร่วมอย่างสร้างสรรค์ในการพัฒนาตรรกะแบบอุปนัยซึ่งเขาใช้ในการบุกเบิกแนวคิดเรื่องกลุ่มอาการในงานเขียนทางการแพทย์ของเขา Avicenna เป็นคนแรกที่อธิบายวิธีการของความสอดคล้อง ความแตกต่าง และความแปรผันที่เกิดขึ้นพร้อมกันซึ่งมีความสำคัญต่อตรรกะแบบอุปนัยและ วิธีการ ทางวิทยาศาสตร์^{[ 15 ]}

อิบนุ ฮาซม์ (994–1064) เขียนหนังสือScope of Logicซึ่งเขาเน้นย้ำถึงความสำคัญของการรับรู้ทางประสาท สัมผัส ในฐานะแหล่งที่มาของความรู้^{[ 16 ]}อัล-กาซาลี (อัลกาเซล) (1058–1111) มีอิทธิพลสำคัญต่อการใช้ตรรกะในเทววิทยา โดยใช้ตรรกะของอวิเซนเนียสในกาลาม

ฟัคร อัล-ดิน อัล-ราซี (เกิดปี 1149) วิพากษ์วิจารณ์ " รูปแรก " ของอริสโตเติล และพัฒนา ตรรกศาสตร์แบบ อุปนัยขึ้นมา ซึ่งเป็นลางบอกเหตุถึงระบบตรรกศาสตร์แบบอุปนัยที่พัฒนาโดยจอห์น สจวร์ต มิลล์ (ค.ศ. 1806–1873) การหักล้างตรรกศาสตร์กรีกอย่างเป็นระบบนั้นเขียนขึ้นโดยสำนักคิดอิลลูมิเนชันนิสต์ซึ่งก่อตั้งโดยชาฮับ อัล-ดิน ซูห์ราวาร์ดี (ค.ศ. 1155–1191) ผู้พัฒนาแนวคิดเรื่อง " ความจำเป็น ที่เด็ดขาด " ซึ่งเป็นนวัตกรรมที่สำคัญในประวัติศาสตร์ของการคาดเดาทางปรัชญาเชิงตรรกศาสตร์^{[ 16 ]}การหักล้างตรรกะกรีกอย่างเป็นระบบอีกประการหนึ่งเขียนโดยอิบนุ ตัยมิยะฮ์ (1263 – 1328) ในหนังสือAr-Radd 'ala al-Mantiqiyyin ( การหักล้างนักตรรกศาสตร์กรีก ) ซึ่งเขาโต้แย้งถึงประโยชน์ใช้สอย แม้ว่าจะไม่ใช่ความถูกต้องของตรรกะแบบอนุมาน^{[ 17 ]}และสนับสนุน การ ใช้เหตุผลแบบอุปมาน^{[ 18 ]}

• ปรัชญาอิสลามยุคต้น
• ประวัติศาสตร์ของตรรกศาสตร์
• คิยาส
• อิจติฮาด

• เรสเชอร์, นิโคลัส 1964. การศึกษาประวัติศาสตร์ตรรกศาสตร์อาหรับ , พิตต์สเบิร์ก: สำนักพิมพ์มหาวิทยาลัยพิตต์สเบิร์ก
• Rescher, Nicholas (1966). รูปแบบเชิงเวลาในตรรกศาสตร์อาหรับ . ดอร์เดรชท์: Reidel.

• Fieser, James; Dowden, Bradley (บรรณาธิการ). "Avicenna (Ibn Sina): ตรรกศาสตร์" . สารานุกรมปรัชญาออนไลน์ . ISSN 2161-0002 . OCLC 37741658 .  
• สารานุกรมปรัชญาของ Routledge : ตรรกศาสตร์ในปรัชญาอิสลาม , Routledge, 1998
• ตรรกศาสตร์ในปรัชญาอิสลาม โดย เดโบราห์ แอล. แบล็ก Muslimphilosophy.com:
• ตรรกศาสตร์และภววิทยาอิสลามโบราณ (อาหรับและเปอร์เซีย) ดูได้จาก หนังสือประวัติศาสตร์ตรรกศาสตร์ของราอูล โคราซซอน