Leibniz's theory of bodies: monadic aggregates, phenomena, or both?

Leibniz's conception of bodies seems to be a puzzling theory. Bodies are seen as aggregates of monads and as wellfounded phenomena. This has initiated controversy and unending discussions. The paper attempts to resolve the apparent inconsistencies by a new and formally spirited reconstruction of Leibniz's theory of monads and perception, on the one hand, and a (re-)formulation and precisation of his concept of preestablished harmony, on the other hand. Preestablished harmony is modelled basically as a covariation between the monadic and the ideal realm.

Rebuilding Defenses: Explorations in Norman Fairclough’s Theory of Critical Discourse Analysis

Tutkielmassa eritellään Norman Faircloughin kriittisen diskurssianalyysin teoriaa ja siihen kohdistettua kritiikkiä. Pyrkimyksenä on sovittaa näitä erilaisia näkemyksiä keskenään ja tarjota ratkaisuja yhteen kiriittisen diskurssianalyysin keskeiseen ongelmaan eli emansipaation (sosiaalisten epäkohtien tunnistamisen ja ratkaisemisen) puutteellisuuteen. Teoriaosuudesta esiin nousevia mahdollisuuksia sovelletaan tekstianalyysiin. Tutkimuksen kohteena on teksti Rebuilding America’s Defenses: Strategy, Forces and Resources For a New Century ja jossain määrin sen tuottanut järjestö Project for the New American Century. Näitä tarkastellaan ennen kaikkea sosiaalisina ilmiöinä ja suhteessa toisiinsa. Faircloughin mallin suurimmiksi ongelmiksi muodostuvat perinteinen käsitys kielestä, jonka mukaan kielen järjestelmän abstraktit ja sisäiset suhteet ovat tärkeimpiä, sekä ideologinen vastakkainasettelu kritiikin lähtökohtana. Ensimmäinen johtaa kielellisten tutkimustulosten epätyydyttävään kykyyn selittää sosiaalisia havaintoja ja jälkimmäinen poliittiseen tai maailmankatsomukselliseen väittelyyn, joka ei mahdollista uusia näkemyksiä. Tutkielman lopputulema on, että keskittymällä asiasisältöön kielen rakenteen sijasta ja ymmärtämällä tekstin tuottaja yksittäisenä, rajattuna sosiaalisena toimijana voidaan analyysiin saada avoimuutta ja täsmällisyyttä. Kriittiinen diskurssianalyysi kaipaa tällaista näkemystä kielellisten analyysien tueksi ja uudenlaisen relevanssin löytääkseen.

Towards conceptually comprehensive and integrated theory of entrepreneurial opportunity

Insufficient understanding of entrepreneurial opportunities characterizes entrepreneurship research (Companys & McMullen 2006, 302). Subsequently, the purpose of this study was to analyze the concept of entrepreneurial opportunity and to explore and synthetize the integrated theory of entrepreneurial opportunity. A theoretical and concept analytical approach was adapted. Findings of this study was that entrepreneurial opportunity concept was used for variety of different phenomena. No commonly accepted definition existed. Altogether 24 attributes that described the concept were found. The most frequently attached attributes were agent and action, new goods and services, market, value, new means ends or both, and future. Further, the results implied that opportunity could be best understood as a part of a process. Opportunity emerges out of intervened factors. Changes in the environment together with factors related to knowledge, cognition and social ties are the most important drivers of opportunity. Preventing factors that impeded the emergence of opportunity were typically related to cognitive and organizational factors. This study found a tendency towards more integrated theory of entrepreneurial opportunity. The integrated theory acknowledged the usefulness of both discovery and creation theories of opportunity in explaining opportunity. Yet three argument types of integrating two different opportunity theories were identified. These were process category, contextual category and complementing category. Opportunity is at the same time cognitive, social and linguistic construct, although it is shaped by the objective environment. Opportunity requires linguistic endeavors to become explicit. Materialization of opportunity occurs in a social context. Moreover, it is always characterized by some extent of subjectivity, as opportunities cannot appear without the agent and their action. Due to these the concept remains always to some extent ambiguous. Tolerating and harnessing change and investing in human and social capital create the preeminent environment for the entrepreneurial opportunity to be identified.

Interpersonal understanding and theory of mind

En populär idé inom dagens filosofiska och psykologiska forskning om interpersonlig förståelse, är idén att vi använder en kognitiv funktion (eller metod) för att förstå andra människor, en så kallad ”theory of mind” funktion. Denna idé förekommer inom ett brett vetenskapligt fält så som inom evolutionspsykologi, inom teorier om barns utveckling, inom teorier om autism, samt inom emotionsfilosofi och moralfilosofi. Avsikten i denna studie är att se närmare på vissa inflytelserika filosofiska och psykologiska teorier om interpersonlig förståelse, teorier som också har en stark koppling till empirisk forskning. I arbetet hävdar Gustafsson att teorierna ifråga avspeglar vissa klassiska, filosofiskt problematiska, antaganden. Dessa antaganden präglar teorierna ifråga samt påverkar hur de empiriska undersökningarna byggs upp och hur resultat tolkas.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Agrarian revolution in Central America : a comparison of Nicaragua and Honduras using Jeffery Paige's theory of Agrarian revolution

ABSTRACT In 1979 Nicaragua, under the Sandinistas, experienced a genuine, socialist, full scale, agrarian revolution. This thesis examines whether Jeffery Paige's theory of agrarian revolutions would have been successful in predicting this revolution and ln predicting non-revolution in the neighboring country of Honduras. The thesis begins by setting Paige's theory in the tradition of radical theories of revolution. It then derives four propositions from Paige's theory which suggest the patterns of export crops, land tenure changes and class configurations which are necessary for an agrarian and socialist revolution. These propositions are tested against evidence from the twentieth century histories of economic, social and political change in Nicaragua and Honduras. The thesis concludes that Paige's theory does help to explain the occurrence of agrarian revolution in Nicaragua and non-revolution in Honduras. A fifth proposition derived from Paige's theory proved less useful in explaining the specific areas within Nicaragua that were most receptive to Sandinista revolutionary activity.

Toward a grounded theory of trigger events and leadership development in early adulthood

The purpose of this research study was to develop a conceptual model through the use of a grounded theory approach, which explains how trigger events are related to leadership development. Trigger events are experience that cause developmental growth and may result in an increased ability to lead (Luthans and Avolio (2003). In this study, there were two phases of data collection. First participants completed the Washington University Sentence Completion Test (WUSCT), where their respective leadership developmental stage was measured. Second, participants were involved in two in-depth interviews where an understanding was reached as to how various trigger events have impacted their leadership development. From these data, a conceptual model was developed to explain the relationship between trigger events and leadership development. Participants described trigger events as being important developmental periods, during which time they grew as people and became more capable leaders.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

A Theory of Random Consumer Demand

This paper presents a new theory of random consumer demand. The primitive is a collection of probability distributions, rather than a binary preference. Various assumptions constrain these distributions, including analogues of common assumptions about preferences such as transitivity, monotonicity and convexity. Two results establish a complete representation of theoretically consistent random demand. The purpose of this theory of random consumer demand is application to empirical consumer demand problems. To this end, the theory has several desirable properties. It is intrinsically stochastic, so the econometrician can apply it directly without adding extrinsic randomness in the form of residuals. Random demand is parsimoniously represented by a single function on the consumption set. Finally, we have a practical method for statistical inference based on the theory, described in McCausland (2004), a companion paper.

Incentives and Principles for Individuals in Rawls’s Theory of Justice

Philippe van Parijs (2003) has argued that an egalitarian ethos cannot be part of a post- Political Liberalism Rawlsian view of justice, because the demands of political justice are confined to principles for institutions of the basic structure alone. This paper argues, by contrast, that certain principles for individual conduct—including a principle requiring relatively advantaged individuals to sometimes make their economic choices with the aim of maximising the prospects of the least advantaged—are an integral part of a Rawlsian political conception of justice. It concludes that incentive payments will have a clearly limited role in a Rawlsian theory of justice.

Lewis’ Theory of Counterfactuals and Essentialism

La logique contemporaine a connu de nombreux développements au cours de la seconde moitié du siècle dernier. Le plus sensationnel est celui de la logique modale et de sa sémantique des mondes possibles (SMP) dû à Saul Kripke dans les années soixante. Ces dans ce cadre que David Lewis exposera sa sémantique des contrefactuels (SCF). Celle-ci constitue une véritable excroissance de l’architecture kripkéenne. Mais sur quoi finalement repose l’architecture kripkéenne elle-même ? Il semble bien que la réponse soit celle d’une ontologie raffinée ultimement basée sur la notion de mondes possible. Ce mémoire comporte quatre objectifs. Dans un premier temps, nous allons étudier ce qui distingue les contrefactuels des autres conditionnels et faire un survol historique de la littérature concernant les contrefactuels et leur application dans différent champs du savoir comme la philosophie des sciences et l’informatique. Dans un deuxième temps, nous ferons un exposé systématique de la théorie de Lewis telle qu’elle est exposée dans son ouvrage Counterfactuals. Finalement, nous allons explorer la fondation métaphysique des mondes possible de David Lewis dans son conception de Réalisme Modal.

Implementing Revisionism: Assessing a Revisionist Theory of Moral Responsibility

The aim of this paper is to examine a particular substantive theory among others in the set of “revisionist” theories of moral responsibility, namely, Manuel Vargas’ version of the moral influence account of the justification of responsibility- specific practices. Moderate revisionism, which Vargas (2005) endorses, advocates a clear distinction between descriptive and normative questions, which enables a naturalistically plausible account of responsibility that does not jeopardize the normative aspect. However, while Vargas provides a useful framework for thinking about revisionism, I argue that despite its initial appeal, an actual revisionist theory does not seem to track as closely as we would like what I call the “meta-theory” of revisionism, viz. what Vargas defines as the features of moderate revisionism. Outlining these differences enables the formulation of observations about 1) the role of revisionist approaches for theorizing about moral responsibility and 2) how revisionism can be integrated with scientifically informed approaches.

Theory of Breaking of a Potyrner Molecule under Tension

The thesis presents the dynamics of a polymer chain under tension. It includes existing theories of polymer fracture, important theories of reaction rates, the rate using multidimensional transition state theory and apply it to the case of polyethylene etc. The main findings of the study are; the life time of the bond is somewhat sensitive to the potential lead to rather different answers, for a given potential a rough estimate of the rate can be obtained by a simples approximation that considers the dynamics of only the bond that breaks and neglects the coupling to neighboring bonds. Dynamics of neighboring bonds would decrease the rate, but usually not more than by one order of magnitude, for the breaking of polyethylene, quantum effects are important only for temperatures below 150K, the lifetime strongly depends on the strain and as the strain varies over a narrow range, the life varies rapidly from 105 seconds to 10_5 seconds, if we change one unit of the polymer by a foreign atom, say by one sulphure atom, in the main chain itself, by a weaker bond, the rate is found to increase by orders of magnitude etc.

Semiclassical theory of shot noise in ballistic n+in+ semiconductor structures: relevance of Pauli and long range Coulomb interactions

We work out a semiclassical theory of shot noise in ballistic n+-i-n+ semiconductor structures aiming at studying two fundamental physical correlations coming from Pauli exclusion principle and long-range Coulomb interaction. The theory provides a unifying scheme which, in addition to the current-voltage characteristics, describes the suppression of shot noise due to Pauli and Coulomb correlations in the whole range of system parameters and applied bias. The whole scenario is summarized by a phase diagram in the plane of two dimensionless variables related to the sample length and contact chemical potential. Here different regions of physical interest can be identified where only Coulomb or only Pauli correlations are active, or where both are present with different relevance. The predictions of the theory are proven to be fully corroborated by Monte Carlo simulations.

Theory of differential inequalities with appliciations to singular perturbiation problems and method of lines

During recent years, the theory of differential inequalities has been extensively used to discuss singular perturbation problems and method of lines to partial differential equations. The present thesis deals with some differential inequality theorems and their applications to singularly perturbed initial value problems, boundary value problems for ordinary differential equations in Banach space and initial boundary value problems for parabolic differential equations. The method of lines to parabolic and elliptic differential equations are also dealt The thesis is organised into nine chapters