עקביות (לוגיקה)

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

קונסיסטנטיות לוגית

קבוצת משפטים תקרא קבוצה קונסיסטנטית אם כל המשפטים בה יכולים להיות אמיתיים במקביל.

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

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

קונסיסטנטיות מתמטית

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

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

ראו גם

• תורה (לוגיקה מתמטית)