Logic Colloquium

Fall 2018

Date Time Location Speaker Title
14 Sep 2pm-3:30pm Oak 112 Sandra María López Velasco Routley-Meyer relational semantics for some variants of Bradys´s 4-valued matrix
[Abstract]
28 Sep 2pm-3:30pm Oak 112 Yael Sharvit Temporal reference in non-specific indefinites
[Abstract]
12 Oct 2pm-3:30pm Oak 112 Sandra María López Velasco Routley-Meyer relational semantics for some variants of Brady’s 4-valued matrix, part 2
9 Nov 2pm-3:30pm Oak 112 Sabrina Ouazzani How to compute with an infinite time Turing machine?
[Abstract]
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 2pm-3:30pm Oak 112 Andrew Tedder Residuals and Conjugates in Positive Substructural Logics
[Abstract]
7 Dec 2pm-3:30pm Oak 112 Scott AnderBois TBA

Spring 2018

Date Time Location Speaker Title
26 Jan 2pm-3pm Oak 112 Joshua Knobe Moral Disagreement and Moral Semantics
[Abstract]
2 Feb 2:30pm-4pm Oak 112 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 2:30pm-4pm Oak 112 Andrew Tedder Saving Truth for Intuitionists
23 Feb 2:30pm-4pm Oak 112 Reed Solomon Ultraproducts and saturation
[Abstract]
2 Mar 2:30pm-3:30pm Class of 1947 Room Maryanthe Malliaris Model theory and ultraproducts
[See Annual Logic Lecture for details]
23 Mar 2:30pm-3:45pm Oak 112 Craige Roberts Character assassination: de se semantics for indexicals
[Abstract]
30 Mar 2:30pm-4pm Oak 112 Greg Scontras The pragmatics of truth-value judgments
[Abstract]
[C-ALPHA Exchange Speaker]
13 Apr 2:30pm-4pm Oak 112 Eric Carter Explanative interpretation in discursive context
18 Apr Point of interest: Greg Restall speaks in the Philosophy Department. [More info].
27 Apr 2:30pm-4pm Oak 112 Joe Buffington The syntax and semantics of contractual offers
[Abstract]

Fall 2017

Date Time Location Speaker Title
8 Sept 2pm-3:30pm LH 108 Jos Tellings Counterfactuality and causal structure
[Abstract]
21 Sept Point of interest: Natasha Dobrinen gives Math Department Colloquium, part of the UConn Special Semester in Logic.
22 Sept 2pm-3:30pm LH 108 Jessica Rett Explaining ‘EARLIEST’
[Abstract]
5 Oct of interest: Barbara Csima gives Math Department Colloquium, part of the UConn Special Semester in Logic.
6 Oct 2pm-3:30pm LH 108 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 Math Department Colloquium, part of the UConn Special Semester in Logic.
13 Oct 2pm-3:30pm LH 108 Martin Davis Pragmatic Platonism
[Abstract]
19 Oct Point of interest: Julia Knight gives Math Department Colloquium, part of the UConn Special Semester in Logic.
26 Oct Point of interest: Antonio Montalbán gives Math Department Colloquium, part of the UConn Special Semester in Logic.
27 Oct 2pm-3:30pm LH 108 Erik Stei Rivalry between logics from a pluralist perspective
[Abstract]
3 Nov 2pm-3:30pm LH 108 Ed Mares Theories of Entailment
[Abstract]
9 Nov Point of interest: Theodore Slaman gives Math Department Colloquium, part of the UConn Special Semester in Logic.
17 Nov 2pm-3:30pm LH 108 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 Time Location Speaker Title
27 Jan 2pm-3:30pm FSB 220 Stewart Shapiro Computing with numbers and other non-syntactic things: de re knowledge of abstract objects
[Abstract]
10 Feb 2pm-3:30pm FSB 220 Shay Logan Noes and Nots
[Abstract]
17 Feb 2pm-3:30pm FSB 220 Linda Brown Westrick Computable reducibility and the Baire hierarchy of functions
[Abstract]
24 Feb 2pm-3:30pm FSB 220 Melissa Fusco Modality and Classical Logic
[Abstract]
23–24 Mar Point of interest: IBACS Meet & Speak
24 Mar 2pm-3:30pm FSB 220 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 2pm-3:30pm Oak 112 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 2pm-3:30pm FSB 220 Thomas Graf Fragments of First-Order Logic for Linguistic Structures
[Abstract]
28 Apr 2pm-3:30pm FSB 220 Noah Schweber Generalizing Computability Theory
[Abstract]

Fall 2016

Date Time Location Speaker Title
2 Sept 2pm-3:30pm Monteith 419 Dan Lassiter Learning from and embedding probabilistic language
[Abstract] [Video]
9 Sept 2pm-3:30pm Monteith 419 Paolo Santorio Reasoning and Consequence for Indicative Conditionals
[Abstract] [Video]
7 Oct 2pm-6pm Monteith 104 UConn Logic Group Meet and Greet
21 Oct 2pm-3:30pm Monteith 419 Jeff Hirst Counting uses of a theorem
[Abstract] [Video]
4 Nov 2pm-3:30pm Monteith 419 Akihiro Kanamori Gödel vis-à-vis Russell: Logic and Set Theory
[Video]
4 Nov 3:30pm-5pm Monteith 419 Juliet Floyd Gödel vis-à-vis Russell: Philosophy
[Video]
18 Nov 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
12 Feb Point of interest: 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] [Video]
23 Mar 4:30pm-6pm LH 201 Tim Williamson Alternative logics and abductive methodology
[Abstract] [Video]
24 Mar 4pm-6pm Class of 1947 Room Tim Williamson What if the impossible happened?
[See Annual Logic Lecture for details] [Video]
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
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 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]
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 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: 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 Mar 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]
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 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
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 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]
25 Oct Point of interest: Joel David Hamkins talk in Mathematics
26-27 Oct Point of interest: 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 Mar 13-16, with the annual lecture on Mar 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]
19 Feb Point of interest: 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]
5 Apr Point of interest: John Burgess talk in
Philosophy
25 Feb Point of interest: 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
11 Dec Point of interest: 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 Mar 1 and the annual lecture on Mar 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
21 Feb Point of interest: David Marker talk in Mathematics
24 Feb 2pm-4pm Manchester 227 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 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 Mar 21 through Apr 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
25 Mar Point of interest: Zach Weber talk in Philosophy.
1 Apr 2pm-4pm Manchester 227 Sam Wheeler Adjectives
8-10 Apr Point of interest: 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 Oct 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]
5 Nov Point of interest: 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 Apr. 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
26 Feb Point of interest: 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)
23 Apr Point of interest: 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 Apr. 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]
18 Sept Point of interest: 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)]
31 Oct Point of interest: 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]