The subject Logic and Computation is located within the Department of Philosophy.
The way a computer works is closely related to the laws of thought and the structure of language.
Logic and Computation studies the laws and methods of reasoning with symbolic representations, including human languages and digital information systems. We examine the structure, design and limitations of symbolic representations and procedures in human thought and computer software. Logic and Computation uses ideas and techniques from Computer Science, Linguistics, Mathematics and Philosophy. It will suit you if you are capable of creative, speculative thought as well as precise calculation and problem solving.
Logic and Computation and your career
Logic and Computation could lead to a research career in universities or the IT industry. It is also useful for any career requiring skills in analysis, precise and creative thinking and the ability to communicate clearly. This combination of skills is valued in business analysis and management consultancy.
Study options in Logic and Computation
Logic and Computation is available for both undergraduate and postgraduate programmes and is co-ordinated by the Department of Philosophy.