טאוטולוגיה (לוגיקה)

בלוגיקה, טַאוּטוֹלוֹגְיָה (מיוונית: Ταυτολογία; "ταὐτός", אותו דבר, ו-"λόγος", דיבור) היא פסוק שהוא תמיד אמת (נכון) בכל מבנה. פסוק שהוא תמיד שקר (לא נכון / שגוי) נקרא סתירה. כך, שלילתה של טאוטולוגיה היא סתירה, ולהפך.

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

הסימן המתמטי לייצוג טאוטולוגיה הוא . מסמנים  כדי לומר ש- טאוטולוגיה.

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

ראו גם
אפילו לא שגוי
הוכחה
הפרכה
שקר
באופן ריק

קישורים חיצוניים

קטגוריה:לוגיקה מתמטית