Current Logic Colloquium schedule.
Fall 2020
Date | Speaker | Title |
11 Sep | Sara Uckelman | What Problem Did Ladd-Franklin (Think She) Solve(d)? Abstract | Video |
2 Oct | Lenore Blum | What Can Theoretical Computer Science Contribute to the Discussion of Consciousness? Abstract | Video |
9 Oct | Sam Sanders | Brouwer, Plato, and classification Abstract | Slides | Video |
23 Oct | Tyler Markkanen | Computing Perfect Matchings in Graphs Abstract | Video |
30 Oct | Ethan Brauer, Øystein Linnebo, Stewart Shapiro | Divergent potentialism: A modal analysis with an application to choice sequences Abstract | Video |
13 Nov | Sandra Villata | Intermediate grammaticality Abstract | Video |
4 Dec | Nadine Theiler | An Epistemic Bridge for Presupposition Projection in Questions |
Spring 2020
Date | Speaker | Title |
24 Jan | David Ripley | Core Type Theory Abstract | Video |
7 Feb | Eileen Nutting | Ordering Anything: Rejiggering Linnebo’s Ordinal Abstraction Abstract | Video |
21 Feb | Éno Agolli | Logical Nihilism Abstract |
13 Mar | Ehtibar Dzhafarov | Contextual analysis, epistemic probabilities, and paradoxes POSTPONED due to COVID-19 Abstract |
27 Mar | Paul McNamara | POSTPONED due to COVID-19 |
10 Apr | Tyler Markkanen | POSTPONED due to COVID-19 |
17 Apr | Florian Steinberger | POSTPONED due to COVID-19 |
24 Apr | Toby Meadows | POSTPONED due to COVID-19 C-ALPHA Exchange Speaker |
1–3 May | POSTPONED due to COVID-19 — Abstractionism 2 conference; keynote speaker: Crispin Wright; Call for Paper here. |
Fall 2019
Date | Speaker | Title |
13 Sep | Ole T. Hjortland, Ben Martin | Anti-Exceptionalism and Explanations in Logic Abstract | Video |
27 Sep | Luca Tranchini | Proof-theoretic Harmony: intensional aspects from a second-order perspective Abstract | Video |
4 Oct | Ellen Lehet | The Explanatory Value of Category Theory Abstract | Video |
11 Oct | Ethan Brauer | A Modal Theory of Free Choice Sequences Abstract | Video |
25 Oct | Point of Interest: Philip A. Ebert speaks in the UConn History of Analytic Philosophy Workshop on Frege (1:30pm, HISR) Video | |
25 Oct | Peter Pagin | Indexicals, Time, and Compositionality Abstract | Video |
1 Nov | Chris Kennedy | Annual Logic Lecture Video |
7 Nov | Point of Interest: Sean Morris speaks in the UConn History of Analytic Philosophy Workshop on Carnap and Quine (4:00pm, Manchester Hall 227) | |
8 Nov | Pauline Jacobson | Variable Free Semantics: Putting competition effects where they belong Abstract | Video |
15 Nov | Steven Dalglish | How to Deal with Semantic Paradox (Hint: Accept Defeat) Abstract | Video |
22 Nov | Martin Pleitz | A Dynamic Solution to the Liar Paradox Abstract |
Spring 2019
Date | Speaker | Title |
1 Feb | Shay Logan | Logic is Contractionless and Relevant, but Logic is (Accidentally) Contractionless and Relevant: An Introduction to Deep Fried Logic Abstract |
29 Mar | Benedict Eastaugh | Recursive counterexamples and the foundational standpoint Abstract | Video |
5 Apr | Marianna Antonutti Marfori | De Re and De Dicto Knowledge of Mathematical Statements Abstract |
6-7 Apr | UConn Logic Group workshop: "If" by any other name | Videos | |
12 Apr | Branden Fitelson | How to model the probabilities of conditionals Abstract | Video |
26 Apr | Adrian Brasoveanu | Computational Cognitive Modeling for Syntax and Semantics Abstract |
1 May | Sara Negri | A three-fold method for non-classical logics See Annual Logic Lecture for details. | Video |
2 May | Sara Negri | Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko's theorem Abstract | Video |
Fall 2018
Date | Speaker | Title |
14 Sep | Sandra María López Velasco | Routley-Meyer relational semantics for some variants of Brady's 4-valued matrix Abstract |
28 Sep | Yael Sharvit | Temporal reference in non-specific indefinites Abstract |
12 Oct | Sandra María López Velasco | Routley-Meyer relational semantics for some variants of Brady's 4-valued matrix, part 2 Abstract |
9 Nov | Sabrina Ouazzani | How to compute with an infinite time Turing machine? Abstract | Video |
10–11 Nov | Point of interest: Frege Workshop. | |
12 Nov | Point of interest: Roy T. Cook (Minnesota) speaks on Indeterminacy and Intuitionistic Logic in the Philosophy Department. | |
16 Nov | Andrew Tedder | Residuals and Conjugates in Positive Substructural Logics Abstract |
7 Dec | Scott AnderBois | At-issueness in direct quotation: the case of Mayan quotatives Abstract |
Spring 2018
Date | Speaker | Title |
26 Jan | Joshua Knobe | Moral Disagreement and Moral Semantics Abstract | Video |
2 Feb | Thomas Ferguson | The Strict-Tolerant Interpretation of the Weak Kleene Matrices Abstract |
14 Feb | Point of interest: Rochelle Gutiérrez speaks in the Mathematics Education Seminar. Poster. | |
16 Feb | Andrew Tedder | Saving Truth for Intuitionists Abstract | Video |
23 Feb | Reed Solomon | Ultraproducts and saturation Abstract |
2 Mar | Maryanthe Malliaris | Model theory and ultraproducts See Annual Logic Lecture for details. |
23 Mar | Craige Roberts | Character assassination: de se semantics for indexicals Abstract | Video |
30 Mar | Greg Scontras | The pragmatics of truth-value judgments C-ALPHA Exchange Speaker | Abstract |
13 Apr | Eric Carter | Explanative interpretation in discursive context |
18 Apr | Point of interest: Greg Restall speaks in the Philosophy Department. More info. | |
27 Apr | Joe Buffington | The syntax and semantics of contractual offers Abstract | Video |
18–20 May | Point of interest: Society for Exact Philosophy Annual Meeting at UConn. Videos of keynote talks: Joan Rand Moschovakis | Elaine Landry | Craige Roberts |
Fall 2017
Date | Speaker | Title |
8 Sep | Jos Tellings | Counterfactuality and causal structure Abstract | Video |
21 Sep | Point of interest: Natasha Dobrinen gives the Mathematics Department Colloquium, part of the UConn Special Semester in Logic. | |
22 Sep | Jessica Rett | Explaining 'EARLIEST' Abstract | Video |
5 Oct | Point of interest: Barbara Csima gives the Mathematics Department Colloquium, part of the UConn Special Semester in Logic. | |
6 Oct | Emar Maier | Eventive vs. Evidential Speech Reports Abstract |
10 Oct | Point of interest: Martin Davis gives University Public Lecture, part of the UConn Special Semester in Logic. | |
12 Oct | Point of interest: Martin Davis gives the Mathematics Department Colloquium, part of the UConn Special Semester in Logic. | |
13 Oct | Martin Davis | Pragmatic Platonism Abstract |
19 Oct | Point of interest: Julia Knight gives the Mathematics Department Colloquium, part of the UConn Special Semester in Logic. | |
26 Oct | Point of interest: Antonio Montalbán gives the Mathematics Department Colloquium, part of the UConn Special Semester in Logic. | |
27 Oct | Erik Stei | Rivalry between logics from a pluralist perspective Abstract |
3 Nov | Ed Mares | Theories of Entailment Abstract |
9 Nov | Point of interest: Theodore Slaman gives the Mathematics Department Colloquium, part of the UConn Special Semester in Logic. | |
17 Nov | Una Stojnić | The Logic and Grammar of Prominence Abstract |
17 Nov | Point of interest: Janice Dowell gives Philosophy Department Colloquium (4pm, FS 216). |
Spring 2017
Date | Speaker | Title |
27 Jan | Stewart Shapiro | Computing with numbers and other non-syntactic things: de re knowledge of abstract objects Abstract |
10 Feb | Shay Logan | Noes and Nots Abstract |
17 Feb | Linda Brown Westrick | Computable reducibility and the Baire hierarchy of functions Abstract |
24 Feb | Melissa Fusco | Modality and Classical Logic Abstract |
23–24 Mar | Point of interest: IBACS Meet & Speak | |
24 Mar | Sean Walsh | Realizability Semantics for Quantified Modal Logic Abstract | C-ALPHA Exchange Speaker |
29–30 Mar | Point of interest: OSU/UConn Logic Group Workshop on Contextual Truth (at Ohio State University) | |
31 Mar | Manfred Krifka | Conditional Assertions in Commitment Space Semantics See Annual Logic Lecture for details |
4–6 Apr | Point of interest: UConn Logic Group/MCMP Conference | |
21 Apr | Thomas Graf | Fragments of First-Order Logic for Linguistic Structures Abstract |
28 Apr | Noah Schweber | Generalizing Computability Theory Abstract |
Fall 2016
Date | Speaker | Title |
2 Sep | Dan Lassiter | Learning from and embedding probabilistic language Abstract | Video |
9 Sep | Paolo Santorio | Reasoning and Consequence for Indicative Conditionals Abstract | Video |
7 Oct | UConn Logic Group Meet and Greet | |
21 Oct | Jeff Hirst | Counting uses of a theorem Abstract | Video |
4 Nov | Akihiro Kanamori | Gödel vis-à-vis Russell: Logic and Set Theory Video |
4 Nov | Juliet Floyd | Gödel vis-à-vis Russell: Philosophy Video |
18 Nov | Jeremy Heiss | Why Did Geometers Stop Using Diagrams? C-ALPHA Exchange Speaker Abstract |
Spring 2016
Date | Speaker | Title |
12 Feb | Point of interest: Matthias Aschenbrenner gives Department of Mathematics Colloquium | |
19 Feb | Jacob Archambault | The development of the distinction between formal and material consequence in medieval logic Abstract | Video |
26 Feb | Eric Astor | Density, Intrinsic Density, and “Usually Solvable” Problems |
4 Mar | Parasara Duggirala | Logic and Program Verification Abstract | Video |
11 Mar | Alberto Marcone | The logic of the reverse mathematics zoo |
22 Mar | Tim Williamson | Objective possibilities Abstract | Video |
23 Mar | Tim Williamson | Alternative logics and abductive methodology Abstract | Video |
24 Mar | Tim Williamson | What if the impossible happened? See Annual Logic Lecture for details. Video |
1 Apr | Norbert Gratzl | Single Conclusions Rock, Take 2 Video |
15 Apr | Whit Tabor | Stable, fractal-based processing of complex languages Abstract | video |
22 Apr | Jon Gajewski | The representation of degree in American Sign Language Abstract |
29 Apr | Lenore Blum | Turing and the Other Theory of Computing CANCELED |
3 May | Stewart Shapiro | Epistemic modals and mathematics (joint work with Craige Roberts) |
4 May | Stewart Shapiro | Neo-logicism, structuralism, and Frege’s applications constraint |
23–26 May | Point of interest: The Foundational Impact of Recursion Theory: In honor of Steve Simpson's 70th birthday | |
23–26 May | Point of interest: 2016 ASL Annual North American Meeting |
Fall 2015
Date | Speaker | Title |
18 Sep | Christopher Porter | Logical Approach to Randomness Abstract |
16 Oct | Chris Martens | Proofs as stories |
23 Oct | Shay Logan | Logic, Truth, and Logic Reading |
3 Nov | Point of interest: Joshua Schechter delivers UConn Humanities Institute Fellows’ Public Talk, "Small Steps and Great Leaps in Thought: The Epistemology of Basic Deductive Rules" | |
5 Nov | Point of interest: Jc Beall delivers CLAS BOT Distinguished Professor Lecture, "How Truth and Logic Limit Knowledge" | |
6 Nov | Bruno Whittle | Size and Function Abstract |
13 Nov | Teresa Kouri | A New (Linguistic) Approach to Logical Pluralism Abstract |
4 Dec | Peter Klecha | On Unidirectionality in Precisification Abstract |
Spring 2015
Date | Speaker | Title |
23 Jan | Justin Khoo | Backtracking counterfactuals, revisited Abstract |
6 Feb | Francesca Boccuni | Reference and Invariance in Abstraction Principles Abstract |
13 Feb | Andrew Parisi | The Hypersequent Approach to Modal Logic Abstract |
20 Feb | Katalin Bimbo | Relational semantics for logics with thin sets of connectives Abstract |
27 Mar | Ezra Cook | Some Conditional (re)Solutions Abstract |
3 Apr | Stephen G. Simpson | Potential versus actual infinity: insights from reverse mathematics See Annual Logic Lecture for details. |
10 Apr | Kai Wehmeier | Modal Language and Truth C-ALPHA Exchange Speaker Abstract |
17–19 Apr | Point of interest: Truth Pluralism and Logical Pluralism Conference in Department of Philosophy | |
24 Apr | Dorit Abusch | Dynamic Semantics for Picture Sequences |
30 Apr | Stewart Shapiro | Conceptions of the continuum |
1 May | Cleo Condoravdi | Factual detachment and speaker endorsement Abstract |
2-3 May | UConn Logic Group Workshop: Going Heim. Linguistic Meaning Between Structure and Use. |
Fall 2014
Date | Speaker | Title |
5 Sep | Damir Dzhafarov | The Reverse Sorites |
19 Sep | Fenner Tanswell | Informal Proofs and Formalisation Abstract |
10 Oct | Discussions about collaborative projects | |
17 Oct | Fenner Tanswell | Informal Proof and Mathematical Know-How Abstract |
24 Oct | Lucas Champollion | The common core of distributivity, aspect, and measurement Abstract |
7 Nov | Ilaria Frana | Epistemic biases in Polar Questions. The case of Italian "mica" Abstract |
5 Dec | Joel David Hamkins | An introduction to the theory of infinite games, with examples from infinite chess Abstract |
Spring 2014
Date | Speaker | Title |
31 Jan | Dave Ripley | Affine Logic |
7 Feb | Francesco Paoli | Towards Multiset Consequence Relations |
28 Feb | Jill Anderson | Law and Structural Semantic Ambiguity |
14 Mar | Stefan Kaufmann | Conditionals, conditional probabilities, and conditionalization |
28 Mar | Chris Barker | See Annual Logic Lecture for details. |
11 Apr | Johanna Franklin | Approaches to randomness Abstract |
10 Apr | Point of interest: Denis Hirschfeldt gives Department of Mathematics Colloquium | |
14 Apr | Point of interest: Denis Hirschfeldt speaks in CT Logic Seminar | |
24 Apr | Point of interest: Stewart Shaprio and Gabriel Uzquiano speak on "Ineffability within the Limits of Abstraction" in Marcus Rossberg's Philosophy of Mathematics Seminar (9:30-12:30 in the Basement Lounge of Manchester Hall). | |
25 Apr | Marcus Rossberg | Abstractionism/Neologicism: Intro |
26–27 Apr | UConn Logic Group Workshop: Abstractionism/Neologicism |
Fall 2013
Date | Speaker | Title |
6 Sep | Jc Beall | Basics of LP set theory |
27 Sep | Point of interest: Paraconsistent Set Theory work group (Reading) | |
30 Sep | Point of interest: Sam Baron talk in Philosophy (12:15-1:15pm, Manchester 227) | |
4 Oct | Point of interest: Paraconsistent Set Theory work group | |
11 Oct | Point of interest: Paraconsistent Set Theory work group | |
18 Oct | Point of interest: Paraconsistent Set Theory work group | |
18-20 Oct | Point of interest: The 44th Meeting of the North East Linguistic Society | |
18 Oct | Paul Égré | Negating conditional sentences Abstract |
25 Oct | Shawn Standefer | An extension of the revision theory of truth Abstract |
25 Oct | Point of interest: Joel David Hamkins talk in Mathematics | |
26-27 Oct | Point of interest: Paraconsistent Set Theory workshop | |
1 Nov | Carl Mummert | The modal logic of Reverse Mathematics Abstract |
8 Nov | Jc Beall | Law and logic: more utility for 4-valued logic |
15 Nov | Zach Weber | The Sorites in Paraconsistent Mathematics Abstract |
6 Dec | Tamar Lando | Modal Logic, measure algebras, and 'gunky' space Abstract |
Spring 2013
Date | Speaker | Title |
18 Jan | Keith Simmons | Paradox, Repetition and Revenge Abstract |
19 Feb | Point of interest: UConn's Marcus Rossberg featured in UConn Today. | |
22 Feb | Reed Solomon | Ramsey style theorems in combinatorics and subsystems of second order arithmetic |
14 Mar | Stewart Shapiro | The classical continuum without points Abstract |
15 Mar | Stewart Shapiro | See Annual Logic Lecture for details |
29 Mar | Igor Yanovich | Weak necessity and negated deontics: a view from Russian Abstract |
5 Apr | Kate Davidson | Conjunction and Disjunction in ASL Abstract |
5 Apr | Point of interest: John Burgess talk in the Philosophy Colloquium | |
25 Feb | Point of interest: Panel Discussion on Truth with Michael Glanzberg, Jc Beall, and Michael Lynch | |
26 Apr | Magdalena Kaufmann | What to do if you don't know what to do Abstract | Paper |
Fall 2012
Date | Speaker | Title |
14 Sep | Jc Beall | Logic and Choices |
21 Sep | Bruno Whittle | Incompleteness and the Limits of Mathematical Knowledge |
9 Nov | Lionel Shapiro | Making Sense of (Some) Non-Contractive Solutions to Paradox |
16 Nov | Graham Priest | Contraction and Confusion (rescheduled from 19 Oct) |
30 Nov | Stefan Kaufmann | Strong and Weak Presupposition: German 'ja' under Quantifiers |
7 Dec | Sam Wheeler | Modals and Conditional |
11 Dec | Point of interest: Cleo Condoravdi talk in Linguistics. | |
Spring 2012
Date | Speaker | Title |
17 Feb | Greg Restall | Proof theory and its philosophy |
21 Feb | Greg Restall | Assertion, Denial and Paraconsistent Theories |
21 Feb | Point of interest: David Marker talk in Mathematics | |
24 Feb | Everyone | Working Session on Philosophy of Maths Reading |
24 Feb | Point of interest: Branden Fitelson talk in Philosophy | |
1 Mar | Point of interest: Jeremy Avigad talk in Mathematics | |
2 Mar | Jeremy Avigad | See Annual Logic Lecture for details |
13 Apr | Jan Reimann | Definability and Randomness Abstract |
20 Apr | David Nicolas | The Logic of Mass Expressions |
27 Apr | Richard Heck | Truth and Consistency |
Fall 2011
Date | Speaker | Title |
16 Sep | Reed Solomon | Reverse mathematics: an introduction |
21 Oct | Marcus Rossberg | Non-conervativeness in higher-order logic |
28 Oct | Rick Nouwen | Ignorance without disjunction? The implicatures of numeral modifiers Abstract |
4 Nov | Nilanjan Bhowmick | That F is G: Defending Quantification Abstract |
18 Nov | Michael Hughes | Formal Theories of Coherence: A Primer |
30 Nov | Gregory Lavers | Carnap's Philosophy of Mathematics |
9 Dec | Matt Clemens | Dependence and the iterative conception of set |
Spring 2011
Date | Speaker | Title |
11 Feb | Damir Dzhafarov | Mathematics and vagueness |
18 Feb | Asher Kach and Reed Solomon | Towards computation in uncountable contexts: background |
25 Feb | Russell Miller | Computation in uncountable contexts |
25 Mar | Point of interest: Zach Weber talk in Philosophy. | |
1 Apr | Sam Wheeler | Adjectives |
8-10 Apr | Point of interest: Pillars of Truth. Rides can be arranged. Contact Beall or Rossberg | |
15 Apr | Zach Weber | Paraconsistency |
22 Apr | Zach Weber | Paraconsistency |
29 Apr | Jc Beall | TBA |
Fall 2010
Date | Speaker | Title |
10 Sep | Colin Caret | TBA |
17 Sep | Lionel Shapiro | Deflating Logical Consequence Reading | Handout |
8 Oct | Jon and Yael | Linguistics prep talk Reading |
15 Oct | Tamina Stephenson | Centered Worlds and Subjective Experience in Natural Language Semantics Abstract |
29 Oct | Angelika Kratzer | See Annual Logic Lecture for details |
5 Nov | Roy Cook | Mathematics of Abstraction Reading |
5 Nov | Point of interest: Roy Cook talk in Philosophy | |
12 Nov | Patrick Greenough | TBA |
10 Dec | Everybody! | End of year meeting |
Spring 2010
Date | Speaker | Title |
29 Jan | Scott Lehmann | Classical (Ch 1) |
12 Feb | Jc Beall and Michael Hughes | Temporal (Ch 2) |
26 Feb | Ofra Magidor | Strict finitism and the happy sorites |
26 Feb | Point of interest: Josh Schechter talk in Philosophy | |
5 Mar | Matt Clemens and Doug Owings | Modal (Ch 3) |
19 Mar | Sam Wheeler | Conditional (Ch 4) |
2 Apr | Michael Glanzberg | See Annual Logic Lecture for details. |
Special Session: 9 Apr Patrick Greenough discussion of various topics (e.g., indeterminacy) | ||
16 Apr | Jc Beall | Relevance/relevant/relevantistic (Ch 5) |
23 Apr | Point of interest: Agustin Rayo talk in Philosophy | |
30 Apr | Marcus Rossberg | Intuitionistic (Ch 6) |
30 Apr | Everybody! | End of year 'party' |
Fall 2009
Date | Speaker | Title |
11 Sep | Jon Gajewski | Negation -- linguistic, philosophical, logical perspectives Handout |
18 Sep | Point of interest: Graham Priest talk in Philosophy | |
25 Sep | Yael Sharvit | Negation Handout |
9 Oct | I-Ta Chris Hsieh | NPIs Handout |
23 Oct | Zoltan Gendler Szabo | Infinitary Tasks |
13 Nov | Sam Wheeler | Davidsonian truth and the sorites combined Reading |
4 Dec | Lyn Tieu and William Snyder | Grammatical Conservatism in the Acquisition of Semantics |
Spring 2009
Date | Speaker | Title |
30 Jan | Greg Restall | Normative Inferentialist Modal Logic: from pragmatics to two-dimensional semantics. Reading 1 | Reading 2 |
13 Feb | Yael Sharvit | Acceptable Cases of Unacceptable Coreference |
27 Feb | Jon Gajewski | L-triviality and Grammar Reading |
20 Mar | Scott Lehmann | On Diagonalization Reading |
3 Apr | Colin Caret | Bridging the Modal/Relevant Divide |
10 Apr | Bob Milnikel | An Introduction to Justification Logic Reading 1 | Reading 2 |
17 Apr | Whit Tabor | Iterated Map Dynamical Systems and the Relationship between Symbolic and Subsymbolic Computation Reading |
Fall 2008
Date | Speaker | Title |
5 Sep | Colin Caret | Lukasiewiczω propositional language Reading |
19 Sep | Colin Caret | Lukasiewiczω first-order language Reading | Minutes |
3 Oct | Reed Solomon | Computable model theory Reading Minutes |
10 Oct | Wesley Calvert | Metric structures and probabilistic computation |
24 Oct | Philippe Schlenker | Eliminating Self-Reference Abstract | Reading 1 (technical) | Reading 2 (less technical) |
31 Oct | Point of interest: Alan Hajek talk in Philosophy | |
21 Nov | Truth theory in Lukasiewiczω and ω-inconsistent arithmetic Reading | Minutes | |
5 Dec | Truth theory in Lukasiewiczω and inconsistency in general Reading | Minutes |