במאמר , שכתב הלוגיקן הגרמני אלויס ריל ( A . Riehi ) בראשית המאה , נאמר כי הקמת 'לוח משפטים' בביטויו של קאנט , כלומר חלוקת המשפטים למיניהם , היא כיום אחד התפקידים החשובים ביותר של תורת-ההיגיון . כשאנו פותחים במיון המשפט למיניו העיקריים , אנו חייבים בראשונה באבחנה בין משפטים הקובעים את ישותו של העצם ובין משפטים המתארים את תואריו . האבחנה הזאת כבר מצויה אצל אריסטו , שהבחין ( Anaiyt . post ., 11 7 ) בין משפטים על ה'מה' ובין משפטים על . 'כי'ה כלפי עצם מן העצמים רוצים לדעת , מה הוא ; כשאנו יודעים מה הוא , אין אנו יודעים עדיין כי הוא בנמצא . אבחנה זו של המשפטים למשפטי הימה' ומשפטי ה'כי' מניחה בידנו את ההדרכה לחלוקה הבסיסית הראשונה של המשפטים : האבחנה בין משפטי הישות ( משפטים אכזיסטנציאליים ) ומשפטי התואר ( משפטים אטריבוטיביים או פרידי קאטיביים או קטיגוריים . ( גם הסמל < p 00 מלמדנו על חלוקה זו . אפשר להפכו למשפט בשתי דרכים : על ידי קביעת הנושא , < p ( a ) ועל ידי ה 3 ק 1 ת הישותי Ex 900 'ישנו משהו , שהוא . '< p משלים למשפטים ישותיים : 'אלהיט ישנו / 'ישנם , 'מלאכים 'ישנם אנשים , 'טובים 'ישנם ...
אל הספר