Spring 2020
Note: HISR below = Humanities Institute Seminar Room (4th Floor Homer Babbidge Library)
| Date | Time | Location | Speaker | Title |
| 24 Jan | 2:00–3:30 pm | HISR | David Ripley | Core Type Theory [Abstract] |
| 7 Feb | 2:00–3:30 pm | Oak 110 | Eileen Nutting | tba |
| 21 Feb | tba | tba | tba | tba |
| 13 March | 2:00–3:30 pm | HISR | Ehtibar Dzhafarov | tba |
| 27 March | 2:00–3:30 pm | HISR | Paul McNamara | tba |
| 17 April | 2:00–3:30 pm | HISR | Florian Steinberger | tba |
| 24 April | 2:00–3:30 pm | HISR | Toby Meadows | tba [C-ALPHA Exchange Speaker] |
| 1–3 May | Abstractionism 2 conference; keynote speaker: Crispin Wright; Call for Paper here. | |||
Fall 2019
Note: HISR below = Humanities Institute Seminar Room (4th Floor Homer Babbidge Library)
| Date | Time | Location | Speaker | Title |
| 13 Sept | 1:30pm-3:00pm | HISR | Ole T. Hjortland & Ben Martin | Anti-Exceptionalism and Explanations in Logic [Abstract] |
| 27 Sept | 1:30pm-3:00pm | HISR | Luca Tranchini | Proof-theoretic Harmony: intensional aspects from a second-order perspective [Abstract] |
| 4 Oct | 1:30pm-3:00pm | HISR | Ellen Lehet | The Explanatory Value of Category Theory [Abstract] |
| 11 Oct | 1:30pm-3:00pm | HISR | Ethan Brauer | A Modal Theory of Free Choice Sequences [Abstract] |
| 25 Oct | Point of Interest: Philip A. Ebert speaks in the UConn History of Analytic Philosophy Workshop on Frege (1:30pm, HISR) | |||
| 25 Oct | 4:00pm-5:30pm | MCHU 106 | Peter Pagin | Indexicals, Time, and Compositionality [Abstract] |
| 1 Nov | 1:30pm-3:00pm | BUSN 127 | Chris Kennedy | Annual Logic Lecture |
| 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 | 1:30pm-3:00pm | HISR | Pauline Jacobson | Variable Free Semantics: Putting competition effects where they belong [Abstract] |
| 15 Nov | 1:30pm-3:00pm | HISR | Steven Dalglish | How to Deal with Semantic Paradox (Hint: Accept Defeat) [Abstract] |
| 22 Nov | 1:30pm-3:00pm | HISR | Martin Pleitz | A Dynamic Solution to the Liar Paradox [Abstract] |
Spring 2019
| Date | Time | Location | Speaker | Title |
| 1 Feb | 2:30pm-4pm | HISR | Shay Logan | Logic is Contractionless and Relevant, but Logic is (Accidentally) Contractionless and Relevant: An Introduction to Deep Fried Logic [Abstract] |
| 29 March | 2:30pm-4pm | HISR | Benedict Eastaugh | Recursive counterexamples and the foundational standpoint [Abstract] |
| 5 April | 2:30pm-4pm | HISR | Marianna Antonutti Marfori | De Re and De Dicto Knowledge of Mathematical Statements [Abstract] |
| 6-7 April | UConn Logic Group workshop: “If” by any other name | |||
| 12 April | 2:30pm-4pm | HISR | Branden Fitelson | How to model the probabilities of conditionals [Abstract][Video] |
| 26 April | 2:30pm-4pm | HISR | Adrian Brasoveanu | Computational Cognitive Modeling for Syntax and Semantics [Abstract] |
| 1 May | 4:00pm-6:00pm | HISR | Sara Negri | A three-fold method for non-classical logics [See Annual Logic Lecture for details] |
| 2 May | 4:00pm-5:30pm | HISR | Sara Negri | Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko’s theorem [Abstract] |
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 Brady’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] [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 | 2pm-3:30pm | Oak 112 | Andrew Tedder | Residuals and Conjugates in Positive Substructural Logics [Abstract] |
|
| 7 Dec | 2pm-3:30pm | Oak 112 | Scott AnderBois | At-issueness in direct quotation: the case of Mayan quotatives [Abstract] |
|
Spring 2018
| Date | Time | Location | Speaker | Title | |
| 26 Jan | 2pm-3pm | Oak 112 | Joshua Knobe | Moral Disagreement and Moral Semantics [Abstract][Video] |
|
| 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 [Abstract] [Video] |
|
| 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] [Video] |
|
| 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] [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 | Time | Location | Speaker | Title | |
| 8 Sept | 2pm-3:30pm | LH 108 | Jos Tellings | Counterfactuality and causal structure [Abstract] [Video] |
|
| 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] [Video] |
|
| 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] |
||