Jerusalem Talmud Nazir 7:1:2-11

This is a deep dive into the fascinating logic of impurity and obligation in the Mishnah and Gemara of Nazir, specifically focusing on the contrasting rules for a High Priest and a Nazir when encountering a corpse of obligation. We'll be treating these texts not just as ancient legal discourse, but as a complex algorithm with rules, exceptions, and edge cases.

Problem Statement – The "Bug Report" in the Sugya

Our primary "bug report" stems from a seemingly contradictory setup in the Mishnah (Nazir 7:1:2-3). We're presented with two individuals, a High Priest and a Nazir, both generally forbidden from defiling themselves with a corpse. However, when they encounter a met mitzvah (a corpse requiring burial), the Mishnah posits a disagreement:

• Rebbi Eliezer: The High Priest must defile himself, but the Nazir must not.
• The Sages: The Nazir must defile himself, but the High Priest must not.

This creates a logical paradox. Both are under a similar, stringent prohibition against impurity. Yet, when faced with a situation that demands action (the burial of a met mitzvah), their obligations diverge in opposite directions. Why would one be obligated to violate their primary prohibition while the other is forbidden to do so, when the situation is identical? The core issue is understanding the underlying "system logic" that determines who takes precedence in this conflict between general prohibition and specific obligation. We need to debug the ruleset to understand this divergence.

Text Snapshot

Here are the key lines from the Jerusalem Talmud that set up our scenario and the ensuing discussion:

MISHNAH:

• (7:1:2) ...If they were walking on a road and found a corpse of obligation, Rebbi Eliezer says, the High Priest² shall defile himself but the nazir shall not defile himself.
• (7:1:3) But the Sages say, the nazir shall defile himself but the High Priest shall not defile himself.
• (7:1:3) Rebbi Eliezer said to them, the Priest shall defile himself, who does not bring a sacrifice for his defilement, but the nazir shall not defile himself, who has to bring a sacrifice for his defilement.
• (7:1:3) They told him, the nazir shall defile himself, whose holiness is temporary, but the Priest shall not defile himself, whose holiness is permanent.

GEMARA (HALAKHAH):

• (7:1:4) Rebbi Ḥiyya bar Gamda said, from here repeated prohibitions in the Torah⁵... But it is to permit the corpse of obligation⁶.
• (7:1:8) “The man shall not defile himself, in the midst of his people⁷” he may not defile himself⁸. But he defiles himself for a corpse of obligation.
• (7:1:12) Some want to derive it from the following: “For a hanged person is blasphemy.⁹” Anybody warned about blasphemy is warned about a corpse of obligation¹⁰.
• (7:1:37) Rebbi Aqiba said, the start of my practice before the Sages was the following. Once I was on the road when I found a corpse of obligation; I carried it about four mil to a cemetery and buried it. When I came to Rebbi Eliezer and Rebbi Joshua and told them, they said to me that every step that you walked is counted against you as if you were shedding blood³⁸.
• (7:1:49) The Sages agree with Rebbi Eliezer that between a High Priest and a nazir, the nazir shall defile himself but not the High Priest⁴⁹.
• (7:1:50) Rebbi Eliezer agrees with the Sages that between a High Priest and a nazir, the nazir shall defile himself but not the High Priest⁵⁰.
• (7:1:51) Think of it, if his father sanctified him from birth⁵¹... The one⁵² is from the Torah, the other is not from the Torah⁵³.
• (7:1:54) Rebbi Huna in the name of Rav Joseph: Rebbi Eliezer parallels the House of Shammai. As the House of Shammai say, between holy and frequent the holy has precedence⁵⁴, so Rebbi Eliezer says, between holy and frequent the holy has precedence⁵⁵.

Flow Model – Decision Tree for Met Mitzvah Encounters

Let's visualize the decision-making process when a High Priest or Nazir encounters a met mitzvah. This is a simplified representation of the core conflict.

graph TD
    A[Encounter Met Mitzvah] --> B{Is it a Corpse of Obligation?};
    B -- Yes --> C{Who is the Encounterer?};
    C -- High Priest --> D{Apply High Priest Ruleset};
    C -- Nazir --> E{Apply Nazir Ruleset};
    D --> F{Rebbi Eliezer's Logic};
    D --> G{Sages' Logic};
    F -- Sacrifice Required? --> H{No Sacrifice};
    F -- Temporary Holiness? --> I{No};
    H -- Yes --> J[High Priest Defiles];
    I -- No --> J;
    G -- Sacrifice Required? --> K{No Sacrifice};
    G -- Temporary Holiness? --> L{Yes};
    K -- Yes --> M[Nazir Defiles];
    L -- Yes --> M;
    B -- No --> Z[Standard Impurity Laws Apply];

Explanation of Nodes:

• A (Encounter Met Mitzvah): The initial state.
• B (Is it a Corpse of Obligation?): A critical conditional check. If not, standard impurity rules apply (which are stricter for these individuals for regular corpses).
• C (Who is the Encounterer?): Differentiates between the two categories of individuals.
• D & E (Apply Ruleset): Directs to the specific logic for each role.
• F & G (Rebbi Eliezer's / Sages' Logic): Represents the two main schools of thought on the prioritization.
• H, I, K, L (Internal Logic Checks): These represent the reasoning presented in the Gemara.
  • Rebbi Eliezer's logic (F): Focuses on the sacrifice aspect. The Nazir must bring a sacrifice for impurity, making their defilement "costlier" and thus they should avoid it if possible. The High Priest, not bringing a sacrifice for impurity (except specific cases not relevant here), can absorb the impurity.
  • Sages' logic (G): Focuses on the nature of the holiness. The Nazir's holiness is temporary, meaning it's a chosen state that can be broken and restored. The High Priest's holiness is inherent and permanent (by virtue of his office). Therefore, the temporary holiness of the Nazir is more "flexible" and can be temporarily set aside for the greater obligation of the met mitzvah.
• J & M (Action/Output): The final decision – to defile or not to defile.
• Z (Standard Impurity Laws): If the corpse is not a met mitzvah, the standard, more stringent prohibitions apply.

This flow model reveals that the core of the dispute is a prioritization algorithm: when a general prohibition (don't get impure) conflicts with a specific obligation (bury a met mitzvah), which rule takes precedence, and on what grounds?

Two Implementations – Algorithm A vs. Algorithm B

The Rishonim (early commentators) provide different interpretations of how to implement the rules laid out in the Gemara. We can see these as two distinct "algorithms" for resolving the conflict.

Algorithm A: The "Sacrifice-Cost" Model (Rebbi Eliezer's Implementation)

This algorithm prioritizes the cost associated with defilement. The core logic is that if defilement incurs a significant, distinct penalty (like a sacrifice), then that penalty should be avoided unless absolutely unavoidable.

• Input: Encounter with a met mitzvah.
• Step 1: Identify Encounterer. Is it a High Priest or a Nazir?
• Step 2: Evaluate Sacrifice Requirement.
  • IF Encounterer is a Nazir:
    • Check: Does defilement require a sacrifice? (Yes, as per Nazir 6:7).
    • Decision: Since the Nazir must bring a sacrifice for any impurity (even from a met mitzvah), the system prioritizes avoiding this specific, costly transgression. Therefore, the Nazir shall not defile himself.
  • ELSE IF Encounterer is a High Priest:
    • Check: Does defilement require a sacrifice? (Generally no, for a met mitzvah. Lev 21:11 is a general prohibition, and the obligation for a met mitzvah is derived from other verses, as discussed later. The key is that the Nazir's requirement for a sacrifice is explicit and broad).
    • Decision: Since the High Priest does not incur the specific sacrifice penalty for this type of impurity, the obligation to bury the met mitzvah overrides the general prohibition. Therefore, the High Priest shall defile himself.
• Output:
  • Nazir: Does not defile.
  • High Priest: Defiles.

This algorithm is directly supported by Rebbi Eliezer's statement in the Mishnah (7:1:3): "Rebbi Eliezer said to them, the Priest shall defile himself, who does not bring a sacrifice for his defilement, but the nazir shall not defile himself, who has to bring a sacrifice for his defilement."

Commentary Support (Penei Moshe, Sheyarei Korban): Penei Moshe (on 7:1:1:2) notes that the dispute applies not just to a High Priest and a Nazir together, but also to a common priest and a Nazir. Sheyarei Korban (on 7:1:1:1) elaborates that Rebbi Eliezer's position aligns with the House of Shammai's principle of "holy has precedence" (7:1:54), implying that the Nazir's potential to bring a sacrifice makes their state more "holy" in a way that needs protection.

Algorithm B: The "Holiness Nature" Model (Sages' Implementation)

This algorithm prioritizes the nature and duration of the holiness. The core logic is that a temporary, self-imposed holiness is more readily adaptable to overriding obligations than a permanent, inherent holiness.

• Input: Encounter with a met mitzvah.
• Step 1: Identify Encounterer. Is it a High Priest or a Nazir?
• Step 2: Evaluate Nature of Holiness.
  • IF Encounterer is a Nazir:
    • Check: Is the holiness temporary? (Yes, a Nazir's vow is for a set period, 7:1:3).
    • Decision: Because the Nazir's holiness is temporary and elective, it can be temporarily suspended or superseded by the overriding obligation to bury a met mitzvah. Therefore, the Nazir shall defile himself.
  • ELSE IF Encounterer is a High Priest:
    • Check: Is the holiness permanent? (Yes, the High Priest's status is inherent and permanent by virtue of his office, 7:1:3).
    • Decision: Because the High Priest's holiness is permanent and inherent, it is considered more foundational and less susceptible to temporary overrides. The prohibition against defilement for a High Priest is thus more absolute in this context. Therefore, the High Priest shall not defile himself.
• Output:
  • Nazir: Defiles.
  • High Priest: Does not defile.

This algorithm is directly supported by the Sages' counter-argument in the Mishnah (7:1:3): "They told him, the nazir shall defile himself, whose holiness is temporary, but the Priest shall not defile himself, whose holiness is permanent."

Commentary Support (Mareh HaPanim, Sheyarei Korban): Mareh HaPanim (on 7:1:1:1) notes that the Mishnah doesn't explicitly state the met mitzvah rule, implying it's derived from the Gemara. Sheyarei Korban (on 7:1:1:1) also discusses the derivation, suggesting the Sages' view might be more nuanced, potentially differentiating between a Nazir whose vow is from the Torah versus one accepted by human decree, but ultimately the core logic focuses on the temporary nature of the Nazir's holiness. The Gemara later clarifies that the High Priest's prohibition is from the Torah (7:1:53), while a Nazir's is also from the Torah, but the distinction in the Sages' argument hinges on permanence vs. temporariness.

Summary Table:

Logic Basis	Algorithm A (Rebbi Eliezer)	Algorithm B (Sages)
Primary Factor	Sacrifice Cost	Nature of Holiness
Nazir Action	Does NOT defile	Defiles
High Priest Action	Defiles	Does NOT defile
Supporting Verse	Implied by Lev 6:11-12	Lev 21:11, Num 6:7
Core Argument	Avoid costly transgression	Temporary holiness is adaptable

Edge Cases – Inputs That Break Naïve Logic

Let's test our algorithms with inputs that could cause unexpected outputs if the rules aren't precisely defined.

Edge Case 1: A Common Priest and a Nazir Encounter a Met Mitzvah

• Input: A common priest and a Nazir are walking together and find a met mitzvah.
• Naïve Logic: Both are forbidden to defile themselves for regular relatives. But the met mitzvah is an exception. Does the same logic apply to the common priest as the High Priest?
• Algorithm A (Rebbi Eliezer's Logic):
  • Common Priest: Does not bring a sacrifice for defilement (unlike a Nazir).
  • Nazir: Must bring a sacrifice for defilement.
  • Decision: Following Rebbi Eliezer's principle, the common priest, who has less "cost" (no sacrifice), would defile himself to fulfill the met mitzvah obligation, while the Nazir would not.
  • Output: Common Priest defiles; Nazir does not defile.
• Algorithm B (Sages' Logic):
  • Common Priest: Holiness is permanent (by virtue of being a priest, though not high priest).
  • Nazir: Holiness is temporary.
  • Decision: Following the Sages' principle, the Nazir's temporary holiness is more adaptable and would be superseded by the met mitzvah obligation. The common priest's permanent holiness would not.
  • Output: Nazir defiles; Common Priest does not defile.
• Actual Halakha (as understood from the commentaries): The Gemara (7:1:2, 7:1:50) clarifies that the dispute between Rebbi Eliezer and the Sages regarding the High Priest and the Nazir also applies to a common priest and a Nazir. So, there are indeed two opposing views on this scenario as well. The crucial distinction made by some commentators (like Sheyarei Korban on 7:1:1:1) is that the Nazir's status might be more clearly defined as "from the Torah" in its prohibition (7:1:53), which influences the debate. However, the core logic of Algorithms A and B is generally applied, leading to contradictory outputs depending on which algorithm is followed. This shows that the "bug" isn't just in the High Priest/Nazir interaction but extends to other priestly roles when compared to the Nazir.

Edge Case 2: The "Corpse of Obligation" Definition Discrepancy

• Input: A scenario where the status of a corpse as a met mitzvah is ambiguous. For example, a corpse found with no one around, but it's in a populated area where people are likely to notice soon.
• Naïve Logic: If the definition of met mitzvah is simply "no one to bury it," then any found corpse is a met mitzvah.
• Algorithm A & B's Behavior: Both algorithms are predicated on the corpse being a met mitzvah. If the input is not a met mitzvah, then the standard prohibition against impurity applies, and both the High Priest and the Nazir would refrain from defilement. The problem arises if the algorithm incorrectly identifies a corpse as a met mitzvah.
• Actual Halakha (from the text): The Gemara (7:1:25) defines a met mitzvah as "Anyone for whom he shouts and nobody comes." If villagers come, the High Priest or Nazir refrains (7:1:26). This implies a dynamic definition: it's a met mitzvah until sufficient help is available. This definition itself is a crucial piece of logic.
  • If the corpse is confirmed met mitzvah: The algorithms A or B are engaged.
  • If the corpse is not met mitzvah (because help is available or imminent): The standard, strict prohibition against defilement applies to both the High Priest and the Nazir, and they both refrain.
• The Edge Case Output: The "bug" here is that if the definition of met mitzvah itself is fuzzy or misapplied, the outcome is drastically different. A corpse that is not a met mitzvah would lead to both refraining, whereas a true met mitzvah would lead to one defiling and the other refraining, depending on the algorithm used. The text's definition ("shouts and nobody comes") acts as a crucial pre-condition for the main algorithms to even activate.

Refactor – Minimal Change for Clarity

The core of the confusion lies in the seemingly equal footing of the High Priest and the Nazir under a general prohibition, yet their opposite actions when faced with an overriding obligation. The critical factor that distinguishes them, according to the Gemara, is the nature of their holiness and the consequences of defilement.

Minimal Change: Reframe the initial premise from "both are forbidden from defiling themselves" to:

"The High Priest and the Nazir are both subject to prohibitions against defilement. However, the mechanism by which these prohibitions are enforced and the nature of their respective holiness differ, leading to distinct outcomes when confronted with the overriding obligation of a met mitzvah."

Why it clarifies: This refactoring emphasizes that the problem isn't a simple contradiction but a nuanced interaction of different rule sets. It immediately signals that we need to look at the parameters of their holiness and the penalty structure for defilement, rather than just the shared prohibition. It sets up the Gemara's discussion about sacrifice cost and the permanence of holiness as the direct solutions to this refined problem statement.

Takeaway

This exploration of Nazir 7:1 reveals the Talmud as a sophisticated logic engine. The "bug" of seemingly contradictory obligations when encountering a met mitzvah is resolved by understanding that the High Priest and the Nazir operate under different sub-routines.

• Algorithm A (Rebbi Eliezer) prioritizes minimizing "cost" – specifically, the sacrifice a Nazir must bring. This leads to the High Priest defiling and the Nazir not.
• Algorithm B (Sages) prioritizes the "nature" of holiness – temporary vs. permanent. This leads to the Nazir defiling and the High Priest not.

The debate isn't about who is "more holy," but about which characteristic of their holiness (cost of transgression vs. permanence of state) dictates the prioritization in a conflict scenario. The met mitzvah acts as a high-priority interrupt, forcing a re-evaluation of the primary "don't defile" process. The subsequent discussions on the definition of met mitzvah, the obligations for different types of corpses, and even for other individuals like common priests, demonstrate how this core logic is extended and refined across a complex system of Jewish law. It's a beautiful example of how seemingly simple legal statements can hide layers of intricate reasoning, much like a well-architected codebase.