A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.

For intermediate logics, there is obtained in the paper an algebraic equivalent of the disjunction propertyDP. It is proved that the logic of finite binary trees is not maximal among intermediate logics withDP. Introduced is a logicND, which has the only maximal extension withDP, namely, the logicML of finite problems.

Three variants of Beth's definability theorem are considered. Let L be any normal extension of the provability logic G. It is proved that the first variant B1 holds in L iff L possesses Craig's interpolation property. If L is consistent, then the statement B2 holds in L iff L = G + {0}. Finally, the variant B3 holds in any normal extension of G.

We consider the problem of recognizing important properties of logical calculi and find complexity bounds for some decidable properties. For a given logical system L, a property P of logical calculi is called decidable over L if there is an algorithm which for any finite set Ax of new axiom schemes decides whether the calculus L + Ax has the property P or not. In [11] the complexity of tabularity, pre-tabularity, and interpolation problems over the intuitionistic logic Int and over (...) modal logic S4 was studied, also we found the complexity of amalgamation problems in varieties of Heyting algebras and closure algebras. In the present paper we deal with positive calculi. We prove NP-completeness of tabularity, DP-hardness of pretabularity and PSPACE-completeness of interpolation problem over Int + . In addition to above-mentioned properties, we consider Beth's definability properties. Also we improve some complexity bounds for properties of superintuitionistic calculi. (shrink)

In this paper we shall prove that certain subvarieties of the variety of Salgebras (Heyting algebras with successor) has amalgamation. This result together with an appropriate version of Theorem 1 of [L. L. Maksimova, Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras, Algebra i Logika, 16(6):643-681, 1977] allows us to show interpolation in the calculus IPC S (n), associated with these varieties.We use that every algebra in any of the varieties of S-algebras studied in this work (...) has a canonical extension, to show completeness of the calculus IPC S (n) with respect to appropriate Kripke models. (shrink)

L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic \ has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.

In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in proving the amalgamation property for such a class of algebras.

In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. Németi (cf. [11, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in [20]. Finally, the characterization of the projective Beth property for varieties of modal algebras by L. Maksimova (see [15]) will be shown to hold for the larger (...) class of semantically algebraizable logics. (shrink)

Through qualitative surveys, a team of law students, law professors, physicians, and residents explored the perceptions of neurology residents towards referral to appropriate legal resources in an academic training program. Respondents reported feeling uncomfortable screening their patients for health-harming legal needs, which many attributed to a lack of training in this area. These findings indicate that neurology residents would benefit from training on screening for social factors that may be impacting their patients’ health.

Inhibition, an executive function, is critical for achieving goals that require suppressing unwanted behaviours, thoughts, or distractions. One hypothesis of the emotion and goal compatibility theory is that emotions of sadness and fear enhance inhibitory control. Across Experiments 1–4, we tested this hypothesis by inducing a happy, sad, fearful, and neutral emotional state prior to completing an inhibition task that indexed a specific facet of inhibition (oculomotor, resisting interference, behavioural, and cognitive). In Experiment 4, we included an anger induction to (...) examine whether valence or motivational-orientation best-predicted performance. We found support that fear and sadness enhanced inhibition except when inhibition required resisting interference. We argue that sadness and fear enhance inhibitory control aiding the detection and analysis of problems (i.e. sadness) or threats (i.e. fear) within one’s environment. In sum, this work highlights the importance of identifying how negative emotions can be beneficial for and interact with specific executive functions influencing down-stream processing including attention, cognition, and memory. (shrink)

This book reclaims Hegel's notion of the "end of art"-or, more precisely, of "art's past character"-not just as a piece of the history of philosophy but as a living critical and interpretive methodology. It addresses the presence of the past character of art both in Hegel and contemporary philosophy and aesthetics. The book's innovative contribution lies in unifying the Hegelian thesis with discussions of contemporary art and philosophy. The author not only offers a Hegelian exegesis but applies the idea of (...) the past character of art to themes that are both related to Hegel's philosophy, such as the French Revolution and the modern state, Kantian aesthetics, and religion and the sacred space disclosed for art, and going beyond Hegel, such as Celan's poetry, Gramsci's criticism of Croce, human rights, and even the grunge rock band Pearl Jam. Conversely, such non-Hegelian explorations will help enlighten what may look like a specific thread of Hegel's aesthetics, but can be used to shed light on some core motives of his philosophy. The author's interpretation of art's past character reclaims the full value, attractiveness, and philosophical soundness of Hegel's thesis, while rejecting its interpretation in terms of a complete dissolution of the aesthetic element into the philosophical one. Hegel and the Present of Art's Past Character will be of interest to scholars and advanced students working on Hegel, philosophy of art and aesthetics, history of philosophy, political philosophy, and art theory. (shrink)

O livro almeja ser representativo nos principais debates contemporâneos, oferecendo uma visão panorâmica sobre o campo na atualidade e permitindo-se aprofundar em algumas discussões selecionadas.O ambiente não pode ser reduzido ao “meio ambiente”, à natureza não humana. Ele não é meramente algo que “nos envolve”, um envoltório: o ambiente somos também nós, seres humanos, histórica e culturalmente situados. Quanto aos territórios, eles se estabelecem em íntima conexão com os ambientes em suas dimensões paisagística e material, quer sejam os processos geoecológicos, (...) quer sejam as formas e as dinâmicas socialmente produzidas. Analisar os territórios significa examinar como, a cada momento, os ambientes, seus recursos e significados são disputados e viram objeto de conflitos.O público-alvo principal são os estudantes dos últimos anos da graduação, além daqueles em nível de pós-graduação, de todas as áreas que lidam com problemas e conflitos ambientais. Afora os pesquisadores iniciantes e os jovens universitários em geral, porém, podemos presumir que profissionais experientes também poderão tirar proveito do material de diversos capítulos. É razoável, por fim, nutrir a expectativa de que muito do que este livro contém possa (retro)alimentar o ativismo ambiental crítico e a prática de combater as iniquidades e as distorções que se acumulam em nossas sociedades, principalmente as muitas situações de flagrante injustiça ambiental. (shrink)

Research ethics education has taken many forms since federal funding agencies issued regulatory guidance directing those supported by these agencies to complete required training. In the absence of a standard training approach among institutions such as universities, the design and content of courses, workshops, and seminars varies widely. Here we describe a southwestern United States research university program that employed six teaching strategies to assist students in deep learning of ethical principles and behavior. Our purpose was to determine how these (...) strategies impact understanding and empowerment among an interdisciplinary group of graduate students. Results suggested that deep learning design can result in learning that requires students not only to remember and understand key ethics concepts but also to analyze and apply them in a broader ethical domain. Key findings inform design and delivery of future research ethics courses for instructional designers and instructors in higher education. (shrink)

Local food systems can have economic and social benefits by providing income for producers and improving community connections. Ongoing global climate change and the acute COVID-19 pandemic crisis have shown the importance of building equity and resilience in local food systems. We interviewed ten stakeholders from organizations and institutions in a U.S. midwestern city exploring views on past, current, and future conditions to address the following two objectives: 1) Assess how local food system equity and resilience were impacted by the (...) COVID-19 pandemic, and 2) Examine how policy and behavior changes could support greater equity and resilience within urban local food systems. We used the Community Capitals Framework to organize interviewees’ responses for qualitative analyses of equity and resilience. Four types of community capital were emphasized by stakeholders: cultural and social, natural, and political capital. Participants stated that the local food system in this city is small; more weaknesses in food access, land access, and governance were described than were strengths in both pre- and post-pandemic conditions. Stakeholder responses also reflected lack of equity and resilience in the local food system, which was most pronounced for cultural and social, natural and political capitals. However, local producers’ resilience during the pandemic, which we categorized as human capital, was a notable strength. An improved future food system could incorporate changes in infrastructure (e.g., food processing), markets (e.g., values-based markets) and cultural values (e.g., valuing local food through connections between local producers and consumers). These insights could inform policy and enhance community initiatives and behavior changes to build more equitable and resilient local food systems in urban areas throughout the U.S. Midwest. (shrink)

Up till now, China has not enacted any legal mechanisms governing certification or supervision for ethics committees. This article analyses deficiencies in the protection of subjects in clinical drug trials under China’s current laws and regulations; it emphasizes that investigators, as practitioners who have direct contact with subjects, play significant roles in protecting and safeguarding subjects’ rights and interests. The paper compares the status quo in China in this area to that of other countries and discusses ways China might enhance (...) the protection of rights and interests of trial subjects, such as enhancing the ethical awareness of investigators through training, improving laws and regulations, and strengthening the communication between investigators and ethics committees. (shrink)