Wider Still And Wider... - Resetting The Bounds Of Logic

benthem van j f a k
1998-01-01
Chicago Journal of Theoretical Computer Science
Abstract: Modern logic is often defined in terms of specific formal languages, rules, and calculi.Such architectural decisions about a field form a pervasive implicit definition whichdetermines professional practice -- through the structure of textbooks, as well as theresearch agenda that determines "interest", and hence acceptance and academic status.Such a practice may come to contain a lot of historical accident, or force of habit.Therefore, it seems worth thinking about the defining agenda of a...
What problem does this paper attempt to address?