שיפוט הוא צורת חשיבה המאשרת או מכחישה משהו לגבי קיומם של עצמים, לגבי הקשרים ביניהם לבין תכונותיהם, וכן לגבי היחסים בין עצמים.
דוגמאות לפסקי דין: "הוולגה זורמת לים הכספי", "A. S. פושקין כתב את השיר "פרש הברונזה", "הנמר האוסורי רשום בספר האדום" וכו'.
מבנה השיפוט
פסק דין כולל את המרכיבים הבאים: נושא, פרדיקט, מחבר ומכמת.
- נושא (lat. subjektum - "יסוד") - האמור בפסק דין זה, נושאו ("S").
- פרדיקט (lat. praedicatum - "נאמר") - השתקפות של תכונת הנושא, הנאמר על נושא פסק הדין ("P").
- קישור הוא יחס בין נושא ("S") לפרדיקט ("P"). קובע את נוכחות/העדרו של הנושא של כל נכס המתבטא בפרדיקט. זה יכול להיות גם משתמע וגם מסומן על ידי סימן המקף או המילים "הוא" ("אין"), "יש", "יש", "מהות" וכו'.
- כמת (מילה מכמת) קובעת את היקף המושג אליו משתייך נושא השיפוט. עומד מול הנושא, אך עשוי גם להיעדר בופְּסַק דִין. מסומן על ידי מילים כגון "כולם", "רבים", "חלקם", "אף אחד", "אף אחד" וכו'
שיפוטים נכונים ושקריים
פסק דין נכון כאשר נוכחותם של סימנים, מאפיינים ויחסים של אובייקטים, מאושרים / מוכחשים בפסק הדין, תואמים את המציאות. לדוגמה: "כל הסנוניות הן ציפורים", "9 זה יותר מ-2" וכו'.
אם האמירה הכלולה בפסק הדין אינה נכונה, עסקינן בפסק דין שקרי: "השמש סובבת סביב כדור הארץ", "קילוגרם ברזל כבד יותר מקילוגרם צמר גפן" וכו'. שיפוטים נכונים מהווים בסיס למסקנות נכונות.
עם זאת, בנוסף ללוגיקה דו-ערכית, שבה שיפוט יכול להיות נכון או לא נכון, יש גם היגיון רב-ממדי. על פי תנאיו, פסק הדין יכול להיות גם ללא הגבלת זמן. זה נכון במיוחד לגבי פסקי דין בודדים עתידיים: "מחר יהיה / לא יקרה קרב ימי" (אריסטו, "על פרשנות"). אם נניח שזהו שיפוט אמיתי, אז קרב ימי לא יכול להיכשל מחר. לכן, זה צריך לקרות. או להיפך: בטענה ששיפוט זה כרגע שקרי, אנו מחייבים בכך את חוסר האפשרות של הקרב הימי של מחר.
שיפוט לפי סוג ההצהרה
כפי שאתה יודע, לפי סוג ההצהרה, ישנם שלושה סוגים של משפטים: נרטיב, תמריץ וחקר. לדוגמה, המשפט "אני זוכר רגע נפלא" מתייחס אליולסוג הנרטיבי. סביר להציע שפסק דין כזה יהיה גם נרטיבי. הוא מכיל מידע מסוים, מדווח על אירוע מסוים.
בתורו, המשפט התחקיר מכיל שאלה שמרמזת על התשובה: "מה היום הקרוב מכין לי?" זה לא קובע ולא מכחיש דבר. לפיכך, הקביעה כי פסק דין כזה הוא חקרני היא מוטעית. משפט חקירה, עקרוני, אינו מכיל פסק דין, שכן לא ניתן להבדיל בשאלה על פי עקרון האמת/שקר.
סוג התמריץ של משפטים נוצר כאשר יש דחף מסוים לפעולה, בקשה או איסור: "קום נביא וראה ושמע". לגבי פסקי דין, לטענת חלק מהחוקרים, הם אינם כלולים במשפטים מסוג זה. אחרים מאמינים שאנחנו מדברים על סוג של שיפוטים מודאליים.
איכות השיפוט
מנקודת המבט של איכות, שיפוטים יכולים להיות חיוביים (S הוא P) או שליליים (S אינו P). במקרה של טענה חיובית, נכס/ים מסויימים מוצמדים לנושא בעזרת פרדיקט. לדוגמה: "לאונרדו דה וינצ'י הוא צייר, אדריכל, פסל, מדען, חוקר טבע, וכן ממציא וסופר, הנציג הגדול ביותר של אמנות הרנסנס."
בהצעה שלילית, להיפך, הנכס מופחת מהנושא:אישור ניסיוני."
מאפיינים כמותיים
שיפוטים בלוגיקה יכולים להיות כלליים (הכוונה לכל האובייקטים של מחלקה נתונה), פרטיים (לחלק מהם) ויחידים (כאשר מדובר באובייקט שקיים בעותק בודד). למשל, ניתן לטעון שפסק דין כמו "כל החתולים אפורים בלילה" יהיה גנרי מכיוון שהוא משפיע על כל החתולים (נושא פסק הדין). האמירה "חלק מהנחשים אינם רעילים" היא דוגמה לשיפוט פרטי. בתורו, פסק הדין "הדנייפר נפלא במזג אוויר רגוע" הוא פסק דין יחיד, מכיוון שאנו מדברים על נהר ספציפי אחד שקיים בצורה יחידה.
שיפוט פשוט ומורכב
בהתאם למבנה, פסק הדין עשוי להיות מהסוג הפשוט או המורכב. המבנה של הצעה פשוטה כולל שני מושגים קשורים (S-P): "ספר הוא מקור ידע." יש גם פסקי דין עם מושג אחד - כשהשני רק משתמע: "חושך" (P).
צורה מורכבת נוצרת על ידי שילוב של כמה הצעות פשוטות.
סיווג של פסקי דין פשוטים
שיפוטים פשוטים בלוגיקה יכולים להיות מהסוגים הבאים: ייחוס, שיפוט עם יחסים, קיומי, מודאלי.
Attributive (שיפוט רכוש) מכוונים לאשר/הכחשה שלאובייקט יש תכונות מסוימות (תכונות), פעילויות. לשיפוטים אלה יש צורה קטגורית ואינם מוטלים בספק: "מערכת העצבים של יונקים מורכבת מהמוח, עמוד השדרהמסלולי מוח ועצבים יוצאים."
שיפוטים יחסיים מתייחסים ליחסים מסוימים בין אובייקטים. יכול להיות להם הקשר מרחבי-זמני, סיבתי וכו'. לדוגמה: "חבר ותיק עדיף על שניים חדשים", "מימן קל פי 22 מפחמן דו חמצני."
שיפוט קיומי הוא הצהרה על קיומו / אי-קיומו של עצם (גם חומרי ואידיאלי): "אין נביא בארצו", "הירח הוא לוויין של כדור הארץ."
הצעה מודאלית היא צורת הצהרה המכילה אופרטור מודאלי מסוים (הכרחי, טוב/רע; מוכח, ידוע/לא ידוע, אסור, מאמין וכו'). לדוגמה:
- "ברוסיה יש צורך לבצע רפורמה חינוכית" (אופן אלתי - האפשרות, הצורך במשהו).
- "לכל אחד הזכות ליושרה אישית" (מודאליות דיאונטית - סטנדרטים מוסריים של התנהגות חברתית).
- "יחס חסר זהירות לרכוש המדינה מוביל לאובדו" (אופן אקסיולוגי - יחס לערכים חומריים ורוחניים).
- "אנחנו מאמינים בחפותך" (אופן אפיסטמי - מידת מהימנות הידע).
שיפוטים מורכבים וסוגים של חיבורים לוגיים
כפי שכבר צוין, פסקי דין מורכבים מורכבים מכמה שיפוטים פשוטים. הקישורים ההגיוניים ביניהם הם טריקים כמו:
- צירוף (ו- ʌ b הם הצעות מקשרות). לפסקי דין משולבים יש חבורה של "ו":"המימוש של זכויות וחירויות אדם ואזרח אסור להפר את הזכויות והחירויות של אחרים."
- Disjunction (a v b – פסקי דין פוסקים). פסקי דין מנותקים משמשים כמרכיבים מרכיבים, והאיחוד "או" משמש כקישור. לדוגמה: "לתובע הזכות להגדיל או להקטין את היקף התביעות."
- השלכה (א → ב – תוצאה-שיפוט). אם מבחינים הנחת יסוד ותוצאה במבנה של פסק דין מורכב, אזי ניתן לטעון כי פסק דין כזה שייך לאלה המשתמעים. כקישור בטופס זה, נעשה שימוש באיגודים כגון "אם … אז". לדוגמה: "אם מועבר זרם חשמלי דרך המוליך, המוליך יתחמם", "אם אתה רוצה להיות מאושר, יהיה זה."
- שווה ערך (a ≡ b – פסקי דין זהים). מתרחש כאשר a ו-b זהים (או ששניהם נכונים או ששניהם שקריים): "האדם נוצר כדי להיות מאושר, כמו שציפור נוצרה לעוף."
- שלילה (¬a, ā – שיפוט-היפוך). כל משפט מקורי משויך להצהרה מורכבת ששוללת את המקורי. זה מתבצע בעזרת חבורה של "לא". בהתאם לכך, אם ההצהרה המקורית נראית כך: "השור מגיב לאור אדום" (א) - אז ההכחשה תישמע כך: "השור לא מגיב לאור אדום" (¬a).
