
We have an ever expanding domain of applications of logic: in mathematics, in philosophy, computer science, linguistics, cognitive science, and social science. More and more fields demand logical analysis.
Professor Sara Negri, delivering the 2019 Annual Logic Lecture
News
Logic Group’s Statement on Black Lives Matter
The UConn Logic Group, as a founding and principal member of the Logic Supergroup, is a co-signatory on the Supergroup’s recent Statement on Black Lives Matter. The full statement appears below. Statement from the Logic Supergroup organizers on Black Lives Matter The killings of George Floyd and Breonna Taylor by police have resulted in deep […]
[Read More]Online Truth Conference
This might interest you: TRUTH 20/20 — an online conference, July 27 – August 6, 2020. http://tinyurl.com/truth-conference-2020
[Read More]Logic Group videos and new Logic Supergroup channel
There are number of new recordings of UConn Logic Group colloquium talks on our youtube channel: www.youtube.com/c/UConnLogicGroup. We are also introducing playlists: for example, for last year’s “If” by any other name workshop here, or the keynote lectures of the SEP 2018 conference (which was hosted by the UConn Logic Group) here. We’re also happy […]
[Read More]Online Logic Supergroup!
We’re co-organizing a series of online colloquia. Currently six nine fourteen sixteen (I stopped counting) logic groups, programs, centers, institutes, … from around the globe are participating. Go here for details: https://logic.uconn.edu/supergroup/
[Read More]Postponed: Abstractionism 2 conference
See here.
[Read More]Logic Certificate (and Damir D. Dzhafarov) featured in UConn Today
Logic, a Common Thread at UConn
[Read More]2019 Workshop: “If” by any other name
UConn Logic Group Workshop, April 6-7, 2019 “If” by any other name It is a relatively recent development that research on conditionals is taking a deep and sustained interest in the full range of linguistic markers, their interactions with each other and with other linguistic categories, and the ways in which they drive and constrain […]
[Read More]UConn Logic Group Launches New Certificate Program
The Logic Group is pleased to announce that the Graduate Certificate in Logic is now accredited—which means that we can start awarding it! A website explaining the certificate in detail is in the works. We hope to have this up by the time the new semester starts. In the meantime, here is a rough summary: […]
[Read More]Grad Student David Nichols Featured in UConn Today
Complex Math Visuals are This Researcher’s Handiwork
[Read More]Marcus Rossberg Featured in UConn Today
Opening New Areas of Scholarship in Study of Logician Gottlob Frege
[Read More]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/Contact Information: logic@uconn.edu More - 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_O2BggnyFRoOVv7KFjwjYJwContact Information: uchi@uconn.edu More - 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/Contact Information: logic@uconn.edu More - 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: chui_yi.lee@uconn.edu; zixi.liu@uconn.edu More - 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/Contact Information: logic@uconn.edu More - 3/24Lycanfest
Lycanfest
Friday, 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"
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/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/Contact Information: logic@uconn.edu More - 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/Contact Information: logic@uconn.edu More
Recent Tweets



