24 Monday Feb 2020
Posted in Formal Methods, Research
Schedules of guest speakers for the Formal Methods Group in winter 2020. Some of these talks are organized jointly with the newly formed London Group for Formal Philosophy. (Note: we are planning further talks and may update this page accordingly)
10 Thursday Jan 2019
Posted in Formal Methods, Rationality, Research
The Rationality and Formal Methods Group run guest speakers series at the same time slot. The guest speakers for winter and spring 2019 are as follows. (“FM” and “R” indicate talks organised by the formal methods and rationality groups, respectively.)
Fri Jan 18th Georgi Gardiner (Oxford) (R)
Fri Feb 1st Johannes Stern (Bristol) (FM)
Fri March 1st Corinne Besson (Sussex) (FM)
Fri March 8th Lavinia Picollo (UCL) (FM)
Fri March 15th Michael Hannon (Nottingham) (R)
Fri March 22st Nick Hughes (Durham / Oxford) (R)
Fri March 29th Louise Hanson (Durham) (R)
Fri May 17th James Studd (Oxford) (FM)
Fri May 24th Balthasar Grabmayr (Jerusalem) (FM)
The talks take place on Fridays 3:00-5:00, in room 508, Philosophy Building, KCL Strand Campus. Everyone is welcome, but if you come from outside King’s you need to email Julien Dutant at julien.dutant@kcl.ac.uk in advance to be included in the visitor list.
20 Thursday Dec 2018
Posted in Formal Methods, Workshops
Tags
Andrew Bacon, Formal Methods, formal methods masterclass, free recombination, fundamentality, higher-order metaphysics, Jessica Leech, logic, metaphysics, modality, model theory, Nick Jones, propositions, Timothy Williamson
Prof. Andrew Bacon (USC) will give a masterclass on Higher-Order Metaphysics at King’s College London on May 8th-10th, 2019. The masterclass will include guest talks by Nick Jones (Birmingham), Jessica Leech (KCL), and Timothy Williamson (Oxford).
The event is open to graduate students and researchers from any institution. Attendance is free but registration is required. To register fill in the form below.
You can download a pdf version of the programme.
Continue reading
12 Monday Nov 2018
Posted in Formal Methods, Research
Nilanjan Das (University College London) will present at the Formal Methods this Friday, November 16th, on:
Abstract: According to Bayesian orthodoxy, an agent should update – or at least should plan to update – her credences by conditionalization. Some have defended this claim by means of a diachronic Dutch book argument. They say: an agent who doesn’t plan to update her credences by conditionalization makes herself vulnerable (by her own lights) to a diachronic Dutch book, i.e., a sequence of bets which, when accepted, pose a risk of monetary loss without any possibility of monetary gain. Here, I will argue that this argument is in tension with an attractive conception of evidence: namely, evidence externalism, i.e., the view that an agent’s evidence can entail non-trivial propositions about the external world.
Room 508, Philosophy Building, Strand Campus
14:00 – 16:00
05 Monday Nov 2018
Posted in Formal Methods, Research
Weng Hong Tang (National University of Singapore) will present at the Formal Methods this Friday, November 9th, on:
Abstract: According to the process reliabilist, a belief is justified if and only if it is produced (or sustained) by a reliable process or system of processes—that is, one that tends to produce a high ratio of true to false beliefs. Given, however, that beliefs are not merely all-or-nothing—given that they come in degrees—a natural question arises as to how the reliabilist may account for justified degrees of belief or credences. Unlike all-or-nothing beliefs, credences do not in general admit of truth or falsity. But like all-or-nothing beliefs, they may be justified or unjustified. Recently, reliabilist accounts of justified credences have been put forward by Dunn (2015), Tang (2016), and Pettigrew (forthcoming). But such accounts focus on precise credences. In this talk, I explore how the reliabilist may deal with imprecise credences.
Room 508, Philosophy Building, Strand Campus
14:00 – 16:00
03 Saturday Nov 2018
Posted in Formal Methods, Research
Tags
The Formal Methods Group runs a guest speaker series. The guest speakers for 2017-18 are as follows:
Fri Oct 12th – Seamus Bradley (Leeds): “Belief models, aggregation and impossibility”
Fri Nov 9th – Weng Hong Tang (NUS): “Reliabilism and Imprecise Credences”
Fri Nov 16th – Nilanjan Das (UCL): “Externalism and Exploitability”
Fri Feb 1st Johannes Stern (Bristol)
Fri March 1st Corinne Besson (Sussex)
Fri March 8th Lavinia Picollo (UCL)
Fri May 17th James Studd (Oxford)
The talks take place on Fridays 14:00-16:00, in room 508, Philosophy Building, KCL Strand Campus. Everyone is welcome, but if you come from outside King’s you need to email Julien Dutant at julien.dutant@kcl.ac.uk in advance to be included in the visitor list.
10 Wednesday Oct 2018
Posted in Events, Formal Methods, Research, Seminars
Friday Oct 12th – 14:00-16:00
Room 508, Philosophy Building
Abstract:
The “Belief Models” framework is a very general formal theory of rational belief. It encompasses propositional logic belief sets, but also ranking functions and lower previsions (i.e. lower probabilities). De Cooman (2005) shows that AGM-style expansion and revision operators can be defined in this framework. In this paper I will discuss aggregation of belief models, and draw some connections to various well-known impossibility results for aggregation.
05 Monday Feb 2018
Posted in Events, History of Philosophy, Research, Seminars
Thu Feb 8th, 14:00-16:00
Philosophy building, room 508
King’s College London
Sven Rosenkranz (LOGOS, ICREA, U Barcelona), will give a talk titled “The Logic of Justification – Reloaded” at the Formal Methods research seminar, King’s College London, this Thursday 2-4pm. Open to all graduates and scholars interested. Please sign in as a visitor at the entrance, follow the signs to the Philosophy building, follow the signs to the philosophy office, room 508 is just right of the office.
23 Tuesday Jan 2018
Posted in Events, Formal Methods, Research, Seminars
Tags
Paul Egré (CNRS, Paris, http://paulegre.free.fr/) will give a talk on:
“Vagueness and Moving Thresholds” (joint work with Steven Verheyen)
Thursday 25th, 14:00-16:00
Room 508 (Philosophy building).
All are welcome. If you are not from King’s, simply sign in and follow the signs to the philosophy building and then room 508 (you may need to ask your way around).
15 Monday Jan 2018
Posted in Events, Formal Methods, Research, Seminars
The Formal Methods Group runs a guest speaker series. The guest speakers for 2017-18 are as follows:
Thu 26 Oct – Davide Fassio (KCL / Zhejiang )
Thu 23 Nov – Peter Brössel (Rhur-University Bochum)
Thu 25 Jan – Paul Egré (Jean Nicod, Paris)
Thu 8 Feb – Sven Rosencranz (LOGOS, Barcelona)
Thu 1 Mar – Julien Dutant (KCL)
Thu 1 Mar – Tim Smartt (Sydney)
Thu 24 May – Corine Besson (Sussex, Royal Institute of Philosophy)
The seminar takes place on Thursdays 2-4, in room 508, Philosophy Building. It is open to students and researchers from outside KCL. Please contact Julien Dutant for directions and to make sure you are granted access to the building.
