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/

Research talk by Stefan Kaufmann with response by Kareem Khalifa.

Register to attend virtually:
https://us06web.zoom.us/webinar/register/WN_O2BggnyFRoOVv7KFjwjYJw

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/

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

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/

The 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.

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/

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

Detail t.b.a.

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