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