Logical Analogies: Interpretations, Oppositions, and Probabilism
نویسندگان
چکیده
منابع مشابه
Logical Abstract Domains and Interpretations
We give semantic foundations to abstract domains consisting in first order logic formulæ in a theory, as used in verification tools or methods using SMT-solvers or theorem provers. We exhibit conditions for a sound usage of such methods with respect to multi-interpreted semantics and extend their usage to automatic invariant generation by abstract interpretation.
متن کاملLogical Geometries and Information in the Square of Oppositions
The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, ...
متن کاملContext Probabilism
We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding probabilistic structure to models of the conversational common ground.
متن کاملA Coalgebraic Perspective on Logical Interpretations
In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reu...
متن کاملLogical Interpretations of RDFS - A Compatibility Guide
This paper compares the semantics (or stated more precise: an interpretation of the intended semantics) of RDF [11] and RDFS [4] (as previously captured in [5]) with the semantics defined by the new upcoming RDF Model Theory [9]. While the RDF Model Theory Draft (MT) relies on set theory, we interpret the MT utilizing a horn subset of first order logic. On one hand, this may facilitate comprehe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophies
سال: 2019
ISSN: 2409-9287
DOI: 10.3390/philosophies4020013