torah · the 13 hermeneutic principles
torah
13 logical principles set by Rabbi Yishmael (opening of the Sifra) for deriving Halacha from the Torah's text. Encoded as the @alef-prime/middot primitive — 2,000-year-old reasoning vocabulary, available to modern code.
the 13
- 1.קל וחומרKal vaChomer (a fortiori)
- 2.גזירה שווהGezera Shava (verbal analogy)
- 3.בנין אב מכתוב אחדBinyan Av from one verse
- 4.בנין אב משני כתוביםBinyan Av from two verses
- 5.כלל ופרטKlal uPrat (general then specific)
- 6.פרט וכללPrat uKlal (specific then general)
- 7.כלל ופרט וכללKlal-Prat-Klal
- 8.יצא ללמדException teaches the general
- 9.יצא כעניינוException, same matter (lenient only)
- 10.יצא שלא כעניינוException, different matter (both)
- 11.יצא לדון בדבר חדשException treated as new thing
- 12.דבר הלמד מעניינוLearned from context
- 13.דבר הלמד מסופוLearned from end / contradicting verses
קל וחומר · Kal vaChomer (a fortiori) — live
lenient case
strict case
קל וחומר ✓
kal_vachomer
If בדיקת tsc על dev has it, then בדיקת tsc על production certainly has it.
כלל ופרט · Klal uPrat — live
general
specific
כלל ופרט ✓
klal_u_prat
"כל הסוכנים בתיקייה" followed by "הסוכן הראשי" → scope is limited to the specific.
classify a sentence to a middah
דבר הלמד מעניינו
lamed_me_inyano
Default: from context.
Note: This package encodes the principles for clarity and naming. It does not rule halacha. Real halachic use requires psak from a qualified rabbi. Gezera Shava classically requires received mesorah — the code is illustrative.
→ /middot · the deep interactive tutor@alef-prime/middot on GitHub →