Department of Logic