Upcoming Events
-
12/1
Brown Bag: Mengyu Hu, TBA
-
12/3
Logic Colloquium: Damian Szmuc (Buenos Aires)
Logic Colloquium: Damian Szmuc (Buenos Aires)
Friday, December 3rd, 2021
02:30 PM - 04:00 PM
Storrs Campus online
Join us in the Logic Colloquium for a talk by
Damian Szmuc (Buenos Aires / IIF-SADAF, CONICET):
"On sequent calculi for Classical Logic where Cut is admissible"
The aim of this talk is to examine the class of Gentzen-style sequent calculi where Cut is admissible but not derivable that prove all the (finite) inferences that are usually taken to characterize Classical Logic—conceived with conjunctively-read multiple premises and disjunctively-read multiple conclusions. We’ll do this starting from two different calculi, both counting with Identity and the Weakening rules in unrestricted form. First, we’ll start with the usual introduction rules and consider what expansions thereof are appropriate. Second, we’ll start with the usual elimination or inverted rules and consider what expansions thereof are appropriate. Expansions, in each case, may or may not consist of additional standard or non-standard introduction or elimination rules, as well as of restricted forms of Cut.
Please contact logic@uconn.edu for log-in information.
https://logic.uconn.edu/calendar/ -
12/3
Linguistics Colloquium: Kathryn Davidson (Harvard)
-
12/8
Brown Bag: Heather Battaly, TBA
-
12/10
Logic Colloquium: S. Florio, S. Shapiro, E. Snyder: Definitional Equivalence And Plural Logic
Logic Colloquium: S. Florio, S. Shapiro, E. Snyder: Definitional Equivalence And Plural Logic
Friday, December 10th, 2021
02:30 PM - 04:00 PM
Storrs Campus online
Join us for the Logic Colloquium for a talk by Salvatore Florio, Stewart Shapiro, and Eric Snyder on definitional equivalence and plural logic.
All welcome. -
1/21
Philosophy Department Colloquium: Amie Thomasson
