The McCulloch–Pitts paper from the perspective of mathematical logic

We analyze the McCulloch–Pitts seminal 1943 paper on a logical calculus for neural networks from the point of view of contemporary mathematical logic. Originally presented as a fragment of Carnap’s Language II, the cited calculus is regarded in this chapter as a simple propositional temporal language with past tense modalities. We rewrite proofs of main results of the McCulloch–Pitts paper using this language.