### Book

## Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

This volume contains the proceedings of the Joint Meeting of the Twenty-Third Annual EACSL Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic. Every 3--4 years, LICS has been part of the Federated Logic Conference (FLoC). Given that FLoC was to be held as part of the Vienna Summer of Logic (VSL) during July 2014, the organizers of CSL and LICS have chosen to merge the 2014 editions of these meetings into a single event within FLoC and VSL. Thus, in 2014, the joint meeting had one program committee, one program, and one proceedings.

We investigate the size of first-order rewritings of conjunctive queries over OWL 2 QL ontologies of depth 1 and 2 by means of hypergraph programs computing Boolean functions. Both positive and negative results are obtained. Conjunctive queries over ontologies of depth 1 have polynomial-size nonrecursive datalog rewritings; tree-shaped queries have polynomial positive existential rewritings; however, in the worst case, positive existential rewritings can only be of superpolynomial size. Positive existential and nonrecursive datalog rewritings of queries over ontologies of depth 2 suffer an exponential blowup in the worst case, while first-order rewritings are superpolynomial unless NP⊆P/poly. We also analyse rewritings of tree-shaped queries over arbitrary ontologies and observe that the query entailment problem for such queries is fixed-parameter tractable.

In this early paper C. Wright Mills tries to ground the possibility for the study of thinking (including logical) from the perspective of sociology of knowledge. Following G.H. Mead, he shows that thinking is a social process because every thinker converses with his or her audience using the norms of rationality and logicality common to his or her culture. Language serves as a mediator between thinking and social patterns. Proposing to consider the meaning of language as the common social behavior evoked by it, Mills finds a way to combine three levels of analysis: psychological, social and cultural.

The article is devoted to considering the problem of possible worlds in Leibniz. The author shows that the idea of possible worlds is basic in Leibniz’s theory of «the best of all possible worlds» where it is postulated in the metaphysical justification of the divine creation as a free act and in the solution of the theological problem concerning the existence of evil. Also, Leibniz connects this idea with logic which he interprets as a science about all possible worlds. Leibniz's dichotomy between «truths of reason» and «truths of fact» is investigated in the context of necessity and contingency. Logical and moral reasons for God's choice of the best of possible worlds are examined in detail in both early and mature works by Leibniz.

This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.

The article analyses the link between the famous French epistemologists Emile Meyerson and his younger friend and disciple, historian of science Alexandre Koyré. Koyré is known primarily by his research of the history of the scientific thought; his main interest was to grasp the moments of the transformation of rational structures within the history. Nevertheless, in this paper I will argue that Alexandre Koyré in some measure accepts Emile Meyerson’s claim on the immutability of human reason that constitutes the central point of Meyerson’s epistemology. But within the rationality in general he distinguishes the immutable core that is constituted by the logical laws of reasoning and the outer level of “mentality” which is subjected to the historical changes and transformations.

The present manual is written on the basis of the course on inductive logic which is delivered in English to philosophy students of National Research University Higher School of Economics. The manual describes the main approaches to constructing inductive logic; it clarifies its key notions and rules, and it formulates its major problems. This introductory text can be useful for all readers who are interested in contemporary inductive logic.

The present volume is devoted to the 'Open Rusian-Finish Colloquium on Logic' (ORFIC), held at the Saint-Petersburg State University, on June 14-16, 2012. Among the participants there were such prominent Finish logicians as Jaakko Hintikka, Ilkka Niiniluoto ang Gabriel Sandu. The volume covers the most interesting results recently obtained in different areas of research in logic.

This volume is of interest to everyone, concerned in modern logic.

A form for an unbiased estimate of the coefficient of determination of a linear regression model is obtained. It is calculated by using a sample from a multivariate normal distribution. This estimate is proposed as an alternative criterion for a choice of regression factors.