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
- 3/29 Logic Colloquium: Ainsley May (UC Irvine)
Logic Colloquium: Ainsley May (UC Irvine)
Friday, March 29th, 202402:00 PM ZoomJoin us for a talk by
Ainsley May (UC Irvine):
“Meaning in Mathematics: a folkloric account”
Current accounts of meaning in mathematics face a dilemma between triviality and over-specificity. On the one hand, intensional accounts of meaning such as possible world semantics give the trivial result that every mathematical theorem has the same meaning since they are all necessarily true. This triviality is unsatisfactory because we clearly hold some mathematical theorems have different meanings from others. On the other hand, hyperintensional accounts like impossible worlds and structured propositions allow us to distinguish between necessary truths. However, they are so fine-grained that it becomes difficult to uniformly identify the salient semantic features.
In response to this dilemma, I propose an account of mathematical meaning called the folkloric account. On the folkloric account the content of a mathematical theorem is the collection of models, within some reference class of models, that make the theorem true. The appeal of this account is partly that it retains central aspects of world-based accounts, such as evaluation within a model. Yet it overcomes their limitations by incorporating more models to represent different mathematical theories and structures without allowing absolutely every such structure. Here, I introduce the folkloric account and use examples to highlight some of its strengths and identify weaknesses to address in future research.Contact Information:logic@uconn.edu
More - 4/5 Logic Colloquium: Andrew Tedder (Vienna)
Logic Colloquium: Andrew Tedder (Vienna)
Friday, April 5th, 202402:00 PM MCHU 201 & ZoomJoin us in the Logic Colloquium!
Andrew Tedder (Vienna)
“Relevant Logics as Topical Logics”There is a simple way of reading a structure of topics into the matrix models of a given logic, namely by taking the topics of a given matrix model to be represented by subalgebras of the algebra reduct of the matrix, and then considering assignments of subalgebras to formulas. The resulting topic-enriched matrix models bear suggestive similarities to the two-component frame models developed by Berto et. al. in Topics of Thought. In this talk I’ll show how this reading of topics can be applied to the relevant logic R, and its algebraic characterisation in terms of De Morgan monoids, and indicate how we can, using this machinery and the fact that R satisfies the variable sharing property, read R as a topic-sensitive logic. I’ll then suggest how this approach to modeling topics can be applied to a broader range of logics/classes of matrices, and gesture at some avenues of research.
All welcome!
Contact Information:logic@uconn.edu
More - 4/19 Logic Colloquium: Jonas Raab (Trinity College Dublin)
Logic Colloquium: Jonas Raab (Trinity College Dublin)
Friday, April 19th, 202402:00 PM ZoomJoin us in the Logic Colloquium for a talk by
Jonas Raab (Trinity College Dublin)
“Modal QUARC and Barcan”
Contact Information:logic@uconn.edu
More - 4/26 Logic Colloquium: Xinhe Wu (NCSU)
- 5/24 World Sequence Day
World Sequence Day
Friday, May 24th, 2024All Day Homer Babbidge Library, Heritage RoomMini-Conference
Speakers include:
Bas van Fraassen
Robert Stalnaker
Cian Dorr
Melissa Fusco
Calum McNamaraContact Information:stefan.kaufmann@uconn.edu
More