תקפות (לוגיקה)
טיעון תקף (כלומר: אם ההנחות נכונות אז גם המסקנה נכונה) קובע קשר חזק בין טענות. לא שואלים אם כל משפט בטיעון נכון, אלא אם המסקנה חייבת לזרום מההנחות. אריסטו אמר שתקפות תלויה בצורת הטיעון. זה אומר: כשמכל מה שאומרים יוצא בהכרח מה שיוצא במסקנה. דוגמה קלה: "כל יונק בן-תמותה. כל כלב יונק. לכן כל כלב בן-ת...