The AllenSL system in Carnap

Carnap.io is logic software that runs in a browser. It supports the formal systems that are in a number of different textbooks. (There’s a list here: https://carnap.io/shared/gleachkr@gmail.com/carnap-derivations.pandoc.) I use a system for propositional logic that is similar to the one found in Allen and Hand’s Logic Primer, and I will explain it here for anyone …

total votes for U.S. senators

Current Democratic senators and the two independents who caucus with the Democratic party, King and Sanders, received a total of 68,360,484 votes in their respective elections. Current Republican senators received a total of 59,577,911 votes. The data are here: http://loighic.net/senate/senate_116.htm This is an imperfect measure of the support for the senators in each party because …