Duba wurin da ke ƙasa sannan ka amsa tambayar daga baya a cikin harshe ɗaya kamar yadda wurin yake:  Passage: Ka'idar a halin yanzu ta koma farkon 1980s da ƙungiyar bincike da Rudolf Wille, Bernhard Ganter da Peter Burmeister suka jagoranta a Technische Universität Darmstadt. Ma'anonin ilimin lissafi na asali, duk da haka, an riga an gabatar da su a cikin 1930s ta Garrett Birkhoff a matsayin wani ɓangare na ka'idar ƙirar gaba ɗaya. Sauran hanyoyin da suka gabata ga wannan ra'ayin sun fito ne daga kungiyoyin bincike daban-daban na Faransa, amma kungiyar Darmstadt ta daidaita filin kuma ta yi aiki a hankali game da ka'idar lissafi da kuma tushen falsafa. Na biyun suna nufin musamman ga Charles S. Peirce, amma kuma ga Port-Royal Logic.  Tambaya: Wanene ya zo da ainihin ma'anar ka'idar ƙirar ƙira?
Garrett Birkhoff