Year: 2016
Type: conference-paper
Abstract: Suppose we are given a monadic theory T about the constants x and y.So T is built up in classical logic from monadic predicates {P1, P2, ...} and the classical connectives and the quantifiers and possibly the equality symbol =.For example the theory T may have in it P (x) and ¬P (y).We now add to the theory the revision input x = y.The new theory may be inconsistent.We need a belief revision mechanism to revise T so that it is consistent with the input.This is a very specific form of input and belief revision, of the form which we are calling "identity merging".We present in outline how the Talmud deals with this type of revision.
Authors: Michaël Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay
Institution: University of Luxembourg
Language: English
Subfield: Philosophy
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W2575277182