Skip to Navigation Skip to UConn Search Skip to Content
UConn University of Connecticut
Search University of Connecticut
A to Z Index

University of Connecticut Logic Group

Search this Site
University of Connecticut Logic Group
Skip to content
  • Home
  • About
  • People
  • Logic Colloquium
  • Annual Logic Lecture
  • Conferences
  • Graduate Certificate in Logic
  • Affiliations
Search this Site

 

Blank square

Sponsors

Sponsors

Colloquium

Logic Colloquium

Annual Lecture

Annual Lecture

Conferences

Conferences

Affiliations

Affiliations

Certificate

Certificate Program

Videos

Subscribe to us on YouTube!

Follow us

Follow us

CT Seminar

Connecticut Logic Seminar

NERDS

NERDS: New England Recursion and Definability Seminar

ASL @ UConn

Association for Symbolic Logic

News

  • Logic Certificate (and Damir D. Dzhafarov) featured in UConn Today
  • 2019 Workshop: “If” by any other name
  • UConn Logic Group Launches New Certificate Program
  • Grad Student David Nichols Featured in UConn Today
  • Jc Beall Named CLAS Distinguished Professor
  • Marcus Rossberg Featured in UConn Today

Recent Colloquia

  • Unveiling the constructive core of classical theories
  • Recursive counterexamples and the foundational standpoint
  • De Re and De Dicto Knowledge of Mathematical Statements
  • How to model the probabilities of conditionals
  • At-issueness in direct quotation: the case of Mayan quotatives

Upcoming Events

  1. Apr 26 Logic Colloquium: Adrian Brasoveanu (UC Santa Cruz)2:30pm
  2. May 1 Annnual Logic Lecture: Sara Negri (Helsinki)4:00pm
  3. May 2 Logic Colloquium: Sara Negri (Helsinki)4:00pm

Logic Colloquium: Adrian Brasoveanu (UC Santa Cruz)

Friday, April 26th, 2019

02:30 PM - 04:00 PM

Storrs Campus
Humanities Institute seminar room, Babbidge Library, 4th Floor

Logic Colloquium: Adrian Brasoveanu (UC Santa Cruz)
Join us for a talk by Adrian Brasoveanu (UC Santa Cruz) in the Logic Colloquium!


https://logic.uconn.edu/

Contact Information: https://logic.uconn.edu/about/

More

Annnual Logic Lecture: Sara Negri (Helsinki)

Wednesday, May 1st, 2019

04:00 PM - 05:30 PM

Storrs Campus
Humanities Institute seminar room, Babbidge Library, 4th Floor

Annnual Logic Lecture: Sara Negri (Helsinki)
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/

Contact Information: https://logic.uconn.edu/about/

More

Logic Colloquium: Sara Negri (Helsinki)

Thursday, May 2nd, 2019

04:00 PM - 05:30 PM

Storrs Campus
Humanities Institute seminar room, Babbidge Library, 4th Floor

Logic Colloquium: Sara Negri (Helsinki)
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/

Contact Information: https://logic.uconn.edu/about/

More
  • © University of Connecticut
  • Disclaimers, Privacy & Copyright
  • Accessibility
  • Webmaster Login