MacKenzie Cumings

Logic and Math

• A Logic Calculator: Test if an argument is valid or invalid. Generate truth tables. Find counterexamples. etc.
• Expand Definitions from Quine's Mathematical Logic: See how basic mathematical constructs can be reduced to statements about sets and classes.
• Possible Worlds Semantics for Second-Order Modal Logic: An unfinished attempt to define logic in terms of possible worlds.
• Probability in Light of Independent Testimony for Mutually Exclusive Possibilities: How to calculate probability from conflicting and corroborating testimony under certain circumstances.
• Arguing Modus Tollens with Conditional Probabilities in Place of Conditionals: What additional premises are needed to make that form of argument valid, and how it might be used. The full text of the accepted version is available here.

Music

• Javascript drum machine
• Musical Interval Explorer: Specify intervals and chords by harmonic ratio and hear them in your browser.
• Musical Ratio Explorer: Analyze ratios. Calculate their prime factors. Calculate intervals between ratios. Visualize them within a musical scale.

Other

• A digital clock with invented hexadecimal digits.
• Dimension Swap: Draw a path, exchanging the time dimension for width or height.
• Quiet Web Resources: Web directories and reference sites that have few distractions — no pop-up dialogs, no videos that play automatically, not more than one advertisement per page.
• Character Graphs: Visualizations of relationships between characters in books.
• My Blog: Rarely updated; Miscellaneous topics.