Handbook of Philosophical Logic
Publication year: 2007
ISBN: 978-1-4020-6324-4
Internet Resource: Please Login to download book
I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options.
Subject: Humanities, Social Science and Law, Causality, Conditionals, Inconsistency, Logic, Quantifiers, artificial intelligence, intelligence, linguistics, science
