Imperative change and obligation to do

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms

Ontology of sentential moods

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections

Deontic logic as a study of conditions of rationality in norm-related activities

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic

A Social Pragmatic View on the Concept of Normative Consistency

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system

Increasing competitiveness of the construction sector by adopting innovative clustering

Companies in today's world need to become and stay competitive. This means, among other things, that they have to create new ideas and turn them into innovative products and processes. Appropriate innovation management strategies, including creation of various kinds of alliances with other business entities, need to be adopted within the company. Clustering is one of such possibilities. The paper discusses the main features of clusters and the benefits for their members; in addition, it identifies specific features of the construction sector that require specific approaches to establish a cluster.\ud The methodology Innovative Cluster Model with 3x3x3 mail elements (ICM333) is proposed and used to initiate and develop a cluster in the construction sector. In the cluster development three stages are identified: emergence, development and maturity of the cluster. Actions associated with these three stages tackle four areas (in each stage): rationale, organization, resources, and implementation. All areas are thoroughly elaborated and discussed in the paper. In the first step, the emerging cluster, the key element is identification, assessment and dissemination of development opportunities. It can run parallel with the cluster initiation, which is followed by the operation. Within the steps to be taken in the stage of the developing cluster, visions nad the goals have to be defined first, followed by the definition of the cluster organisation. The mature cluster stage has to focus on performance measurement and management, and take appropriate measures to garantee its sustainability and adequate innovative character.\ud Implementation of the proposed cluster development methodology has the potential of greatly facilitating the betterment of a construction sector in a particular country. It can be a valuable tool, when available to policymakers, chambers of commerce and trade, and other stakeholders that wish to foster the development of such clusters.\ud The paper reports on the results of the 7th Framework project FP7-REGIONS-2007-1 RegCon – Support Action for Innovation Driven Clusters in Construction.\u

On the Logical Form of Educational Philosophy and Theory: Herbart, Mill, Frankena, and Beyond

The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy and theory inherits all the difficulties inherent in the general metatheory but has also significantly contributed to its advancement. In particular, the discussion on its mixed normative-descriptive character and complex composition has remained an important part of research in educational philosophy and theory. The two points seem to be indisputable. First, the content of educational philosophy and theory is a complex one, connecting different disciplines. Second, these disciplines are integrated within the logical form of practical inference or means-end reasoning. On the other hand, the character of consequence relation in this field, although generally recognized as specific, represents an unresolved prob- lem, a solution of which requires a sophisticated logical theory and promises to influence the self- understanding of educational philosophy and theory

Options for International Financing of Climate Change Mitigation in Developing Countries

This paper provides a model-based analysis of the potential macro-economic impacts of different options for international financing of climate change mitigation in developing countries. The model used is the multi-region and multi-sector climate change version of the WorldScan model. Following the outcome of the UNFCCC conference in Copenhagen, it makes no specific assumptions about the future international climate regime. The analysis shows that the environmental prospects systematically improve in a transition from the Clean Development Mechanism projects towards a global carbon market, while the opposite is foreseen for the economic costs. The more of a carbon market we have when moving from the project-based CDM to sectoral crediting mechanisms and internationally linked cap-and-trade, the more finance the carbon market will channel to developing countries.european union eu annex I non-annex I climate conference in Copenhagen climate change mitigation clean development mechanism emission trading system the US brazil china india own participation of developing countries sectoral crediting mechanisms hayden Veenendaal Zarnic

Tractatus versus Quantum Mechanics

This paper is divided in four parts. In the first part we introduce the method of internal critique of philosophical theories by examination of their external consistency with scientific theories. In the second part two metaphysical and one epistemological postulate of Wittgenstein's Tractatus are made explicit and formally expressed. In the third part we examine whether Tractarian metaphysical and epistemological postulates (the independence of simple states of affairs, the unique mode of their composition, possibility of complete empirical knowledge) are externally consistent with the theory of quantum mechanics. The result of the inquiry is negative: Tractarian postulates ought to be be revised. Relying on the result we approach the question of the empirical character of logic in the fourth part. The description of theoretical transformations of the notion of disjunction, in its ontological, epistemological, and logical sense, is a common element of in all parts of the text. The conjecture on the existence of different types of disjunctive connectives in the language of quantum mechanics concludes the paper