## Treatise on Logic Gate 7

###### Treatise on Logic 7:1
[Treatise on Logic 7:1](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:1)

וממה שהקדמנו התבאר, כי השתוף הנופל בין שתי ההקדמות, אם שיהיה הגבול האמצעי נושא לאחת משתי ההקדמות ונשוא באחת, כמו המשל שהמשלנו באמרנו: "כל אדם חי" ו"כל חי מרגיש", וכל מה שיתחבר בזה הדרך מן החבור, נקראהו – **התמונה הראשונה מן ההיקש**. ואם שיהיה הגבול האמצעי נשוא בשתי ההקדמות יחד, באמרנו: "כל אדם חי" ו"אין אבן חי" וכל מה שיתחבר מזאת ההרכבה, נקראת **התמונה השנית מתמונות ההיקש**. ואם שיהיה הגבול האמצעי נושא בשתי ההקדמות יחד, באמרנו: "כל חי מרגיש", "קצת החי לבן" וכל מה שיתחבר מזאת ההרכבה, נקראהו **התמונה השלישית מן ההיקש**.


###### Treatise on Logic 7:2
[Treatise on Logic 7:2](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:2)

הנה תהיינה תמונות ההיקש שלש.


###### Treatise on Logic 7:3
[Treatise on Logic 7:3](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:3)

ודע, כי לא מכל שני משפטים, אשר ישתתפו בגבול האמצעי על אחת מאלו שלשת הדרכים, יהיה מהרכבתם היקש בלי ספק, אבל כאשר תשפטהו החלוקה²¹, כי בכל תמונה משלשת התמונות יפלו בה חבורים, ויהיו כולם בשלשת התמונות מאה ושמנה חבורים ואשר הם היקשים באמת יולדו באלו החבורים, והם ארבעה עשר חבורים, כל חבור יקרא – **מין**.

footnotes:
²¹ כשתעיין בצרופים השונים.


###### Treatise on Logic 7:4
[Treatise on Logic 7:4](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:4)

יש מהם ארבעה מינים בתמונה הראשונה,


###### Treatise on Logic 7:5
[Treatise on Logic 7:5](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:5)

וארבעה בתמונה השנית,


###### Treatise on Logic 7:6
[Treatise on Logic 7:6](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:6)

וששה בתמונה השלישית.


###### Treatise on Logic 7:7
[Treatise on Logic 7:7](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:7)

וכבר כתבו וסדרו אותם, עד שתאמר דרך משל: זה ההיקש הוא המין הרביעי מן התמונה הראשונה, וזה ההיקש הוא המין השלישי מן התמונה השניה, וזה ההיקש הוא המין החמישי מן התמונה השלישית.


###### Treatise on Logic 7:8
[Treatise on Logic 7:8](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:8)

בתמונה הראשונה צריכה שתהיה הקטנה מחייבת והגדולה כוללת – והתולדה גם כן כוללת – רצוני לומר, אף כוללת, אבל תוכל להיות גם כן חלקית ולאו דוקא כוללת²².

footnotes:
²² הבאורים לכל אלו התמונות באים לקמן.


###### Treatise on Logic 7:9
[Treatise on Logic 7:9](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:9)

השנית משתתפת לה בכמות²³ ונבדלת ממנה באיכות, וזה בהקדמה ובתולדה.

footnotes:
²³ הכמות – סימן משותף להן.


###### Treatise on Logic 7:10
[Treatise on Logic 7:10](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:10)

ורצוני בשיתוף בכמות בהקדמות²⁴ שישמר סדר הכללות, רצוני לומר, שתהיה על כל פנים הגדולה כוללת כמו הראשונה;

footnotes:
²⁴ הכמות המשותפת היא בהקדמות.


###### Treatise on Logic 7:11
[Treatise on Logic 7:11](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:11)

ורצוני בהבדל באיכות, כי השנית תוסיף על הראשונה בהקדמה הקטנה שאינה צריכה שתהיה מחייבת בקטנה, ובזה בעצמו תחסר²⁵ ממנה שלא תוליד מחייבת;

footnotes:
²⁵ תמנע.


###### Treatise on Logic 7:12
[Treatise on Logic 7:12](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:12)

ורצוני בתולדה שתוליד גם כן כוללת כמו הראשונה ולא תוליד מחייבת, רצוני לומר שאינה צריכה – שאין בכחה – להוליד מחייבת.


###### Treatise on Logic 7:13
[Treatise on Logic 7:13](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:13)

והתמונה השלישית משותפת לראשונה באיכות ונבדלת ממנה בכמות, וזה גם כן בהקדמות ובתולדה;


###### Treatise on Logic 7:14
[Treatise on Logic 7:14](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:14)

רצוני בשיתוף באיכות בהקדמות, שהשלישית תשמור סדר המחייבת, רצוני לומר, שהיא בהכרח הקטנה מחייבת כמו בתמונה הראשונה, רצוני לומר, שצריכה להיות מחייבת על כל פנים;


###### Treatise on Logic 7:15
[Treatise on Logic 7:15](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:15)

ורצוני בתולדה שתוליד גם כן מחייבת ולא שלילה כוללת, כי אם שלילה חלקית;


###### Treatise on Logic 7:16
[Treatise on Logic 7:16](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:16)

ורצוני בהבדל בכמות, כי השלישית תוסיף על הראשונה שלא תצטרך היות הגדולה כוללת, ובזה בעצמו תחסר ממנה שלא תוליד כוללת.


###### Treatise on Logic 7:17
[Treatise on Logic 7:17](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:17)

השנית והשלישית הפכיות בכמות ובאיכות.


###### Treatise on Logic 7:18
[Treatise on Logic 7:18](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:18)

רצוני בזה כי השנית תשמור סרר הכללות ולא תשמור סדר החיוב, ותוליד כוללת ולא תוליד מחייבת רק שלילה. והשלישית בהיפוך, כי היא שומרת החיוב ולא תשמור סדר הכללות, ולכן תוליד מחייבת ולא תוליד כוללת.


###### Treatise on Logic 7:19
[Treatise on Logic 7:19](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:19)

ובכלל: שהשנית לא תשמור סדר החיוב ולא תולידהו, והשלישית לא תשמור סדר כלל ולא תולידהו.


###### Treatise on Logic 7:20
[Treatise on Logic 7:20](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:20)

²⁶התמונה הראשונה, והיא שהגדר האמצעי נושא בהקדמה האחת ונשוא באחרת, היא על ארבעה פנים.

footnotes:
²⁶ מכאן מתחילים הביאורים אל האמור לעיל בדבר שלש התמונות.


###### Treatise on Logic 7:21
[Treatise on Logic 7:21](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:21)

* האחד: כל ג' ב' וכל ב' א', אם כן כל ג' הוא א'.


###### Treatise on Logic 7:22
[Treatise on Logic 7:22](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:22)

* השני: כל ג' ב' ואין דבר מב' א', אם כן אין דבר מג' א'.


###### Treatise on Logic 7:23
[Treatise on Logic 7:23](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:23)

* השלישי: קצת ג' ב' וכל ב' א', אם כן קצת ג' א'.


###### Treatise on Logic 7:24
[Treatise on Logic 7:24](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:24)

* הרביעי: קצת ג' ב' ואין דבר מב' א', אם כן קצת ג' איננו א'.


###### Treatise on Logic 7:25
[Treatise on Logic 7:25](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:25)

התמונה השנית, והיא שהגדר האמצעי נשוא בשתי ההקדמות,


###### Treatise on Logic 7:26
[Treatise on Logic 7:26](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:26)

היא גם כן על ארבעה פנים.


###### Treatise on Logic 7:27
[Treatise on Logic 7:27](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:27)

* האחד: כל ג' ב' ואין דבר מא' ב', אם כן אין דבר מג' א'.


###### Treatise on Logic 7:28
[Treatise on Logic 7:28](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:28)

* השני: אין דבר מג' ב' וכל א' ב', אם כן אין דבר מג' א'.


###### Treatise on Logic 7:29
[Treatise on Logic 7:29](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:29)

* השלישי: קצת ג' ב' ואין דבר מא' ב', אם כן קצת ג' איננו א'.


###### Treatise on Logic 7:30
[Treatise on Logic 7:30](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:30)

* הרביעי: קצת ג' איננו ב' וכל א' ב', אם כן קצת ג' איננו א'.


###### Treatise on Logic 7:31
[Treatise on Logic 7:31](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:31)

התמונה השלישית, והיא שהגדר האמצעי נושא בשתי ההקדמות, היא על ששה פנים.


###### Treatise on Logic 7:32
[Treatise on Logic 7:32](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:32)

* האחד: כל ב' ג' וכל ב' א', אם כן קצת ג' א'.


###### Treatise on Logic 7:33
[Treatise on Logic 7:33](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:33)

* השני: כל ב' ג' ואין דבר מב' א', אם כן קצת ג' איננו א'.


###### Treatise on Logic 7:34
[Treatise on Logic 7:34](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:34)

* השלישי: קצת ב' ג' וכל ב' א', אם כן קצת ג' א'.


###### Treatise on Logic 7:35
[Treatise on Logic 7:35](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:35)

* הרביעי: כל ב' ג' וקצת ב' א', אם כן קצת ג' א'.


###### Treatise on Logic 7:36
[Treatise on Logic 7:36](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:36)

* החמישי: קצת ב' ג' ואין דבר מב' א', אם כן קצת ג' איננו א'.


###### Treatise on Logic 7:37
[Treatise on Logic 7:37](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:37)

* הששי: כל ב' ג' וקצת ב' איננו א', אם כן קצת ג' איננו א'.


###### Treatise on Logic 7:38
[Treatise on Logic 7:38](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:38)

וכל מה שהוא זולת²⁷ אלו ארבע עשר המינים מן החבורים – רצוני לומר, ארבעה ותשעים החבורים הנשארים – אינם היקשים, כי הם לא יחייבו דבר אחר בהכרח. ואמנם הראיה על ביטול החבורים ההם וקיום אלו המינים וידיעתם, הוא חלק גדול ממלאכת ההגיון, ואין זה כונת המאמר.

footnotes:
²⁷ מחוץ.


###### Treatise on Logic 7:39
[Treatise on Logic 7:39](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:39)

ואלו ארבעה עשר המינים ממיני ההקשים ייקראו – **ההיקשים המשאיים**.


###### Treatise on Logic 7:40
[Treatise on Logic 7:40](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:40)

ואולם ההיקשים התנאיים הנה הם שני מינים: **תנאי מדבק** ו**תנאי נבדל**.


###### Treatise on Logic 7:41
[Treatise on Logic 7:41](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:41)

והיקש התנאי המדבק הוא באמרנו: "אם היה השמש עולה הנה עתה הוא יום", ואחר נתנה ונאמר: "אבל עתה השמש עלה", הנה יתחייב שיהיה עתה יום. וכל היקש מחבר כן יקרא – תנאי מדבק.


###### Treatise on Logic 7:42
[Treatise on Logic 7:42](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:42)

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


###### Treatise on Logic 7:43
[Treatise on Logic 7:43](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:43)

וכל מיני ההיקשים התנאיים המולידים חמשה מינים: המדבק – שני מינים, והנבדל – שלשה מינים. וראיות זה והמשליהן אינן כונת זה המאמר.


###### Treatise on Logic 7:44
[Treatise on Logic 7:44](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:44)

ולאנשי זאת המלאכה²⁸ מין ממיני ההיקש יקראהו – **היקש החילוף**. וזה כי אנחנו כשרצינו לאמת משפט-מה ובארנוהו בהיקש אחד מן ההיקשים המשאיים, והוליד לנו המשפט אשר רצינו שנדע אמתותו, הנה אנחנו נקרא אותו – **ההיקש המשאיי הישר**. ואם אמתנו המשפט בדרך אחר, והוא שנניח סותר המשפט²⁹ אשר נרצה לדעת אמיתותו ונחבר ההיקש שיהיה לנו המופת בו, ויוליד שקר הסותר אשר הנחנו, נאמר כי המשפט אשר הנחנו הוא אמתי בלי ספק, ואז המשפט אשר נרצה לאמתו יקראהו – היקש החלוף.

footnotes:
²⁸ לחכמי ההגיון.
²⁹ איזה נגוד למשפט שאמתיותו אנו חוקרים.


###### Treatise on Logic 7:45
[Treatise on Logic 7:45](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:45)

ולנו מין אחר מן ההיקש יקראהו – **היקש החיפוש**, והוא שיהיה משפט-מה נודעו חלקיו והתאמת בחיפוש קצת חלקיו, הנה נקח המשפט ההוא כללי ונשימהו הקדמת היקש.


###### Treatise on Logic 7:46
[Treatise on Logic 7:46](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:46)

ולנו היקש אחר יקראהו – **היקש הדמיון**, רצוני לומר, **ההעתקה**, והוא שנמצא שני דברים מתדמים בענין-מה ונמצא דין³⁰ באחד משני הדברים בלתי נמצא ביותר, הנה נדון את הדין ההוא על הדבר האחר.

footnotes:
³⁰ דבר-מה, איזה היקש.


###### Treatise on Logic 7:47
[Treatise on Logic 7:47](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:47)

דמיונו שישאל שואל: "האם השמים נעשו במלאכה?" ונאמר: "כן! ראיתי זה, כי השמים גשם³¹, והכותל גשם, והכותל נעשה במלאכה, אם כן השמים נעשו במלאכה!"

footnotes:
³¹ גשמי.


###### Treatise on Logic 7:48
[Treatise on Logic 7:48](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:48)

הנה זה הוא **ההיקש המשלי**.


###### Treatise on Logic 7:49
[Treatise on Logic 7:49](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:49)

ואם נקח ראיה על היות השמים במלאכה כשנחפש הגשמים אשר התהוו כולם או רובם ונמצאם נעשים במלאכה, ונאמר: "והוא הדין לשמים!" הנה אנחנו נקראהו – היקש החפוש.


###### Treatise on Logic 7:50
[Treatise on Logic 7:50](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:50)

דמיונו שנאמר: "הגשם הוא בית האוצר והכסא והמנורה ומה שדומה להם, והם נעשים במלאכה, והשמים מכלל גשם הם, אם כן נעשים במלאכה". וזה הוא היקש החפוש.


###### Treatise on Logic 7:51
[Treatise on Logic 7:51](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:51)

ולנו היקשים אחרים נקראים **היקשי הדינים התוריים**³², ואין פנים לזכרם במה שאנחנו בדרכיהם.

footnotes:
³² מעין שלש עשרה מדות שהתורה נדרשת בהן.


###### Treatise on Logic 7:52
[Treatise on Logic 7:52](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:52)

הנה כלל מה שיכללהו זה השער מפירוש העניינים שנים עשר שמות הם. והם:


###### Treatise on Logic 7:53
[Treatise on Logic 7:53](https://torahapp.org/share/book/Treatise%20on%20Logic/r/7:53)

התמונה הראשונה מן ההיקש, התמונה השנית מן ההיקש, התמונה השלישית מן ההיקש, מיני תמונות ההיקש, ההיקשים המשאיים, ההיקשים התנאיים, התנאי המדבק, התנאי הנחלק, ההיקש המשאיי הישר, היקש החלוף, היקש החפוש, היקש ההמשל.