Judaism differs considerably from other theistic religions. One of the main features is that Jewish religious laws are not dogmatic but based on specific legal reasoning. This reasoning was developed by the first Judaic commentators of the Bible for inferring Judaic laws from the Pentateuch. The book is about Judaic reasoning from the standpoint of modern logic. Its first goal is to define Judaic logic. This logic was aimed to be a methodology for deducing religious laws. The idea that this methodology can be viewed as original logic that is not less deductive than Aristotle’s logic did not emerge until the Late Middle Ages. At that time Medieval Hebrew works about Judaic reasoning were influenced by Arabo-Islamic philosophy as well as by Latin Scholastic logic. In this volume we discuss different forms of influence of the Aristotelian logic on developing the Talmudic methodology. Then we aim to sketch semantics for the Judaic reasoning, explicating Talmudic case study and Rabbinic situation analysis to develop general approaches to formalizing Judaic logic. This consideration of Judaic logic has relevance for modern logic and analytic philosophy and may be compared with the contribution made by the formalization of Ancient Greek logical systems to 20th-century logic and language philosophy.