INEXPRESSIBILITY AND REFLECTION

in the formal sciences

 

UPCOMING EVENTS:

Contact: reflect@philosophy.ox.ac.uk



PAST EVENTS:


Midlands Logic Seminar (4 Oct-6 Dec). Further information can be found here.


10-12 Apr 2013. `Truth, Paradoxes and Inexpressibility’ Conference. Buenos Aires.

Oxford-Buenos Aires  workshop organized by the Buenos Aires-Oxford Research Project:

Truth, Open-endedness and Inexpressibility. Further information about the conference can be found here.


23-24 Mar 2013. `Language, Truth and Logic’ Conference, Princeton.

Further information about the conference can be found here.


13-15 Mar 2013. `Truth to be told again’.

Amsterdam Workshop on Truth  co-organized by the Project.


24 Jan 2013. Workshop with Sebastian Eberhard (Bern).

Unfolding of Feasible Arithmetic (Abstract).


7 Jan 2013. Workshop with Dr. Shunsuke Yatabe (Kobe):

Abstract: A strong version of omega-rule implies a contradiction within a constructive naive set theory (by defining a truth predicate with full Tarskian scheme)


Third New College Logic Meeting

Oxford/Buenos Aires Workshop supported by the UK-Latin America and by the  Caribbean Link Programme of the British Academy. Oxford, 24-25 April 2012. Further information can be found here.


Workshop with Aldo Antonelli: First-Order Quantifiers, Second-Order Domains, and Ontological Commitment.

Oxford, 2nd of April.


Workshop with Ali Enayat and Albert Visser

Oxford, 26th March.


Reflection Principles in Set theory

Two-day workshop at Oxford, 19-20 March 2012 jointly organized with the ERC project Plurals, Predicates and Paradox.


Set-theoretic reflection principles state that properties of the entire hierarchy of sets are “reflected” in initial segments of the hierarchy. Such principles are often thought to enjoy a high degree of intrinsic plausibility and perhaps even to be part of the iterative conception of sets. Reflection principles are also known to be quite strong (especially in their higher-order versions). This workshop seeks to address philosophical and foundational questions concerning such principles.  


Conference venue: 10 Merton Street


The conference will take place in the lecture room, on the first floor of the Philosophy Faculty, 10 Merton Street. A map showing the location of the Philosophy Faculty may be found here:

http://g.co/maps/vf2su


Contact:


If you have any queries or requests, please do not hesitate to contact the conference organisers, Sam Roberts and James Studd: reflectconf@gmail.com


PROGRAMME:


Monday 19 March:

11-12:20    Sam Roberts (Birkbeck)

12:20-1:40        Lunch Break

1:40-3    James Studd (Oxford)

3:15-6:10    Philip Welch (Bristol)

4:50-6:10    Geoffrey Hellman (Minnesota)


7:00-    Conference Dinner in the Paneled Room, New College


Tuesday 20 March:

10-11:20    Sean Walsh (Birkbeck)

11:40-1    Jouko Väänänen (Helsinki, Amsterdam)

1-2:30    Lunch Break

2:30-3:50    Stewart Shapiro (Ohio State, St Andrews)

4:10-5:30    Joan Bagaria (Barcelona)


NB: no formal plans has been made for lunch; a number of restaurants and other food outlets may be found on the High Street, a short distance from 10 Merton Street.




Seminar on Set Theoretic Reflection Principles

Jointly organized with the ERC project Plurals, Predicates and Paradox.


It has been claimed that set theoretic reflection principles are either too weak, inconsistent, or philosophically ill motivated. In these four seminars we will attempt to cover the relevant background material and make some progress towards challenging this claim.


  1. •Tuesday 17 Jan 11am-1pm, McFetridge Room, 14 Gower Street, London:

  2.    Reading List


  1. •Monday 23 Jan, 2 - 4pm, Fraenkel Room, Corpus Christi College (Map), Oxford

  2. Reading List


  1. •Tuesday 31 Jan 11am-1pm, McFetridge Room, 14 Gower Street, London

  2. Reading List


  1. •6 Feb, 2 - 4pm,  Fraenkel Room, Corpus Christi College, Oxford

  2. Reading list




Workshop with Prof. Jouko Väänänen and Prof. Juliette Kennedy (Helsinki)


Oxford, Tuesday 24 January, 2-6:30 pm:


  1. •2-4 pm, Examination Schools:  Juliette Kennedy,

  2. Change the Logic, Change the Meaning? Quine’s Dictum and the Case of Set theory

  3. •4:30-6:30 pm, LECTURE ROOM, 10 Merton Street: Jouko Väänänen,

  4. Second order logic, set theory and foundations of mathematics



Axiomatic Theories of Truth

19-20 September 2011, New College, Oxford.
























From the right: Kentaro Fujimoto, Dan Isaacson, Martin Fischer, Andrea Cantini, Volker Habalch, Leon Horsten, Reinhard Kahle, Sebastian Eberhard, Thomas Strahm, Riccardo Bruni, Cezary Cieśliński, Graham Leigh, Jonne Speck,  Kate Manion , Carlo Nicolai, Ciro De Florio, James Studd.


Humanities Division Research Showcase Event:

11 July 2011. A copy of the poster displayed by the members of the project at the showcase can be found here.


Talk of Professor Gerhard Jaeger (University of Bern):

30 Jun 2011, W9 TT, Ryle Room, Philosophy Centre, 4:30 pm:

Lifting Proof Theory from Second-Order Arithmetic to Class Theory


Talk of Professor Adolf Rami (University of Göttingen):

May 26th 2011, Week 4 Trinity Term, Noël Salter Room, New College, 4 pm:

Non-Standard Neutral Free Logic, Empty Names and Negative Existentials



11-13 April 2011, MIT Cambridge, MA: Research Meeting with Prof. Vann McGee.