We initiate the study of computable model theory of modal logic, by proving effective completeness theorems for a variety of first-order modal logics. We formulate a natural definition of a decidable Kripke model, and show how to construct such a decidable Kripke model of a given decidable theory. Our construction is inspired by the effective Henkin construction for classical logic. The Henkin construction, however, depends in an essential way on the Deduction Theorem. In its usual form the Deduction Theorem fails (...) for modal logic. In our construction, the Deduction Theorem is replaced by a result about objects called finite Kripke diagrams. We argue that this result can be viewed as an analogue of the Deduction Theorem for modal logic. (shrink)

The article examines four models of data governance emerging in the current platform society. While major attention is currently given to the dominant model of corporate platforms collecting and economically exploiting massive amounts of personal data, other actors, such as small businesses, public bodies and civic society, take also part in data governance. The article sheds light on four models emerging from the practices of these actors: data sharing pools, data cooperatives, public data trusts and personal data sovereignty. We propose (...) a social science-informed conceptualisation of data governance. Drawing from the notion of data infrastructure we identify the models as a function of the stakeholders’ roles, their interrelationships, articulations of value, and governance principles. Addressing the politics of data, we considered the actors’ competitive struggles for governing data. This conceptualisation brings to the forefront the power relations and multifaceted economic and social interactions within data governance models emerging in an environment mainly dominated by corporate actors. These models highlight that civic society and public bodies are key actors for democratising data governance and redistributing value produced through data. Through the discussion of the models, their underpinning principles and limitations, the article wishes to inform future investigations of socio-technical imaginaries for the governance of data, particularly now that the policy debate around data governance is very active in Europe. (shrink)

To reason about continuous processes in some areas of artificial intelligence and embedded systems one has to express real-time properties. For such purpose a real-time logic has to be considered. Various such logics have been proposed. Some of these formalisms interpret formulas over intervals of time. These are called interval logics. Zhou Chaochen and Michael Hansen have introduced one such first-order interval logic called Neighborhood Logic (NL) which has two expanding modalities ◊r and ◊l. They have shown the adequacy of (...) these modalities by deriving other unary and binary modalities from them; in particular, they show that chop can be expressed in terms of these modalities. The logic is subsequently expanded to get a Duration Calculus (called DC/nl) by expressing temporal variables as integrals of state variables. Liveness and fairness properties of a computing system can now be expressed in DC/nl by means of neighborhood (expanding) modalities. We take up an investigation of DC/nl in detail. We present a proof system for it. We further show that most of the results that hold in the original Duration Calculus continue to hold in our logic with some modifications. In this process we discuss soundness, completeness, and decidability results for DC/nl. Thus this paper establishes DC/nl as a useful formalism for specifying and verifying properties of real-time computing systems. (shrink)

Language evolution, intended as an open problem in the evolutionary research programme, will be here analyzed from the theoretical perspective advanced by the supporters of the Extended Evolutionary Synthesis. Four factors and two associated concepts will be matched with a selection of critical examples concerning genus Homo evolution, relevant for the evolution of language, such as the evolution of hominin life-history traits, the enlargement of the social group, increased cooperation among individuals, behavioral change and innovations, heterochronic modifications leading to increased (...) synaptic plasticity. A particular form of niche construction will be considered in a multilevel framework. It will be argued that the four points mentioned above prove to be fundamental explanatory tools to understand how language might have emerged as a result of a gene-culture coevolutionary dynamics. (shrink)

Arnold Sommerfeld was among the most important students of the so-called ‘older’ quantum theory. His many contributions included papers in 1915 and 1916 extending Niels Bohr’s ‘planetary’ model of the atom beyond circular orbits and his incorporation of relativistic corrections in order to explain hydrogenic fine structure. Originally a realist in his use of Bohr’s model, Sommerfeld became increasingly disillusioned with model-building in general in the late nineteen-teens and early nineteen-twenties. This paper explores Sommerfeld’s use of the term Zahlenmysterium as (...) a self-description of his physical methodology. Rather than reading talk of mysticism as mere pandering to irrationalist forces in Weimar Germany, as some have suggested, I argue that one should see it as a genuine description of the scientific method Sommerfeld increasingly advocated throughout this period. That is, Sommerfeld drew upon and modified talk of Mystik as a means of expressing his own ideas on the importance of aesthetics in what might otherwise be cast as mere guesswork in his phenomenological spectroscopy. Mysticism, properly defined, was an integral part of what Sommerfeld termed die Technik der Quanten.Keywords: Quantum theory; Arnold Sommerfeld; Theoretical physics; Spectroscopy; Phenomenology; Theoretical practice. (shrink)

Doing research on cancer patients often involves painful journeys through the processes of involvement and detachment with research settings and participants. It is a self-transforming event to see close cared for people die. Yet frequently these experiences remain unreported in academic writing. The present article attempts to depict the narratives of attachment in the context of terminal illness and detachment as a consequence of death of the research participant, Jabbar, to reflect on such a journey. It focuses on the formation (...) of a relationship beyond the boundaries of the purposes of research to reflect on two related issues, first, the nature of attachments and relationship building that goes in parallel to the formal dimensions of the research, and second, emotions, self-transformation and contextual embeddedness of doing research with terminally ill cancer patients. (shrink)

Machine generated contents note: Part I Philosophical Methods and Capitalist Processes: -- Means, Definitions, Intentions -- 1. The Evasiveness of Corporate Capitalism -- 2. The Political State -- 3. The Capitalist Corporation -- 4. The Contradictions of Capitalism -- 5. Intentional Systems --Part II Reasons, Causes and Practices in Contemporary -- Corporate Capitalism -- 6. Classical Sociology andManagerialism -- 7. Management Discourses -- 8. The Macro Issues Behind Executive Pay -- 9. Corporatism and the Corporate Capitalist State -- 10. Corporate (...) Capitalist States and International Relations --Part III The Disabled Political Will and Anti-Political -- Philosophy -- 11. The Mechanics of Disablement -- 12. The Anti-Political Self-Defeat of Mannheim -- 13. Popper's Anti-Political Philosophical Tendencies -- 14. Hayek and the Mature Anti-Political Philosophy -- 15. Nozick's Anti-Political Philosophy -- 16. Fukuyama's Anti-Political Philosophy -- 17. The Need for Rational Utopian Thinking. (shrink)

Creative Writing programmes in universities now offer both an education for and employment to literary writers. This papers asks how literary writers apprehend their relatively recently institutionalised position, as university staff and students. The concept of ‘patronage’, it is argued, offers a useful way into reflecting upon such academic institutionalisation. The argument is presented in three parts. The first outlines some of the conceptual nuances of patronage. The second examines the oft made claim that universities extend patronage to literary writers (...) by enabling employment as Creative Writing staff. The third part engages with a question: what precisely does a student expect to gain from a Creative Writing programme and what does the degree validate? It is suggested that Creative Writing programmes are designed principally to offer supportive patronage, with a promise – but without guarantees – of entry into a financial patronage system. A brief conclusion considers the bearing of these arguments on Creative Writing as a school subject. (shrink)

The concept of business responsibility, usually termed as corporate social responsibility (CSR), originated in the early 1930s after the Wall Street crash of 1929 exposed corporate irresponsibility in large organisations. The understanding of CSR has evolved since then and its scope has now broadened from mere compliance to corporate laws to active alignment of internal business goals with externally set societal aspirations. Unfortunately, the significance of this multidimensional concept within the small and medium enterprise (SME) sector has continued to be (...) overshadowed by its application in large and multinational organisations. More importantly, this has led to the practice of judging SMEs, which are experiencing increasing pressure to engage in social activities, as if they are no different from their larger counterparts. This study therefore investigates CSR from the perspective of SMEs in Australia without any theoretical presumptions and then comments on the relevance and applicability of the two theories that have been commonly used to investigate business responsibility, namely, stakeholder theory (ST) and social capital theory (SCT). The research findings indicate that CSR within the SME sector is more aligned to the fundamentals of SCT, mainly owing to the unique resource and survival challenges that they face, and which are, arguably, not so pronounced in large organisations. (shrink)

Internet of Things, Internet of Everything and Internet of People are concepts suggesting that objects, devices, and people will be increasingly interconnected through digital infrastructure that will generate a growing gathering of data. Parallel to this development is the celebration of the smart city and sharing city as urban policy visions that by relying heavily on new technologies bear the promise of efficient and thriving cities. Law and policy scholarship have either focused on questions related to privacy, discrimination, security, or (...) issues related to the production and use of big data, digital public services. Little or no attention has been paid to the disruptive impact of technological development on urban governance and city inhabitants’ rights of equal access, participation, management and even ownership, in order to understand whether and how technology can also enhance the protection of human rights and social justice in the city. This Article proposes complementing the technological and digital infrastructure with a legal and governance infrastructure, the Internet of Humans, by construing and injecting in the policy framework of the city the principle of Tech Justice. Building on a literature review and from an analysis of selected case studies, this Article stresses the dichotomy existing between the market-based and the society-based applications of technology, the first likely to increase the digital divide and the challenges to human rights in the city, the latter bearing the promise to promote equal access to technology in the city. The main argument advanced by this Article is that the principle of Tech Justice if embedded as an empirical dimension of smart city and sharing city policies can steer their developments in the direction of a more just and democratic city. (shrink)

"Seth examines the practical origins of much of the research undertaken by Arnold Sommerfeld at the University of Munich, some of which addressed problems carried over from his years of teaching at an engineering school"--OCLC.

Biological evolution and cultural evolution are distinct evolutionary processes; they are apparent also in human language, where both processes contributed in shaping its evolution. However, the nature of the interaction between these two processes is still debated today. It is often claimed that the emergence of modern language was preceded by the evolution of a language-ready brain: the latter is usually intended as a product of biological evolution, while the former is believed to be the consequence of cultural processes. I (...) label this account separationist, and I argue that current evidence coming from the archaeological and fossil record suggests that cultural evolution has played a pivotal role in shaping not only modern language but also the language-ready brain. I label the latter the integrative perspective. I analyze the two accounts from two different conceptual frameworks, the Standard Evolutionary Theory and the Extended Evolutionary Synthesis, and I discuss the limits of the sharp proximate–ultimate distinction in this specific case study arguing in favor of a causal feedback model. I extend the argument to the debate on gradual and punctuational evolutionary rates, suggesting that the debate on patterns in language evolution should leave room for discussion of the nature of the processes involved in producing those patterns, providing reasons in favor of the eco-evolutionary feedback dynamics underlying the integrative perspective. (shrink)

Citizen-gathered evidence (CGE) gathered by individuals organized in collectives have the potential to demonstrate environmental and social wrongdoings in court. We identify (collective) agency and resistance in how individuals and communities that have been exposed to socio-environmental stressors turn to gather CGE. We explore the modes through which people gather scientific data, produce CGE, alert authorities to environmental harm, and the methods by which data can be shared with communities, beginning with the case studies of civic environmental monitoring addressing coal (...) ash pollution in North Carolina. We analyze the case studies through a theoretical lens built on (1) the theory of civic monitoring “as resistance;” (2) the argument that CGE can embody “collective intelligence;” and (3) the concept of “crowd science” through a decentralized yet coordinated network. In the first part of the article, we introduce the case studies. Then, we illustrate our theoretical frame as applied to the analysis of the cases. We discuss the cases and in particular the CGE at issue through the prism of the frame. We demonstrate how CGE can be valuable not only for civil society and civic organizations, but also for competent authorities. In our conclusion, we identify critical junctures of our case studies, such as that of “knowledge crowdsourcing” to demand justice that triggers the government to take action and the existence of a “coordinated” yet decentralized crowd to capture the full extension of the problem. Lastly, we outline the limitations of our study, a future research agenda, and still open questions. (shrink)

This article explores ‘the politics of sentimentality’ with specific reference to the documentary film Sick, which represents the narrative of a young lesbian woman, Ana, who was confined in a psychiatric hospital in Croatia and ‘treated’ for her homosexuality. We consider the ways our most intimate emotional relationships and states, such as pain and suffering, articulate with a wider context of familial citizenship and critically examine the political limits of compassion within the sentimentalised public sphere. In this analysis, we problematise (...) the film’s emotional logic, which presents an individualised narrative resolution at the expense of dwelling on the political question of institutional violence. We examine the role that politics of sentimentality plays in neutralising the film’s political critique of the state apparatuses that enforce heterosexual norms. (shrink)

Contributed papers on Jainism doctrines, philosophy and Prakrit language.

We develop a timeout extension of propositional linear temporal logic to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. With a view to expressing such timeout constraints, ToLTL uses a dynamic variable to abstract the timeout behaviour in addition to a variable which captures the global clock and some static timing variables which record time instances when discrete events occur. We propose a (...) corresponding timeout tableau for satisfiability checking of the ToLTL formulas. Further we prove that the validity checking for such an extended logic remains PSPACE-complete. Under discrete time semantics, with bounded timeout increments, the model-checking problem which verifies if a ToLTL-formula holds in a timeout Kripke structure is also shown to be PSPACE complete. We further prove that ToLTL, when interpreted over discrete time, can be embedded in the monadic second-order logic with.. (shrink)

For a long time, researchers in the fields of psychology and neuroscience have been interested in discovering ways to boost productivity in traditionally "healthy," "clinical," and "military" populations. However, one of the biggest challenges in reaching this objective is developing personalised performance phenotypes that can be used to build interventions that are specifically catered to each individual's needs. Impact: Thanks to AI's recent advancements, we can now create individualised training, preparation, and recovery plans that are tailored to each person's unique (...) cognitive and biological profile. Concurrent AI advancements, especially in the psychological and neurological sciences, have demonstrated the importance of incorporating domain expertise and stakeholder inputs into the development of trustworthy AI. Value: This Patterns themed issue seeks original empirical work, literature reviews, and methodological papers that establish and validate precision artificial intelligence methods for human performance optimization, with a focus on modelling individual differences via state-of-the-art computational methods. (shrink)

Izvanučionička nastava poveznica je života i škole i neizostavna sastavnica suvremenog odgoja i obrazovanja. Obzirom na njezinu iznimnu pedagošku vrijednost, cilj je ovoga rada analizom školskih kurikuluma dobiti uvid u zastupljenost i oblike provedbe izvanučioničke nastave u osnovnim školama. U tu svrhu analizirana su 73 školska kurikuluma osnovnih škola na području Osječko-baranjske županije. Analiza sadržaja kurikuluma obuhvatila je različite oblike provedbe izvanučioničke nastave, njihovu zastupljenost u okviru razredne i predmetne nastave i u odgojno-obrazovnim područjima propisanim Okvirom nacionalnog kurikuluma. Ovim se (...) radom ukazuje na prednosti i nedostatke različitih oblika izvanučioničke nastave koji se ostvaruju unutar pojedinih odgojno-obrazovnih područja. Detektirana su odgojno-obrazovna područja u kojima je potrebno unaprijediti planiranje i realizaciju izvanučioničke nastave. Zaključuje se kako je didaktičko-metodička rješenja za unaprjeđenje potrebno tražiti unutar pojedinih odgojno-obrazovnih područja u kojima su uočene različitosti u učestalosti integracije izvanučioničke nastave. Outdoor education is a link between life and school and an indispensable component of modern education. Considering its exceptional pedagogical value, the main goal of this research is to get an insight into the presence and form of outdoor education implementation in elementary schools. For that purpose, seventy-three school curricula from Osijek-Baranja County were analyzed. The analysis of curriculum content includes not only different forms of outdoor education, their presence in one teacher education and subject teaching but also education areas prescribed by the national curriculum. The thesis points out the advantages and disadvantages of different forms of outdoor education within particulars education areas. Also, education areas in which improvements in planning and realization of outdoor education were detected. It is necessary to look for didactic methodical solutions in education areas in which diversity of outdoor education integration is noticed. (shrink)

Outdoor education is a link between life and school and an indispensable component of modern education. Considering its exceptional pedagogical value, the main goal of this research is to get an insight into the presence and form of outdoor education implementation in elementary schools. For that purpose, seventy-three school curricula from Osijek-Baranja County were analyzed. The analysis of curriculum content includes not only different forms of outdoor education, their presence in one teacher education and subject teaching but also education areas (...) prescribed by the national curriculum. The thesis points out the advantages and disadvantages of different forms of outdoor education within particulars education areas. Also, education areas in which improvements in planning and realization of outdoor education were detected. It is necessary to look for didactic methodical solutions in education areas in which diversity of outdoor education integration is noticed. (shrink)

This paper aims to provide a brief presentation of Husserl’s lectures dedicated to the philosophy of Fichte, specifically the discussion of the relationship between ethics and religion that the fichtian texts develop in its intermediate phase. The course taught by Husserl, divided into three lessons and presented in the chair of Freiburg between the years 1917 and 1918, seems to clearly show the intimate connection between Husserl proposals on an absolute foundation of ethics and the theory advocated by Fichte about (...) the different stages or degrees of moral development of mankind. More than that, both idealistic philosophical positions conceive a close relation between the conception of an ethical ideal and the defense of a view about human nature that understands it as a pure acting of consciousness. In this regard, the paper aims to indicate, albeit incipiently, how epistemology, ethics, and religion appear intertwined in a systematic manner in the two theories. (shrink)

Background The use of lengthy, detailed, and complex informed consent forms is of paramount concern in biomedical research as it may not truly promote the rights and interests of research participants. The extent of information in ICFs has been the subject of debates for decades; however, no clear guidance is given. Thus, the objective of this study was to determine the perspectives of research participants about the type and extent of information they need when they are invited to participate in (...) biomedical research. Methods This multi-center, cross-sectional, descriptive survey was conducted at 54 study sites in seven Asia-Pacific countries. A modified Likert-scale questionnaire was used to determine the importance of each element in the ICF among research participants of a biomedical study, with an anchored rating scale from 1 to 5. Results Of the 2484 questionnaires distributed, 2113 were returned. The majority of respondents considered most elements required in the ICF to be ‘moderately important’ to ‘very important’ for their decision making. Major foreseeable risk, direct benefit, and common adverse effects of the intervention were considered to be of most concerned elements in the ICF. Conclusions Research participants would like to be informed of the ICF elements required by ethical guidelines and regulations; however, the importance of each element varied, e.g., risk and benefit associated with research participants were considered to be more important than the general nature or technical details of research. Using a participant-oriented approach by providing more details of the participant-interested elements while avoiding unnecessarily lengthy details of other less important elements would enhance the quality of the ICF. (shrink)

This paper contributes to biodiversity and species extinction literature by examining the relationship between corporate accountability in terms of species protection and factors affecting such accountability from forward-thinking companies. We use triangulation of theories, namely deep ecology, legitimacy, and we introduce a new perspective to the stakeholder theory that considers species as a ‘stakeholder’. Using Poisson pseudo-maximum likelihood regression, we examine a sample of 200 Fortune Global companies over 3 years. Our results indicate significant positive relations between ecologically conscious companies (...) that are accountable for the protection of biodiversity and species extinction and external assurance, environmental performance, partnerships with socially responsible organizations and awards for sustainable activities. Our empirical results appear to be robust in controlling for possible endogeneities. Our findings contribute to the discussion on the concern of species loss and habitat destruction in the context of corporate accountability, especially in responding to the sixth mass extinction event and COVID-19 crisis. Our results can also guide the policymakers and stakeholders of the financial market in better decision making. (shrink)

In 1823, sixteen years after his advocacy had helped end Britain’s official participation in the slave-trade, William Wilberforce took up his pen again to write An Appeal to the Religion, Justice,...

Marketers are increasingly relying on promotional practices (variously labeled as stealth marketing, hybrid messages, covert advertising) based on the diffusion of product information by third parties that appear to be independent of advertisers. In this paper, we examine to what extent the media treat their advertisers favorably, providing these advertisers’ products extra visibility in supposedly neutral editorial content. Empirically, we model the determinant of media coverage of Italian fashion products in an extended dataset of consumer magazines in Italy, France, Germany, (...) UK, and the USA. Research findings show that advertising is an important determinant of product placements in editorial content, and this result is consistent across countries and publishers. Our results imply that resource-rich advertisers engaging in compensatory advertising (that is, advertising investments that compensate poor product quality) might bias media coverage in their favor. Consumers will consequently be exposed twice to favorable messages about those products, in both advertisements and media content, resulting in higher purchases and reduced consumer welfare. (shrink)

The aim of this workshop was to ask potential end-users of the citizens’ information pack on legal and ethical issues around ICTs the following questions: What is your knowledge of the EU’s General Data Protection Regulation, and what actions have you taken in response to these regulations? What challenges are you experiencing in ensuring the protection and security of your project data, and compliance with the GDPR, within existing data management processes/systems? What information/tools/resources do you need to overcome these challenges? (...) What are the best formats/channels for receiving, sharing and acting upon this information? What is the most appropriate structure/format for the citizens’ information pack? (shrink)