October 25, 2016
1:50PM - 2:50PM
Cockins Hall 240
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
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
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.