This Semester
- 1/27Logic Colloquium: Josh Grochow (Colorado)
Logic Colloquium: Josh Grochow (Colorado)
Friday, January 27th, 20232:00 PM - 3:30 PMStorrs CampusZoom
Join us for a talk in the Logic Colloquium!
Josh Grochow (Colorado)
Polynomial-time axioms of choice and polynomial-time cardinality
Many versions of the Axiom of Choice (AC), though equivalent in ZF set theory, are inequivalent from the computational point of view. When we consider polynomial-time analogues of AC, many of these different versions can be shown to be equivalent to other more standard questions about the relationship between complexity classes. We will use some of these formulations of AC to motivate several complexity questions that might otherwise seem a bit bespoke and unrelated from one another.
Next, as many versions of AC are about cardinals, in the second half of the talk we introduce a polynomial-time version of cardinality, in the spirit of polynomial-time model theory. As this is a new theory, we will discuss some of the foundational properties of polynomial-time cardinality, some of which may be surprising when contrasted with their set-theoretic counterparts. The talk will contain many open questions, and the paper contains even more! Based on arXiv:2301.07123 [http://cs.CC].
https://logic.uconn.edu/calendar/ - 2/1UCHI Fellow's Talk: Stefan Kaufmann
UCHI Fellow's Talk: Stefan Kaufmann
Wednesday, February 1st, 20233:30 PM - 4:30 PMStorrs CampusHumanities Institute Conference Room
Research talk by Stefan Kaufmann with response by Kareem Khalifa.
Register to attend virtually:
https://us06web.zoom.us/webinar/register/WN_O2BggnyFRoOVv7KFjwjYJw - 2/10Logic Colloquium: Eugenio Orlandelli (Bologna)
Logic Colloquium: Eugenio Orlandelli (Bologna)
Friday, February 10th, 20232:00 PM - 3:30 PMStorrs CampusZoom
Join us in the Logic Colloquium!
Eugenio Orlandelli (Bologna)
Quantified modal logics: One approach to rule them all!
We present a general approach to quantified modal logics (QML) that can simulate most other approaches. The language is based on operators indexed by terms which allow to express de re modalities and to control the interaction of modalities with the first-order machinery and with non-rigid designators. The semantics is based on a primitive counterpart relation holding between n-tuples of objects inhabiting possible worlds. This allows an object to be represented by one, many or no object in an accessible world. Moreover by taking as primitive a relation between n-tuples we avoid the shortcomings of standard individual counterparts. Finally, we use cut-free labelled sequent calculi to give a proof-theoretic characterisation of the quantified extensions of each first-order definable propositional modal logic. In this way we show how to complete many axiomatically incomplete QML.
https://logic.uconn.edu/calendar/ - 2/17Linguistics Colloquium: Robert Stalnaker (MIT)
- 2/24Logic Colloquium: Elitzur Bar-Asher Siegal
Logic Colloquium: Elitzur Bar-Asher Siegal
Friday, February 24th, 20232:00 PM - 3:30 PMStorrs CampusBUSN 218 & Zoom
Join us for a talk in the Logic Colloquium!
Elitzur Bar-Asher Siegel (Jerusalem):
"Modeling Linguistic Causation"
This talk introduces a systematic way of analyzing the semantics of causative linguistic expressions, and of how natural languages express causal relationships. For this purpose, I will employ the Structural Equation Modeling (SEM) framework and demonstrate how this method offers a rigorous model-theoretic approach to examining the distinct semantics of causal expressions. This paper introduces formal logical definitions of different types of conditions using SEM networks, and illustrates how this proposal, along with its formal tools, can help to clarify the asymmetric entailment relationship among different causative constructions.
All welcome!
For Zoom log-in, please email: logic@uconn.edu
https://logic.uconn.edu/calendar/ - 3/24Lycanfest
- 3/31Annual Logic Lecture: Maria Aloni (ILLC, Amsterdam)
Annual Logic Lecture: Maria Aloni (ILLC, Amsterdam)
Friday, March 31st, 20232:00 PM - 4:00 PMStorrs CampusZoom
Join us for the Annual Logic Lecture, given by the UConn Logic Group 2022/23 Scholar of Consequence:
Maria Aloni (ILLC, Amsterdam)
Details t.b.a.
https://logic.uconn.edu/annual-logic-lecture/ - 4/21Logic Colloquium: Liesbeth De Mol (Lille)
Logic Colloquium: Liesbeth De Mol (Lille)
Friday, April 21st, 202310:00 AM - 11:30 AMStorrs CampusZoom
Join us in the Logic Colloquium for a talk by Liesbeth De Mol!
Detail t.b.a.
https://logic.uconn.edu/calendar/
