This week: Marcus Rossberg, "Neutral Free Logic"

A series of informal talks by philosophy faculty and graduate students. For a description and how to sign up, see http://philosophy.uconn.edu/brown-bags/.

Each year, the UConn Logic Group bestows the title of Scholar of Consequence to an eminent logician whose work shaped the field.

The 2019 Scholar of Consequence is Sara Negri (Helsinki, Finland).

Professor Negri will give the following public the Annual Logic Lecture:

A three-fold method for non-classical logics

Abstract:

There are three established ways of analysing the validity of a logical argument: axiomatic, semantic, and inferential; they correspond to what could be called the normative, the descriptive, and the deductive face of a logical system and are tightly related to each other by fundamental meta-theorems.

For non-classical logics, each of the three aspects has drawbacks when considered in isolation. The situation changes, however, drastically when the three aspects are developed in parallel. Through the labelled formalism, by now is a well-developed methodology, models can be considered as purely mathematical objects with no ontological assumptions upon them: the semantics is turned into an essential component in the syntax of sequent calculi with invertible rules. Such calculi not only provide a tool for the automatisation of reasoning, but can also be used to establish very general properties of logical systems.

All welcome!

https://logic.uconn.edu/annual-logic-lecture/

Join is for the Logic Colloquium given by the 2019 Scholar of Consequence!

Sara Negri (Helsinki, Finland)

"Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko’s theorem"

Abstract:

Glivenko’s well known result of 1929 established that a negated propositional formula provable in classical logic is even provable intuitionistically. Similar later transfers from classical to intuitionistic provability therefore fall under the nomenclature of Glivenko-style results: these are results about classes of formulas for which classical provability yields intuitionistic provability. The interest in isolating such classes lies in the fact that it may be easier to prove theorems by the use of classical rather than intuitionistic logic. Further, since a proof in intuitionistic logic can be associated to a lambda term and thus obtain a computational meaning, such results have more recently been gathered together under the conceptual umbrella “computational content of classical theories.” They also belong to a more general shift of perspective in foundations: rather than developing constructive mathematics separately, as in Brouwer’s program, one studies which parts of classical mathematics can be directly translated into constructive terms.

We shall survey how Glivenko-style results can be easily obtained by the choice of suitable sequent calculi for classical and intuitionistic logic, by the conversion of axioms into inference rules, and by the procedure of geometrization of first order logic.

All welcome!

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

ECOM Conference: Communication, Context, Conversation

ECOM Conference: Communication, Context, Conversation

The Meaning Group will meet this Friday, May 10, at 1:15 in Oak Hall 338. Magdalena Kaufmann will present an early version of her upcoming invited talk at Semantics and Linguistic Theory (SALT). The title of her talk is "Who’s controlling who (and what) - evidence from embedded imperatives and insubordinates". Feedback will be much appreciated.

The UConn Meaning Group meets on a regular (mostly weekly) basis throughout the academic year to discuss recent and ongoing work in the areas of Semantics, Pragmatics, and Philosophy of Language.

Follow the link below for details and contact information.

The CT Institute for the Brain and Cognitive Sciences (IBACS) invites you to their annual two-day “Meet and Speak” event on May 14th and 15th where affiliated faculty (from the Storrs campus and UConn Health Center) will give up to 15-minute presentations describing, in accessible language, the research they have carried out, or propose carrying out, with seed funding previously awarded by IBACS. Graduate Students affiliated with the Institute will be performing short “datablitz” style presentations about their involvement in Seed Funded or related research, and posters. Morning and afternoon sessions will be held on the first floor of Oak Hall (101-107) from 9:00am-6:30pm. A general program is now available on our website.
In addition, the 2019 Meet-and-Speak will feature a film series on Tuesday evening and a Keynote speaker on Wednesday evening.

This event will provide an opportunity to learn more about the diverse research that IBACS affiliates are engaged in, and will provide a forum for cross-disciplinary networking. Lunch and other refreshments will be provided.

If you are interested in attending all or part of this 2-day event, please register on our website by May 1st.

The CT Institute for the Brain and Cognitive Sciences (IBACS) invites you to their annual two-day “Meet and Speak” event on May 14th and 15th where affiliated faculty (from the Storrs campus and UConn Health Center) will give up to 15-minute presentations describing, in accessible language, the research they have carried out, or propose carrying out, with seed funding previously awarded by IBACS. Graduate Students affiliated with the Institute will be performing short “datablitz” style presentations about their involvement in Seed Funded or related research, and posters. Morning and afternoon sessions will be held on the first floor of Oak Hall (101-107) from 9:00am-6:30pm. A general program is now available on our website.
In addition, the 2019 Meet-and-Speak will feature a film series on Tuesday evening and a Keynote speaker on Wednesday evening.

This event will provide an opportunity to learn more about the diverse research that IBACS affiliates are engaged in, and will provide a forum for cross-disciplinary networking. Lunch and other refreshments will be provided.

If you are interested in attending all or part of this 2-day event, please register on our website by May 1st.