Postulates for an Abstract Arithmetic
نویسندگان
چکیده
منابع مشابه
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
In this paper we investigate the use of classical logic as a basis for instantiating abstract argumentation frameworks. In the first part, we propose desirable properties of attack relations in the form of postulates and classify several well-known attack relations from the literature with regards to the satisfaction of these postulates. Furthermore, we provide additional postulates that help u...
متن کاملAn Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)
This paper introduces a finite-automata based representation of Presburger arithmetic definable sets of integer vectors. The representation consists of concurrent automata operating on the binary encodings of the elements of the represented sets. This representation has several advantages. First, being automata-based it is operational in nature and hence leads directly to algorithms, for instan...
متن کاملKoch's postulates: An interventionist perspective.
We argue that Koch's postulates are best understood within an interventionist account of causation, in the sense described in Woodward (2003). We show how this treatment helps to resolve interpretive puzzles associated with Koch's work and how it clarifies the different roles the postulates play in providing useful, yet not universal criteria for disease causation. Our paper is an effort at rat...
متن کاملRationality Postulates for Induction
I study the process of inductive hypothesis formation from two perspectives: finding general rules that explain given specific evidence, and finding general rules that are confirmed by the evidence. Both forms of hypothesis formation are axiomatised on the metalevel of consequence relations, which provides us with a set of rationality postulates for various forms of induction.
متن کاملPostulates for Conditional Belief Revision
In this paper, we present a scheme of postulates for revising epistemic states by condit ional beliefs. These postulates are supported mainly by fol lowing the specific, non-classical nature of conditionals, and the aim of preserving condi t ional beliefs is achieved by studying specific interactions between conditionals, represented properly by two relations. Because one of the postulates clai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Academy of Sciences
سال: 1928
ISSN: 0027-8424,1091-6490
DOI: 10.1073/pnas.14.12.907