A LOGICAL CALCULUS OF THE IDEAS IMMANENT IN NERVOUS ACTIVITY WARREN S. MCCULLOCH AND WALTER PITTS University of Illinois, College of Medicine, Department of Psychiatry at the Illinois Neuropsychiatric Institute, University of Chicago, Chicago, U.S.A. Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by means of propositional logic. It is found that the behavior of every net can be described in these terms, with the addition of more complicated logical means for nets containing circles; and that for any logical expression satisfying certain conditions, one can find a net behaving in the fashion it describes. It is shown that many particular choices among possible neurophysiological assumptions are equivalent, in the sense that for every net behaving under one assumption, there exists another net which behaves under the other and gives the same results, although perhaps not in the same time. Various applications of the calculus are discussed.
核心贡献 · Key contributions
使用命题逻辑形式化神经活动，表明全或无的神经元放电可以表示逻辑命题。 Formalized neural activity using propositional logic, showing that all-or-none neuron firing can represent logical propositions.
证明了任何满足特定条件的逻辑表达式都可以由适当结构的神经网络实现。 Proved that any logical expression satisfying certain conditions can be realized by a neural net with appropriate structure.
将分析扩展到含循环的网络，使用递归和时间逻辑描述回响活动。 Extended the analysis to nets with circles, using recursion and temporal logic to describe reverberatory activity.
证明了不同神经生理学假设（如绝对抑制与相对抑制）在网络行为上的等价性。 Demonstrated equivalence of different neurophysiological assumptions (e.g., absolute vs. relative inhibition) for net behavior.
将理论与计算联系起来，表明含循环的网络可计算图灵机可计算的数。 Linked the theory to computation, showing nets with circles compute Turing-machine computable numbers.
将演算应用于心理学和神经生理学，论证心理事件具有命题性和意向性。 Applied the calculus to psychology and neurophysiology, arguing that mental events are propositional and intentional.
局限 · Limitations
假设全或无定律和固定阈值，忽略了分级电位、连续变化和适应。 Assumes all-or-none law and fixed thresholds, ignoring graded potentials, continuous changes, and adaptation.
模型过度简化了突触可塑性、学习和长期变化，将其视为与静态网络等价。 Model oversimplifies synaptic plasticity, learning, and long-term changes, treating them as equivalent to static nets.
对循环网络的处理不完整；可实现的充要条件仍然复杂且抽象。 Treatment of cyclic nets is incomplete; necessary and sufficient conditions for realizability remain complex and abstract.
真实神经元表现出时间总和、可变传导延迟等未被演算捕获的动态特性。 Real neurons exhibit temporal summation, variable conduction delays, and other dynamics not captured by the calculus.
该理论将心理学简化为命题逻辑可能过于狭窄，无法解释意识和感受质。 The theory's reduction of psychology to propositional logic may be too narrow for explaining consciousness and qualia.