[Avodah] Safeik and Multivalent Logic

[Micha Berger via Avodah]

On Mon, Jun 15, 2015 at 05:00:40PM -0400, Micha Berger wrote:
: Back on Fri, 14 May 2004 10:45am EST (yes, 11 years ago) I wrote
: <http://www.aishdas.org/avodah/vol13/v13n023.shtml#31> on the thread
: "Valid halachic change" I wrote:
:> I was at a yarchei ... kallah during Elul in Boston where RYBS...

:> An esrog that was used for the mitzvah is qadosh and assur behana'ah
:> that entire day. And since it's qadosh bein hashemashos, it's gadosh
:> part of the next day and therefore assur behan'ah the entire next day.
...
:> Rov is a non-boolean state, something between yes and no. Therefore,
:> it does not apply after we've taken the question from the realm of
:> machshavah to that of ma'aseh.

: I'm repeating all this because, once again, AhS Yomi showed me that
: something I thought I understood was more complicated than I realized.

: AhS OC 638:5 <http://j.mp/1dGKX9s> distinguishes between muqtza machmas
: mitzvah and other forms of muqtza when it comes to migo de'isqatzei bein
: hashemashos, isqatza'ei lekhulei yoma.

: And so, sukkah and its decorations (the topic of OC 688) are muqtzah the
: following day. But beitzah shenoledah beYT rishon is not muqtzah on the
: next day.

More info at AhS OC 667:1, which distinguishes between sukkah and 4
minim on Shemini Atzeres. Because sukkah would actually be used bein
hashmeshos between the 7th day Sukkos and SA (speaking of EY now),
a sukkah and its decorations are muqtzah on SA. The esrog, because the
mitzvah would habe been done before BhS either way, is not.

It would seem the point in 638:5 appears not to be that mutzah machamas
mitzvah is special, but because the mitzvah would still apply BhS.

: Thoughts, anyone?

Still looking for other perspectives!

Tir'u baTov!
-Micha

-- 
Micha Berger             Despair is the worst of ailments. No worries
micha at aishdas.org        are justified except: "Why am I so worried?"
http://www.aishdas.org                         - Rav Yisrael Salanter
Fax: (270) 514-1507