• About
  • News
  • Events
    • Regular Reading Groups
    • Seminars
    • Public talks
  • Research
    • Conference reports
    • History of Philosophy
    • Mind, Metaphysics, Psychology
    • Formal Methods
    • Rationality
  • Ideas
    • Interviews
    • Essays
  • Resources
  • Department Events Calendar

King's Philosophy

~ Official blog of the philosophy department at King's College London.

King's Philosophy

Category Archives: Formal Methods

Formal Methods: june talks

04 Thursday Jun 2020

Posted by Julien Dutant in Formal Methods, Seminars

≈ Leave a comment

Tags

formal epistemology, philosophy of language

The Formal Methods research group re-launches its seminar online in June. We have two guest talks given by Branden Fitelson and by Matt Mandelkern, organized with the London Group for Formal Philosophy.

Continue reading →

Formal methods research seminar 2020

24 Monday Feb 2020

Posted by Julien Dutant in Formal Methods, Research

≈ Leave a comment

Tags

Formal Methods, guest speakers, London Group for Formal Philosophy

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)

Continue reading →

Rationality and Formal methods research seminars 2019

10 Thursday Jan 2019

Posted by Julien Dutant in Formal Methods, Rationality, Research

≈ Leave a comment

Tags

Formal Methods, guest speakers, Rationality

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.)

Winter 2019

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)

Spring 2019

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.

Masterclass on Higher-Order Metaphysics with Andrew Bacon

20 Thursday Dec 2018

Posted by Julien Dutant in Formal Methods, Workshops

≈ Leave a comment

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 →

Workshop on Disagreement and Bayesian Networks, this Friday

26 Monday Nov 2018

Posted by Vlad Cadar in Events, Formal Methods, Research, Workshops

≈ Leave a comment

Tags

Bayes, workshop

Friday Nov 30th: 10:00 – 16:00
King’s College London, Strand Campus, Philosophy Building, Room 508

Programme:

  • 10:00-11:00 – Julien Dutant (KCL) and Alexandru Marcoci (UNC Chapel-Hill): “Catching Peer Disagreement in Bayes’s nets“
  • 11:30-12:30 – Frederik Joakim Andersen (Copenhagen): “The epistemic significance of moral disagreement“
  • 1:30-2:30 – Josefine Lomholt Pallavicini (Copenhagen): “Hybrid defeaters in Bayes’s nets“
  • 3:00-4:00 – Klemens Kappel (Copenhagen): “Independence and higher order evidence“

Workshop co-organized by The Social Epistemology Group, University of Copenhagen and the Department of Philosophy Formal Methods group, King’s College London. The workshop will explore issues of disagreement, peer disagreement and higher-order evidence from a Bayesian perspective.

Everyone is welcome, but if you come from outside King’s you need to email Julien Dutant (julien.dutant@kcl.ac.uk) in advance to be included in the visitor list.

Nilanjan Das at the Formal Methods seminar this Friday

12 Monday Nov 2018

Posted by Vlad Cadar in Formal Methods, Research

≈ Leave a comment

Tags

epistemology, Formal Methods

Nilanjan Das (University College London) will present at the Formal Methods this Friday, November 16th, on:

Externalism and Exploitability

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

Weng Hong Tang at the Formal Methods seminar this Friday

05 Monday Nov 2018

Posted by Vlad Cadar in Formal Methods, Research

≈ Leave a comment

Tags

epistemology, Formal Methods

Weng Hong Tang (National University of Singapore) will present at the Formal Methods this Friday, November 9th, on:

Reliabilism and Imprecise Credences

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

Formal methods research seminar 2018-19

03 Saturday Nov 2018

Posted by Vlad Cadar in Formal Methods, Research

≈ Leave a comment

Tags

Formal Methods

The Formal Methods Group runs a guest speaker series. The guest speakers for 2017-18 are as follows:

Autumn 2018

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”

Winter 2019

Fri Feb 1st Johannes Stern (Bristol)
Fri March 1st Corinne Besson (Sussex)
Fri March 8th Lavinia Picollo (UCL)

Spring 2019

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.

Seamus Bradley (Leeds) at King’s Formal Methods seminar

10 Wednesday Oct 2018

Posted by Vlad Cadar in Events, Formal Methods, Research, Seminars

≈ Leave a comment

Tags

Formal Methods, Seamus Bradley, seminar

“Belief models, aggregation and impossibility”

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.

Masterclass on Probabilistic Knowledge with Sarah Moss

22 Thursday Feb 2018

Posted by Julien Dutant in Events, Formal Methods, Research, Seminars

≈ Leave a comment

Tags

conditionals, credence, epistemic modals, epistemic norms, epistemology, evidence, formal epistemology, knowledge, legal proof, peer disagreement, pragmatic encroachment, probabilistic semantics, probability, racial profiling, statistical evidence, transformative experience, women's speech

Prof. Sarah Moss (Michigan) will give a masterclass on Probabilistic Knowledge at King’s College London on March 6th-7th, 2018. The masterclass will include guest talks by Siliva Milano (LSE), Jason Konek (Bristol), Matt Mandelkern (Oxford) & Daniel Rothschild (UCL), Bernhard Salow (Cambridge) and Richard Holton (Cambridge). The keynote lecture of the masterclass is a joint session with LSE’s Choice Group.

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.

Here is a pdf version of the programme. Final location confirmed: though the strike is taking place and many of us would have preferred not to cross picket lines, the event will have to take place in KCL (venues below).

Continue reading →

← Older posts

Tags

ancient philosophy Andrea Sangiovanni applied ethics art Art and Philosophy British Society for the History of Philosophy Clayton Littlejohn conference conferences David Papineau employment epistemology ethics Events formal epistemology Formal Methods graduate students guest speakers History of Philosophy Hobbes interview Jessica Leech jobs John Callanan Julien Dutant Kant KHOP Maria Rosa Antognazza Mark Textor metaphysics Michael Beaney migration MM McCabe performance art Philosophy and Medicine Philosophy in Prisons philosophy of language philosophy of mathematics philosophy of medicine philosophy of mind political philosophy postdoc publications public lecture radio Rationality Research at King's Sacha Golob Sarah Fine workshop

Follow King’s Philosophy on Twitter

My Tweets

Recent Posts

  • KHOPS events this term
  • King’s College London Peace Lecture 2023 Announced
  • “What’s the use of hope?” by Kieran Setiya in the Agora series edited by KCL’s @aj_wendland in The New Statesman
  • New Latin Philosophy Reading Group
  • Job: Lecturer in Ethics

Archives

  • January 2023
  • November 2022
  • October 2022
  • September 2022
  • August 2022
  • July 2022
  • June 2022
  • May 2022
  • April 2022
  • March 2022
  • February 2022
  • January 2022
  • December 2021
  • November 2021
  • October 2021
  • September 2021
  • July 2021
  • June 2021
  • May 2021
  • April 2021
  • March 2021
  • January 2021
  • December 2020
  • November 2020
  • October 2020
  • September 2020
  • July 2020
  • June 2020
  • May 2020
  • April 2020
  • March 2020
  • February 2020
  • January 2020
  • December 2019
  • November 2019
  • October 2019
  • September 2019
  • April 2019
  • March 2019
  • February 2019
  • January 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017
  • May 2017
  • April 2017
  • March 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • October 2015
  • September 2015
  • July 2013
  • May 2013

Categories

  • Announcements
  • Conference reports
  • Essays
  • Events
  • Formal Methods
  • History of Philosophy
  • Ideas
  • Interviews
  • Kant
  • KHOPS
  • Mind, Metaphysics, Psychology
  • News
  • philosophy of science
  • Public engagements
  • Public talks
  • Rationality
  • Reading Groups
  • Research
  • Resources
  • Seminars
  • Uncategorized
  • Workshops

A WordPress.com Website.

  • Follow Following
    • King's Philosophy
    • Join 219 other followers
    • Already have a WordPress.com account? Log in now.
    • King's Philosophy
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar