- All Seminars
- Actuarial Science Seminar
- Algebra Seminar
- Analysis Learning Seminar
- Analysis and Probability Seminar
- Cluster Algebras Seminar
- Connecticut Logic Seminar
- Control and Optimization
- Discrete Mathematics Seminar and Statistical Mechanics Seminar
- Math Club Talks
- Mathematical Physics Seminar
- Mathematics Colloquium
- Mathematics Education Seminar
- Mathematical Finance Seminar
- Ph.D. Defense
- PDE and Differential Geometry Seminar
- S.I.G.M.A. Seminar
- UConn Logic Colloquium

## UConn Logic Colloquium

- 1/27
*Logic Colloquium: Josh Grochow (Colorado)*#### Logic Colloquium: Josh Grochow (Colorado)

Friday, January 27th, 2023

2:00 PM - 3:30 PM

Storrs Campus

ZoomJoin 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/

Contact Information: logic@uconn.edu More - 2/1
*UCHI Fellow's Talk: Stefan Kaufmann*#### UCHI Fellow's Talk: Stefan Kaufmann

Wednesday, February 1st, 2023

3:30 PM - 4:30 PM

Storrs Campus

Humanities Institute Conference RoomResearch talk by Stefan Kaufmann with response by Kareem Khalifa.

Register to attend virtually:

https://us06web.zoom.us/webinar/register/WN_O2BggnyFRoOVv7KFjwjYJw

Contact Information: uchi@uconn.edu More - 2/10
*Logic Colloquium: Eugenio Orlandelli (Bologna)*#### Logic Colloquium: Eugenio Orlandelli (Bologna)

Friday, February 10th, 2023

2:00 PM - 3:30 PM

Storrs Campus

ZoomJoin 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/

Contact Information: logic@uconn.edu More - 2/17
*Linguistics Colloquium: Robert Stalnaker (MIT)*#### Linguistics Colloquium: Robert Stalnaker (MIT)

Friday, February 17th, 2023

4:00 PM - 6:00 PM

Storrs Campus

Oak HallJoin us in the Logic Colloquium for a talk by Robert Stalnaker!

Contact Information: chui_yi.lee@uconn.edu; zixi.liu@uconn.edu More - 2/24
*Logic Colloquium: Elitzur Bar-Asher Siegal*#### Logic Colloquium: Elitzur Bar-Asher Siegal

Friday, February 24th, 2023

2:00 PM - 3:30 PM

Storrs Campus

BUSN 218 & ZoomJoin 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/

Contact Information: logic@uconn.edu More - 3/24
*Lycanfest*#### Lycanfest

Friday, March 24th, 2023

12:00 AM - 11:59 PM

Storrs Campus

Humanities Institute Conference RoomThe Department of Philosophy, Cognitive Science Program, and Humanities Institute are delighted to co-host a day-long Workshop on the Philosophical Contributions of William G. Lycan on March 24, 2023. Please see the schedule below. Each talk is 35 minutes followed by a 10 minute Q& A. There will be 15 minute breaks between talks.

09:00 - 09:45: Ted Parent (Nazarbayev U.): "Mitigating Metaphilosophical Despair"

10:00 - 10:45: Ram Neta (UNC): "What sort of thing could do what Lycan takes intuitions to do?"

11:00 - 11:45: Jan Michel (Dusseldorf): "Discoveries and the Paronymy of General Terms"

Lunch Break

01:00 - 01:45: Ruth Millikan (UConn): "What knowledge is! or a neglected dimension of language"

02:00 - 02:45: Charity Anderson (Baylor U.),"On Progress in Philosophy"

03:00 - 03:45: Paul Bloomfield (UConn): "Whiff of Morality?"

04:00 - 04:45: Angela Mendelovici (Toronto): "Three Perspectives on Perspective"

05:00 - 06:00: William G. Lycan Replies

If you require an accommodation to participate in this event, please let us know by emailing philosophy@uconn.edu.

Contact Information: Mitch Green | mitchell.green@uconn.edu More - 3/31
*Annual Logic Lecture: Maria Aloni (ILLC, Amsterdam)*#### Annual Logic Lecture: Maria Aloni (ILLC, Amsterdam)

Friday, March 31st, 2023

2:00 PM - 4:00 PM

Storrs Campus

ZoomJoin 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/

Contact Information: logic@uconn.edu More - 4/21
*Logic Colloquium: Liesbeth De Mol (Lille)*#### Logic Colloquium: Liesbeth De Mol (Lille)

Friday, April 21st, 2023

10:00 AM - 11:30 AM

Storrs Campus

ZoomJoin us in the Logic Colloquium for a talk by Liesbeth De Mol!

Detail t.b.a.

https://logic.uconn.edu/calendar/

Contact Information: logic@uconn.edu More

*Past talks in or after Spring 2019 are accessible through the UConn Events Calendar.*