CINXE.COM

<!DOCTYPE html> <html> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <title>Working Group in the History and Philosophy of Logic, Mathematics, and Science - 2016-17</title>  <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/css/bootstrap.min.css"> <link rel="stylesheet" type="text/css" media="screen" href="css/screen.css"> <link rel="stylesheet" type="text/css" media="print" href="css/print.css"> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js" type="text/javascript"></script> <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script> <script src="js/nav.js"></script> <link rel="stylesheet" type="text/css" href="css/screen.css" /> <link rel="stylesheet" type="text/css" media="print" href="css/print.css" /> </head> <body> <div class="container-fluid"> <header> <img src="Trumpet.png" alt="Toricelli's Trumpet" title="Toricelli's Trumpet" id="trumpet" /> <h1>Working Group in the History and Philosophy of<br/> Logic, Mathematics, and Science</h1> </header> <div class="row"> <nav id="navbar" class="navbar navbar-default col-md-2"> <div class="navbar-header"> <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> </div> <div class="navbar-collapse collapse"> <ul class="nav navbar-nav"><li><a href="index.html">Home</a></li><li><a href="events.html">Events</a></li><li><a class="dropdown-toggle" data-toggle="dropdown">Archives</a><ul class="dropdown-menu"><li><a href="archive00-01.html">2000-1</a></li><li><a href="archive01-02.html">2001-2</a></li><li><a href="archive02-03.html">2002-3</a></li><li><a href="archive03-04.html">2003-4</a></li><li><a href="archive04-05.html">2004-5</a></li><li><a href="archive05-06.html">2005-6</a></li><li><a href="archive06-07.html">2006-7</a></li><li><a href="archive07-08.html">2007-8</a></li><li><a href="archive08-09.html">2008-9</a></li><li><a href="archive09-10.html">2009-10</a></li><li><a href="archive10-11.html">2010-11</a></li><li><a href="archive11-12.html">2011-12</a></li><li><a href="archive12-13.html">2012-13</a></li><li><a href="archive13-14.html">2013-14</a></li><li><a href="archive14-15.html">2014-15</a></li><li><a href="archive15-16.html">2015-16</a></li><li class="active"><a href="archive16-17.html">2016-17</a></li><li><a href="archive17-18.html">2017-18</a></li><li><a href="archive18-19.html">2018-19</a></li><li><a href="archive19-20.html">2019-20</a></li><li><a href="archive22-23.html">2022-23</a></li><li><a href="archive23-24.html">2023-24</a></li></ul></li></ul> </div> </nav> <main role="main" class="col-md-10"> <h1 id="section">2016-17</h1> <div class="event"> <p>November 02, 2016, 6-7:30 PM in 234 Moses Hall</p> <p><em>Bernhard Nickel (Harvard University)</em></p> <p><span class="title"> Predicativism and the Semantic Argument</p> <p></span></p> <p>Predicativism about names holds that proper names are fundamentally count nouns, a hypothesis most directly illustrated by examples like “there are two Alfreds at Princeton.” When names are used to refer to particular objects, they form complex noun phrases. On one prominent elaboration of the view, “Alfred is in the room” has roughly this logical form: “[The] Alfred is in the room”, where the square brackets indicate that the article is present in the logical form but unpronounced. This is a form of descriptivism that may make descriptivist treatments of long-standing puzzles about proper names available while being immune to Kripke’s challenges to descriptivism. Much of the literature has asked whether predicativism can answer Kripke’s modal argument, which turns on the claim that names are rigid designators. This paper focuses on Kripke’s semantic argument, which seeks to show that the reference of a proper name cannot be fixed by a description the speaker grasps (exemplified by the Godel/Schmidt case). I argue that predicativism falls prey to this objection, as well.</p> </div> <div class="event"> <p>November 16, 2016, 6-7:30 PM in 234 Moses Hall</p> <p><em>Juliette Kennedy (University of Helsinki)</em></p> <p><span class="title"> Squeezing Arguments and Strong Logics</p> <p></span></p> <p>G. Kreisel has suggested that squeezing arguments, originally formulated for the informal concept of first order validity, should be extendable to second order logic, although he points out obvious obstacles. We develop this idea in the light of more recent advances and delineate the difficulties across the spectrum of extensions of first order logics by generalised quantifiers and infinitary logics. This is joint work with Jouko Väänänen.</p> </div> <div class="event"> <p>February 08, 2017, 6-7:30 PM in 234 Moses Hall</p> <p><em>Kevin T. Kelly and Konstantin Genin (Carnegie Mellon University)</em></p> <p><span class="title"> An Epistemic Justification of Ockham’s Razor in Statistical Inductive Inference</p> <p></span></p> <p>Bayesian statistics allows for inductive inferences beyond the information provided, but it does not provide an epistemic justification in terms of finding the truth better than alternative methods. Frequentist methods come with epistemic guarantees, but the guarantees are too strong to allow for inductive inference. So there is currently no epistemic justification for inductive statistical inference of any kind; much less for Ockham’s razor. We will propose one. The idea is this. Everyone knows that deductive inference is monotonic, meaning that more premises never yield fewer conclusions. Inductive inference is non-monotonic. Everyone allows that deductive (monotonic) inference is better justified epistemically than inductive (non-monotonic) inference. So, presumably, more monotonicity is epistemically better than less. Our thesis is that optimally monotonic inference is necessarily Ockham inference. Before now, we have fully demonstrated that thesis only in the case of qualitative information. In this talk, we extend the result to statistical inference. The development will also illuminate broadly logical (i.e. topological) outlines in frequentist statistics that are crucial, but rarely emphasized.</p> </div> <div class="event"> <p>February 22, 2017, 6-7:30 PM in 234 Moses Hall</p> <p><em>Sean Walsh (Department of Logic and Philosophy of Science, UC Irvine)</em></p> <p><span class="title"> Interpreting Categorical Grammar in Church’s Intensional Logic</p> <p></span></p> <p>Church’s intensional logic was an attempt to axiomatize the relation which a Fregean sense bears to a referent in the circumstance that there is a linguistic expression which expresses the sense and denotes the referent. In some recent work ([1]), fragments of Church’s intensional logic have been developed which resolve the paradoxes of propositions by weakening comprehension. In this talk, we survey these fragments and assay the extent to which the traditional Montagovian interpretation of categorical grammar into the intensional theory of types can be mirrored by a interpretation of categorical grammar into the fragments of Church’s intensional logic.</p> <p>References: [1] S. Walsh. Predicativity, the Russell-Myhill paradox, and Church’s intensional logic. The Journal of Philosophical Logic, 45(3):277–326, 2016.</p> </div> <div class="event"> <p>March 22, 2017, 6-7:30 PM in 470 Stephens Hall</p> <p><em>Jeremy Gray (Mathematics and Statistics, The Open University and The Mathematics Institute, University of Warwick, U.K.)</em></p> <p><span class="title"> Theory choice: Felix Klein and Galois theory</p> <p></span></p> <p><em>Joint Meeting with the <a href="http://ohst.berkeley.edu/">Office for History of Science and Technology</a></em>, also advertised <a href="http://cstms.berkeley.edu/current-events/theory-choice-felix-klein-and-galois-theory/">here</a>.</p> <p>In the 19th century a handful of short difficult papers about solution methods for polynomial equations grew into a vigorous branch of algebra (Galois theory) and even into a rallying cry for modern structural mathematics. The influential German mathematician Felix Klein’s well-known but little-read book The Icosahedron of 1884 played a significant, and often neglected, role in the controversies that attended the creation of these ideas. The arguments he and his opponents used range over important questions about the organisation of mathematical knowledge and the direction of research.</p> </div> </main> </div> <footer> powered by <a href="https://github.com/jgm/yst">yst</a> </footer> </div> </body> </html>