Henri Šefer

Henri Moris Šefer (eng. Henry Maurice Sheffer; 1882. - 1964) bio je američki logičar.

Šefer je bio poljski Jevrej rođen u Ukrajini, koji je imigrirao u SAD sa svojim roditeljima. Obrazovan je na Harvard univerzitetu, učeći logiku kod Džosaje Rojsa. Šefer je proveo veći deo svoje karijere predavajući na harvardskom odseku za filozofiju. Skanlan (2000) je studija Šeferovog života i njegovih dela.

Šefer je dokazao 1913. godine da Bulova algebra može da se definiše koristeći samo jednu primitivnu binarnu operaciju, "ne oba . . . i . . .", sada skraćena u NI, ili njenu dualnu operaciju NILI. Slično, iskazna algebra može da se formuliše koristeći se samo jednom operacijom, uz pomoć tabele istinitosti bilo za logičko ni, koje se simbolizuje strelicom nagore, ili dualni operator logičko nili, koje se simbolizuje strelicom nadole. Čarls Pers je takođe otkrio ove činjenice 1880. godine, ali relevantan rad nije objavljen do 1933. godine. Šefer je, takođe, predložio aksiome formulisane iskučivo uz pomoć njegove strelice.

Šeferovo otkriće je dobilo veliku pohvalu od Bertranda Rasela, koji ga je mnogo koristio kako bi pojednostavio svoju logiku, u drugom izdanju svoje Principia Mathematica. V. V. Kvinova Matematička logika je takođe iskoristila ovaj Šeferov operator.

Šeferova sveza, zatim, predstavlja bilo kakavu svezu u logičkom sistemu koji funkcioniše na analogan način šeferovom operatoru. Na primer, šeferove sveze su razvijene za kvantifikacionu i modalnu logiku.

Reference
Scanlan, Michael, 2000, "The Known and Unknown H. M. Sheffer," The Transactions of the C.S. Peirce Society 36: 193-224.

Izvor: Wikipedia