Specialized · a field of logic
Applications
Logic at work in computer science, linguistics, and cognitive science: verification, the semantics of language, and human reasoning.
- The problem
- Where does formal logic actually bite on the world: programs, language, and how people really reason?
- The turning point
- Model checking and Hoare logic make program correctness a formal, checkable claim: logic verifying machines.
- An open question
- Do humans reason with classical logic at all, and what logic best models natural-language meaning?
The Canon
- Logic in Computer Science
- Human Reasoning and Cognitive Science
To study it
- Artificial Intelligence (logic chapters)
- Representation and Inference for Natural Language