189 research outputs found
Propositional Relevance through Letter-Sharing: Review and Contribution
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life in 1999 when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh. First, the relation of relevance was considered modulo the belief set under consideration, Second, the belief set was put in a canonical form, known as its finest splitting. In this paper we explain these ideas; relate the approaches of Rodrigues and Parikh to each other; and briefly report some recent results of Kourousias and Makinson on the extent to which AGM belief change operations respect relevance. Finally we suggest a further refinement of the notion of relevance by introducing a parameter that allows one to take epistemic as well as purely logical components into account
Boole's indefinite symbols re-examined
We show how one can give a clear formal account of Boole’s notorious “indefinite" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially
Gödel’s Master Argument: what is it, and what can it do?
This text is expository. We explain Gödel’s ‘Master Argument’ for incompleteness as distinguished from the 'official' proof of his 1931 paper, highlight its attractions and limitations, and explain how some of the limitations may be transcended by putting it in a more abstract form that makes no reference to truth
Relevance via decomposition
We report on progress and an unsolved problem in our attempt to obtain a clear rationale for relevance logic via semantic decomposition trees. Suitable decomposition rules, constrained by a natural parity condition, generate a set of directly acceptable formulae that contains all axioms of the well-known system R, is closed under substitution and conjunction, satisfies the letter-sharing condition, but is not closed under detachment. To extend it, a natural recursion is built into the procedure for constructing decomposition trees. The resulting set of acceptable formulae has many attractive features, but it remains an open question whether it continues to satisfy the crucial letter-sharing condition
Relevance via decomposition: A project, some results, an open question
We report on progress and an unsolved problem in our attempt to obtain a clear rationale for relevance logic via semantic decomposition trees. Suitable decomposition rules, constrained by a natural parity condition, generate a set of directly acceptable formulae that contains all axioms of the well-known system R, is closed under substitution and conjunction, satisfies the letter-sharing condition, but is not closed under detachment. To extend it, a natural recursion is built into the ocedure for constructing decomposition trees. The resulting set of acceptable formulae has many attractive features, but it remains an open question whether it continues to satisfy the crucial letter-sharing condition
Propositional relevance through letter-sharing
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a long time. But it began to take on a fresh life in the late 1990s when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh: the relation of relevance was considered modulo the choice of a background belief set, and the belief set was put into a canonical form, called its finest splitting. In the first part of this paper, we recall the ideas of Rodrigues and Parikh, and show that they yield equivalent definitions of what may be called canonical cell/path relevance. The second part presents the main new result of the paper: while the relation of canonical relevance is syntax-independent in the usual sense of the term, it nevertheless remains language-dependent in a deeper sense, as is shown with an example. The final part of the paper turns to questions of application, where we present a new concept of parameter-sensitive relevance that relaxes the Rodrigues/Parikh definition, allowing it to take into account extra-logical sources as well as purely logical ones
On principles and problems of defeasible inheritance
We have two aims here: First, to discuss some basic principles underlying different approaches to Defeasible Inheritance; second, to examine problems of these approaches as they already appear in quite simple diagrams. We build upon, but go beyond, the discussion in the joint paper of Touretzky, Horty, and Thomason: A Clash of Intuitions
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
We explain the {em raison d\u27^etre} and basic ideas of input/output
logic, sketching the central elements with pointers to other
publications for detailed developments. The motivation comes from
the logic of norms. Unconstrained input/output operations are
straightforward to define, with relatively simple behaviour, but
ignore the subtleties of contrary-to-duty norms. To deal with these
more sensitively, we constrain input/output operations by means of
consistency conditions, expressed via the concept of an outfamily.
They also provide a convenient platform for distinguishing and
analysing several different kinds of permission
The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles of these features, which we call 'perfumes', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction
Relevance via decomposition
We report on progress and an unsolved problem in our attempt to obtain a clear rationale for relevance logic via semantic decomposition trees. Suitable decomposition rules, constrained by a natural parity condition, generate a set of directly acceptable formulae that contains all axioms of the well-known system R, is closed under substitution and conjunction, satisfies the letter-sharing condition, but is not closed under detachment. To extend it, a natural recursion is built into the procedure for constructing decomposition trees. The resulting set of acceptable formulae has many attractive features, but it remains an open question whether it continues to satisfy the crucial letter-sharing condition
- …