במה משתמשים כדי לבחון טיעונים מורכבים?
לוגיקה המודרנית
באמצעות פיתוחם של אמצעים סימבולים חדשים להבעת היחסים הלוגיים בין חלקי הטענה, ובאמצעות גילוין של דרכים חדשות להבין את מבנה העומק של הטענות, הפכה הלוגיקה המודרנית לכלי רב עוצמה באמצעותו ניתן לבחון טיעונים מורכבים יותר מאלו שהלוגיקה האריסטוטלית עסקה בהם; לתת ניתוחים יסודיים של טענות מתמטיות מורכבות; ולזהות תכונות צורניות לא רק של הטענה ושל הטיעון, אלא גם של מערכות לוגיות שלמות, תכונות כגון שלמות, נאותות, כריעות וקומפקטיות, שהן תכונות הנוגעות לאפשרויות ההבעה הגלומות בשפה מסוימת או במערכת אקסיומטית מסוימת, ולא תכונות של טענה או של קבוצה מסוימת של טענות. הלוגיקה המודרנית סיפקה, באמצעים אלו, את היסודות למדעי המחשב ואפשרה את פיתוחם של המחשבים המודרניים.
לוגיקה מודרנית משמשת לבחינת טיעונים מורכבים.