Skip to Navigation Skip to UConn Search Skip to Content
UConn University of Connecticut school of University of Connecticut
Search University of Connecticut Search UConn
A to Z Index UConn 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 Group’s Statement on Black Lives Matter
  • Online Truth Conference
  • Logic Group videos and new Logic Supergroup channel
  • Leitgeb talk video online
  • Online Logic Supergroup!
  • Postponed: Abstractionism 2 conference

Recent Colloquia

  • Divergent potentialism: A modal analysis with an application to choice sequences
  • Computing Perfect Matchings in Graphs
  • Brouwer, Plato, and classification
  • What Can Theoretical Computer Science Contribute to the Discussion of Consciousness?
  • What Problem Did Ladd-Franklin (Think She) Solve(d)?

Upcoming Events

  1. Oct 30 Logic Colloquium (Online): Brauer, Linnebo, & Shapiro: Choice Sequences11:00am

    Logic Colloquium (Online): Brauer, Linnebo, & Shapiro: Choice Sequences

    Friday, October 30th, 2020

    11:00 AM - 12:30 PM

    Storrs Campus
    online

    Logic Colloquium (Online): Brauer, Linnebo, & Shapiro: Choice Sequences
    Join us for the online Logic Colloquium for a talk by Ethan Brauer, Øystein Linnebo, and Stewart Shapiro on:

    Divergent potentialism: A modal analysis with an application to choice sequences

    Modal logic has recently been used to analyze potential infinity and potentialism more generally. However, this analysis breaks down in cases of divergent possibilities, where the modal logic is weaker than S4.2. This talk has three aims. First, we use the intuitionistic theory of free choice sequences to motivate the need for a modal analysis of divergent potentialism and explain the challenge of connecting the ordinary theory of choice sequences with our modal explication. Then, we use the so-called Beth-Kripke semantics for intuitionistic logic to overcome those challenges. Finally, we apply the resulting modal analysis of divergent potentialism to make choice sequences comprehensible in classical terms.

    Please contact Marcus Rossberg for log-in information.

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

    Contact Information: marcus.rossberg@uconn.edu

    More
  2. Nov 13 Logic Colloquium (online): Sandra Villata – Intermediate grammaticality10:00am

    Logic Colloquium (online): Sandra Villata – Intermediate grammaticality

    Friday, November 13th, 2020

    10:00 AM - 11:30 AM

    Storrs Campus
    online

    Logic Colloquium (online): Sandra Villata – Intermediate grammaticality
    Join us in the online Logic Colloquium for a talk by Sandra Villata (UConn Linguistics) on

    Intermediate grammaticality.

    Please contact Marcus Rossberg for log-in information.

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

    Contact Information: marcus.rossberg@uconn.edu

    More
  3. Dec 4 Logic Colloquium (Online): Nadine Theiler2:00pm

    Logic Colloquium (Online): Nadine Theiler

    Friday, December 4th, 2020

    02:00 PM - 03:30 PM

    Storrs Campus
    online

    Logic Colloquium (Online): Nadine Theiler
    Join us in the Logic Colloquium for a talk by

    Nadine Theiler (UConn, linguistics):

    "An Epistemic Bridge for Presupposition Projection in Questions"

    Please contact Marcus Rossberg for log-in information.

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

    Contact Information: marcus.rossberg@uconn.edu

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