University of Connecticut University of UC Title Fallback Connecticut

Logic Colloquium

The UConn Logic Group meets every other week for the Logic Colloquium, to hear talks by local and visiting speakers on topics in logical studies.


Spring 2017

Date Time Location Speaker Title
27 January 2pm-3:30pm FSB 220 Stewart Shapiro Computing with numbers and other non-syntactic things: de re knowledge of abstract objects
[Abstract]
10 February 2pm-3:30pm FSB 220 Shay Logan Noes and Nots
[Abstract]
17 February 2pm-3:30pm FSB 220 Linda Brown Westrick Computable reducibility and the Baire hierarchy of functions
[Abstract]
24 February 2pm-3:30pm FSB 220 Melissa Fusco Modality and Classical Logic
[Abstract]
Point of Interest: 23–24 March – IBACS Meet & Speak
24 March 2pm-3:30pm FSB 220 Sean Walsh TBA
[C-ALPHA Exchange Speaker]
Point of Interest: 29–30 March – OSU/UConn Logic Group Workshop on Contextual Truth (at Ohio State University)
31 March 2pm-3:30pm FSB 220 Manfred Krifka TBA
[See Annual Logic Lecture for details]
Point of Interest: 4–6 April – UConn Logic Group/MCMP Conference
21 April 2pm-3:30pm FSB 220 Thomas Graf TBA
28 April 2pm-3:30pm FSB 220 Noah Schweber TBA

Fall 2016

Date Time Location Speaker Title
2 September 2pm-3:30pm Monteith 419 Dan Lassiter Learning from and embedding probabilistic language
[Abstract] [Video]
9 September 2pm-3:30pm Monteith 419 Paolo Santorio Reasoning and Consequence for Indicative Conditionals
[Abstract] [Video]
7 October 2pm-6pm Monteith 104 UConn Logic Group Meet and Greet
21 October 2pm-3:30pm Monteith 419 Jeff Hirst Counting uses of a theorem
[Abstract] [Video]
4 November 2pm-3:30pm Monteith 419 Akihiro Kanamori Gödel vis-à-vis Russell: Logic and Set Theory
[Video]
4 November 3:30pm-5pm Monteith 419 Juliet Floyd Gödel vis-à-vis Russell: Philosophy
[Video]
18 November 2pm-3:30pm Monteith 419 Jeremy Heiss Why Did Geometers Stop Using Diagrams?
[C-ALPHA Exchange Speaker] [Abstract]

Spring 2016

Date Time Location Speaker Title
Point of Interest: 12 Feb Matthias Aschenbrenner gives Department of Mathematics Colloquium
19 Feb 2pm-3:30pm Laurel Hall 302 Jacob Archambault The development of the distinction between formal
and material consequence in medieval logic
[Abstract] [Video]
26 Feb 2pm-3:30pm Laurel Hall 302 Eric Astor Density, Intrinsic Density, and “Usually Solvable” Problems
4 Mar 2pm-3:30pm Laurel Hall 302 Parasara Duggirala Logic and Program Verification
[Abstract] [Video]
11 Mar 2pm-3:30pm Laurel Hall 302 Alberto Marcone The logic of the reverse mathematics zoo
22 Mar 4:30pm-6pm Oak 105 Tim Williamson Objective possibilities
[Abstract]
23 Mar 4:30pm-6pm LH 201 Tim Williamson Alternative logics and abductive methodology
[Abstract]
24 Mar 4pm-6pm Class of 1947 Room Tim Williamson What if the impossible happened?
[See Annual Logic Lecture for details]
1 Apr 2pm-3:30pm Laurel Hall 302 Norbert Gratzl Single Conclusions Rock, Take 2
[Video]
15 Apr 2pm-3:30pm Laurel Hall 302 Whit Tabor Stable, fractal-based processing of complex languages
[Abstract] [video]
22 Apr 2pm-3:30pm Laurel Hall 302 Jon Gajewski The representation of degree in American Sign Language
[Abstract]
29 Apr 2pm-3:30pm Laurel Hall 302 Lenore Blum Turing and the Other Theory of Computing
CANCELED
3 May 1pm-2:30pm Manchester 227 Stewart Shapiro Epistemic modals and mathematics (joint work with Craige Roberts)
4 May 3pm–4:30pm Manchester 227 Stewart Shapiro Neo-logicism, structuralism, and Frege’s applications constraint
Point of Interest 23-26 May The Foundational Impact of Recursion Theory: In honor of Steve Simpson’s 70th birthday
Point of Interest 23-26 May 2016 ASL Annual North American Meeting

Fall 2015

Date Time Location Speaker Title
18 Sep 2pm-3:30pm Laurel Hall 302 Christopher Porter Logical Approach to Randomness
[Abstract]
16 Oct 2pm-3:30pm Laurel Hall 302 Chris Martens Proofs as stories
23 Oct 2pm-3:30pm Laurel Hall 302 Shay Logan Logic, Truth, and Logic
[Reading]
Point of Interest: 3 Nov Joshua Schechter delivers UConn Humanities Institute Fellows’ Public Talk, “Small Steps and Great Leaps in Thought: The Epistemology of Basic Deductive Rules”
Point of Interest: 5 Nov Jc Beall delivers CLAS BOT Distinguished Professor Lecture, “How Truth and Logic Limit Knowledge”
6 Nov 2pm-3:30pm Laurel Hall 302 Bruno Whittle Size and Function
[Abstract]
13 Nov 2pm-3:30pm Laurel Hall 302 Teresa Kouri A New (Linguistic) Approach to Logical Pluralism
[Abstract]
4 Dec 2pm-3:30pm Laurel Hall 302 Peter Klecha On Unidirectionality in Precisification
[Abstract]

Spring 2015

Date Time Location Speaker Title
23 Jan 4pm-5:30pm Laurel Hall 306 Justin Khoo Backtracking counterfactuals, revisited
[Abstract]
6 Feb 2pm-3:30pm Laurel Hall 306 Francesca Boccuni Reference and Invariance in Abstraction Principles
[Abstract]
13 Feb 2pm-3:30pm Laurel Hall 306 Andrew Parisi The Hypersequent Approach to Modal Logic
[Abstract]
20 Feb 2pm-3:30pm Laurel Hall 306 Katalin Bimbo Relational semantics for logics with thin sets of connectives
[Abstract]
27 Mar 4pm-5:30pm Laurel Hall 306 Ezra Cook Some Conditional (re)Solutions
[Abstract]
3 Apr 2:30pm-4:30pm Class of 1947 Room Stephen G. Simpson Potential versus actual infinity:
insights from reverse mathematics
[See Annual Logic Lecture for details]
10 Apr 2pm-3:30pm Laurel Hall 306 Kai Wehmeier Modal Language and Truth
[C-ALPHA Exchange Speaker] [Abstract]
Point of Interest: 17-19 Apr Truth Pluralism and Logical Pluralism Conference in Department of Philosophy
24 Apr 2pm-3:30pm Laurel Hall 306 Dorit Abusch Dynamic Semantics for Picture Sequences
30 Apr 2pm-3:30pm Manchester Hall, Basement Lounge Stewart Shapiro Conceptions of the continuum
1 May 2pm-3:30pm Laurel Hall 306 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 Time Location Speaker Title
5 Sep 2pm-3:30pm Laurel Hall 201 Informational session
Damir Dzhafarov
The Reverse Sorites
19 Sep 2pm-3:30pm Laurel Hall 201 Fenner Tanswell Informal Proofs and Formalisation
[Abstract]
10 Oct 2pm-3:30pm Laurel Hall 201 Discussions about collaborative projects
17 Oct 2pm-3:30pm Laurel Hall 201 Fenner Tanswell Informal Proof and Mathematical Know-How
[Abstract]
24 Oct 2pm-3:30pm Laurel Hall 201 Lucas Champollion The common core of distributivity, aspect, and measurement
[Abstract]
7 Nov 2pm-3:30pm Laurel Hall 201 Ilaria Frana Epistemic biases in Polar Questions. The case of Italian “mica”
[Abstract]
5 Dec 2pm-3:30pm Laurel Hall 201 Joel David Hamkins An introduction to the theory of infinite games, with examples from infinite chess
[Abstract]

Spring 2014

Scholar of Consequence: Chris Barker (NYU) is visiting as our Scholar of Consequence to work with members of the Logic Group on a range of problems. He will give the Annual Logic Lecture on March 28. Contact Chris Barker directly to schedule a meeting, or contact Marcus Rossberg for more information.

Date Time Location Speaker Title
31 Jan 2pm-3:30pm Oak Hall 408 Informational session
Dave Ripley
Affine Logic
7 Feb 2pm-3:30pm Oak Hall 408 Francesco Paoli Towards Multiset Consequence Relations
28 Feb 2pm-3:30pm Oak Hall 408 Jill Anderson Law and Structural Semantic Ambiguity
14 Mar 2pm-3:30pm Oak Hall 408 Stefan Kaufmann Conditionals, conditional probabilities, and conditionalization
28 Mar 1:30pm-3:30pm Class of 1947 Room Chris Barker [See Annual Logic Lecture for details]
11 Apr 2pm-3:30pm Oak Hall 408 Johanna Franklin Approaches to randomness
[Abstract]
Point of Interest: 10 Apr Denis Hirschfeldt gives Department of Mathematics Colloquium
Point of Interest: 14 Apr Denis Hirschfeldt speaks in CT Logic Seminar
Point of Interest: 24 Apr Stewart Shaprio and Gabriel Uzquiano speak on “Ineffability within the Limits of Abstraction” in Marcus Rossberg’s PHIL 5344 Seminar (9:30-12:30 in the Basement Lounge of Manchester Hall).
25 Apr 2pm-3:30pm Oak Hall 408 Marcus Rossberg Abstractionism/Neologicism: Intro
26-27 Apr UConn Logic Group Workshop: Abstractionism/Neologicism

Fall 2013

Date Time Location Speaker Title
6 Sep 2pm-3:30pm Oak Hall 408 Jc Beall Basics of LP set theory
Point of Interest: 27 Sep Paraconsistent Set Theory work group (Reading)
Point of Interest: 30 Sep Sam Baron talk in Philosophy (12:15-1:15pm, Manchester 227)
Point of Interest: 4 Oct Paraconsistent Set Theory work group
Point of Interest: 11 Oct Paraconsistent Set Theory work group
Point of Interest: 18 Oct Paraconsistent Set Theory work group
Point of Interest: 18-20 Oct The 44th Meeting of the North East Linguistic Society
18 Oct 2pm-4pm Oak Hall 408 Paul Égré Negating conditional sentences
[Abstract]
25 Oct 2pm-4pm Oak Hall 408 Shawn Standefer An extension of the revision theory of truth
[Abstract]
Point of Interest: 25 Oct Joel David Hamkins talk in Mathematics
Point of Interest: 26-27 Oct Paraconsistent Set Theory workshop
1 Nov 2pm-4pm Oak Hall 408 Carl Mummert The modal logic of Reverse Mathematics
[Abstract]
8 Nov 2pm-4pm Oak Hall 408 Jc Beall Law and logic: more utility for 4-valued logic
15 Nov 2pm-4pm Oak Hall 408 Zach Weber The Sorites in Paraconsistent Mathematics
[Abstract]
6 Dec 2pm-4pm Oak Hall 408 Tamar Lando Modal Logic, measure algebras, and ‘gunky’ space
[Abstract]

Spring 2013

Scholar of Consequence: Stewart Shapiro (Ohio State) is visiting as our Scholar of Consequence to work with members of the Logic Group on a range of problems. He will visit March 13-16, with the annual lecture on March 15. Contact Stewart Shapiro directly to schedule a meeting, or contact Marcus Rossberg for more information.

Date Time Location Speaker Title
18 Jan 4pm-6pm FS 216 Keith Simmons Paradox, Repetition and Revenge
[Abstract]
Point of Interest: 19 Feb UConn’s Marcus Rossberg featured in UConn Today.
22 Feb 2pm-3:30pm Manchester 227 Reed Solomon Ramsey style theorems in combinatorics and subsystems of second order arithmetic
14 Mar 4pm-5:30pm Manchester 227 Stewart Shapiro The classical continuum without points
[Abstract]
15 Mar 2pm-4pm Class of 1947 Room Stewart Shapiro [See Annual Logic Lecture for details]
29 Mar 2pm-3:30pm Manchester 227 Igor Yanovich Weak necessity and negated deontics: a view from Russian
[Abstract]
5 Apr 2pm-3:30pm Manchester 227 Kate Davidson Conjunction and Disjunction in ASL
[Abstract]
Point of Interest: 5 Apr 4pm John Burgess talk in
Philosophy
Point of Interest: 25 Feb 5pm Panel Discussion on Truth with Michael Glanzberg, Jc Beall, and Michael Lynch
26 Apr 2pm-3:30pm Manchester 227 Magdalena Kaufmann What to do if you don’t know what to do
[Abstract
Paper

Fall 2012

Date Time Location Speaker Title
14 Sep 2pm-4pm Manchester 227 Jc Beall Logic and Choices
21 Sep 2pm-4pm Manchester 227 Bruno Whittle Incompleteness and the Limits of Mathematical Knowledge
9 Nov 2pm-4pm Manchester 227 Lionel Shapiro Making Sense of (Some) Non-Contractive Solutions to Paradox
16 Nov 2pm-4pm Manchester 227 Graham Priest Contraction and Confusion (rescheduled from 19 Oct)
30 Nov 2pm-4pm Manchester 227 Stefan Kaufmann Strong and Weak Presupposition: German ‘ja’ under Quantifiers
7 Dec 2pm-3:30pm Manchester 227 Sam Wheeler Modals and Conditional
Point of Interest: 11 Dec 12pm Cleo Condoravdi talk in
Linguistics.

Spring 2012

Scholar of Consequence: Jeremy Avigad (CMU) is visiting as our Scholar of Consequence to work with members of the Logic Group on a range of problems. There will be a math department collquium on March 1 and the annual lecture on March 2. Contact Dr. Avigad directly to schedule a meeting, or contact Jc Beall for more information.

Date Time Location Speaker Title
17 Feb 2pm-4pm Manchester 227 Greg Restall Proof theory and its philosophy
21 Feb 2pm-3:30pm Manchester 227 Greg Restall Assertion, Denial and Paraconsistent Theories
Point of Interest: 21 Feb 4pm David Marker talk in Mathematics
24 Feb 2pm-4pm Manchester 227 Everyone Working Session on Philosophy of Maths
[Reading]
Point of Interest: 24 Feb 4pm Branden Fitelson talk in Philosophy
Point of Interest: 1 Mar 4pm Jeremy Avigad talk in Mathematics
2 Mar 2pm-4pm Class of 1947 room Jeremy Avigad See Annual Logic Lecture for details]
13 Apr 2pm-4pm Class of 1947 room Jan Reimann Definability and Randomness
[Abstract]
20 Apr 2pm-4pm Manchester 227 David Nicolas The Logic of Mass Expressions
27 Apr 2pm-4pm Manchester 227 Richard Heck Truth and Consistency

Fall 2011

Date Time Location Speaker Title
16 Sep 2pm-4pm Manchester 227 Reed Solomon Reverse mathematics: an introduction
21 Oct 2pm-4pm Manchester 227 Marcus Rossberg Non-conervativeness in higher-order logic
28 Oct 2pm-4pm Manchester 227 Rick Nouwen Ignorance without disjunction? The implicatures of numeral modifiers
[Abstract]
4 Nov 2pm-4pm Manchester 227 Nilanjan Bhowmick That F is G: Defending Quantification
[Abstract]
18 Nov 2pm-4pm Manchester 227 Michael Hughes Formal Theories of Coherence: A Primer
30 Nov 4pm-6pm Manchester 227 Gregory Lavers Carnap’s Philosophy of Mathematics
9 Dec 2pm-4pm Manchester 227 Matt Clemens Dependence and the iterative conception of set

Spring 2011

Scholar of Consequence: Zach Weber (Melbourne University) is visiting as our (first-ever) Scholar of Consequence to work with members of the Logic Group on a range of problems in logic and philosophy of logic and mathematics. Dr. Weber will be here from March 21 through April 30 2011. In addition to giving some lectures, Dr Weber will be available to work with graduate students. Contact Dr Weber directly to schedule a meeting, or contact Jc Beall for more information.

Date Time Location Speaker Title
11 Feb 2pm-4pm Manchester 227 Damir Dzhafarov mathematics and vagueness
18 Feb 2pm-4pm Manchester 227 Asher Kach and Reed Solomon Towards computation in uncountable contexts: background
25 Feb 2pm-4pm MSB 118 Russell Miller Computation in uncountable contexts
18 Mar 2pm-4pm Manchester 227 Nobody non-existent sessions
Point of Interest: 25 Mar 4pm Zach Weber talk in Philosophy.
1 Apr 2pm-4pm Manchester 227 Sam Wheeler Adjectives
Point of Interest: 8-10 April 2011 at Princeton University Pillars of Truth. Rides can be arranged. Contact Beall or Rossberg
15 Apr 2pm-4pm Manchester 227 Zach Weber paraconsistency
22 Apr 2pm-4pm Manchester 227 Zach Weber paraconsistency
29 Apr 2pm-4pm Manchester 227 Jc Beall TBA

Fall 2010

Scholar of Consequence: Angelika Kratzer (UMass Amherst). Date: 29 October at 4pm. Topic: TBA.

Date Time Location Speaker Title
10 Sept 2:30pm-4pm Manchester 227 Colin Caret TBA
17 Sept 2:30pm-4pm Manchester 227 Lionel Shapiro Deflating Logical Consequence
[Reading] [Handout]
8 Oct 2:00pm-4pm Manchester 227 Jon and Yael Linguistics prep talk
[Reading]
15 Oct 2:00pm-4.00pm Manchester 227 Tamina Stephenson Centered Worlds and Subjective Experience in Natural Language Semantics
[Abstract]
29 Oct 4:30pm-6.30pm Class of 1947 room Angelika Kratzer See Annual Logic Lecture for details
5 Nov 2:00pm-4.00pm Manchester 227 Roy Cook Mathematics of Abstraction
[Reading]
Point of Interest: 5 Nov 4pm Roy Cook talk in Philosophy
12 Nov 2:00pm-4pm Manchester 227 Patrick Greenough TBA
10 Dec 2.00pm-4pm Manchester 227 Everybody! End of year meeting

Spring 2010

Scholar of Consequence: Michael Glanzberg (UC Davis). Date: 2 April. Topic: truth-in-a-model conditions versus truth conditions (e.g., whether truth-in-a-model need model truth, and more).

Date Time Location Speaker Title
29 Jan 2:00pm-3.30pm Manchester 227 Scott Lehmann Classical (Ch 1)
12 Feb 2:00pm-3.30pm Manchester 227 Jc Beall and Michael Hughes Temporal (Ch 2)
26 Feb 1:00pm Manchester 227 Ofra Magidor Strict finitism and the happy sorites
Point of Interest: 26 Feb 4pm Josh Schechter talk in Philosophy
5 Mar 2:30pm-4.30pm Manchester 227 Matt Clemens and Doug Owings Modal (Ch 3)
19 Mar 2:00pm-4.00pm Manchester 227 Sam Wheeler Conditional (Ch 4)
2 Apr 4pm Class of 1947 room Michael Glanzberg [See Annual Logic Lecture for details]
Special Session: 9 Apr Patrick Greenough discussion of various topics (e.g., indeterminacy)
16 Apr 2:30pm-4.30pm Manchester 227 Jc Beall Relevance/relevant/relevantistic (Ch 5)
Point of Interest: 23 Apr Agustin Rayo talk in Philosophy
30 Apr 2:30pm-4pm Manchester 227 Marcus Rossberg Intuitionistic (Ch 6)
30 Apr 4pm Manchester 227 Everybody! End of year ‘party’

Fall 2009

Scholar of Consequence: Michael Glanzberg (UC Davis). Date: 2 April. Topic: truth-in-a-model conditions versus truth conditions.

Date Time Location Speaker Title
11 Sept 2:30pm Manchester 227 Jon Gajewski Negation — linguistic, philosophical, logical perspectives
[Handout]
Point of Interest: 18 Sept Graham Priest talk in Philosophy
25 Sept 2:30pm Manchester 227 Yael Sharvit Negation
[Handout]
9 Oct 2:00pm Manchester 227 I-Ta Chris Hsieh NPIs
[Handout]
23 Oct 2:30pm FS 216 Zoltan Gendler Szabo Infinitary Tasks
13 Nov 2:30pm Manchester 227 Sam Wheeler Davidsonian truth and the sorites combined
[Reading]
4 Dec 2:30pm Manchester 227 Lyn Tieu and William Snyder Grammatical Conservatism in the Acquisition of Semantics

Spring 2009

Date Time Location Speaker Title
30 Jan 2:00pm Class of 1947 room Greg
Restall
Normative Inferentialist Modal Logic: from pragmatics
to two-dimensional semantics.
[Reading 1] [Reading 2]
13 Feb 2:00pm MSB 118 Yael Sharvit Acceptable Cases of Unacceptable Coreference
27 Feb 2:00pm MSB 118 Jon Gajewski L-triviality and Grammar
[Reading]
20 Mar 2:00pm MSB 118 Scott
Lehmann
On Diagonalization
[Reading]
3 Apr 2:00pm MSB 118 Colin
Caret
Bridging the Modal/Relevant Divide
10 Apr 2:00pm MSB 118 Bob Milnikel An Introduction to Justification Logic
[Reading 1] [Reading 2]
17 Apr 2:00pm MSB 118 Whit
Tabor
Iterated Map Dynamical Systems and the Relationship between
Symbolic and Subsymbolic Computation
[Reading]

Fall 2008

Date Time Location Speaker Title
5 Sept 2:00pm MSB 118 Colin Caret Lukasiewiczω propositional language
[Reading]
19 Sept 2:00pm MSB 118 Colin Caret Lukasiewiczω first-order language
[Reading] [Minutes]
3 Oct 2:00pm MSB 118 Reed Solomon Computable model theory
[Reading]
[Minutes]
10 Oct 2:00pm MSB 118 Wesley Calvert Metric structures and probabilistic computation
24 Oct 2:00pm Class of 1947 room Philippe Schlenker Eliminating Self-Reference
[Abstract] [Reading 1 (technical)] [Reading 2 (less technical)]
Point of Interest: 31 Oct Alan Hajek talk in Philosophy
21 Nov 2:00pm MSB 118 Truth theory in Lukasiewiczω and ω-inconsistent
arithmetic
[Reading] [Minutes]
5 Dec 2:00pm MSB 118 Truth theory in Lukasiewiczω and inconsistency in general
[Reading] [Minutes]