טאוטולוגיה (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוספת תבנית:בריטניקה בקישורים חיצוניים (תג) |
הוספת קישור פנימי תגיות: עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד עריכה מתקדמת מהנייד |
||
שורה 5:
ה[[סימון מתמטי|סימן המתמטי]] לייצוג טאוטולוגיה הוא: <math>\models</math>. מסמנים φ<math>\ \models</math> כדי לומר ש-φ טאוטולוגיה.
[[לודוויג ויטגנשטיין]], בספרו "[[טרקטט לוגי-פילוסופי|מאמר לוגי פילוסופי]]", מציג את המשפטים המתארים טאוטולוגיות וסתירות כמשפטים "ללא-מובן", המייצגות את גבול הטענות שעל אודותיהן, לדעתו, ניתן לדבר. מעבר להן, נמצאות הטענות "חסרות המובן" (שלא ניתן להצמיד להן ערך אמת או שקר כלל, מאחר שאינן מייצגות תמונה לוגית בעולמנו) שעל אודותיהן, על פיו, עדיף לשתוק.
== ראו גם ==
| |||