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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
