What Happens When Reasoning Has Side Effects?

Wed 16 Apr, 1:30-3:00, Fulton 101

Simon McGregor: What Happens When Reasoning Has Side Effects?

The principle of embodiment in cognitive science emphasises that the main object of cognition is to reason about systems which the agent itself is part of and can affect through its actions. I propose that particular real-world circumstances can undermine the assumption that the process of reasoning does not affect the systems being reasoned about, and explore why this is a problem for typical conceptions of rationality. We will also discuss how Sorensen’s concept of epistemic blind spots could affect mathematical reasoning, in light of the Lucas-Penrose argument about human transcendence of mechanism. But it will come as a surprise.

The Argument from Looks: A Plea for Representational Humility

Wed 9th Apr, 1:30-3:00

Keith Wilson: The Argument from Looks: A Plea for Representational Humility

The assumption that perceptual experience (seeing, hearing, and so on) is fundamentally representational is common in much recent philosophy and cognitive science. It is an assumption, however, that is rarely argued for or examined in detail. According to this assumption, perceptual experience (as distinct from judgement or belief) represents the world as being, or as seeming to be, some particular way. That is, each experience has a determinate set of truth conditions. In this paper, I present an argument, inspired by Travis (2004), that aims to challenge this orthodoxy, instead claiming that there is no single representational content of experience. Consequently, whilst the argument does not entirely rule out the existence of perceptual representations, it does highlight a fundamental tension in the way philosophers and scientists of perception have thought about such representation that severely constrains its explanatory role, raising a number of questions that have yet to be satisfactorily answered by proponents of the representational view.

Epistemic and Inferential Consistency in Knowledge-Based Systems

 

Wed 12th March 12:30-14:00, Richmond AS03

Ron Chrisley: Epistemic and Inferential Consistency in Knowledge-Based Systems

One way to understand the knowledge-based systems approach to AI is as the attempt to give an artificial agent knowledge (or give it the ability to act like a human that has that knowledge) by putting linguaform representations of that knowledge into the agent’s database (its knowledge base).  The agent can then add to its knowledge base by applying rules of inference to the sentences in it.  An important desideratum for this process is that only true sentences are added (else they cannot be knowledge).  Since typical rules of inference would allow the addition of any sentences, including false ones, to an inconsistent database, care must be taken to ensure that knowledge bases are consistent.  Much effort has been expended on devising tractable ways to do this (e.g., truth maintenance systems, assumption-based truth maintenance systems, partitioned paraconsistent knowledge bases that are locally consistent but may be globally inconsistent, etc.)  I argue that for certain kinds of knowledge representation languages (autoepistemic logics), a further constraint, which I call epistemic consistency, must be met.  I argue for the need to check for epistemic consistency despite the fact that, unlike for consistency simpliciter, failing to meet this constraint is not a logical possibility.  The most basic form of checking that this constraint is met is to ensure that there are no sentences in an agent’s knowledge base that constitute what Sorensen has called an epistemic blindspot for that agent (e.g., “It is raining, but Hal doesn’t know it”, for the agent Hal).  This constraint must be maintained both when initialising the knowledge base, and when applying rules of inference, a fact which requires generalising from Sorensen’s notion of an epistemic blindspot to the concept of epistemic blindspot sets (a move that is independently motivated in applying Sorensen’s surprise examination paradox solution to the strengthened paradox of the toxin).  In addition, and along similar lines, I argue that another form of consistency, which I call inferential consistency, must be maintained.  Inferential consistency does not involve epistemically problematic sentences, but rather epistemically problematic inferences, such as ones concerning the number of inferences one has made.  I consider one way of dealing with such cases, which has the alarming consequence of rendering all rules of inference strictly invalid.  Specifically, I argue that the validity of a rule of inference can only be retained if a semantic restriction (that of excluding reference to the inference process itself) is placed on the sentences over which it can operate.

Updates

Updates 29/6/11

Apologies: Blay

Paul

Working on thesis.

Simon

Working on Joint Session talk. Thought my subject – panpsychism and the composition problem – would be a welcome change from natural kinds and downward causation, but it turns out that deproblematising composition and adding the idea of the mind being composed of multiple virtual machines is a good way of arguing for non-reductive, downwardly causal mental properties.

Tom

Working on talk for E-int and Joint Session.

Ron

Went to 1st person approach conference in Berkeley – changed plan and gave a response to Susan Stewart’s criticism of synthetic phenomenology work.

Gave talk last week to philosophy faculty research progress meeting.

Going to Sweden on Monday till August.

Supervising MSc student – implementing web browsing advisor built on architecture inspired by Bernard Baars global workspace theory.

updates

Updates

Paul
Preparing for presentation & working on thesis.

Rob
1 – The philosophy of mind reading group (see http://www.ifl.pt/index.php?id1=3&id2=8) had a meeting on a draft chapter of my book: Cognitive Technologies in Everyday Life: Tools for Thinking and Feeling. It generated some interesting discussion and it was very nice for me after all the time I’ve put into this.

2 – I’ve started organizing a research in progress group modelled on … you’ve guessed it E-I which will hopefully meet for the first time next week.

3 – Trying to finish a review for JCS of The Crucible of Consciousness by Zoltan Torey which is supposed to be in Friday.

Simon
Working on Joint Session talk.

Updates

Updates 18/5/11

Paul

  • Trying to write a paper on Kirsh & Maglio’s epistemic action/pragmatic action distinction.
  • Also Bob Chad sent his apologies for non-attendance today.

Simon

  • Didn’t get the job in Norway.

Updates

Steve

· Lots of organizational work on Machine Consciousness workshop, in collaboration with Ron and Rob

· Completed my paper for same workshop (April 2011)

· Completed corrected version of my paper with Denis Roche for “Technologies on the Stand” conference in Tilburg (April 2011)

· Planning short presentation with Mark Coeckelbergh at a 3TU Research day in Utrecht following the Tilburg event, and visit to Mark’s department in Twente (still waiting to hear if EUCogII funding will be available)

· Finished delivery of my course on Conceptual and Historical Issues in Psychology at Goldsmiths College, London

Ricardo

· Preparing content for European flagship project on the Human Brain – mapping brain science to technology.

Paul

· Paper on computer games on waiting list for conference in Athens.

· Reading “Zones of Proletarian Development” by Mastaneh Shah-Shuja – neo-Vygotskian, collective learning.

Mike

· ASIB paper with Igor finished.

· Information integration paper with Igor in preparation.

· Going back to and finishing some old papers, e.g. on Animal Consciousness.

Ron

· Working on ASIB workshop.

· Gave talk at Lyon on Cartesian Cognitive Science

Simon

· Shortlisted for research position in Norway. Skype interview in a couple of weeks – advice gratefully received.

· Reading up on Stephen Mumford’s account of causation in preparation for interview. http://sites.google.com/site/ranilillanjum/research/getting-causes-from-powers

General

I am sending these updates round as Steve and Maggie requested that they continue to be sent around. The reasons I wanted to stop are partly manifested in the inadequacies of this message: its lateness (I have been in marking hell for the last several weeks), and it’s inaccuracies (I’m not a trained secretary). Therefore, we asked if people could email and post their own updates, but that hasn’t worked. So, I will continue to take notes and accept updates by emails.

Last week’s updates

Steve

· Applied to EUCogII for support for a forthcoming visit to Holland in April – Tilburg (Conference) and Twente (departmental visit)

· Working on paper for my conference presentation in Tilburg, April

· Working on paper for Machine Consciousness workshop in York, April

· Reviewing for Philosophy and Computation workshop, York, April

· Invited to participate in discussions on a possible EU-funded project on Hybrid Human/Machine/Robot Cloud Computing

· Invited to give talk at St Mary’s University College, Twickenham

Simon

· Thinking about different conceptions of what physical stuff is.

· Getting an application together for a position in Norway, where, as part of a research project on causation in science, I would write a thesis on explanation, reduction, emergence etc. in psychology.

Last week’s updates

Paul

· Writing thesis section on Varela et al. ‘Embodied Mind’ – reading other Varela, Thompson texts to bring it up to date.

· Submitted abstract on Epistemic & Pragmatic Action for conference in Greece.

· Crossing fingers that extension will be allowed.

Simon

· Thinking about whether Locke was a substance dualist – rading Bermude who claims he was actually a property dualist.