A science or branch of philosophy that deals with the principles and criteria of validity of inference and demonstration and the formal principles of reasoning.

Articles on KurzweilAI.net that refer to Logic

The Age of Intelligent Machines: Footnotes By Ray Kurzweil
Design of a Primitive Nanofactory By Chris Phoenix
Top KurzweilAI.net News of 2002 By Ray Kurzweil and Amara D. Angelica
What Is Artificial Intelligence? By John McCarthy
Essentials of General Intelligence: The direct path to AGI By Peter Voss
It's a Small, Small, Small, Small World By Ralph C. Merkle
Why We Can Be Confident of Turing Test Capability Within a Quarter Century By Ray Kurzweil
Consciousness Connects Our Brains to the Fundamental Level of the Universe By Stuart Hameroff
The Storm Before the Calm By Robert Wright
What I want to be when I grow up, is a cloud By J. Storrs Hall

News Articles that refer to Logic

Carbon nanotubes could replace silicon in microchips
IBM scientist sees nanotechnology supplanting transistors
Patent for molecular computing awarded
The stealth revolution: digital power technologies
The Ghost in Your Machine
Magnetic logic devices move closer
Technology Said to End Errors in Chips Caused by Radiation
Software links chatbots to OpenCyc inference engine
Computer generates verifiable mathematics proof
New E-Newspaper Reader Echoes Look of the Paper

Related Links

Overview of Logic
Logic programming resources