In the classical paper by McCulloch and Pitt: http://www.cse.chalmers.se/~coquand/AUTOMATA/mcp.pdf, the authors choose a logical calculus for their model of neuron activity. What was the name of the Logician that had defined the specific kind of symbolic logic choosen? Cantor Godel Turing Carnap

What was the name of the Logician that had defined the specific kind of symbolic logic choosen?

The “Logic Theorist” is ____________________ a computer program to find proofs a mathematician who works on Logic a program designed by Herbert Simon and Alan Newell a logic based chess player

Who was the inventor of the idea of logic gates?

thanks but can you introduce me to several books with solved problems on how neurons build logical gates like OR and NOR.

What is the general prefix for a logic that includes logics like deontic, epistemic and doxastic logic?