Saturday\, April 14th
All day

\n716 Philosophy Hall

\n\n \\n\\n### A
ll speakers:

\n \\n\\n \\n\\n \\n\\n \\n\\n \\n\\n

Workshop Organizer: **Justin Clarke-Doane**<
/a> (Columbia)

\n
X-TAGS;LANGUAGE=en-US:ethics\,mathematics
END:VEVENT
BEGIN:VEVENT
UID:ai1ec-7442@www.noahgreenstein.com/wordpress
DTSTAMP:20210120T042755Z
CATEGORIES;LANGUAGE=en-US:Rutgers
CONTACT:https://philevents.org/event/show/79994
DESCRIPTION:The workshop is funded by the National Science Foundation (SES-
1921688) and is aimed at bringing together academics who study the notion
of mathematical explanation from philosophical and from educational/psycho
logical perspectives. The idea is to bring together philosophers of mathem
atics\, epistemologists\, psychologists\, and mathematics educators\, to d
iscuss how developments in their own fields could meaningfully contribute
to the work on mathematical explanation where their fields intersect. In p
articular\, we want to explore the ways in which mathematical explanation
engenders understanding\, by focusing on (1) the relationship between diff
erent types of philosophical accounts of mathematical explanation\, (2) ed
ucational approaches to the characterization of effective explanations in
the mathematics classroom\, and (3) work at the intersection of these two
perspectives.\nAll speakers:\n Mark Colyvan \nUniversity of Sydney\n Matth
ew Inglis \nLoughborough University\n Marc Lange \nUniversity of North Car
olina\, Chapel Hill\nTania Lombrozo\nPrinceton University\n Alexander Renk
l \nUniversity of Freiburg\nKeith Weber\nRutgers University – New Brunswic
k\nOrit Zaslavsky\nNew York University
DTSTART;VALUE=DATE:20200406
DTEND;VALUE=DATE:20200408
GEO:+40.501487;-74.447058
LOCATION:Graduate School of Education\, Rutgers @ 10 Seminary Pl\, New Brun
swick\, NJ 08901\, USA
SEQUENCE:0
SUMMARY:Understanding Mathematical Explanation: Uniting Philosophical and E
ducational Perspectives
URL:http://www.noahgreenstein.com/wordpress/event/understanding-mathematica
l-explanation-uniting-philosophical-and-educational-perspectives/
X-COST-TYPE:free
X-ALT-DESC;FMTTYPE=text/html:\\n\\n\\nThe workshop is funded by the National Science Foundation (SES-1921688) and is aimed at bringing together academics who study the notion of mathematical explanat ion from philosophical and from educational/psychological perspectives. Th e idea is to bring together philosophers of mathematics\, epistemologists\ , psychologists\, and mathematics educators\, to discuss how developments in their own fields could meaningfully contribute to the work on mathemati cal explanation where their fields intersect. In particular\, we want to e xplore the ways in which mathematical explanation engenders understanding\ , by focusing on (1) the relationship between different types of philosoph ical accounts of mathematical explanation\, (2) educational approaches to the characterization of effective explanations in the mathematics classroo m\, and (3) work at the intersection of these two perspectives.

\n Mark Colyvan

\nUniversity of Sydney

Matthew Inglis

\nLou
ghborough University

Marc Lange

\nUniversity of North Carolina\, Chapel Hill

Tania Lombrozo

\nPrinceton University

Alexander Renkl

\nUniversity of Freiburg

Keith Weber

\nRutgers University – N
ew Brunswick

Orit Zaslavsky

\nNew York University

In thi s talk I will defend a view according to which certain mathematical facts depend counterfactually on certain historical facts. Specifically\, I will sketch an alternative possible history for us in which (I claim) the prop osition ordinarily expressed by the English sentence “there is a universal set” is true\, despite its falsity in the actual world.

\nLogic & M etaphysics Workshop

\nFeb 26 Martin Pleitz\, Muenster

\nMar 5 V
era Flocke\, NYU

\nMar 12 Roy Sorensen\, WUSTL

\nMar 19 Alex Cit
kin\, Private Researcher

\nMar 26 Chris Scambler\, NYU

\nApr 2 S
PRING RECESS. NO MEETING

\nApr 9 Greg Restall\, Melbourne

\nApr
16 Daniel Nolan\, Notre Dame

\nApr 23 Mel Fitting\, CUNY

\nApr 3
0 Sungil Han\, Seoul National

\nMay 7 Andreas Ditter\, NYU

\nMay
14 Rohit Parikh

\n

\n\n

\n\n

\n

\nFrom basic arithmetic to the calculation of rocket trajectories\, m athematics provides an elegant means of systematically understanding and q uantifying the world around us. Beyond its computational functions\, howev er\, mathematics serves an even more vital purpose: It illuminates the mos t fundamental knowledge of our universe\, furnishing the tools that classi cal physics\, quantum mechanics\, and astronomy use to develop and build u pon their findings.

\nBut why should mathematics be so effective in explaining our universe\, as first noted by Nobel laureate physicist Eugen e Wigner? Why have fundamental laws discovered through pure mathematics tu rned out to describe the behavior of our physical world with such remarkab le precision\, from the fundamental law of gravitation to Maxwell’s electr omagnetic equations? Given that our physical universe is comprised of math ematical properties\, some have posited that mathematics is the language o f the universe\, whose laws reveal what appears to be a hidden order in th e natural world. But are there also limits to what mathematics can reveal about the mystery of our universe?

\n*Theoretical physicist S. James Gates Jr. and science writer *

**Reception to follow*

\n

This event is part of the Conversations o n the Nature of Reality series.

\nModerated by journalist *To the Best of Our Knowledge*\, this three-part series at the New
York Academy of Sciences brings together leading scientists and thinkers t
o explore the fundamental nature of reality through the lens of personal e
xperience and scientific inquiry.

To learn more about each lecture and to purchase tickets\, click on the links below.

\n- \n
- The Mystery of Our Mathematical Universe< /a>\, Wednesday\, October 10\, 2018 \n
- Human Cognition and the AI Revolution\, Thursday\, December 6\, 2018 \n
- Reality is Not As it Seems\, Thursday\, February 7\, 2019 \n

Tickets: https:/ /www.nyas.org/events/2018/the-mystery-of-our-mathematical-universe/. X-TAGS;LANGUAGE=en-US:mathematics\,science X-COST:$5-15 X-TICKETS-URL:https://www.nyas.org/events/2018/the-mystery-of-our-mathemati cal-universe/ END:VEVENT BEGIN:VEVENT UID:ai1ec-6893@www.noahgreenstein.com/wordpress DTSTAMP:20210120T042755Z CATEGORIES;LANGUAGE=en-US:CUNY CONTACT:https://logic.commons.gc.cuny.edu/ DESCRIPTION:n his seminal work Counterfactuals\, David Lewis presents a fam ily of systems of conditional logic—his V-family—which includes both his p referred logic of counterfactuals (VC/C1) and Stalnaker’s conditional logi c (VCS/C2). Graham Priest posed the problem of finding systems of (labeled ) tableaux for logics from Lewis’s V-family in his Introduction to Non-Cla ssical Logic (2008\, p. 93). In this talk\, I present a solution to this p roblem: sound and complete (labeled) tableaux for Lewis’s V-logics. Errors and shortcomings in recent work on this problem are identified and correc ted (especially close attention is given to a recent paper by Negri and Sb ardolini\, whose approach anticipates my own). While most of the systems I present are analytic\, the tableaux I give for Stalnaker’s VCS and its ex tensions make use of a version of the Cut rule and\, consequently\, are no n-analytic. I conjecture that Cut is eliminable from these tableaux and di scuss problems encountered in trying to prove this.\n\nThe Logic and Metap hysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center\, CUNY (365 5th Avenue). The (provisional) schedule is as follows:\nSep 17. Sander Breckers\, Utrecht\nSep 24. Hanoch Ben-Yam i\, CEU\nOct 1. Otavio Bueno\, Miami\nOct 8. GC CLOSED. NO MEETING\nOct 15 . Alfredo Freire\, Campinas\nOct 22. Yale Weiss\, GC\nOct 29. Boris Kment\ , Princeton\nNov 5. Melissa Fusco\, Columbia\nNov 12. Amy Seymour\, Fordha m\nNov 19. Andrew Tedder\, UConn\nNov 26. Justin Bledin\, Johns Hopkins\nD ec 3. Suki Finn\, Southampton\nDec 10. Byong Yi\, Toronto DTSTART;TZID=America/New_York:20181015T161500 DTEND;TZID=America/New_York:20181015T181500 GEO:+40.748579;-73.983878 LOCATION:CUNY Grad Center\, 6494 @ 365 5th Ave\, New York\, NY 10016\, USA SEQUENCE:0 SUMMARY:Tableaux for Lewis’s V-family\, Yale Weiss URL:http://www.noahgreenstein.com/wordpress/event/ontological-reductions-of -first-order-models-alfredo-freire/ X-COST-TYPE:free X-ALT-DESC;FMTTYPE=text/html:\\n\\n\\n

\n

\n

\n
X-TAGS;LANGUAGE=en-US:logic\,mathematics\,metaphysics
END:VEVENT
BEGIN:VEVENT
UID:ai1ec-7052@www.noahgreenstein.com/wordpress
DTSTAMP:20210120T042755Z
CATEGORIES:
CONTACT:https://www.sarahlawrence.edu/news-events/events/detail/7420
DESCRIPTION:Daniel King (BS\, Lafayette College. MS\, PhD\, University of V
irginia) is a mathematics scholar with special interests in mathematics ed
ucation\, game theory\, history and philosophy of mathematics\, and the ou
treach of mathematics to the social sciences and the humanities. He curren
tly teaches an undergraduate course\, Game Theory: The Study of Strategy a
nd Conflict.\nIn this talk\, King will focus on two particularly intriguin
g “games:” Newcomb’s Problem and the Prisoners’ Dilemma. The analysis of b
oth games leads us to a curious paradox of sorts. Fascinating and perplexi
ng\, these games and the paradoxes they unleash serve to challenge some of
our most cherished beliefs and philosophical viewpoints. No prior knowled
ge of game theory (or advanced-level mathematics) is required in order to
enjoy and fully engage with the ideas we explore in this talk.\nThis event
is sponsored by Friends of Sarah Lawrence College and is open to the publ
ic.\nTo register for this event\, or for more information on the Friends o
f Sarah Lawrence College\, please e-mail friends@sarahlawrence.edu or call
914.323.6154.
DTSTART;TZID=America/New_York:20190129T190000
DTEND;TZID=America/New_York:20190129T210000
GEO:+40.933012;-73.849298
LOCATION:Wrexham Living Room @ 45 Wrexham Rd\, Bronxville\, NY 10708\, USA
SEQUENCE:0
SUMMARY:Game Theory with Mathematics Faculty Member Daniel King
URL:http://www.noahgreenstein.com/wordpress/event/game-theory-with-mathemat
ics-faculty-member-daniel-king/
X-COST-TYPE:free
X-ALT-DESC;FMTTYPE=text/html:\\n\\n\\nn his seminal work *Counterfactuals*\, David Lewis pr
esents a family of systems of conditional logic—his *V*-family—which
includes both his preferred logic of counterfactuals (**VC**/**C1**)
and Stalnaker’s conditional logic (**VCS**/**C2**). Graham Priest p
osed the problem of finding systems of (labeled) tableaux for logics from
Lewis’s *V*-family in his *Introduction to Non-Classical Logic*
(2008\, p. 93). In this talk\, I present a solution to this problem: sound
and complete (labeled) tableaux for Lewis’s *V*-logics. Errors and s
hortcomings in recent work on this problem are identified and corrected (e
specially close attention is given to a recent paper by Negri and Sbardoli
ni\, whose approach anticipates my own). While most of the systems I prese
nt are analytic\, the tableaux I give for Stalnaker’s **VCS** and its e
xtensions make use of a version of the Cut rule and\, consequently\, are n
on-analytic. I conjecture that Cut is eliminable from these tableaux and d
iscuss problems encountered in trying to prove this.

\n

The L ogic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center\, CUNY (365 5th Avenue). The (provisi onal) schedule is as follows:

\nSep 17. Sander Breckers\, Utrecht

\nSep 24. Hanoch Ben-Yami\, CEU

\nOct 1. Otavio Bueno\, Miami

\nOct 8. GC CLOSED. NO MEETING

\nOct 15. Alfredo Freire\, Campin as

\nOct 22. Yale Weiss\, GC

\nOct 29. Boris Kment\, Princeton

\nNov 5. Melissa Fusco\, Columbia

\nNov 12. Amy Seymour\, For dham

\nNov 19. Andrew Tedder\, UConn

\nNov 26. Justin Bledin\, Johns Hopkins

\nDec 3. Suki Finn\, Southampton

\nDec 10. Byon g Yi\, Toronto

\n\n

\n
X-TAGS;LANGUAGE=en-US:formal\,logic\,mathematics
END:VEVENT
BEGIN:VEVENT
UID:ai1ec-7413@www.noahgreenstein.com/wordpress
DTSTAMP:20210120T042755Z
CATEGORIES;LANGUAGE=en-US:CUNY
CONTACT:http://saulkripkecenter.org/index.php/2019/11/18/young-scholars-ser
ies-vincent-a-peluce/
DESCRIPTION:Well-known ties between arithmetical proof and intuitionistic l
ogic make it natural to think of provability in terms of intuitionistic lo
gic and hence absolute provability in terms of one of its extensions. For
this reason\, we propose Intuitionistic Tense Logic\, or tINT\, to study a
bsolute provability. We delineate tINT models and a Hilbert-style system\,
and then prove soundness and completeness. We then use the tINT framework
to discuss and compare ideas of absolute provability of authors in the li
terature.\nThe Saul Kripke Center is pleased to announce that Vincent A. P
eluce (PhD student\, Philosophy\, CUNY Graduate Center) will deliver the f
ourth Saul Kripke Center Young Scholars Series talk on Thursday\, December
5\, 2019\, from 2:00 to 4:00 in room 9206 of the CUNY Graduate Center.
DTSTART;TZID=America/New_York:20191205T140000
DTEND;TZID=America/New_York:20191205T160000
GEO:+40.748579;-73.983878
LOCATION:CUNY Grad Center\, 9206 @ 365 5th Ave\, New York\, NY 10016\, USA
SEQUENCE:0
SUMMARY:Absolute Provability and Intuitionistic Tense. Vincent A. Peluce
URL:http://www.noahgreenstein.com/wordpress/event/absolute-provability-and-
intuitionistic-tense-vincent-a-peluce/
X-COST-TYPE:free
X-ALT-DESC;FMTTYPE=text/html:\\n\\n\\nDaniel King (BS\, Lafayette College. MS\, PhD\, University of Virgini a) is a mathematics scholar with special interests in mathematics educatio n\, game theory\, history and philosophy of mathematics\, and the outreach of mathematics to the social sciences and the humanities. He currently te aches an undergraduate course\, Game Theory: The Study of Strategy and Conflict .

\nIn this talk\, King will focus on two particularly intriguin g “games:” Newcomb’s Problem and the Prisoners’ Dilemma. The analysis of b oth games leads us to a curious paradox of sorts. Fascinating and perplexi ng\, these games and the paradoxes they unleash serve to challenge some of our most cherished beliefs and philosophical viewpoints. No prior knowled ge of game theory (or advanced-level mathematics) is required in order to enjoy and fully engage with the ideas we explore in this talk.

\nThi s event is sponsored by Friends of Sarah Lawrence College and is open to t he public.

\nTo register for this event\, or for more information on the Friends of Sarah Lawrence College\, please e-mail friends@sarahlawrence.edu or call 914.323.615 4.

\nWell-known ti es between arithmetical proof and intuitionistic logic make it natural to think of provability in terms of intuitionistic logic and hence absolute p rovability in terms of one of its extensions. For this reason\, we propose Intuitionistic Tense Logic\, or tINT\, to study absolute provability. We delineate tINT models and a Hilbert-style system\, and then prove soundnes s and completeness. We then use the tINT framework to discuss and compare ideas of absolute provability of authors in the literature.

\nThe Sa ul Kripke Center is pleased to announce that Vincent A. Peluce (PhD studen t\, Philosophy\, CUNY Graduate Center) will deliver the fourth Saul Kripke Center Young Scholars Series talk on Thursday\, December 5\, 2019\, from 2:00 to 4:00 in room 9206 of the CUNY Graduate Center.

\n X-TAGS;LANGUAGE=en-US:logic\,mathematics END:VEVENT END:VCALENDAR