This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

Purpose – The purpose of this paper is to clarify how IT managers' decision styles affect their evaluation of information technology. Design/methodology/approach – Four different decision styles were assessed in a leadership test directed towards IT managers. Each style included two dimensions: confidence judgment ability and decision heuristic usage. Participants belonging to each style were interviewed and their answers analysed with regard to their reasoning about central areas of IT management. Findings – Results suggest that a decision style combining intuitive (...) and analytical capabilities lead to better evaluations of information technology. Originality/value – The results of the present study are valuable for the understanding of how decision styles impact on IT management in everyday life. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

On 4th of August 2020, the Lebanese capital and port city, Beirut, was rocked by a massive explosion that has killed hundreds and injured thousands more, ravaging the heart of the city’s nearby downtown business district and neighbouring housing areas, where more than 750,000 people live. The waterfront neighbourhood and a number of dense residential neighbourhoods in the city’s eastern part were essentially flattened. Lebanese Government officials believe that the blast was caused by around 2,700 tonnes of ammonium nitrate stored (...) near the city’s cargo port without proper control for six years. -/- The disaster devastating Beirut’s port and city shows the latent danger of safe storage of potentially dangerous goods in modern ports, particularly ones located close to the heart of the city. The huge blast tore through major grain silos, stoking fears of shortages in a nation that imports nearly all its food and is already reeling from economic crisis. As the WFP (World Food Programme) said in a statement: the blast will “exacerbate the grim economic and food-security situation.” The Beirut blast also reminds us of the importance of ports in the contemporary globalized world. It calls our attention to safety and security, of governance and collaboration between port and city or region and of accessibility to the hinterland. What do local governments and port cities need to do to enhance the safety and security issues in port terminals? Or, to put it differently, how do we reconcile this challenge between the ports we need to feed us, serve us, provide us with medicines, equipment, etc. and the ports that threatens us? (shrink)

Ecofeminist philosophy is a development of feminist philosophy that addresses the intersection of sexism and environmental issues. Coined by Francoise d’Eaubonne, the term “ecofeminism” refers to a diverse collection of feminist thought that shares the conviction that the present environmental crisis is due not solely to the anthropomorphic nature of dominant conceptualisations of human-nature relations, with their emphasis on notion of mastery and control, but also to their androcentric nature. Technology features frequently in ecofeminist writings, in analyses of technocracy ( (...) class='Hi'>Birkeland 1993), Nuclear Power (Caputi 1993), reproductive technologies (Diamond 1990), or the production of computer interfaces (Romberger 2011), to give but a few examples. Despite being a recurrent theme, technology itself as a phenomenon is rarely directly considered. For many ecofeminists technology seems to operate as an umbrella term for a collection of artefacts whose positive or negative characteristics are ultimately contingent upon the manner in which they are employed. The individual technologies appear as value neutral. There are of course exceptions to this piecemeal approach to technological artefacts, and in this chapter I shall focus upon two ecofeminist philosophers whose consideration of technology moves from the individual instance towards a more general account of the nature of technology. The first, Karen Warren, gives technology a central place in her philosophical analysis. However, I shall suggest, her commitment to an instrumental understanding of technology renders her approach problematic. I will then consider the work of Vandana Shiva. Standard analyses of Shiva’s work tend to overlook the philosophical dimensions of her thought, in particular the continuous emphasis on science and technology. I argue that Shiva puts forward a sophisticated technological determinist philosophy of that emphasises the role of political and patriarchal interests in technological development and subsequent social and environmental interventions. (shrink)

Metaphysicians frequently appeal to intuition. But when is that appeal useful? I consider that question by focusing on our existential intuitions. In particular, I want to go some way to answering the question of whether, and when, appeal to existential intuitions is useful, by consid-ering the issue in the light of an argument for unrestricted composition. This argument appeals to a difference in the extent to which restricted and unrestricted compositionalists appeal to existential intuitions, and concludes that at the very (...) least, restricted compositionalists are on shak-ier epistemic ground than unrestricted compositionalists. Having outlined this argument for unrestricted composition, I con-sider the nature of the unrestricted existential quantifier in the context of three different metaphysical scenarios about the way the world might be: scenarios that differ with respect to whether the metaphysics of a world completely or uniquely settles the division of that world into ob-jects. I argue that appeal to intuition is not only useful but necessary if we are to determine the intension of ‘exists’ and hence its extension at any given world. But this appeal is not simply an appeal to our brute ex-istential intuitions—our dispositions actually to quantify over a certain domain. Rather, it requires equilibration over a set of worlds in which we consider our ‘quantificational’ dispositions in each world, where, importantly, included in this set of worlds are worlds in which the meta-physics differently settles the division of those worlds into objects. Ul-timately, I argue, our dispositions yield various conditional claims about our concept <existence>. These are conditional claims of the most ab-stract kind: they tell us, for instance, that if there is some natural, unique division of our world into objects, then the unrestricted quantifier ranges over all and only the objects in that domain. But, I will argue, our untu-tored, world-bound dispositions are no guide at all to what actually ex-ists even on the supposition that metaphysics alone does not uniquely or completely settle a natural division of our world into objects. Hence they are no guide to the nature of composition. And to the extent that certain restricted compositionalist views depend on such intuitions, so much the worse for them. Or so I shall argue. (shrink)

To speak of aesthetic development in dance implies that there is a condition of aesthetic maturity which can be identified as a continuum of growth in aesthetlc understanding, and that aesthetic maturity in dance is distinct from aesthetic maturity in, say, the visual arts, literature, or music. This paper is an attempt to identify the "aesthetic behaviours" unique to dance, and to examine the notion that there is a growth of aesthetic understanding which can be monitored monl'tored.