What is Sefer ha higayone ?

 עֲלֵי הִגָּיוֹן בְּכִנּוֹר
תהילים צב:ד

אמרו ערך מלאכת ההגיון אל השכל כערך הדקדוק אל הלשון
רמב״ם, מילות הגיון

Rabbi Moshe Chaim Luzzatto zt“l, the Ramchal, wrote the Sefer ha higayone – The Book of Logic – in Amsterdam in the 1730s. He was a teacher at the yeshiva Ets Haym. His talmidim were often children of Marranos. They needed a method and higayone – logic – is the science of the formal rules of reasoning.

The word higayone that comes from Tehilime, was given by Moshe Ibn Tibbon when he had to translate a book that the Rambam wrote on logic in the Arabic language : the Makalah Fi-Sina-At Al-Mantik. The Malbim and the Vilna Gaone have also written books on higayone.

Rabbi David Sackton and Rabbi Chaim Tscholkowsky teach the logic of the Ramchal for years in several yeshivot with three books :

  • Derech tevunot

  • Sefer ha higayone

  • Sefer hamelitza

Those three books are the components of the pedagogic method of the Ramchal.

I believe that those books deal with something more than logic, something that we call today cognitive science and that they could be used for software design.

The fundamental idea of this site is that  relational databases and traditional higayone share the same roots : aristotelian logic and his mathematical formalization : the first-order predicate calculus. When you study one field, you study the other as well.

Sefer ha higayone is the name of this blog because my activity of SQL programmer is stimulated by the study of the Sefer ha higayone of the Ramchal.

The category Melitza deals with hebrew rhetoric which gives me a model for literate programming.