Upcoming Talk: Truth and integrity constraints in logical database updating/merging

November 4th, 2015

I’ll be giving a talk later this month at the RMIT CSIT Seminar Series.

Date and Time: Friday 27th November, 2015. 11.30am – 12.30pm.

Venue: RMIT, Swanston St, Melbourne, Building 80 (Swanston Academic Building), Level 5, Room 12 (080.05.012)

Abstract: Methods for the updating/merging of logical databases have traditionally been mainly concerned with the relations between pieces of data and the logical coherence of operations without as much concern for whether the datasets resulting from such operations have epistemically valuable properties such as truth and relevance. Gardenfors for example, who developed the predominant AGM framework for belief revision, argues that the concepts of truth and falsity become irrelevant for the analysis of belief change as “many epistemological problems can be attacked without using the notions of truth and falsity”.

However this may be, given that agents process incoming data with the goal of using it, this lacuna between updating/merging and epistemic utilities such as truth and relevance merits attention. In this talk I address this issue by looking at some ways in which updating/merging methods can be supplemented and shaped when combined with formal measures of truthlikeness, including cases where integrity constraints are involved.

George Boole’s 200th Birthday Google Doodle

November 2nd, 2015

is currently (November 2, 2015) featuring on google.com

Here is the archived version: http://www.google.com/doodles/george-booles-200th-birthday.

Logic at Melbourne

October 29th, 2015

New blog for the logic group at the University of Melbourne.

Integrity Constraints and Truthlikeness in Belief Merging

October 20th, 2015

Integrity Constraints and Truthlikeness in Belief Merging

Google’s Knowledge-Based Trust (KBT) Proposal

September 19th, 2015


Vale Jaakko Hintikka

August 13th, 2015

It has just been reported that the Finnish philosopher and logician Jaakko Hintikka has passed way. An important figure whose work I have engaged with quite a bit, as I detail in this post.

An informational view of classical logic

August 1st, 2015


Belief merging with the aim of truthlikeness

July 18th, 2015

I’ve a new paper out in Synthese: Belief merging with the aim of truthlikeness.

Reasons for Rejecting a Counterfactual Analysis of Conclusive Reasons

July 11th, 2015

Reasons for Rejecting a Counterfactual Analysis of Conclusive Reasons

Belief Merging and Judgment Aggregation

July 10th, 2015

New SEP entry on Belief Merging and Judgement Aggregation.