A Logical Calculus of the Ideas Immanent in Nervous Activity

By Warren S. McCulloch et al

Published on Jan. 1, 1990

Read the original document by opening this link in a new tab.

Table of Contents

1. Introduction
2. The Theory: Nets Without Circles

Summary

The document discusses the application of propositional logic in describing neural events and the behavior of neural networks. It explores the 'all-or-none' character of nervous activity and the relations among neurons. Various assumptions and concepts related to neurophysiology are examined, including synaptic delays, refractoriness, inhibition, and neural impulse propagation. The document presents a logical calculus for nervous activity, outlining the theory for nets without circles and the use of temporal propositional expressions. Theorems are provided to show the realizability of neural behaviors based on logical expressions. The complexity of neural networks and the behavior of neurons are analyzed in the context of formal logic.