| 11. | For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted.
|
| 12. | More than any other single work, it established the speciality of mathematical or symbolic logic.
|
| 13. | However, symbolic logic seems to be almost exclusively human.
|
| 14. | To prove this, she provides an interpretation of these sentences in symbolic logic, shown below.
|
| 15. | :I suspect that this ties in with the ability to use " symbolic logic ".
|
| 16. | Propositional logic was eventually refined using symbolic logic.
|
| 17. | His senior thesis derived a complex acid-base algorithm from the laws of thermodynamics using symbolic logic.
|
| 18. | :I believe that we see things as other things due to our ability to handle symbolic logic.
|
| 19. | The most prominent professional organization in the field of model theory is the Association for Symbolic Logic.
|
| 20. | So what, Lewis Carroll asks in one of his books about symbolic logic, is the proper conclusion?
|
