Colloquia » Buffalo Logic Colloquium » Current Schedule
Buffalo Logic Colloquium Home Page
BUFFALO LOGIC COLLOQUIUM 2010-11
FORTY-FIRST YEAR
FIRST FALL ANNOUNCEMENT
QUOTE OF THE MONTH: CHURCH ON FORMALIZED LANGUAGES: The superficial linguistic analogy of ... arguments is deceptive. Because of this, it is desirable or practically necessary for purposes of logic to employ a specially devised language, a formalized language as we shall call it, which shall reverse the tendency of the natural languages and shall follow or reproduce the logical form – at the expense, where necessary, of brevity and facility of communication. To adopt a particular formalized language thus involves adopting a particular theory or system of logical analysis.—Church 1956, 2, 3.
FIRST MEETING: |
||
Friday, October 22, 2010 |
4:00 -6:00P.M. |
141 Park Hall |
SPEAKER: John Corcoran, Philosophy, University of Buffalo.
TITLE: My career and my publications
ABSTRACT: This informal presentation does not presuppose prior acquaintance with my work. My purpose is to review and interrelate some of my publications and to narrate the events in my career that gave rise to them. The seminal books in my life have been Aristotle’s Prior Analytics, Boole’s Laws of Thought, the Cohen-Nagel Introduction, and Tarski’s LSM. The most important field of logic in my career has been Jaskowski’s theory of natural deduction, which I learned in the mid 1960s as my career was being launched. The most important field of knowledge in my career has been string theory, which I absorbed when working on automata theory and formal linguistics as a graduate student in the summers of the early 1960’s. Natural deduction and string theory continue to serve as bedrock and as toolbox in my thinking. Perhaps the key to my creativity is the discovery I made as a graduate student that many areas not normally thought of as mathematical can be treated mathematically. The beacons of rationality in my life include Dedekind, Veblen, Huntington, Langford, Church, Gödel, and Tarski.
DUTCH TREAT SUPPER FOLLOWS.
ALL ARE WELCOME.
SECOND MEETING |
||
Thursday, October 28, 2009 |
4:00-6:00 P.M. |
141 Park Hall |
SPEAKERS: George Boger, Chair, Philosophy, Canisius College.
TITLE: Reviewing PRIOR ANALYTICS, BOOK A: Gisela Striker's new translation and commentary
ABSTRACT: This will be a workshop discussion based on Boger’s evolving review. It will include Boger’s criticism of Corcoran’s review: http://ndpr.nd.edu/review.cfm?id=18787
With a little web savvy you can read a lot of the book on Amazon.com. To read the introduction, put MARK in the SEARCH INSIDE window. Boger will concentrate on the Greek-to-English issues. You do not need Greek to follow his ideas. Your participation is welcome at any point.
DUTCH TREAT SUPPER FOLLOWS.
ALL ARE WELCOME.
ALL ARE WELCOME
To receive these notices via email, please send your full name and email address to John Corcoran. For further information, to report glitches, propose a talk, unsubscribe, or make suggestions, please email: John Corcoran: corcoran@buffalo.edu