Algebraic Semantics for Graded Propositions
نویسندگان
چکیده
We present LogAG, an algebraic language for reasoning about graded propositions. LogAG is algebraic in that it is a language of only terms, some of which denote propositions. Both propositions and their grades are taken as individuals in the LogAG ontology. Thus, the language includes terms denoting graded propositions, grades of propositions, grading propositions, and graded grading propositions in an arbitrary compositional structure. In this paper, we present the syntax and semantics of LogAG, defining an infinite sequence of graded logical consequence relations, each corresponding to accepting graded propositions at some nesting depth. We show the utility of LogAG in default reasoning, reasoning about information provided by a chain of sources with varying degrees of trust, and representing the dilemma one is in when facing paradoxical liar-like sentences.
منابع مشابه
LogAG: An Algebraic Non-Monotonic Logic for Reasoning with Uncertainty
We present a weighted algebraic non-monotonic logic we refer to as LogAG for reasoning with uncertain beliefs. In LogAG, the classical logical formulas could be associated with ordered grades representing measures of uncertainty. The revision of beliefs in LogAG, when contradictions arise, is done according to the grades of the contradictory propositions. Throughout the paper, we present the sy...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملRepresentations of structural closure operators
We continue the work of Blok and Jónsson by developing the theory of structural closure operators and introducing the notion of a representation between them. Similarities and equivalences of Blok-Jónsson turn out to be bijective representations and bijective structural representations, respectively. We obtain a characterization for representations induced by a transformer. In order to obtain a...
متن کاملThe Role of the Scholars` Tradition in Formulating Moral Propositions, with an Emphasis on Muhaqqiq Isfahani`s View
The issue of the source of ethical value is one of the most important issues in the field of metaethics. Moral philosophers have come up with different perspectives on this issue. Some Islamic thinkers, including Muhaqqiqi Isfahani, have considered the rationals` tradition as the formulating cause for moral propositions. This research is intended to emphasize on the viewpoint of Muhaqqiqi Isfah...
متن کاملEpistemic Actions as Resources
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the c...
متن کامل