106,234 research outputs found
Institutional logics, blended and suspended
This paper examines how a new institution, a code of conduct, arises and develops over time. It shows how the process of debate airs competing logics, questions and fails to question assumptions taken for granted, and yet achieves a large degree of legitimacy without having resolved certain core issues. The UK code of corporate governance has been emulated around the world as a model of good practice. By examining in detail one aspect of the debate – the issue over unitary or two-tier boards – the paper shows how the contest of logics leads not just to new, blended or hybrid logics, but also to suspended logics. The process of consultation brings together actors from differing organizational fields and institutional orders, offering an opportunity to create a new field in a different order, with specific lessons for the practice of corporate governance and general lessons for institution-building
Semantics and Ontology:\ud On the Modal Structure of an Epistemic Theory of Meaning
In this paper I shall confront three basic questions.\ud
First, the relevance of epistemic structures, as formalized\ud
and dealt with by current epistemic logics, for a\ud
general Theory of meaning. Here I acknowledge M. Dummett"s\ud
idea that a systematic account of what is meaning of\ud
an arbitrary language subsystem must especially take into\ud
account the inferential components of meaning itself. That\ud
is, an analysis of meaning comprehension processes,\ud
given in terms of epistemic logics and semantics for epistemic\ud
notions.\ud
The second and third questions relate to the ontological\ud
and epistemological framework for this approach.\ud
Concerning the epistemological aspects of an epistemic\ud
theory of meaning, the question is: how epistemic logics\ud
can eventually account for the informative character of\ud
meaning comprehension processes. "Information� seems\ud
to be built in the very formal structure of epistemic processes,\ud
and should be exhibited in modal and possibleworld\ud
semantics for propositional knowledge and belief.\ud
However, it is not yet clear what is e.g. a possible world.\ud
That is: how it can be defined semantically, other than by\ud
accessibility rules which merely define it by considering its\ud
set-theoretic relations with other sets-possible worlds.\ud
Therefore, it is not clear which is the epistemological status\ud
of propositional information contained in the structural\ud
aspects of possible world semantics. The problem here\ud
seems to be what kind of meaning one attributes to the\ud
modal notion of possibility, thus allowing semantical and\ud
synctactical selectors for possibilities. This is a typically\ud
Dummett-style problem.\ud
The third question is linked with this epistemological\ud
problem, since it is its ontological counterpart. It concerns\ud
the limits of the logical space and of logical semantics for a\ud
of meaning. That is, it is concerned with the kind of\ud
structure described by inferential processes, thought, in a\ud
fregean perspective, as pre-conditions of estentional\ud
treatment of meaning itself. The second and third questions\ud
relate to some observations in Wittgenstein"s Tractatus.\ud
I shall also try to show how their behaviour limits the\ud
explicative power of some semantics for epistemic logics\ud
(Konolige"s and Levesque"s for knowledge and belief)
Solutions to Some Open Problems from Slaney
In response to a paper by Harris & Fitelson, Slaney states several open questions concerning possible strategies for proving distributivity in a wide class of positive sentential logics. In this note, I provide answers to all of Slaney's open questions. The result is a better understanding of the class of positive logics in which distributivity holds
Disjunctive bases: normal forms and model theory for modal logics
We present the concept of a disjunctive basis as a generic framework for
normal forms in modal logic based on coalgebra. Disjunctive bases were defined
in previous work on completeness for modal fixpoint logics, where they played a
central role in the proof of a generic completeness theorem for coalgebraic
mu-calculi. Believing the concept has a much wider significance, here we
investigate it more thoroughly in its own right. We show that the presence of a
disjunctive basis at the "one-step" level entails a number of good properties
for a coalgebraic mu-calculus, in particular, a simulation theorem showing that
every alternating automaton can be transformed into an equivalent
nondeterministic one. Based on this, we prove a Lyndon theorem for the full
fixpoint logic, its fixpoint-free fragment and its one-step fragment, a Uniform
Interpolation result, for both the full mu-calculus and its fixpoint-free
fragment, and a Janin-Walukiewicz-style characterization theorem for the
mu-calculus under slightly stronger assumptions.
We also raise the questions, when a disjunctive basis exists, and how
disjunctive bases are related to Moss' coalgebraic "nabla" modalities. Nabla
formulas provide disjunctive bases for many coalgebraic modal logics, but there
are cases where disjunctive bases give useful normal forms even when nabla
formulas fail to do so, our prime example being graded modal logic. We also
show that disjunctive bases are preserved by forming sums, products and
compositions of coalgebraic modal logics, providing tools for modular
construction of modal logics admitting disjunctive bases. Finally, we consider
the problem of giving a category-theoretic formulation of disjunctive bases,
and provide a partial solution
- …