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

- 9/16
*Logic Colloquium: Florio, Shapiro, & Snyder: Semantics And Logic; Logic And Semantics*#### Logic Colloquium: Florio, Shapiro, & Snyder: Semantics And Logic; Logic And Semantics

Friday, September 16th, 2022

11:15 AM - 12:45 PM

Storrs Campus

Hybrid: ITE 336 & ZoomJoin us in the Logic Colloquium for a talk by

Salvatore Florio, Stewart Shapiro, and Eric Snyder:

"Semantics and logic; logic and semantics"

Abstract:

It is widely (but not universally) held that logical consequence is determined (at least in part) by the meanings of the logical terminology. One might think that this is an empirical claim that can be tested by the usual methods of linguistic semantics. Yet most philosophers who hold views about logic like this do not engage in empirical research to test the main thesis. Sometimes the thesis is just stated, without argument, and sometimes it is argued for on a priori grounds. Moreover, many linguistic studies of words like “or”, the conditional, and the quantifiers run directly contrary to the thesis in question.

From the other direction, much of the work in linguistic semantics uses logical symbols. For example, it is typical for a semanticist to write a biconditional, in a formal language, whose left hand side has a symbol for the meaning of an expression in natural language and whose right hand side is a formula consisting of lambda-terms and other symbols from standard logic works: quantifiers ∀, ∃ and connectives ¬, →, ∧, ∨, ↔. This enterprise thus seems to presuppose that readers already understand the formal logical symbols, and the semanticist uses this understanding to shed light on the meanings of expressions in natural language. This occurs even if the natural language expressions are natural language terms corresponding to the logical ones: “or”, “not”, “forall”, and the like.

The purpose of this talk is to explore the relation between logic and the practice of empirical semantics, hoping to shed light, in some way, on both enterprises.

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

All welcome!

Please contact logic@uconn.edu for Zoom log-in information.

Contact Information: logic@uconn.edu More - 9/23
*Logic Colloquium: Hitoshi Omori (Bochum)*#### Logic Colloquium: Hitoshi Omori (Bochum)

Friday, September 23rd, 2022

11:15 AM - 12:45 PM

Storrs Campus

onlineJoin us for a talk by Hitoshi Omori!

"Three questions on Jaskowski's discussive logic"

Abstract: Stanislaw Jaskowski is known to be one of the modern founders of paraconsistent logic, together with Newton C. A. da Costa. The most important contribution of Jaskowski is that he clearly distinguished two notions for a theory, namely a theory being contradictory (or inconsistent) and a theory being trivial (or overfilled). In addition to this distinction, he also presented a system of paraconsistent logic known as D2 which is often referred to as discursive logic or discussive logic. Very briefly put, D2 was introduced via modal logic S5, building on a certain idea related to discussion, and seen as a typical non-adjunctive system of paraconsistent logic.

The aim of this talk is to address the following three questions:

(i) Are there other modal logics than S5 that will be sufficient to define D2?

(ii) Are there other ways to capture Jaskowski's idea than the well-known translation?

(iii) Is there more to discussive logic than being non-adjunctive?

These questions are, of course, not entirely new. In particular, the first question has led to a number of interesting and non-trivial results. However, there seem to be other answers than those already discussed in the literature, and I will present some new answers to the above questions.

(The results related to the first and the second questions build on joint work with Fabio De Martin Polo and Igor Sedlar, respectively.)

All welcome!

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

Contact Information: logic@uconn.edu More - 10/7
*Logic Colloquium: Zoe Ashton (OSU)*#### Logic Colloquium: Zoe Ashton (OSU)

Friday, October 7th, 2022

11:15 AM - 12:45 PM

Storrs Campus

Hybrid: ITE 336 & ZoomJoin us in the Logic Colloquium!

Zoe Ashton (OSU)

"How the Standard View of Rigor and the Standard Practice of Mathematics Clash"

Mathematical proofs are rigorous – it’s part of what distinguishes proofs from other argument types. But the quality of rigor, relatively simple for the trained mathematician to spot, is difficult to explicate. The most common view, often referred to as the standard view of rigor, is that “a mathematical proof is rigorous iff it can be converted into a formal derivation” (Burgess & De Toffoli (2022)). Each proponent of the standard view interprets “conversion” differently. For some, like Hamami (2022), conversion means algorithmic translation while others, like Burgess (2015), interpret it as just revealing enough steps of the formal derivation.

In this talk, I aim to present an overarching concern for the standard view. I’ll argue that no extant version of the standard view makes sense of how mathematicians make rigor judgments. Both Hamami (2022) and Tatton-Brown (2021) have both attempted to account for mathematicians’ rigor judgments using the standard view. I’ll argue that both still fail to adequately account for mathematical practice by positing that mathematicians engage in either algorithmic proof search and/or extensive training in formal rigor.

We seem to be left with two options: continue trying to amend the standard view or introduce a new account of rigor which is practice-focused. I’ll argue that issues with the two accounts are general issues that will likely occur for future formulations of the standard view. Thus, we should aim to introduce a new account of informal, mathematical rigor. I’ll close by sketching a new account of rigor related to the audience-based view of proof introduced in Ashton (2021).

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

Contact Information: logic@uconn.edu More - 10/21
*Conference: Conditional Thought and Talk*#### Conference: Conditional Thought and Talk

Friday, October 21st, 2022

12:00 AM - 11:59 PM

Storrs Campus

Homer Babbidge Library, Heritage RoomConference on Linguistics and Philosophy of Conditionals.

https://conditional.linguistics.uconn.edu/workshop-2022/

Contact Information: Mitch Green (mitchell.green@uconn.edu) More - 10/22
*Conference: Conditional Thought and Talk*#### Conference: Conditional Thought and Talk

Saturday, October 22nd, 2022

12:00 AM - 11:59 PM

Storrs Campus

Homer Babbidge Library, Heritage RoomConference on Linguistics and Philosophy of Conditionals.

https://conditional.linguistics.uconn.edu/workshop-2022/

Contact Information: Mitch Green (mitchell.green@uconn.edu) More - 10/28
*Logic Colloquium: Rosalie Iemhoff (Utrecht)*#### Logic Colloquium: Rosalie Iemhoff (Utrecht)

Friday, October 28th, 2022

11:15 AM - 12:45 PM

Storrs Campus

ZoomJoin us in the Logic Colloquium for a talk by

Professor Rosalie Iemhoff (Utrecht)

"Formalization in Proof Theory"

Among the numerous logics that are studied and applied nowadays, many can be described via a proof system, which captures the valid reasoning that can be carried out in the logic, and there are many examples of well-known concrete proof systems that occur in various areas in logic and beyond.

As is well-known, a single logic has many different proof systems, and not every system is as useful as another. Given the goal of the proof-theoretic formalization, be it philosophical or mathematical or of a different nature, one can often distinguish among the proof systems of the logic a class of good proof systems, proof systems with properties that makes them useful in the investigation of the logic. A well-known example are analytic sequent calculi and their use in proving properties of the logic such as decidability or interpolation. But there are many other examples, some of which will be discussed during the talk.

Given a class of such useful proof systems the questions naturally arise whether a certain logic has such a good proof system or not, and what it means for a logic to have such proof systems. These are no easy questions to answer and stated in such generality they may not always have a reasonable answer. But for concrete classes of logics and proof systems something insightful can be said.

In this talk the aim is to do so for intermediate and (intuitionistic) modal logics, where the proof systems that are considered are sequent calculi. And although no full answer is obtained, some small steps in that direction are taken.

All welcome!

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

Contact Information: logic@uconn.edu More - 11/4
*Philosophy Department Colloquium: Kit Fine*#### Philosophy Department Colloquium: Kit Fine

Friday, November 4th, 2022

4:00 PM - 6:00 PM

Storrs Campus

Humanities Institute Conference Room, Homer Babbidge LibraryKit Fine (NYU)

"Is Self Reference Possible?"

Yes, but under a certain natural conception of what expressions are, far harder to achieve than one might have thought. I will argue that self reference cannot plausibly be taken to be possible without making substantive - and somewhat controversial - assumptions concerning the role of quotation, the nature of definition, and the general form of meaning and semantic explanation.

Contact Information: Lynne Tirrell (lynne.tirrell@uconn.edu) More - 11/18
*Logic Colloquium: Lionel Shapiro*#### Logic Colloquium: Lionel Shapiro

Friday, November 18th, 2022

11:15 AM - 12:45 PM

Storrs Campus

Hybrid: ITE 336 & ZoomJoin us in the Logic Colloquium for a talk by

Lionel Shapiro (UConn)

“Neopragmatism About Logic”

I’ll propose an application to logic of the “neopragmatist” program. Neopragmatists argue that inquiry into the nature of what we think and talk about can be fruitfully replaced by inquiry into the functions of concepts and expressions. Logical vocabulary can serve as a particular target for neopragmatist theorizing, but it has also been taken to pose obstacles to neopragmatist accounts more generally. I’ll argue that a neopragmatist approach to logical relations (such as logical consequence), as well as to ascriptions of content, undermines two constraints on neopragmatist accounts of logical connectives (such as “and”, “or”, and “not”). Freed from these constraints, I’ll sketch a simple version of such an account, on which logical connectives express dialectical attitudes. The resulting approach is deflationary in two ways: it's based on deflationism about logical relations and it aims to deflate some of neopragmatists’ usual theoretical ambitions.

All welcome!

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

Contact Information: logic@uconn.edu More - 12/2
*Logic Colloquium: Walter Dean (Warwick)*#### Logic Colloquium: Walter Dean (Warwick)

Friday, December 2nd, 2022

11:15 AM - 12:25 PM

Storrs Campus

ZoomJoin us in the Logic Colloquium for a talk by Walter Dean (Warwick, UK):

"On the reverse philosophy of the sorites paradox"

Abstract: The goal of this talk is to use the sorites paradox to illustrate the methodology of "reverse philosophy" -- i.e. the application of methods from reverse mathematics to study the mathematical involvement of recognized arguments in analytic philosophy. After briefly motivating such a program, I will focus on the following: 1) the role of measurement and representation theorems in the linguistic formulation of various forms of the sorites; 2) the role of a weak form of Hölder's Theorem in the formulation of the conditional sorites for predicates such as "tall"; 3) the role of a stronger form of Hölder's Theorem in the formulation of the so-called continuous sorites for predicates such as "red" of Weber & Colyvan 2010/Weber 2021. Contrasts will be drawn between the constructivity of the weaker form (as observed by Krantz 1968 and formalized in RCA_0 by Solomon 1998) and the non-constructivity of the latter form (due to its apparent dependence on Arithmetical Comprehension).

All welcome!

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

Contact Information: logic@uconn.edu More