Logic & Language
This section brings together articles and resources on logic, linguistics, and artificial intelligence.
These fields approach reasoning and language from different perspectives. Logic studies inference and formal systems; linguistics studies the structure and use of language; artificial intelligence raises practical and theoretical questions about computation, reasoning, learning, and language processing.
The section will develop as new articles and materials are added.
Logic
Logic studies the principles of valid reasoning and the structure of arguments.
Topics may include propositions, inference, validity, consistency, formal systems, proof, and the relation between formal logic and ordinary reasoning.
Articles in this area will range from introductory explanations to more detailed discussions of particular logical problems and systems.
Linguistics
Linguistics studies human language: its structure, organization, use, and development.
Articles may address syntax, semantics, pragmatics, phonetics, phonology, morphology, and other areas of linguistic analysis, as well as broader questions about meaning and communication.
Where useful, connections with logic, philosophy, mathematics, and computation will also be considered.
Artificial Intelligence
Artificial intelligence provides a contemporary setting in which questions about reasoning, language, representation, and learning become concrete computational problems.
This area will include articles on AI concepts and methods, with particular attention to language models, machine reasoning, representation, and the distinction between computational performance and the concepts we use to describe it.
The aim is to examine these subjects clearly, without treating current AI systems either as mysterious objects or as simple analogues of human intelligence.
Articles
Articles will be added here as the section develops.