Consider the expansion TS of a theory T by a predicate for a submodel of a reduct T0 of T. We present a setup in which this expansion admits a model companion TS. We show that some of the nice feat...

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...) tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitting, is today one of the most popular, since it appears to bring together the proof-theoretical and the semantical approaches to the pre of a logical system and is also very intuitive. In many universities it is sentation the style first taught to students. Recently interest in tableaux has become more widespread and a community crystallised around the subject. An annual tableaux conference is being held and proceedings are published. The present volume is a Handbook a/Tableaux pre senting to the community a wide coverage of tableaux systems for a variety of logics. It is written by active members of the community and brings the reader up to frontline research. It will be of interest to any formal logician from any area. (shrink)

In this paper, we aim at highlighting the significance of the A- and B-properties introduced by Finch (Bull Aust Math Soc 2:57–62, 1970b). These conditions turn out to capture interesting structural features of lattices of closed subspaces of complete inner vector spaces. Moreover, we generalise them to the context of effect algebras, establishing a novel connection between quantum structures (orthomodular posets, orthoalgebras, effect algebras) arising from the logico-algebraic approach to quantum mechanics.

Because rate of force development is an emerging outcome measure for the assessment of neuromuscular function in unfatigued conditions, and it represents a valid alternative/complement to the classical evaluation of pure maximal strength, this scoping review aimed to map the available evidence regarding RFD as an indicator of neuromuscular fatigue. Thus, following a general overview of the main studies published on this topic, we arbitrarily compared the amount of neuromuscular fatigue between the “gold standard” measure and peak, early and late (...) RFD. Seventy full-text articles were included in the review. The most-common fatiguing exercises were resistance exercises, endurance exercises/locomotor activities, isokinetic contractions, and simulated/real sport situations. The most widely tested tasks were knee extension and plantar flexion. The reason for evaluating RFD was lacking in 36% of the studies. On average, the amount of fatigue for MVF was comparable to late RFD but lower compared to both peak RFD and early RFD. Even if the rationale for evaluating RFD in the fatigued state was often lacking and the specificity between test task and fatiguing exercise characteristics was not always respected in the included studies, RFD seems to be a valid indicator of neuromuscular fatigue. Based on our arbitrary analyses, peak RFD and early phase RFD appear even to be more sensitive to quantify neuromuscular fatigue than MVF and late phase RFD. (shrink)

D. N. MacCormick; XI*—The Obligation of Reparation, Proceedings of the Aristotelian Society, Volume 78, Issue 1, 1 June 1978, Pages 175–194, https://doi.org/10.

Gives the first published adaptation of the Lindenbaum/Henkin method of maximal consistent sets for establishing the completeness of modal propositional logics with respect to the relational models of Kripke.

D. D. Raphael; VI*—Hume and Adam Smith on Justice and Utility, Proceedings of the Aristotelian Society, Volume 73, Issue 1, 1 June 1973, Pages 87–104, https://d.

D. D. Raphael; I—The Presidential Address*: The Standard of Morals, Proceedings of the Aristotelian Society, Volume 75, Issue 1, 1 June 1975, Pages 1–12E, https.

This paper's purpose is to assess how management's perceptions regarding certain aspects of environmental reporting relate to the firm's actual reporting strategy. Toward that end, we propose a model where a firm's environmental disclosure is conditional upon executive assessments of corporate concerns. The study relies on a survey that was sent to environmental management executives from European and North American multinational firms enquiring about the determinants of corporate environmental disclosure. Responses from these executives were then contrasted with their firms' actual (...) environmental reporting practices, which was measured using a comprehensive multi-criteria grid. Results show that there is a relationship between environmental managers' attitudes toward various stakeholder groups and how those managers respond to the stakeholders via the decision to disclose and the actual disclosures made. Our model provides a perspective as to how a firm responds to the numerous stakeholders to whom it must be accountable. This accountability in turn relates to how the company communicates its actions to society in order to achieve or maintain its social legitimacy. (shrink)

The ordinary concept of death is analysed and compared with revisionary medical definitions, especially those based on irreversible loss of brain function. Prior critics of revisionary definitions have focused on the locus, the brain; I am concerned with the irreversibility condition. I argue that 1) the irreversibility condition is ambiguous, 2) it has unacceptable epistemic and other consequences on any plausible construal, and 3) irreversibility is not part of the ordinary concept of death. I conclude that recent medical definitions seek (...) illegitimately to obtain the certainty of a weak construal of 'irreversible' along with the freedom from moral obligation of the strong construal. (shrink)

How does the study of society relate to the study of the people it comprises? This longstanding question is partly one of method, but mainly one of fact, of how independent the objects of these two studies, societies and people, are. It is commonly put as a question of reduction, and I shall tackle it in that form: does sociology reduce in principle to individual psychology? I follow custom in calling the claim that it does ‘individualism’ and its denial ‘holism’.

This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems L i , i ∈ I, to form a new system L I . The methodology `fibres' the semantics K i of L i into a semantics for L I , and `weaves' the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we (...) distinguish by different names such as `fibring', `dovetailing' etc, yielding different systems, denoted by L F I , L D I etc. Once the logics are `weaved', further `interaction' axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics. The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property. Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20-30 years. We hope our methodology will help organise the field systematically. (shrink)

Introduction to healthcare ethics committees / D. Micah Hester and Toby Schonfeld -- Brief introduction to ethics and ethical theory / D. Micah Hester and Toby Schonfeld -- Ethics committees and the law / Stephen Latham -- Cultural and ...

A model of spontaneous collapse of fermionic degrees of freedom in a quantum field is presented which has the advantages that it explicitly maintains energy conservation and gives results in agreement with an existing numerical method for calculating quantum state evolution, namely the quantum trajectories model.

ABSTRACTAs our technology rapidly advances, designer babies and other bioethical issues are fast becoming possible. Instead of solely being considered in economic terms, or in terms of accuracy and desirability, ethical questions should also be asked such as ‘is this a good thing to do?’. This article considers whether moral people would ‘design’ and genetically engineer their babies and applies the moral theories of virtue ethics, deontology and utilitarianism to help guide our ethical decision-making in relation to this complex issue. (...) Even if we can do something, we should pause and consider whether or not we should. (shrink)

One of the arguments against conducting human subject trials in the Third World adopts a distributive justice principle found in a commentary of the CIOM'S Eighth Guideline for international research on human subjects. Critics argue that non-participant members of the community in which the trials are conducted are exploited because sponsoring agencies do not ensure that the products developed have been made reasonably available to these individuals. I argue that the distributive principle's wording is too vague and ambiguous to be (...) used to criticize any trial. Furthermore, the mere fact that an experiment does not fulfill this particular distributive justice principle does not entail that it is unethical. (shrink)

The Lunyu 論語 (Analects of Confucius), Daodejing 道德經 (Classic of the Way and Virtuosity) or Laozi 老子 (Book of Master Lao), and the Zhuangzi 莊子 (Book of Master Zhuang) have been broadly classified as representative of Confucianism (Lunyu) and Daoism (Laozi and Zhuangzi). This loose grouping, and the similarities and differences associated with these “schools” include some of the most telling and simultaneously misleading generalizations about Chinese philosophy or thought in general. These articles seek to provide an overview of the (...) relationship between Confucianism and Daoism. The first article begins before with a generalized topics based comparison of the Lunyu, Laozi and Zhuangzi. The latter two texts include their own significant differences, but I will, wherever possible, look for generalities that fit both. The major themes considered in this first part are (1) the perspectives on names (ming 名) and actualities (shi 實), (2) cultivation, learning, and what is considered natural (ziran 自然), and finally (3) conceptions of the person. (shrink)

Thomas de Vio Cajetan produced a highly influential Thomistic treatise on analogy entitled De nominum analogia. The merits of this work have been contested since the sixteenth century. Notable twentieth-century Thomists who adopted many of the teachings of De nominum analogia include Jacques Maritain and Yves Simon. Joshua Hochschild’s The Semantics of Analogy highlighted the significance of chapter ten, where Cajetan applies his theory to resolve the problem of demonstrations that use analogous terms, with the explicit purpose of addressing a (...) serious challenge from Scotists regarding the use of analogy in metaphysics. This paper examines the criticism of Cajetan’s way of using analogous terms in demonstrations by the seventeenth-century Franciscan Scotist Bartolomeo Mastri. It shows how the Thomist differs from the Scotist and analyzes these rival positions. (shrink)

En este artículo se quiere trazar una teoría política de la insurrección en el pensamiento de Max Stirner, en tanto alternativa ética y política a la revolución. Se mostrará cómo, según el pensador alemán, la revolución es en última instancia una estrategia fallida de emancipación en tanto en cuanto no libera al individuo de las formas de subjetividad que lo mantienen dependiente del poder. Más en general, se enseñará como el orden liberal post-revolucionario, detrás del lenguaje secular de los derechos, (...) las libertades y la igualdad, engendra técnicas más sutiles de gobernabilidad del individuo. La insurrección, en cambio, puede ser vista como un rechazo de las identidades y de los roles que disciplinan al individuo. Al respecto, se prestará una atención especial al concepto stirneriano de Eigenheit, como estrategia ética de auto-determinación y liberación de las formas rígidas de la subjetividad. En última instancia, se querrá mostrar cómo todo el proyecto político de la insurrección stirneriana se basa en un anarquismo ontológico que rechaza la lógica teleocrática del racionalismo moderno y pone en entredicho la misma noción de realización. The aim of this article to outline a political theory of insurrection in Max Stirner’s thought as an ethical and political alternative to revolution. I will show that revolution is ultimately a failed strategy of emancipation as it does not free the individual from the forms of subjectivity that keep her dependent on power. Insurrection, on the other hand, can be seen as a rejection of the identities and roles that discipline the individual. In this regard, special attention will be paid to the Stirnerian concept of Eigenheit as an ethical strategy of self-determination and liberation from rigid forms of subjectivity. Ultimately, I will show how the whole political project of the Stirnerian insurrection is based on an ontological anarchism that rejects the teleocratic logic of modern rationalism and calls into question the very notion of realization. (shrink)

At the earliest break of ancient hominins from their primate relatives in vocal communication, we propose a selection pressure on vocal fitness signaling by hominin infants. Exploratory vocalizations, not tied to expression of distress or immediate need, could have helped persuade parents of the wellness and viability of the infants who produced them. We hypothesize that hominin parents invested more in infants who produced such signals of fitness plentifully, neglecting or abandoning them less often than infants who produced the sounds (...) less frequently. Selection for such exploratory vocalization provided a critically important inclination and capability relevant to language, we reason, because the system that encouraged spontaneous vocalization also made vocalization functionally flexible to an extent that has not been observed in any other animal. Although this vocal flexibility did not by itself create language, it provided an essential foundation upon which language would evolve through a variety of additional steps. In evaluating this speculation, we consider presumable barriers to evolving language that are thought to be implications of Darwinian Theory. It has been claimed that communication always involves sender self-interest and that self-interest leads to deceit, which is countered through clever detection by receivers. The constant battle of senders and receivers has been thought to pose an insuperable challenge to honest communication, which has been viewed as a requirement of language. To make communication honest, it has been proposed that stable signaling requires costly handicaps for the sender, and since language cannot entail high cost, the reasoning has suggested an insurmountable obstacle to the evolution of language. We think this presumed honesty barrier is an illusion that can be revealed by recognition of the fact that language is not inherently honest and in light of the distinction between illocutionary force and semantics. Our paper also considers barriers to the evolution of language (not having to do with honesty) that we think may have actually played important roles in preventing species other than humans from evolving language. (shrink)

From the first months of life, human infants produce “protophones,” speech-like, non-cry sounds, presumed absent, or only minimally present in other apes. But there have been no direct quantitative comparisons to support this presumption. In addition, by 2 months, human infants show sustained face-to-face interaction using protophones, a pattern thought also absent or very limited in other apes, but again, without quantitative comparison. Such comparison should provide evidence relevant to determining foundations of language, since substantially flexible vocalization, the inclination to (...) explore vocalization, and the ability to interact socially by means of vocalization are foundations for language. Here we quantitatively compare data on vocalization rates in three captive bonobo (Pan paniscus) mother–infant pairs with various sources of data from our laboratories on human infant vocalization. Both humans and bonobos produced distress sounds (cries/screams) and laughter. The bonobo infants also produced sounds that were neither screams nor laughs and that showed acoustic similarities to the human protophones. These protophone-like sounds confirm that bonobo infants share with humans the capacity to produce vocalizations that appear foundational for language. Still, there were dramatic differences between the species in both quantity and function of the protophone and protophone-like sounds. The bonobo protophone-like sounds were far less frequent than the human protophones, and the human protophones were far less likely to be interpreted as complaints and more likely as vocal play. Moreover, we found extensive vocal interaction between human infants and mothers, but no vocal interaction in the bonobo mother–infant pairs—while bonobo mothers were physically responsive to their infants, we observed no case of a bonobo mother vocalization directed to her infant. Our cross-species comparison focuses on low- and moderate-arousal circumstances because we reason the roots of language entail vocalization not triggered by excitement, for example, during fighting or intense play. Language appears to be founded in flexible vocalization, used to regulate comfortable social interaction, to share variable affective states at various levels of arousal, and to explore vocalization itself. (shrink)