Ohio State nav bar

Logic Seminar - Neil Tennant

math_sculpture
October 25, 2016
1:50PM - 2:50PM
Cockins Hall 240

Date Range
Add to Calendar 2016-10-25 13:50:00 2016-10-25 14:50:00 Logic Seminar - Neil Tennant Title: Core Logic (contintued)Speaker: Neil Tennant Abstract: Core Logic is a beautiful, elegant and powerful system. Wherever we engage in constructive [respectively, classical] deductive reasoning—in mathematics or in the empirical testing of scientific theories—we employ, in effect, Core Logic [respectively, Classical Core Logic]. Nevertheless logicians, foundationalists, mathematicians and philosophers have yet to recognize that these Core systems suffice for those deductive explorations. I shall try to touch on all the theoretically interesting aspects of Core Logic—philosophical, metamathematical, proof-theoretic, methodological, computational and revision-theoretic. Cockins Hall 240 Department of Mathematics math@osu.edu America/New_York public

Title: Core Logic (contintued)

Speaker: Neil Tennant 

Abstract: Core Logic is a beautiful, elegant and powerful system. Wherever we engage in constructive [respectively, classical] deductive reasoning—in mathematics or in the empirical testing of scientific theories—we employ, in effect, Core Logic [respectively, Classical Core Logic]. Nevertheless logicians, foundationalists, mathematicians and philosophers have yet to recognize that these Core systems suffice for those deductive explorations. I shall try to touch on all the theoretically interesting aspects of Core Logic—philosophical, metamathematical, proof-theoretic, methodological, computational and revision-theoretic.

Events Filters: