Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
Dov M. Gabbay is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic,Language and Computation,Department of Computer Science,King's College London.
Alasdair Ian Fenton Urquhart is a Scottish–Canadian philosopher and emeritus professor of philosophy at the University of Toronto. He has made contributions to the field of logic,especially non-classical logic. One of his ideas is proving the undecidability of the relevance logic R. He also published papers in theoretical computer science venues,mostly on mathematical logic topics of relevance to computer science.
Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments,both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large,ranging from core topics such as the study of fallacies and paradoxes,to specialized analyses of reasoning such as probability,correct reasoning,and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.
Laurence Jonathan Cohen,,was a British philosopher. He was Fellow and Praelector in Philosophy,1957–90 and Senior Tutor,1985–90 at The Queen's College,Oxford and was a British Academy Reader in Humanities,University of Oxford,1982–84.
Moshe Ya'akov Vardi is an Israeli theoretical computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University,United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science,including database theory,finite model theory,knowledge of multi-agent systems,computer-aided verification and reasoning,and teaching logic across the curriculum. He is an expert in model checking,constraint satisfaction and database theory,common knowledge (logic),and theoretical computer science.
Walter Alexandre Carnielli is a Brazilian mathematician,logician,and philosopher,who works as a full professor of Logic at the State University of Campinas. After obtaining his Bachelor and M.Sc. degrees in mathematics at the State University of Campinas,he also obtained his Ph.D. in 1984 there under the supervision of Newton da Costa;subsequently,he worked as a post-doc at the University of California at Berkeley,following an invitation by Leon Henkin.
The Association Computability in Europe (ACiE) is an international organization of mathematicians,logicians,computer scientists,philosophers,theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world. CiE aims to widen understanding and appreciation of the importance of the concepts and techniques of computability theory,and to support the development of a multi-disciplinary community of researchers focused on computability-related topics. The ACiE positions itself at the interface between applied and fundamental research,prioritising mathematical approaches to computational barriers.
The Association for Logic,Language and Information (FoLLI) is an international,especially European,learned society. It was founded in 1991 "to advance the practicing of research and education on the interfaces between Logic,Linguistics,Computer Science and Cognitive Science and related disciplines." The academic journal Journal of Logic,Language and Information (JoLLI) is published under its auspices;it co-ordinates summer schools such as the European Summer School in Logic,Language and Information (ESSLLI),the North American Summer School in Logic,Language,and Information (NASSLLI),and the International Conference and Second East-Asian School on Logic,Language and Computation (EASLLC);and it awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic,Language,and Information.
Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic,proof theory,foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic,Language,Information and Computation (WoLLIC),which has been organised annually since 1994,typically in June or July.
The International Union of History and Philosophy of Science and Technology is one of the members of the International Science Council (ISC). It was founded in 1955 by merging the International Union of History of Science (IUHS) and the International Union of Philosophy of Science (IUPS),and consists of two divisions,the Division of History of Science and Technology (DHST) and the Division of Logic,Methodology and Philosophy of Science and Technology (DLMPST).
Benedikt Löwe (born 1972) is a German mathematician and logician working at the universities of Hamburg and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics,as well as for initiating the interdisciplinary conference series Foundations of the Formal Sciences and Computability in Europe.
Johann (János) A. Makowsky is a Hungarian-born naturalised Swiss mathematician who works in mathematical logic and the logical foundations of computer science and combinatorics. He studied at ETH Zurich from 1967–73. He was a student in Zürich of Ernst Specker and Hans Läuchli in mathematical logic,,of Beno Eckmann and Volker Strassen (Algorithmics),and in Warsaw of Andrzej Mostowski and Witek Marek,where he spent 1972 as an exchange student. Makowsky held visiting positions at the Banach Center in Warsaw (Poland),Stanford University (USA),Simon Fraser University (Canada),University of Florence (Italy),MIT (USA),Lausanne University and ETH Zurich (Switzerland). He held regular positions at the Free University of Berlin and the Technion –Israel Institute of Technology where he was a full professor.
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone,independent of their topic and content. Informal logic is associated with informal fallacies,critical thinking,and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun,the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields,such as philosophy,mathematics,computer science,and linguistics.
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine,and has the annual ACM–IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference. In addition,it publishes an online newsletter,the SIGLOG Monthly Bulletin,and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic.
Amita Chatterjee is a philosopher of science and logician and is professor emerita at the School of Cognitive Science of Jadavpur University in Kolkata,India. In 2019 her contributions to philosophy were recognized with the publication of a 2-volume festschrift in her honour:Mind and Cognition- An Interdisciplinary Sharing by Kumtala Bhattacharya,Madhucchanda Sen and Smita Sirker.
Nissim Francez is an Israeli professor,emeritus in the computer science faculty at the Technion,and former head of computational linguistics laboratory in the faculty.
Verónica Becher is an Argentinian computer scientist known for her work in logic and theoretical computer science. She is Full Professor at the University of Buenos Aires and Director of the KAPOW at the Department of Computation.
The Scandinavian Logic Society,abbreviated as SLS,is a not-for-profit organization with objective to organize,promote,and support logic-related events and other activities of relevance for the development of logic-related research and education in the Nordic Region of Europe.
