Against Logically Possible World-Relativized Existence

The thesis that entities exist in, at, or in relation to logically possible worlds is criticized. The suggestion that actually nonexistent fictional characters might nevertheless exist in nonactual merely logically possible worlds runs afoul of the most general transworld identity requirements. An influential philosophical argument for the concept of world-relativized existence is examined in Alvin Plantinga’s formal development and explanation of modal semantic relations. Despite proposing an attractive unified semantics of alethic modality, Plantinga’s argument is rejected on formal grounds as supporting materially false actual existence assertions in the case of actually nonexistent objects in the framework of Plantinga’s own underlying classical predicate-quantificational logic.

Assessing dynamics of forced livestock movements, livelihoods and future development options for pastoralists/agro-pastoralists in Ruvuma and Lindi Regions, in the Southern Tanzania

The study that aimed at understanding the dynamics of forced livestock movements and pastoral livelihood and development options was conducted in Lindi and Ruvuma regions, using both formal and informal approaches. Data were collected from 60 randomly selected Agro-pastoralists/Pastoralists and native farmers using a structured questionnaire. Four villages were involved; two in Lindi region (Matandu and Mkwajuni) and the other two in Ruvuma region (Gumbiro and Muhuwesi). Data were analyzed using descriptive statistics of SPSS to generate means and frequencies. The results indicate that a large number of animals moved into the study area following the eviction order of the government in Ihefu wetlands in 2006/2007. Lindi region was earmarked by the government to receive all the evicted pastoralists. However, by 2008 only 30% of the total cattle that were expected to move into the region had been received. Deaths of many animals on transit, selling of the animals to pay for transportation and other costs while on transit and many pastoralists settling in Coastal and Ruvuma regions before reaching their destinations were reported to be the reasons for the discrepancy observed. To mitigate anticipated conflicts between farmers and pastoralists, Participatory Land Use Management (PLUM) plans were developed in all the study villages in order to demarcate village land area into different uses, including grazing, cropping, settlement and forests. Land units for grazing were supposed to be provided with all necessary livestock infrastructures (dips, charcoal dams, livestock markets and stock routes). However, the land use plans were not able to prevent the anticipated conflicts because most of the livestock infrastructures were lacking, the land use boundaries were not clearly demarcated and there was limited enforcement of village by-laws, since most had not been enacted by the respective district councils. Similarly, the areas allocated for grazing were inadequate for the number of livestock available and thus the carrying capacity exceeded. Thus, land resource-based conflicts between farmers and pastoralists were emerging in the study areas for the reason that most of the important components in the PLUM plans were not in place. Nevertheless, the arrival of pastoralists in the study areas had positive effects on food security and growth of social interactions between pastoralists and farmers including marriages between them. Environmental degradations due to the arrival of livestock were also not evident. Thus, there is a need for the government to purposely set aside enough grazing land with all necessary infrastructures in place for the agro-pastoral/pastoral communities in the country.

Simulating Cortical Development as a Self Constructing Process: A Novel Multi-Scale Approach Combining Molecular and Physical Aspects

Current models of embryological development focus on intracellular processes such as gene expression and protein networks, rather than on the complex relationship between subcellular processes and the collective cellular organization these processes support. We have explored this collective behavior in the context of neocortical development, by modeling the expansion of a small number of progenitor cells into a laminated cortex with layer and cell type specific projections. The developmental process is steered by a formal language analogous to genomic instructions, and takes place in a physically realistic three-dimensional environment. A common genome inserted into individual cells control their individual behaviors, and thereby gives rise to collective developmental sequences in a biologically plausible manner. The simulation begins with a single progenitor cell containing the artificial genome. This progenitor then gives rise through a lineage of offspring to distinct populations of neuronal precursors that migrate to form the cortical laminae. The precursors differentiate by extending dendrites and axons, which reproduce the experimentally determined branching patterns of a number of different neuronal cell types observed in the cat visual cortex. This result is the first comprehensive demonstration of the principles of self-construction whereby the cortical architecture develops. In addition, our model makes several testable predictions concerning cell migration and branching mechanisms.

The Emergence of Formal Control Specificity in Information Systems Outsourcing: A Process-View

Information systems (IS) outsourcing projects often fail to achieve initial goals. To avoid project failure, managers need to design formal controls that meet the specific contextual demands of the project. However, the dynamic and uncertain nature of IS outsourcing projects makes it difficult to design such specific formal controls at the outset of a project. It is hence crucial to translate high-level project goals into specific formal controls during the course of a project. This study seeks to understand the underlying patterns of such translation processes. Based on a comparative case study of four outsourced software development projects, we inductively develop a process model that consists of three unique patterns. The process model shows that the performance implications of emergent controls with higher specificity depend on differences in the translation process. Specific formal controls have positive implications for goal achievement if only the stakeholder context is adapted, while they are negative for goal achievement if in the translation process tasks are unintendedly adapted. In the latter case projects incrementally drift away from their initial direction. Our findings help to better understand control dynamics in IS outsourcing projects. We contribute to a process theoretic understanding of IS outsourcing governance and we derive implications for control theory and the IS project escalation literature.

Comparability of Outcome Frameworks in Medical Education: Implications for framework development

Background: The demand for international harmonization in medical education increases with the growing mobility of students and health professionals. Many medical societies and governmental offices have issued outcome frameworks (OF), which describe aims and contents of medical education based on competencies. These national standards affect the development of curricula as well as assessment and licensing procedures. Comparing OF and identifying factors that limit their comparability may thus foster international harmonization of medical education. Summary of Work: We conducted a systematic search for national OF in MedLine, EmBase and the internet. We included all OF in German or English that resulted from a national consensus process and were published or endorsed by a national society or governmental body. We extracted information in five predetermined categories: history of origin, audience, formal structure, medical schooling system and key terms. Summary of Results: Out of 1816 results, 13 OF were included into further analyses. OF reference each other, often without addressing existing differences (e.g. in target audiences). The two most cited OF are “CanMEDs” and “Scottish Doctor”. OF differ especially in their level of detail as well as in the underlying educational system. Discussion and Conclusions: Based on our results we propose a two-step blueprint for OF, that may help to establish comparability for internationally aligned key features – so-called “core competencies” – while at the same time allowing for necessary regional adaptations in terms of “secondary competencies”. Take-home messages: Considerable differences in at least five categories of OF currently hinder the comparability of outcome frameworks.

Intraoperative image-guided navigation system: development and applicability in 65 patients undergoing liver surgery

Background Image-guided systems have recently been introduced for their application in liver surgery.We aimed to identify and propose suitable indications for image-guided navigation systems in the domain of open oncologic liver surgery and,more specifically, in the setting of liver resection with and without microwave ablation. Method Retrospective analysis was conducted in patients undergoing liver resection with and without microwave ablation using an intraoperative image-guided stereotactic system during three stages of technological development (accuracy: 8.4 ± 4.4 mm in phase I and 8.4 ± 6.5 mm in phase II versus 4.5 ± 3.6 mm in phase III). It was evaluated, in which indications image-guided surgery was used according to the different stages of technical development. Results Between 2009 and 2013, 65 patients underwent image-guided surgical treatment, resection alone (n=38), ablation alone (n =11), or a combination thereof (n =16). With increasing accuracy of the system, image guidance was progressively used for atypical resections and combined microwave ablation and resection instead of formal liver resection (p<0.0001). Conclusion Clinical application of image guidance is feasible, while its efficacy is subject to accuracy. The concept of image guidance has been shown to be increasingly efficient for selected indications in liver surgery. While accuracy of available technology is increasing pertaining to technological advancements, more and more previously untreatable scenarios such as multiple small, bilobar lesions and so-called vanishing lesions come within reach.