830 resultados para Modal Logics. Paranormal Logics. Fuzzy Logics


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Research on firm exit has grown considerably in volume and sophistication in recent years, leading to new insights and strengthened research-based evidence. However, no framework explicitly explains nascent disengagement, i.e., termination of start-up efforts before the firm has reached an operational stage. Further, prior research has had limited success at explaining nascent entrepreneurial behaviour using theories based on logics of resource availability and economic rationality. In response, this chapter approaches nascent stage disengagement unconventionally by proposing to analogously apply Sternberg’s (1986) Triangular Theory of Love, arguing that founders are less likely to give up the start-up effort if they create strong, almost loving relations to their businesses. Nascent entrepreneurs who terminate the start-up process are proposed to lack one or more of the components – intimacy, passion, and commitment – which are essential according to Sternberg’s theory.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The development and maintenance of large and complex ontologies are often time-consuming and error-prone. Thus, automated ontology learning and revision have attracted intensive research interest. In data-centric applications where ontologies are designed or automatically learnt from the data, when new data instances are added that contradict to the ontology, it is often desirable to incrementally revise the ontology according to the added data. This problem can be intuitively formulated as the problem of revising a TBox by an ABox. In this paper we introduce a model-theoretic approach to such an ontology revision problem by using a novel alternative semantic characterisation of DL-Lite ontologies. We show some desired properties for our ontology revision. We have also developed an algorithm for reasoning with the ontology revision without computing the revision result. The algorithm is efficient as its computational complexity is in coNP in the worst case and in PTIME when the size of the new data is bounded.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The standard method for deciding bit-vector constraints is via eager reduction to propositional logic. This is usually done after first applying powerful rewrite techniques. While often efficient in practice, this method does not scale on problems for which top-level rewrites cannot reduce the problem size sufficiently. A lazy solver can target such problems by doing many satisfiability checks, each of which only reasons about a small subset of the problem. In addition, the lazy approach enables a wide range of optimization techniques that are not available to the eager approach. In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve. For this reason, we propose a portfolio approach that runs a lazy and eager solver in parallel. Our empirical evaluation shows that the lazy solver can solve problems none of the eager solvers can and that the portfolio solver outperforms other solvers both in terms of total number of problems solved and the time taken to solve them.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Had it been published a decade earlier, Hip-hop Japan might have been cited as a good example of the kind of multi-sited ethnography George Marcus (1998) proposes. Hip-hop Japan is a critical study of cultural globalisation. It presents as much theoretical interpretation, discussions of Japanese popular culture in general, and reviews of formulations of the Japanese self by Japanese scholars, as it does of Japanese hip-hop per se. In fact, the latter is relatively thinly described, as Condry’s project is to demonstrate how Japanese hip-hop’s particularities are made up from a mix of US hip-hop, Japanese modes of fandom, contestatory uses of the Japanese language and the specific logics of the Japanese popular music recording industry. The book journeys into these worlds as much as it does into the world of Japanese hip-hop.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In response to the ratification of the United Nations Convention of the Rights of People with Disabilities (CRPD), Australian housing industry leaders, supported by the Australian Government, committed to transform their practices voluntarily through the adoption of a national guideline, called Livable Housing Design. They set a target in 2010 that all new housing would be visitable by 2020. Research in this area suggests that the anticipated voluntary transformation is unrealistic and that mandatory regulation will be necessary for any lasting transformation to occur. It also suggests that the assumptions underpinning the Livable Housing Design agreement are unfounded. This paper reports on a study that problematised these assumptions. The study used eleven newly-constructed dwellings in three housing contexts in Brisbane, Australia. It sought to understand the logics-of-practice in providing, and not providing, visitable housing. By examining the specific details that make a dwelling visitable, and interpreting the accounts of builders, designers and developers, the study identified three logics-of-practice which challenged the assumptions underpinning the Livable Housing Design agreement: focus on the point of sale; an aversion to change and deference to external regulators on matters of social inclusion. These were evident in all housing contexts indicating a dominant industry culture regardless of housing context or policy intention. The paper suggests that financial incentives for both the builder and the buyer, demonstration by industry leaders and, ultimately, national regulation is a possible pathway for the Livable Housing Design agreement to reach the 2020 goal. The paper concludes that the Australian Government has three options: to ignore its obligations under the CRPD; to revisit the Livable Housing Design agreement in the hope that it works; or to regulate the housing industry through the National Construction Code to ensure the 2020 target is reached.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we provide an introduction to our teaching of scenario analysis. Scenario analysis offers an excellent instructional vehicle for investigating ‘wicked problems’; issues that are complex and ambiguous and require trans-disciplinary inquiry. We outline the pedagogical underpinning based on action learning and provide a critical approach from the intuitive logics school of scenario analysis. We use this in our programme in which student groups engage in semi-structured, but divergent and inclusive analysis of a selected focal issue. They then develop a set of scenario storylines that outline the limits of possibility and plausibility for a selected time-horizon year. The scenarios are portrayed not as narratives, but as vehicles for exploration of the causes and outcomes of the interplay between forces in the contextual environment that drive the unfolding future in the context of the focal issue. In this way, we provide internally-generated challenges to both individual pre-conceptions and group-level thinking.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Everything revolves around desiring-machines and the production of desire… Schizoanalysis merely asks what are the machinic, social and technical indices on a socius that open to desiring-machines (Deleuze & Guattari, 1983, pp. 380-381). Achievement tests like NAPLAN are fairly recent, yet common, education policy initiatives in much of the Western world. They intersect with, use and change pre-existing logics of education, teaching and learning. There has been much written about the form and function of these tests, the ‘stakes’ involved and the effects of their practice. This paper adopts a different “angle of vision” to ask what ‘opens’ education to these regimes of testing(Roy, 2008)? This paper builds on previous analyses of NAPLAN as a modulating machine, or a machine characterised by the increased intensity of connections and couplings. One affect can be “an existential disquiet” as “disciplinary subjects attempt to force coherence onto a disintegrating narrative of self”(Thompson & Cook, 2012, p. 576). Desire operates at all levels of the education assemblage, however our argument is that achievement testing manifests desire as ‘lack’; seen in the desire for improved results, the desire for increased control, the desire for freedom, the desire for acceptance to name a few. For Deleuze and Guattari desire is irreducible to lack, instead desire is productive. As a productive assemblage, education machines operationalise and produce through desire; “Desire is a machine, and the object of the desire is another machine connected to it”(Deleuze & Guattari, 1983, p. 26). This intersection is complexified by the strata at which they occur, the molar and molecular connections and flows they make possible. Our argument is that when attention is paid to the macro and micro connections, the machines built and disassembled as a result of high-stakes testing, a map is constructed that outlines possibilities, desires and blockages within the education assemblage. This schizoanalytic cartography suggests a new analysis of these ‘axioms’ of testing and accountability. It follows the flows and disruptions made possible as different or altered connections are made and as new machines are brought online. Thinking of education machinically requires recognising that “every machine functions as a break in the flow in relation to the machine to which it is connected, but at the same time is also a flow itself, or the production of flow, in relation to the machine connected to it”(Deleuze & Guattari, 1983, p. 37). Through its potential to map desire, desire-production and the production of desire within those assemblages that have come to dominate our understanding of what is possible, Deleuze and Guattari’s method of schizoanalysis provides a provocative lens for grappling with the question of what one can do, and what lines of flight are possible.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In 1952 Helsinki hosted the Summer Olympic Games and Armi Kuusela, the current “Maiden of Finland”, was at the same time crowned Miss Universe. In popular history writing, these events have been designated as a crucial turning point – the end of an era marked by war and deprivation and the beginning of a modern, Western nation. Symptomatically, both events were marked by Finnish women’s sexual relationships with foreign men. The Olympics were shadowed by a concern over Finnish women’s “undue friendliness” with the Olympic guests, and Armi Kuusela's world tour was cut short by her surprise marriage in Tokyo and subsequent emigration to the Philippines. This study is an inquiry into the Helsinki Olympics and the public persona of Armi Kuusela from the point of view of transnational heterosexuality and the constitution of Finnish national identity. Methodologically the two main components of the study are intersectionality, defined here as a focus on the mutual histories and effects of discourses of gender, sexuality, race and nation; and transnational history as a way of exploring the ways that both nations and sexual subjects are embedded in global relations of power. The analysis proceeds by way of contextual and intertextual readings of various sources. Part one, centering on the Olympics, involves a campaign mounted by certain women’s organizations before the Games in order to educate young women about the potential dangers of the forthcoming international event as well as magazine and newspaper articles published during and after the Games concerning the encounter between young Finnish women and foreign, especially “Southern,” men. It places the debates during the Olympics within the framework of wartime understandings of women’s sexuality; the history of the concept of decency (siveellisyys); post-war population policy; the intersectional histories of conceptions pertaining to race and sexuality; and finally, the post-war concerns over women’s migration from rural areas to the capital city and their potential emigration abroad. Part two deals with the persona of Armi Kuusela and the public reception of her world tour and marriage, based on material from both Finland and the Philippines (newspapers, magazines, advertisements, books and films). It examines the persona of Armi Kuusela as a figure of national import in terms of the East/West divide; the racialized images of different geographic climates and Oriental “Others;” the meaning of whiteness in the Philippines; the significance of class and colonial history for the domestication of sexual and racial transgressions implied by an unconventional transnational marriage; as well as the cultural logics of transnational desire and its possible meanings for women in 1950s Finland. The study develops two arguments. First, it suggests that instead of being purely oppositional to national discourses, transnational desire may also be viewed as a product of these very discourses. Second, it claims that the national significance of both the Olympics and the persona of Armi Kuusela was due to the new points of comparison they both offered for national identity construction. In comparison with the sexualized Southern men at the Olympics and the racialized Orient in the representations of Armi Kuusela’s travels and marriage, Finland emerged as part of the civilized North, placed firmly within the perimeters of Western Europe. As such, both events mark a “whitening” of the Finnish people as well as a distancing from their previous designations in racial hierarchies. At the same time, however, the process of becoming a white nation inevitably meant complying with and reproducing racial hierarchies, rather than simply abolishing them.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This thesis analyses the implications for football cultures of the profound socio-economic changes that Brazil has experienced in the last decade. It explores two major impacts: the economic boom of the domestic football sector, and the large-scale adoption of new technologies in fans' activities. The study identified a new phase of football culture in Brazil, characterised by the domination of market logics and intense commercialisation. The empirical findings also showed that new technologies are changing how supporters coordinate activities that challenge the gentrification of the game.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Neurotrophic factors (NTFs) and the extracellular matrix (ECM) are important regulators of axonal growth and neuronal survival in mammalian nervous system. Understanding of the mechanisms of this regulation is crucial for the development of posttraumatic therapies and drug intervention in the injured nervous system. NTFs act as soluble, target-derived extracellular regulatory molecules for a wide range of physiological functions including axonal guidance and the regulation of programmed cell death in the nervous system. The ECM determines cell adhesion and regulates multiple physiological functions via short range cell-matrix interactions. The present work focuses on the mechanisms of the action of NTFs and the ECM on axonal growth and survival of cultured sensory neurons from dorsal root ganglia (DRG). We first examined signaling mechanisms of the action of the glial cell line-derived neurotrophic factor (GDNF) family ligands (GFLs) on axonal growth. GDNF, neurturin (NRTN) and artemin (ART) but not persephin (PSPN) promoted axonal initiation in cultured DRG neurons from young adult mice. This effect required Src family kinase (SFK) activity. In neurons from GFRalpha2-deficient mice, NRTN did not significantly promote axonal initiation. GDNF and NRTN induced extensive lamellipodia formation on neuronal somata and growth cones. This study suggested that GDNF, NRTN and ARTN may serve as stimulators of nerve regeneration under posttraumatic conditions. Consequently we studied the convergence of signaling pathways induced by NTFs and the ECM molecule laminin in the intracellular signaling network that regulates axonal growth. We demonstrated that co-stimulation of DRG neurons with NTFs (GDNF, NRTN or nerve growth factor (NGF)) and laminin leads to axonal growth that requires activation of SFKs. A different, SFK-independent signaling pathway evoked axonal growth on laminin in the absence of the NTFs. In contrast, axonal branching was regulated by SFKs both in the presence and in the absence of NGF. We proposed and experimentally verified a Boolean model of the signaling network triggered by NTFs and laminin. Our results put forward an approach for predictable, Boolean logics-driven pharmacological manipulation of a complex signaling network. Finally we found that N-syndecan, the receptor for the ECM component HB-GAM was required for the survival of neonatal sensory neurons in vitro. We demonstrated massive cell death of cultured DRG neurons from mice deficient in the N-syndecan gene as compared to wild type controls. Importantly, this cell death could not be prevented by NGF the neurotrophin which activates multiple anti-apoptotic cascades in DRG neurons. The survival deficit was observed during first postnatal week. By contrast, DRG neurons from young adult N-syndecan knock-out mice exhibited normal survival. This study identifies a completely new syndecan-dependent type of signaling that regulates cell death in neurons.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The aim of the study was to find out how the consumption of the population in Finland became a target of social interest and production of statistical data in the early 20th century, and what efforts have been made to influence consumption with social policy measures at different times. Questions concerning consumption are examined through the practices employed in the compilation of statistics on it. The interpretation framework in the study is Michael Foucault s perspective of modern liberal government. This mode of government is typified by pursuit of efficiency and search of equilibrium between economic government and a government of the processes of life. It shows aspirations towards both integration and individualisation. The government is based on freedom practices. It also implies knowledge-based ways of conceptualising reality. Statistical data are of specific significance in this context. The connection between the government of consumption and the compilation of statistics on it is studied through the theoretical, socio-political and statistical conceptualisation of consumption. The research material consisted of Finnish and international documentation on the compilation of statistics on consumption, publications of social programmes, and reports of studies on consumption. The analysis of the material focused especially on the problematisations related to consumption found in these documents and on changes in them over history. There have been both clearly observable changes and as well as historical stratification and diversity in the rationalities and practices of consumption government during the 20th century. Consumption has been influenced by pluralistic government, based at different times and in varying ways on the logics of solidarity and markets. The difference between these is that in the former risks are prepared for collectively while in the latter risks are individualised. Despite the differences, the characteristic that is common to these logics is certain kind of contractuality. They are both permeated by the household logic which differs from them in that it is based on the normative and ethical demands imposed on an individual. There has been a clear interactive connection between statistical data and consumption government. Statistical practices have followed changes in the way consumption has been conceptualised in society. This has been reflected in the statistical phenomena of interest, concepts, classifications and indicators. New ways of compiling statistics have in their turn shaped perceptions of reality. Statistical data have also facilitated a variety of rational calculations with which the consequences of the population s consumption habits have been evaluated at the levels of economy at large and individuals.