- 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/27Logic Colloquium: Josh Grochow (Colorado)
Logic Colloquium: Josh Grochow (Colorado)Friday, January 27th, 20232:00 PM - 3:30 PMStorrs CampusZoomJoin 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].
- 2/1UCHI Fellow's Talk: Stefan Kaufmann
UCHI Fellow's Talk: Stefan KaufmannWednesday, February 1st, 20233:30 PM - 4:30 PMStorrs CampusHumanities Institute Conference RoomResearch talk by Stefan Kaufmann with response by Kareem Khalifa.
Register to attend virtually:
https://us06web.zoom.us/webinar/register/WN_O2BggnyFRoOVv7KFjwjYJwContact Information: firstname.lastname@example.org More
- 2/10Logic Colloquium: Eugenio Orlandelli (Bologna)
Logic Colloquium: Eugenio Orlandelli (Bologna)Friday, February 10th, 20232:00 PM - 3:30 PMStorrs CampusZoomJoin 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.
- 2/17Linguistics Colloquium: Robert Stalnaker (MIT)
Linguistics Colloquium: Robert Stalnaker (MIT)Friday, February 17th, 20234:00 PM - 6:00 PMStorrs CampusOak HallJoin us in the Logic Colloquium for a talk by Robert Stalnaker!Contact Information: email@example.com; firstname.lastname@example.org More
- 2/24Logic Colloquium: Elitzur Bar-Asher Siegal
Logic Colloquium: Elitzur Bar-Asher SiegalFriday, February 24th, 20232:00 PM - 3:30 PMStorrs CampusBUSN 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.
For Zoom log-in, please email: email@example.com
LycanfestFriday, March 24th, 202312:00 AM - 11:59 PMStorrs CampusHumanities 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"
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 firstname.lastname@example.org.Contact Information: Mitch Green | email@example.com More
- 3/31Annual Logic Lecture: Maria Aloni (ILLC, Amsterdam)
Annual Logic Lecture: Maria Aloni (ILLC, Amsterdam)Friday, March 31st, 20232:00 PM - 4:00 PMStorrs CampusZoomJoin us for the Annual Logic Lecture, given by the UConn Logic Group 2022/23 Scholar of Consequence:
Maria Aloni (ILLC, Amsterdam)
- 4/21Logic Colloquium: Liesbeth De Mol (Lille)
Logic Colloquium: Liesbeth De Mol (Lille)Friday, April 21st, 202310:00 AM - 11:30 AMStorrs CampusZoomJoin us in the Logic Colloquium for a talk by Liesbeth De Mol!
Past talks in or after Spring 2019 are accessible through the UConn Events Calendar.