What is Computational Logic?

Dating back to its roots in Greek philosophy as presented in the works of Aristotle and others, logic has grown in richness and diversity over the centuries to finally reach the modern methodological approach first expressed in the work of Frege. Logical calculi, which capture an important aspect of human thought, were now amenable to investigation with mathematical rigour and the beginning of this century saw the influence of these developments in the foundations of mathematics, in the work of Hilbert, Russell and Whitehead, in the foundations of syntax and semantics of language, and in philosophical foundations expressed most vividly by the logicians in the Vienna Circle.

Picking up on these developments and on the early dreams of mechanised reasoning, the Dartmouth Conference in 1956 raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering.

This growing diversity is reflected in the numerous international and national conferences and workshops that address particular aspects of the fields.

Computational Logic has outgrown its humble beginnings and early expectations by far: with close more than thousand people working in research and development of logic-related methods, and over one hundred international conferences and workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics and many engineering fields — where logic-related techniques are used inter alia to state and settle correctness issues — the field has diversified in ways that the pure logicians working in the early decades of the last century could have hardly anticipated.

This diversity is not necessarily disadvantageous, as every community that has evolved addresses its own important set of problems and issues, and it is clear that one group cannot address them all. However, fragmentation can carry a heavy price intellectually – as well as politically – in the wider arena of scientific activity where, unfortunately, logical investigations are often still perceived as limited in scope and value.

For these and other reasons an international federation – IFCoLog – has been established and registered as a legal entity (as a charity in London, Great Britain) and will be proposed as a member society in the International Council of Science (ICSU). The members of the International Federation for Computational Logic are the communities associated with the major conferences and logic societies, and they in turn will encompass the ten thousand or more individual members working on logic-related topics.

Some Tags: foundations of mathematics, linguistics, science, Research and Development, hardware, AI, software synthesis, Logic Programming, verification, mathematics