This might interest you: TRUTH 20/20 — an online conference, July 27 – August 6, 2020.

# News

# Logic Group videos and new Logic Supergroup channel

There are number of new recordings of UConn Logic Group colloquium talks on our youtube channel. We are also introducing playlists: for example, for last year’s *“If” by any other name* workshop here, or the recordings of the SEP 2018 conference (which was hosted by the UConn Logic Group) here.

We’re also happy to announce that the Logic Supergroup also has a youtube channel now, where many of the talks that are given in Supergroup online talks series will be available. Four videos are already up!

# Leitgeb talk video online

The recording of Hannes Leitgeb’s talk “On the Logic of Vector Space Models” in the Logic Supergroup online colloquium can now be found on our youtube channel.

# 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/

# Postponed: Abstractionism 2 conference

See here.

# Logic Certificate (and Damir D. Dzhafarov) featured in UConn Today

# 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 the interpretation of the sentences they occur in. Tense and aspect is an area where such attention has already borne fruit; to a lesser extent, we may mention conditional connectives and pro-forms (especially thanks to works like Iatridou 2000 and Iatridou & Embick 1993). More recently, there seems to be a growing interest in two things: on the one hand, more varied aspects of formal marking of conditionals and the ways in which different grammatical categories may be recruited to encode conditional meaning (including aspect, different types of connectives, conjunctions, etc.); on the other hand, the appearance of these markers in other linguistic contexts (like optatives, complement clauses, temporal clauses, interrogatives, etc.).

__Program__

**Saturday, April 6**

12:00-2:00: Kai von Fintel & Sabine Iatridou (MIT) “Prolegomena to a Theory of X-Marking”

2:30-3:15: Muyi Yang (UConn) “Explaining negative counterfactuals”

3:15-4:00: Teruyuki Mizuno (UConn) “The structure of might-counterfactuals: a view from Japanese”

4:30-5:30: Paolo Santorio (UC San Diego) “The Double Life of Antecedent Strengthening”

**Sunday, April 7**

10:00-11:00: Una Stojnić (Columbia): t.b.a.

11:15-12:00: Hiromune Oda (UConn): t.b.a.

1:30-2:30: Will Starr (Cornell) “Indicative Conditionals, Strictly”

After 2:30: coffee & discussion as desired

# 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:

*Any UConn graduate student can get the Graduate Certificate in Logic as an additional qualification. There are barely any requirements in addition to what graduate student members of the Logic Group are doing already: participate in the Logic Colloquium, 12 credits from any graduate course in logic, broadly construed, from any department, and these courses must be from at least two different departments (it’s an interdisciplinary certificate, after all). These courses are not in addition to the courses you’re taking already for MA or PhD, but the very same courses you’re taking anyway. You can find a list of logic course below, but other courses might qualify—just ask.*

*The participation in the Logic Colloquium needs to be made official by way of taking a one-credit independent study with one of the logic certificate directors (or any other Logic Group faculty member who is willing), with the Logic Colloquium as “course content”. Please contact any of the three logic certificate directors, Magda, Damir, or Marcus, if you have any questions about any of this or to apply for a having the logic certificate awarded.*

Graduate Courses in Logic (examples):

- CSE 5102 – Advances Programming Languages
- CSE 5506 – Computational Complexity
- LING 5410 – Semantics I
- LING 5420 – Semantics II
- LING 6410 – Semantics Seminar
- LING 6420 – Topics in Semantics
- MATH 5026 – Topics in Mathematical Logic
- MATH 5260 – Mathematical Logic I
- PHIL 5307 – Logic
- PHIL 5311 – Properties of Formal Systems
- PHIL 5344 – Seminar in Philosophical Logic