Article ID Journal Published Year Pages File Type
4663304 Journal of Applied Logic 2009 11 Pages PDF
Abstract

In the nineteen sixties seminal work was done by Gaifman and then Scott and Krauss in adapting the concepts, tools and procedures of the model theory of modern logic to provide a corresponding model theory in which notions of probabilistic consistency and consequence are defined analogously to the way they are defined (semantically) in the deductive case. The present paper proposes a way of extending these ideas beyond the bounds of a formalised language, even the infinitary language of Scott and Krauss, to achieve a logic having the power and expressiveness of the modern mathematical theory of probability.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,