June 28th, 2016

Some theoretical mulling: given the reports that some #Brexit leave voters regretted their decision, I’m wondering about the possibility of having a voting system whereby (1) people vote first round (2) the results are made public (3) people can change their vote in the second round with knowledge of the first round result. I say this with a general interest in voting procedures, not because I have a particular position in this referendum.

Analyzing Donald Trump’s Speeches

June 28th, 2016

I am currently doing some text analysis with IBM’s Alchemy. I thought that it would be amusing and somewhat interesting to run some transcripts of Donald Trump speeches through the online demo, particularly to see the results of Alchemy’s emotion analysis: https://alchemy-language-demo.mybluemix.net.

Sure enough, out of the 5 emotions of anger, disgust, fear, joy and sadness, the negative emotions ‘trump’ the positive emotions, with anger and fear being the most prominent. Here is an example speech and its emotion scores

Anger 1
Disgust 0.086204
Fear 0.981015
Joy 0.067289
Sadness 0.086029

CFP: Eighth Workshop on the Philosophy of Information

February 4th, 2016

CFP: Eighth Workshop on the Philosophy of Information

Special issue of Philosophy and Technology on “Logic as Technology”

December 28th, 2015


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.