Can someone please edit the original posts to point here, so future readers can find the additional comments?
I don't know much about first order logic - can someone who does tell me whether the two intuitive models in the post on Propositional Graphs are standard or not, and if not why one might want to use them?
Here are some of the posts from last week's writing day. Due to the participants writing 34 posts in less than 24 hours (!), I'm re-airing them to let people have a proper chance to read (and comment) on them, in roughly chronological order.
1) Markets are Universal for Logical Induction by John Swentworth
A discussion and proof of the following.
2) Intentional Bucket Errors by Scott Garrabrant
3) Logical Counterfactuals and Proposition graphs, Part 1 by Donald Hobson
The post shows two intuitive models of proving propositional logic:
and another graph where:
4) Why so much variance in human intelligence? by me
In this question I ask a rambling question about why the difference between peak and median human performance is so much larger than for other species, and Vaniver and Carl Shulman give some fascinating answers.