October 31 and November 1, 2014 at American University, Washington, DC
The overall objective of this two-day conference is to continue the study of the foundations of info-metrics and information processing across the sciences. This is our fifth year anniversary conference.
In that conference we will continue the exploration into the basics of info-Metrics, information-theoretic inference and their mathematical and philosophical foundations. A special emphasis will be on the interconnection of inferential and philosophical problems and solutions across the disciplines.
The conference will consist of Invited Talks, Invited Sessions and submitted papers.
Michael Dunn: "Logic, Information, and Computation"
First hour of a two-hour presentation/discussion given Oct. 9, 2013, in the Info-Metrics Seminar Series by Michael Dunn, School of Informatics and Computing, and Dept. of Philosophy, Indiana University Bloomington
Abstract: The development of the concept of information is traced from Plato to the Port-Royal Logic, on through Mill, Boole, Frege, Carnap, Bar-Hillel, Montague, Kripke, Shannon, and I relate it to algebraic representations of Stone, Priestley, myself, and others. I finish by introducing the concept of an information frame, generalizing the Routley-Meyer ternary frame semantics for relevance logic, and show how it can be employed to model the static and dynamic aspects of information (information as data, information as program) and hence model combinatory logic, relation algebras, and some other logics of interest to computer science. The talk is an updated version of my paper "The Concept of Information and the Development of Modern Logic," in Non-classical Approaches in the Transition from Traditional to Modern Logic, ed. W. Stelzner, de Gruyter, 2001.