[SEQ RERUN] The Nature of Logic

Today’s post, The Nature of Logic was originally published on 15 November 2008. A summary (taken from the LW wiki):

What logic actually does is preserve truth in a model. It says that if all of the premises are true, then this conclusion is indeed true. But that’s not all that minds do. There’s an awful lot else that you need, before you start actually getting anything like intelligence.


Discuss the post here (rather than in the comments to the original post).

This post is part of the Rerunning the Sequences series, where we’ll be going through Eliezer Yudkowsky’s old posts in order so that people who are interested can (re-)read and discuss them. The previous post was Selling Nonapples, and you can use the sequence_reruns tag or rss feed to follow the rest of the series.

Sequence reruns are a community-driven effort. You can participate by re-reading the sequence post, discussing it here, posting the next day’s sequence reruns post, or summarizing forthcoming articles on the wiki. Go here for more details, or to have meta discussions about the Rerunning the Sequences series.