Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

The Finnish Competition State and Entrepreneurial Policies in the Helsinki Region

The thesis examines the intensification and characteristics of a policy that emphasises economic competitiveness in Finland during the 1990s and early 2000s. This accentuation of economic objectives is studied at the level of national policy-making as well as at the regional level through the policies and strategies of cities and three universities in the Helsinki region. By combining the analysis of state policies, urban strategies and university activities, the study illustrates the pervasiveness of the objective of economic competitiveness and growth across these levels and sheds light on the features and contradictions of these policies on a broad scale. The thesis is composed of five research articles and a summary article. At the level of national policies, the central focus of the thesis is on the growing role of science and technology policy as a state means to promote structural economic change and its transformation towards a broader, yet ambivalent concept of innovation policy. This shift brings forward a tension between an increasing emphasis on economic aspects – innovations and competitiveness – as well as the expanding scope of issues across a wide range of policy sectors that are being subsumed under this market- and economy oriented framework. Related to science and technology policy, attention is paid to adjustments in university policy in which there has been increasing pressure for efficiency, rationalisation and commercialisation of academic activities. Furthermore, political efforts to build an information society through the application of information and communication technologies are analysed with particular attention to the balance between economic and social objectives. Finally, changes in state regional policy priorities and the tendency towards competitiveness are addressed. At the regional level, the focus of the thesis is on the policies of the cities in Finland’s capital region as well as strategies of three universities operating in the region, namely the University of Helsinki, Helsinki University of technology and Helsinki School of Economics. As regards the urban level, the main focus is on the changes and characteristics of the urban economic development policy of the City of Helsinki. With respect to the universities, the thesis examines their attempts to commercialise research and thus bring academic research closer to economic interests, and pays particular attention to the contradictions of commercialisation. Related to the universities, the activities of three intermediary organisations that the universities have established in order to increase cooperation with industry are analysed. These organisations are the Helsinki Science Park, Otaniemi International Innovation Centre and LTT Research Ltd. The summary article provides a synthesis of the material presented in the five original articles and relates the results of the articles to a broader discussion concerning the emergence of competition states and entrepreneurial cities and regions. The main points of reference are Bob Jessop’s and Neil Brenner’s theses on state and urban-regional restructuring. The empirical results and considerations from Finland and the Helsinki region are used to comment on, specify and criticise specific parts of the two theses.

From Creative Ideas to New Emerging Ventures: Entrepreneurial Processes among Finnish Design Entrepreneurs

This study focuses on self-employed industrial designers and how they emerge new venture ideas. More specifically, this study strives to determine what design entrepreneurs do when they create new venture ideas, how venture ideas are nurtured into being, and how the processes are organized to bring such ideas to the market in the given industrial context. In contemporary times when the concern for the creative class is peaking, the research and business communities need more insight of the kind that this study provides, namely how professionals may contribute to their entrepreneurial processes and other agents’ business processes. On the one hand, the interviews underlying this study suggest that design entrepreneurs may act as reactive service providers who are appointed by producers or marketing parties to generate product-related ideas on their behalf. On the other hand, the interviews suggest that proactive behaviour that aims on generating own venture ideas, may force design entrepreneurs to take considerable responsibility in organizing their entrepreneurial processes. Another option is that they strive to bring venture ideas to the market in collaboration, or by passing these to other agents’ product development processes. Design entrepreneurs’ venture ideas typically emerge from design related starting points and observations. Product developers are mainly engaged with creating their own ideas, whereas service providers refer mainly to the development of other agents’ venture ideas. In contrast with design entrepreneurs, external actors commonly emphasize customer demand as their primary source for new venture ideas, as well as development of these in close interaction with available means of production and marketing. Consequently, design entrepreneurs need to address market demand since without sales their venture ideas may as well be classified as art. In case, they want to experiment with creative ideas, then there should be another source of income to support this typically uncertain and extensive process. Currently, it appears like a lot of good venture ideas and resources are being wasted, when venture ideas do not suite available production or business procedures. Sufficient communication between design entrepreneurs and other agents would assist all parties in developing production efficient and distributable venture ideas. Overall, the findings suggest that design entrepreneurs are often involved simultaneously in several processes that aim at emerging new product related ventures. Consequently, design entrepreneurship is conceptualized in this study as a dual process. This implies that design entrepreneurs can simultaneously be in charge of their entrepreneurial processes, as they operate as resources in other agents’ business processes. The interconnection between activities and agents suggests that these kinds of processes tend to be both complex and multifaceted to their nature.

Multiple Perspectives on Networks: Conceptual Development, Application and Integration in an Entrepreneurial Context

Multiple Perspectives on Networks: Conceptual Development, Application and Integration in an Entrepreneurial Context. The purpose of this thesis is to enhance cross-fertilization between three different approaches to network research. The business network approach may contribute in terms of how relationships are created, developed and how tie content changes within ties, not only between them. The social network approach adds to the discussion by offering concepts of structural change on a network level. The network approach in entrepreneurship contributes by emphasizing network content, governance and structure as a way of understanding and capturing networks. This is discussed in the conceptual articles, Articles 2 and 3. The ultimate purpose of this thesis is to develop a theoretical and empirical understanding of network development processes. This is fulfilled by presenting a theoretical framework, which offers multiple views on process as a developmental outcome. The framework implies that change ought to be captured both within and among relationships over time in the firm as well as in the network. Consequently, changes in structure and interaction taking place simultaneously need to be included when doing research on network development. The connection between micro and macro levels is also stressed. Therefore, the entrepreneur or firm level needs to be implemented together with the network level. The surrounding environment impacts firm and network development and vice versa and hence needs to be integrated. Further, it is necessary to view network development not only as a way forward but to include both progression and regression as inevitable parts of the process. Finally, both stability and change should be taken into account as part of network development. Empirical results in Article 1 show support for a positive impact of networks on SME internationalization. Article 4 compares networks of novice, serial and portfolio entrepreneurs but the empirical results show little support for differences in the networks by type of entrepreneur. The results demonstrate that network interaction and structure is not directly impacted by type of entrepreneur involved. It indicates instead that network structure and interaction is more impacted by the development phase of the firm. This in turn is in line with the theoretical implications, stating that the development of the network and the firm impacts each other, as they co-evolve.

Mentoring in an Entrepreneurial Setting - The Mentor's Perspective

This paper discusses mentoring from the mentors' point of view in an entrepreneurial setting. The aim of the paper is to present why mentoring can be considered important for entrepreneurs who are mentors and under what circumstances mentoring is valuable for the mentor. A pilot mentorprogramme was conducted among women entrepreneurs during 1998. A study was made in order to examine the mentors’ perception of the programme. Firstly mentoring and entrepreneurship in Finland are discussed briefly. Secondly the results of the study are presented. The results of the study show that mentoring can be valuable for the mentors both on a vocational and a personal level. However, it is important to choose the mentees of the programme on a rather strict basis. The results demonstrate a need to be careful in choosing mentees.

Opportunity Exploration and Exploitation in International New Ventures: A Study of Relationships’ Involvement in Early Entrepreneurial and Internationalisation Events

International new ventures (INVs) are firms that engage very early after their foundation, if not immediately, in inter-national activities. INVs are a relatively recent phenomenon that deviates from earlier theories on international business. In order to develop our understanding of the emergence and early internationalisation of INVs three different research areas are built upon in the dissertation: International Entrepreneurship, Entrepreneurship and Networks. Net-works have been identified as important for INVs. However, there is a lack of more profound studies regarding the way different types of relationships influence INVs. Few studies are concerned with exploration and exploitation of opportunities and research on the benefits and drawbacks of entrepreneurs’ relationships for the international opportunity recognition process has been called for. By taking a network approach to opportunity exploration and exploitation, the dissertation develops our under-standing of how entrepreneurs’ relationships are involved in exploring and exploiting opportunities during an INV’s early and critical entrepreneurial and internationalisation events. The critical events are studied during three phases: pre-founding, start-up and early internationalisation. Since internationalisation is present from the very beginning, the early internationalisation phase may be parallel to both the pre-founding and the start-up phase. The dissertation contributes to international entrepreneur-ship research in mainly two ways. First, by offering a deep insight into which opportunity exploration and exploitation activities entrepreneurs’ relationships are involved. Second, by adding to our understanding of what the relationships contribute to these activities, mainly in the sense of benefits gained through the relationships. Studying micro firms in real time in their early development towards INVs is considered a unique contribution of the study as it offers valuable insights into pre-founding, start-up, pre-internationalisation as well as early internationalisation. The study shows that in order to understand the development of INVs, it is beneficial to go back to times when there was no thought of starting the INV. By focusing on the entrepreneurs’ background and relationships a more complete picture of the INV is gained. Relationships created at former workplaces or during school time might be the ones that develop business opportunities and set off internationalisation. By focusing on the pre-founding phase, the study also contributes to entrepreneurship literature as this stage has often been neglected or assumed obvious in earlier research. This dissertation shows that an important and mostly lengthy pre-founding phase precedes the decision to start a f rm. In addition, the integration of entrepreneurs’ real experiences with existing theory to develop a continuum for the strength of relationships allows for contributions to network theory.

Constructing and negotiating entrepreneurial agency : A social psychological approach to entrepreneurship discourse in the farm context

Entrepreneurship, understood as the autonomous, effective pursuit of opportunities regardless of resources, is currently subject to a multitude of interests, expectations, and facilitation efforts. On the one hand, such entrepreneurial agency has broad appeal to individuals in Western market democracies and resonates with their longing for an autonomous, personally tailored, meaningful, and materially rewarding way of life. On the other hand, entrepreneurship represents a tempting and increasingly popular means of governance and policy making, and thus a model for the re-organization of a variety of societal sectors. This study focuses on the diffusion and reception of entrepreneurship discourse in the context of farming and agriculture, where pressures to adopt entrepreneurial orientations have been increasingly pronounced while, on the other hand, the context of farming has historically enjoyed state protection and adhered to principles that seem at odds with aspects of individualistic entrepreneurship discourse . The study presents an interpretation of the psychologically and politically appealing uses of the notion of entrepreneurial agency , reviews the historical and political background of the current situation of farming and agriculture with regard to entrepreneurship, and examines their relationships in four empirical studies. The study follows and develops a social psychological, situated relational approach that guides the qualitative analyses and interpretations of the empirical studies. Interviews with agents from the farm sector aim to stimulate evaluative responses and comments on the idea of entrepreneurship on farms. Analysis of the interview talk, in turn, detects the variety of evaluative responses and argumentative contexts with which the interviewees relate themselves to the entrepreneurship discourse and adopt, use, resist, or reject it. The study shows that despite the pressures towards entrepreneurialism, the diffusion of entrepreneurship discourse and the construction of entrepreneurial agency in farm context encounter many obstacles. These obstacles can be variably related to aspects dealing with the individual agent, the action situation, the characteristics of the action itself, or to the broader social, institutional and cultural context. Many aspects of entrepreneurial agency, such as autonomy, personal initiative and achievement orientation, are nevertheless familiar to farmers and are eagerly related to one s own farming activities. The idea of entrepreneurship is thus rarely rejected outright. The findings highlight the relational and situational preconditions for the construction of entrepreneurial agency in the farm context: When agents demonstrate entrepreneurial agency, they do so by drawing on available and accessed relational resources characteristic of their action context. Likewise, when agents fail or are reluctant to demonstrate entrepreneurial agency, they nevertheless actively account for their situation and demonstrate personal agency by drawing on the relational resources available to them.