Between First and Second Order Logic Here the schedule of the workshop
UNILOG'2013 Workshop organized by University of Miami, USA University of San Diego, USA
Second-order logic raises a number of philosophical issues, particularly when it is contrasted with its first-order counterpart. Is second-order logic really logic? What are the requirements (if any) for something to be considered logic rather than, say, mathematics? How should we compare the ontological commitments of first-order logic with those of second-order logic? How should the incompleteness, consistency, and the Skolem-Löwenheim Theorem in first- and second-order logics be assessed? What are the implications of the “first-order thesis” and its criticisms? What are the connections between second-order logic and set theory? Do plural quantifiers provide a suitable understanding of second-order logic quantifiers? How should the model theory for second-order logic be developed? How should the historical shift from higher-order logic to first-order logic be understood? How should first- and second-order logics be compared and contrasted? How do all of these issues change when one considers systems that are intermediate between standard first-order logic and full second-order logic, such as, first-order logic with generalized quantifiers, infinitistic first-order logic, first-order logic with branching quantifiers, or monadic second-order logic? These and related issues will be examined in this session with the goal of assessing current debates as well as moving them forward. Call for papers Abstracts for this workshop should be sent via e-mail before November 15 2012 to: otaviobueno@me.com or gsher@ucsd.edu
|
Keynote Speakers
Arnold Koslow
Ed Zalta Contributing Speakers Liron Cohen, University of Tel-Aviv, Israel, Ancestral Logic Otávio Bueno, University of Miami, USA, Second-order Logic and Unrestricted Quantification Roy Cook, University of Minnesota, Minneapolis, USA, Possible Predicates, Actual Properties, and Hale’s Principle Catarina Dutilh Novaes, University of Gröningen, The Netherlands, Axiomatizations of Arithmetic and the First-order/Second-order Divide María Manzano, University of Salamanca, Spain, The Concept of Subset in Second-order Logic Christopher Menzel, Texas A&M University, USA, Logic with a Single Type: Motivations and Metatheory Alexander Paseau, Oxford University, UK, Logical Consequence and the First-/Second-order Logic Distinction Tomoya Sato, University of California, San Diego, USA, Three Questions About Genuine Logic
|
||||
