<div dir="ltr"><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">The Center for Philosophy of Science at the University of Pittsburgh invites you to join us for the last presentations of the semester. All of the lectures will be live streamed on YouTube at <a href="https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg." target="_blank" style="">https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg.</a> </div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><br><font size="4"><br><b>Featured Former Fellow – Sherrilyn Roush </b>-<b> </b></font><a href="https://www.centerphilsci.pitt.edu/fellows/roush-sherrilyn/" target="_blank">https://www.centerphilsci.pitt.edu/fellows/roush-sherrilyn/</a><br><br>Friday, April 3rd @ 12:00pm EST<br><br><b>Online Only - <a href="https://pitt.zoom.us/j/94358264552" target="_blank">https://pitt.zoom.us/j/94358264552</a></b><br><br><b>Title: Should Newton’s Principia be retracted? “Good Science” and the Epistemology of Retraction</b><br><br>Abstract:<br>There is an epidemic of retractions of scientific journal articles; often, though not always, it is for fraud or misconduct. This obviously erodes public trust in our institutions of knowledge production. Inductive reasoning is non-monotonic, and, accordingly, good science is often legitimately overturned. These phenomena have a similar feel, so sharpening the distinction between them is imperative for the survival of trust in science. We can start with the observations that good science isn’t retracted, even when its conclusions are overturned – e.g., Newton’s Principia – and that falsehood of conclusions is neither necessary nor sufficient to justify retraction of a publication. I sketch an epistemic distinction between “good science” that is overturned and publications that should be retracted. Secondly, I provide some guidelines about when counting retractions in the track records of authors, reviewers, journals, publishers, and universities gives us evidence about how much to trust those vehicles in their future publications.<br><br><b>This talk will be available online through Zoom:<a href="https://pitt.zoom.us/j/94358264552" target="_blank"> https://pitt.zoom.us/j/94358264552</a></b><br><br><br><br><font size="4"><b>Lunch Time Talk - Sven Neth </b>- </font><a href="https://www.philosophy.pitt.edu/people/ant-74" target="_blank">https://www.philosophy.pitt.edu/people/ant-74</a><br><br><b>Tuesday, April 7th @ Noon</b><br>Join us in person in room 1117 on the 11th floor of the Cathedral of Learning. <br><br><b><font color="#000000">Title: Induction and Indifference</font></b><br><br> Abstract: <br>The principle of indifference says that if you don’t know which possibility obtains, you should assign equal credences to all possibilities. There are different ways to make this precise, but even sophisticated versions of the principle of indifference fail to vindicate inductive reasoning. I illustrate this point by discussing Carnap’s work on the foundations of inductive logic and the No Free Lunch theorem from machine learning and draw some philosophical lessons.<br><br><b>This talk will be available online: Zoom:<a href="https://pitt.zoom.us/j/92589572462" target="_blank"> https://pitt.zoom.us/j/92589572462</a></b><br><br><div style="direction:ltr;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><br></div><div style="direction:ltr;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><br></div><b><font size="4">Lunch Time Talk - Simon DeDeo </font>- </b><a href="https://www.cmu.edu/dietrich/sds/people/faculty/simon-dedeo.html" target="_blank">https://www.cmu.edu/dietrich/sds/people/faculty/simon-dedeo.html</a><br><div style="direction:ltr;line-height:1.38;margin:0px;color:rgb(0,0,0)"><font face="arial, sans-serif">Carnegie Mellon University & the Santa Fe Institute <a href="https://proofsandreasons.io/" id="m_-8244391442852331574gmail-OWA136bb66d-5800-11cd-b311-5c9c4fa5b37e" title="https://proofsandreasons.io/" target="_blank">https://proofsandreasons.io</a></font></div><div style="margin:0px;color:rgb(0,0,0)"><br></div><div style="direction:ltr;line-height:1.38;color:rgb(0,0,0)"><b><font face="arial, sans-serif">Friday April 10th @ Noon</font></b></div><div style="direction:ltr;line-height:1.38;color:rgb(0,0,0)"><font face="arial, sans-serif">Join us in person in room 1117 on the 11th floor of the Cathedral of Learning. </font></div><div style="direction:ltr;line-height:1.38;color:rgb(0,0,0)"><br></div><div style="direction:ltr;line-height:1.38;color:rgb(0,0,0)"><font face="arial, sans-serif"><b>Title: </b> <b> Alien Proofs</b></font></div><div style="direction:ltr;line-height:1.38;color:rgb(0,0,0)"><b><font face="arial, sans-serif"><br></font></b></div><div style="direction:ltr;line-height:1.38;color:rgb(0,0,0)"><b><font face="arial, sans-serif"> Abstract: </font></b></div><div style="direction:ltr;line-height:1.38;margin:0px;color:rgb(36,36,36)"><font face="arial, sans-serif">It is now possible to write verifiably-correct proofs of sophisticated mathematical theorems in computer programming languages such as Lean. Coupled with recent developments in Generative Artificial Intelligence, this means we are now able to explore, for the first time, the space of mathematical proofs in ways that go beyond human intuition, capacity, and patience, and to answer, in new ways and through empirical study, questions that were previously the realm of science fiction and philosophical speculation: how do humans carve the space of mathematics? What regions do we leave unexplored and what lies beyond our ken? How do our cognitive limitations constrain us or, conversely, lead us to explanatory and fertile ground? I will present the first results from the Proofs and Reasons Project, a multidisciplinary collaboration between philosophers, cognitive scientists, mathematicians, and computer scientists. I will present the first statistical studies of artificially-generated proofs, constructed with, and without, human guidance; our first results on so-called "ablation" studies that demonstrate the existence of what we refer to as generative constraints; and the first results that probe the often misaligned preferences of humans and machines in cyborg proofs. These results challenge basic orthodoxies in the philosophy of mathematics, and provide new problems for philosophers of science, mathematics, and AI.</font></div><div style="margin:0px;color:rgb(36,36,36)"><font face="arial, sans-serif"><br></font></div><div style="margin:0px;color:rgb(36,36,36)"><font face="arial, sans-serif">Joint work with Zephyr Fan, Bálint Gyevnár, and Eamon Duede, supported by Grant 63750 from the John Templeton Foundation.</font></div><div style="direction:ltr;line-height:1.38;margin:0px 0px 16px;color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="direction:ltr;line-height:1.38;margin:0px 0px 0.75em;color:rgb(0,0,0)"><font face="arial, sans-serif">This talk will be available online: Zoom: <span style="color:rgb(20,24,39)"><a href="https://pitt.zoom.us/j/97095624890" id="m_-8244391442852331574gmail-OWAcddc0b24-52e4-219d-b1f0-877c70ee7d2d" title="https://pitt.zoom.us/j/97095624890" target="_blank">https://pitt.zoom.us/j/97095624890</a></span></font></div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>