Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :O. Finkel, T. Ibarlucía, A. Khélif, S. Rideau, C. Sureson
Email des responsables :
Salle : salle 2015
Adresse :Sophie Germain
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Ehud Hrushovski - Hebrew University of Jerusalem, Israel ,
Titre What can probability logic describe?
Date09/05/2016
Horaire15:10 à 16:10
Résume Probability quantifiers were studied by Keisler and Hoover in the 1980's,following earlier work of Carnap, Gaifmann, Krauss-Scott. I will survey some basic results on pure probability logic, where only stochastic quantifiers are allowed. The interpretative powers of this logic are drastically more limited than that of first-order logic. If the language consists of binary relations, one can interpret nothing more than spatial location (in a sense that will be explained; essentially on the Kim-Pillay space.) Subtleties increase with higher-order relations.
Sallesalle 2015
AdresseSophie Germain
© IMJ-PRG