Changes

== Uses of logic in other disciplines ==

== Uses of logic in other disciplines ==

Logic is a necessary discipline in [[philosophy]], because it deals with how we study and interact with propositions. Logic and [[mathematics]] are also closely connected, and much of mathematics can be reduced to first-order logic, though Gödel's [[Incompleteness theorem|incompleteness theorem]] shows that not all of mathematics can be so reduced.

Logic is a necessary discipline in [[philosophy]], because it deals with how we study and interact with propositions. Logic and [[mathematics]] are also closely connected, and much of mathematics can be reduced to first-order logic, though Godel's Incompleteness Theorems|incompleteness theorem]] shows that not all of mathematics can be so reduced.

*In [[computer science]], logic dictates how a machine will follow a set of instructions, including how to test its "world," evaluate it, and act according to that evaluation, except that instead of establishing propositions, a computer following a program is usually choosing between and among different commands to execute.

*In [[computer science]], logic dictates how a machine will follow a set of instructions, including how to test its "world," evaluate it, and act according to that evaluation, except that instead of establishing propositions, a computer following a program is usually choosing between and among different commands to execute.