Stephen Davies taught philosophy at the University of Auckland, Auckland, New Zealand. His research specialty is the philosophy of art. He is a former President of the American Society for Aesthetics. His books include Definitions of Art (Cornell UP, 1991), Musical Meaning and Expression (Cornell UP, 1994), Musical Works and Performances (Clarendon, 2001), Themes in the Philosophy of Music (OUP, 2003), Philosophical Perspectives on Art (OUP, 2007), Musical Understandings and Other Essays on the Philosophy of Music (OUP, 2011), The Artful (...) Species: Aesthetics, Art, and Evolution (OUP, 2012), The Philosophy of Art (Wiley-Blackwell, 2016 second ed.), and Adornment: What Self-decorations Tells Us about Who We Are, (Bloomsbury Academic, 2020). (shrink)

This qualitative classroom study investigated the development of pragmatic competence in academic discussions through content analysis of student reflective writing. The aims of the study were: to understand the greatest challenges that students faced during the learning process, the causes of those challenges, and the most successful strategies that students employed to overcome the challenges. In addition, the analysis investigated other significant themes in the reflective writing that related to the students’ experiences in developing their pragmatic competence in discussions. Five (...) advanced English for Academic Purposes (EAP) students at a Sino-US institution in China participated over the course of a semester. Results showed that common challenges included: hesitation resulting in missed opportunities to speak, lack of clarity when speaking, inability to repair communication breakdowns, and difficulty with listening comprehension. Self-reflection allowed the learners to understand the various reasons for the challenges they faced and to develop appropriate pragmalinguistic and sociopragmatic strategies for coping with them. It also enabled the instructor to make suggestions suited to learners’ specific needs. In addition to revealing specific challenges, causes, and strategies that students employed, themes that emerged through content analysis included the impact of students’ emotional lives on their learning and performance, as well as the value of authentic communication in the development of pragmatic competence for academic discussions. This exploratory classroom investigation provides suggestions for teaching pragmatic competence in academic discussions and for additional classroom explorations that empower learners to develop autonomy. (shrink)

The globalism objection poses two distinct challenges to Aristotelian views of virtue. On the one hand, the consistency thesis demands that a virtue is behaviorally expressed in a wide range of trait-relevant situations. On the other hand, the evaluative integration thesis suggests that the presence of one virtue increases the probability of other, similar virtues, posing a problem for Aristotle’s reciprocity of the virtues thesis. I show that, by contrast to contemporary Aristotelian views and views attributed to Aristotle, Aristotle’s own (...) theory of virtue escapes the globalism objection. I address the consistency thesis by showing that each of Aristotle’s moral virtues are narrower than commonly assumed. I then address the evaluative integration thesis through a discussion of practical wisdom, showing that Aristotle believed one could fall short of perfect virtue, while still being fully virtuous. The upshot is that, despite idealizations of virtue throughout the Nicomachean Ethics, Aristotle held a realistic account of virtue, one that is different from contemporary Aristotelian views, and one that is empirically adequate insofar as it allows for more than a few virtuous people. (shrink)

Aristotle often describes virtue in an idealized way, indicating that the virtuous person will never err or have a bad desire. Yet, drawing from empirical work on character and personality, many philosophers and psychologists believe that most people’s behavior stems from situational factors and that good behavior often stems from the wrong motives, such as maintaining a good mood or relieving feelings of guilt. Further, some suggest that the variability in most people’s behavior raises a challenge to traditional categories of (...) character such as virtue, vice, continence, and incontinence. Thus, it may seem impossible to develop virtue and that people lack character as Aristotle conceived of it. Drawing from Aristotle’s Rhetoric and Politics, I develop accounts of actual virtue and the character of ordinary people and respond to these two concerns. (shrink)

A large and growing body of research in computational psychiatry draws on Bayesian modelling to illuminate the dysfunctions and aberrations that underlie psychiatric disorders. After identifying the chief attractions of this research programme, we argue that its typical focus on abstract, domain-general inferential processes is likely to obscure many of the distinctive ways in which the human mind can break down and malfunction. We illustrate this by appeal to psychosis and the social phenomenology of delusions.

This contribution contextualizes the relationship between fragility and education in the light of people’s changing conditions and perspectives, and their impact on educational processes, focusing in particular on the consequences of the outbreak of the Covid-19 pandemic. By doing so, it introduces this focus, illustrates its coherence, and explains the basic methodological choice, namely the adoption of the Systematic Review, to explore different aspects of the relationship between fragility and education.

The article proposes looking at children's literature, particularly the form of the picture book, as an educational resource for producing body awareness in school. Eight reading steps for as many bodily actions aimed at naming the body, activating it, getting to know it and moving it in space, on and off the pages; between grounding, listening, breathing, playing and moving, the rediscovery of gestures and anatomical truths invites to deepen self-knowledge as a preliminary act to the encounter and relationship with (...) the other and with the environment. The picture books by their specificities of short form and cross-over, offer, even in non-fiction production, the possibility of bringing attention back to the body dimension within the school and educational debate, where it lives today in a state of malaise and oblivion. Meaningful conversations, explorations and relationships flow from the pages of the albums: research on language as a tool that gives dignity and value to each person, and encounters with the artistic representation of the world as an infinite mirror of its multiplicity and variety, constitute valuable opportunities for an education that is aware of the wholeness of learners and teachers and the integrated, erotic and embodied dimension of their relationship. (shrink)

Increasingly, biologists are using computers to model and to create biological representations. However, the exponential growth in available biological dataposes a challenge for experimental and theoretical researchers in both Biology and in Computer Science. In short, when even the simple retrieval of relevant biological information for a researcher becomes a complex task — its analysis and synthesis with other biological information will become even more daunting and unlikely. In this context, specially organized ‘structures of representation’ are needed for the efficient (...) interpretation of experimentally generated data. The “semantic Web” is a recent trend in networking techniques that we will examine here as a possible strategy for the computation of biological data — one that may allow us to take into account both the semiotic dimensions of biological processes, as well as their dynamic organization into stable and systemic levels. Thereupon, we propose that a semantic network for biology could benefit from principles rooted in such previous representation efforts as computer-generated ‘landscapes’ and ‘physical attractors’ — and that such principles could, in turn, then be better integrated into biological research through the development of a more semiotically informed user / computer interface design. (shrink)

BackgroundCognitive dysfunctions, both subjective and detectable at psychometric testing, may follow SARS-CoV-2 infection. However, the ecological-functional relevance of such objective deficits is currently under-investigated. This study thus aimed at investigating the association between objective cognitive measures and both physical and cognitive, ecological-functional outcomes in post-COVID-19.MethodsForty-two COVID-19-recovered individuals were administered the Mini-Mental State Examination and the Montreal Cognitive Assessment. The Functional Independence Measure was adopted to assess functional-ecological, motor/physical and cognitive outcomes at admission and discharge.ResultsWhen predicting both T0/T1 FIM-total and-Motor scores (...) based on MMSE/MoCA scores, premorbid risk for cognitive decline and disease-related features, no model yielded a significant fit. However, the MoCA - but not the MMSE significantly predicted T0/T1 FIM-Cognitive scores. The MoCA was significantly related only to T0/T1 FIM-Cognitive Memory items.DiscussionCognitive measures are not associated with physical/motor everyday-life outcomes in post-COVID-19 patients. The MoCA may provide an ecological estimate of cognitive functioning in this population. (shrink)

Aim of this study was to investigate whether parental mental representations during pregnancy and after delivery differed between parents who conceived after Assisted Reproductive Treatments and spontaneous conceiving parents. Effects of specific ART variables were also taken into account. Seventeen ART couples and 25 SC couples were recruited at Santa Maria Nuova Hospital. At both 32 weeks of gestation and 3 months postpartum participants completed the Semantic Differential of the IRMAG, a self-report tool which measures specific domains of mental representations (...) pertaining either individual or parental characteristics. Results showed that ART parents had significantly more positive representations of the child compared to SC parents, while the scores at Partner dimension improved from T1 to T2 for SC parents only. With regards to ART history, scores at the Self-as-woman/man dimension were significantly less positive for ICSI than IVF parents and improved substantially from T1 to T2 only in case of mothers with previous ART attempts and of fathers at the first ART cycle. The representation of own parents increased from T1 to T2 in case of infertility diagnosis due to male factors, while a decrease emerged when infertility was due to female factors. Findings suggest the need to investigate parental mental representations after ART, in order to improve the understanding on the transition to parenthood of infertile couples and to target more specific intervention for parenting support. (shrink)

As a scientific, materialist worldview becomes increasingly difficult to repudiate, and as philosophers increasingly uncover and articulate the conceptual nature of morality and distinctively moral normativity, the threat of moral anti-realism becomes more and more real. This perspective is argued in Chapter One. Chapter Two discusses how laws and bioethical trends that pertain to the clinical management of patients in a vegetative coma differ from country to country and continue to give rise to unresolved legal debates and scientific controversy. Chapter (...) Three covers how caregivers in palliative care must be supported to better understand patients hopes and needs, making them comfortable to decide when or how much they want to eat. Chapter Four synthesises findings from four empirical studies conducted in Western Africa (Togo) on topics related to the autonomy (end of life decision-making among terminally-ill patients), benevolence and non-malevolence (breaking bad news to elderly patients and their families), and justice (informal payments to physicians, criminal prosecution in cases of HIV transmission) principles of bioethics. Finally, Chapter Five argues that expert members in Ethics committees have an unfair upper-hand, with their decisions trumping other debates in committee deliberations. Qualitative research is brought to bear which illustrates this and which also notes how expertise dilutes the training given to newly appointed ethics committee members. (shrink)

ArgumentFollowing an international trend, Italy has reformed its university system, especially concerning methods and tools for research evaluation, which are increasingly focused on a number of bibliometric indexes. To study the effects of these changes, we analyze the changing profiles of economists who have won competitions for full professorship in the last few decades in the country. We concentrate on individual characteristics and on scientific production. We show that the identification of a univocal and standardized concept of “research quality” within (...) the new research assessments has progressively imposed a strategy of “homologation,” especially for women. We find that women economists are at a higher risk of discrimination than their male colleagues and thus they are more likely to conform their research activities to the standardized profile imposed by the gender-blind application of simplistic bibliometric methods. (shrink)

A t-tautology is a propositional formula which is a tautology in all fuzzy logics defined by continuous triangular norms. In this paper we show that the problem of recognizing t-tautologies is coNP complete, and thus decidable.

Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof be replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic (the so-called Rosser logic of Gauspari-Solovay, 1979) so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in (...) particular I0+EXP. The method is adapted to obtain a similar completeness result for the Rosser logic. (shrink)

Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. Algebraic semantics for these logics are (...) provided by subvarieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-elimination are given in the framework of hypersequents. Completeness with respect to algebras with lattice reduct [0, 1] is established for UL and several extensions using a two-part strategy. First, completeness is proved for the logic extended with Takeuti and Titani's density rule. A syntactic elimination of the rule is then given using a hypersequent calculus. As an algebraic corollary, it follows that certain varieties of residuated lattices are generated by their members with lattice reduct [0, 1]. (shrink)

In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.

In this paper the modal operator "x is provable in Peano Arithmetic" is incorporated into first-order theories. A provability extension of a theory is defined. Presburger Arithmetic of addition, Skolem Arithmetic of multiplication, and some first order theories of partial consistency statements are shown to remain decidable after natural provability extensions. It is also shown that natural provability extensions of a decidable theory may be undecidable.

We prove that the sets of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical, thus finding a rather satisfactory solution to three problems proposed by Hájek in [H01].

We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in (...) a separate continuation of the present paper). (shrink)

In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part of the (...) paper we look for conservative extensions of having such properties. (shrink)

We investigate the variety corresponding to a logic, which is the combination of ukasiewicz Logic and Product Logic, and in which Gödel Logic is interpretable. We present an alternative axiomatization of such variety. We also investigate the variety, called the variety of algebras, corresponding to the logic obtained from by the adding of a constant and of a defining axiom for one half. We also connect algebras with structures, called f-semifields, arising from the theory of lattice-ordered rings, and prove that (...) every algebra can be regarded as a structure whose domain is the interval [0, 1] of an f-semifield, and whose operations are the truncations of the operations of to [0, 1]. We prove that such a structure is uniquely determined by up to isomorphism, and we establish an equivalence between the category of algebras and that of f-semifields. (shrink)

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the (...) real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order. (shrink)