Logic List Mailing Archive

Logical Methods Workshop in Bristol (Jan 2005)

Logical methods in Epistemology, Semantics & Philosophy of Mathematics
Bristol UK
January 6-8, 2005

http://users.ox.ac.uk/~sfop0114/rg/meetings/bristol.html

Speakers

Branden Fitelson: A User-Friendly Decision Procedure for the Probability
Calculus, with Applications to Bayesian Confirmation Theory

Micheal Glanzberg: Contexts and Unrestricted Quantification

Jeff Ketland: The Ghost of the Tarski Hierarchy

Hannes Leitgeb: Rise from the dead? Carnap's "Logischer Aufbau"
resurrected

Albert Visser: Tarski's Result on the Undefinability of Truth and the
Category of Interpretations