Epistemic Logic with Partial Dependency Operator

In this paper, we introduce $\textit{partial}$ dependency modality $\mathcal{D}$ into epistemic logic so as to reason about $\textit{partial}$ dependency relationship in Kripke models. The resulted dependence epistemic logic possesses decent expressivity and beautiful properties. Several interesting examples are provided, which highlight this logic's practical usage. The logic's bisimulation is then discussed, and we give a sound and strongly complete axiomatization for a sub-language of the logic

Binding bound variables in epistemic contexts

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality

Anti-Exceptionalism about Logic

Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances to putative mathematical and logical theses. Mathematics and logic may both be a posteriori, but it does not follow that they are empirical. Indeed, as Williamson has demonstrated, what counts as empirical knowledge, and the role of experience in acquiring knowledge, are both unclear. Moreover, knowledge, even of necessary truths, is fallible. Nonetheless, logical consequence holds in virtue of the meaning of the logical terms, just as consequence in general holds in virtue of the meanings of the concepts involved; and so logic is both analytic and necessary. In this respect, it is exceptional. But its methodologyand its epistemology are the same as those of mathematics and science in being fallibilist, and counterexamples to seemingly analytic truths are as likely as those in any scientic endeavour. What is needed is a new account of the evidential basis of knowledge, one which is, perhaps surprisingly, found in Aristotle

Corporate control and governance practices in Russia

In Russia, the problem of corporate governance has become a frequent subject for discussion. Stories now abound about questionable corporate governance practices, such as share dilution, asset stripping, transfer pricing, complex ownership structures, limiting shareholders from attending the shareholders meetings. These practices, which have come to constitute corporate governance abuses to company shareholders, are considered to be factors adversely affecting the investment climate. At first glance, these non-transparent practices are a collection of independent cases of managerial malfeasance that are abusive to investors. However, there seems to be an internal logic in these widely used practices, as they have been functional for Russian corporates to navigate through circumstances characterised by an imperfect formal framework. The aim of this paper is to analyse such functionalities of the practices in light of an evolution of corporate Russia. Taking Yukos Oil Company as a case study, the paper demonstrates that resorting to these practices was instrumental in a process of ensuring corporate survival and strengthening market position by establishing a coherent corporate entity. This paper emphasises that these practices represent rational and logical responses by economic agents to the prevailing conditions shaped by policy choices, political and macroeconomic environment, and institutions

Computations by fly-automata beyond monadic second-order logic

We present logically based methods for constructing XP and FPT graph algorithms, parametrized by tree-width or clique-width. We will use fly-automata introduced in a previous article. They make possible to check properties that are not monadic second-order expressible because their states may include counters, so that their sets of states may be infinite. We equip these automata with output functions, so that they can compute values associated with terms or graphs. Rather than new algorithmic results we present tools for constructing easily certain dynamic programming algorithms by combining predefined automata for basic functions and properties.Comment: Accepted for publication in Theoretical Computer Scienc

The *subjectivity* of subjective experience - A representationalist analysis of the first-person perspective

This is a brief and accessible English summary of the "Self-model Theory of Subjectivity" (SMT), which is only available as German book in this archive. It introduces two new theoretical entities, the "phenomenal self-model" (PSM) and the "phenomenal model of the intentionality-relation" PMIR. A representationalist analysis of the phenomenal first-person persepctive is offered. This is a revised version, including two pictures

Resistojet research and development, phase ii second quarterly progress report, 1 oct. - 31 dec. 1964

Transient propulsion performance of 10 watt fast heating resistojet engin