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



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"

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