BEGIN:VCALENDAR
PRODID: University of Exeter
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Europe/London
X-LIC-LOCATION:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20211122T153000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20211122T153000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE
METHOD:PUBLISH
BEGIN:VEVENT
SUMMARY; CHARSET=UTF-8 :EGENIS seminar: "Demonstrations, Definitions and Newton’s Experimental Philosophy", Dr Kirsten Walsh (University of Exeter)
UID:exeter_event_11721
URL:http://www.exeter.ac.uk/events/details/?event=11721
DTSTART;VALUE=DATE:20211122T153000
DTEND;VALUE=DATE:20211122T170000
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
ORGANIZER: MAILTO:egenis@exeter.ac.uk
ATTACH: http://www.exeter.ac.uk/events/details/?event=11721
DTSTAMP:20211110T152849
LOCATION:Online event
DESCRIPTION; CHARSET=UTF-8 :Newton’s Opticks Book 1 opens with a set of definitions and axioms, so one might expect to find the theorems contained therein to be proved from said definitions and axioms via deductively valid rules of inference. But they’re not. Instead, Newton employs ‘proof by experiment’: each theorem is proved via a series of experiments, which are represented by geometrical diagrams and accompanying text. Newton’s axioms and definitions do not feature explicitly in these proofs—they are not even mentioned in the discussions. I address two questions in relation to this case. First, how does ‘proof by experiment’ function as a proof? Second, what roles do axioms and definitions play in the trajectory from experiment to proven theorem? I argue that this case is revelatory of Newton’s understanding of experimental philosophy and the probative force of his (in)famous experimentum crucis.

http://www.exeter.ac.uk/events/details/?event=11721
SEQUENCE:0
PRIORITY:5
CLASS:
STATUS:CONFIRMED
TRANSP:TRANSPARENT
X-MICROSOFT-CDO-IMPORTANCE:1
X-Microsoft-CDO-BUSYSTATUS:FREE
X-MICROSOFT-CDO-INSTTYPE:0
X-Microsoft-CDO-INTENDEDSTATUS:FREE
END:VEVENT
END:VCALENDAR