Irenaeus, Siteadmin, Check users, oversight, Administrators
351,395
edits
Changes
Jump to navigation
Jump to search
Line 40:
Line 40: − +
→Uses of logic in other disciplines
== 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.