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 …
I maintain that, with the possible exception of math majors and philosophy majors (and maybe not even in those cases), undergraduates are better served by a serious course in inductive logic than they are by a course in deductive logic. (And I mean a real course in introductory inductive logic, not a critical thinking course.) …
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 …
forall x: the Mississippi State edition: pdf The source files are available in this GitHub repository. This textbook is based on forall x: Calgary Remix and is used under a CC BY 4.0 license. Further explanation of this textbook is here. A description of the logic software Carnap.io is here.
If you don’t have internet service, but you have a smartphone with a solid data plan, you can—at least with most phones—use your phone’s data to connect your laptop to the internet. There are a lot of videos and guides about how to do this online. Below are the steps that I go through to …
Having easy access to a computer and the internet is one important part of being able to do well in college. If you have questions about any of these programs or need help navigating them, you can ask me (071 College Park campus; gregory.johnson@msstate) or Amy Smith. Also, if you have a laptop, but no …