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

## Abstractionism 2 conference

It’s finally happening! August 10–12, 2023 Details here: https://rossberg.philosophy.uconn.edu/abstractionism-2-conference/

[Read More]## 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]### This Semester

- 11/7
*Philosophy Department Colloquium: Dr. Gary Mar (Stony Brook)*#### Philosophy Department Colloquium: Dr. Gary Mar (Stony Brook)

Thursday, November 7th, 2024

4:00 PM - 6:00 PM

Susan V. Herbst Hall (Formerly Oak Hall)Harvard University bestowed upon Kurt Gödel an honorary doctorate “for the discovery of the most significant mathematical truth of the century.” John von Neumann regarded him as the greatest “logician since Aristotle,” the only mathematician who was “absolutely irreplaceable.” His friend Einstein liked to say that eh went to the Institute of Advanced Studies “um das Privileg zu haben, mit Gödel zu Fuss nach Hause gehen zu dürfen.” This talk reports on progress made toward using animated logic puzzles, AI, and digital pedagogy to introduce a new generation to Gödel’s Theorems.

Contact Information:Lewis Gordon

More

lewis.gordon@uconn.edu - 11/15
*Logic Colloquium: Zeynep Soysal (Rochester)*#### Logic Colloquium: Zeynep Soysal (Rochester)

Friday, November 15th, 2024

2:00 PM - 3:30 PM

Hybrid: SHH 110 & ZoomJoin us in the Logic Colloquium!

Zeynep Soysal (Rochester):

**The Metalinguistic Construal of Mathematical Propositions**In this talk I will defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions. The metalinguistic solution says that mathematical propositions are possible-worlds propositions about the relation between mathematical sentences and what these sentences express. This solution faces two types of problems. First, it is thought to yield a highly counterintuitive account of mathematical propositions. Second, it still ascribes too much mathematical knowledge if we assume the standard possible-worlds account of belief and knowledge on which these are closed under entailment. I will defend the metalinguistic construal of mathematical propositions against these two types of objections by drawing upon a conventionalist metasemantics for mathematics and an algorithmic model of belief, knowledge, and communication.

All welcome!

Contact Information:logic@uconn.edu

More