Some Supervaluation-based Consequence Relations
نویسندگان
چکیده
منابع مشابه
Some Supervaluation-based Consequence Relations
In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatiz...
متن کاملProof Theories for Some Prioritized Consequence Relations
Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets. Humans do not compute consistent subsets, they just start reasoning and when confronted with inconsistencies in the course of their reasoning, they may adjust their interpretation of the information. In logics this behaviour corresponds to the mechanisms of dynamic proof theories. The aim of thi...
متن کاملConsequence Mining - Constants Versus Consequence Relations
The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒X . We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that...
متن کاملModal Consequence Relations
Logic is generally defined as the science of reasoning. Mathematical logic is mainly concerned with forms of reasoning that lead from true premises to true conclusions. Thus we say that the argument from σ0;σ1; · · · ;σn−1 to δ is logically correct if whenever σi is true for all i < n, then so is δ. In place of ‘argument’ one also speaks of a ‘rule’ or an ‘inference’ and says that the rule is v...
متن کاملJudgment and consequence relations
In this paper I argue that a variety of consequence relations can be subsumed under a common core. The reduction proceeds by taking the unconditional consequence, or judgment, as basic and deriving the conditional consequence via a uniform abstraction scheme. A specific outcome is that it is better not to base such a scheme on the semantic notion of a matrix and valuation but rather on theories...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2003
ISSN: 0022-3611,1573-0433
DOI: 10.1023/a:1024240422978