Movatterモバイル変換

No categories

Export citation   Bookmark  

Export citation   Bookmark  

No categories

Export citation   Bookmark  

Introduction Families of patients with dementia may need support in difficult end-of-life decision making. Such guidance may be culturally sensitive. Methods To support families in Canada, a booklet was developed to aid decision making on palliative care issues. For reasons of cost effectiveness and promising effects, we prepared for its implementation in Italy, the Netherlands and Japan. Local teams translated and adapted the booklet to local ethical, legal and medical standards where needed, retaining guidance on palliative care. Using qualitative content (...) analyses, we grouped and compared adaptations to understand culturally sensitive aspects. Results Three themes emerged: (1) relationships among patient, physician and other professionals—the authority of the physician was more explicit in adapted versions; (2) patient rights and family position—adding detail about local regulations; and (3) typology of treatments and decisions. Considerations underlying palliative care decisions were detailed (Dutch and Italian versions), and the Japanese version frequently referred to professional and legal standards, and life-prolongation was a competing goal. Text on artificial feeding or fluids and euthanasia was revised extensively. Conclusions Providing artificial feeding and fluids and discussing euthanasia may be particularly sensitive topics, and guidance on these subjects needs careful consideration of ethical aspects and possible adaptations to local standards and practice. The findings may promote cross-national debate on sensitive, core issues regarding end-of-life care in dementia. (shrink)

Direct download(6 more)   Export citation   Bookmark   1 citation  

Abstract.Given a class C of t-norm BL-algebras, one may wonder which is the complexity of the set Taut(C∀) of predicate formulas which are valid in any algebra in C. We first characterize the classes C for which Taut(C∀) is recursively axiomatizable, and we show that this is the case iff C only consists of the Gödel algebra on [0,1]. We then prove that in all cases except from a finite number Taut(C∀) is not even arithmetical. Finally we consider predicate monadic (...) logics TautM(C∀) of classes C of t-norm BL-algebras, and we prove that (possibly with finitely many exceptions) they are undecidable. (shrink)

Direct download(3 more)   Export citation   Bookmark   7 citations  

Direct download   Export citation   Bookmark  

"Die vorliegende Fassung des Textes wurde anhand des englischen Originalmanuskriptes vonFranco Selleri unter Mitarbeit von Roman U. Sexl erstellt."--T.p. verso.

Direct download   Export citation   Bookmark   2 citations  

This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are $${\Delta_1}$$ provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether $${I\Delta_0 + \neg \mathit{exp}}$$ implies $${B\Sigma_1}$$ to a purely recursion-theoretic question.

Direct download(2 more)   Export citation   Bookmark   2 citations  

In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...) rule for Δ n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons’ conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for Π n+2 and Δ n+1 formulas (see [2]). (shrink)

Direct download(4 more)   Export citation   Bookmark   2 citations  

Direct download(7 more)   Export citation   Bookmark   2 citations  

Let T be a second-order arithmetical theory, Λ a well-order, λ< Λ and X ⊆ ℕ. We use $[\lambda |X]_T^{\rm{\Lambda }}\varphi$ as a formalization of “φ is provable from T and an oracle for the set X, using ω-rules of nesting depth at most λ”.For a set of formulas Γ, define predicative oracle reflection for T over Γ ) to be the schema that asserts that, if X ⊆ ℕ, Λ is a well-order and φ ∈ Γ, then$$\forall \,\lambda (...)< {\rm{\Lambda }}\,.$$In particular, define predicative oracle consistency ) as Pred–O–RFN{0=1}.Our main result is as follows. Let ATR0 be the second-order theory of Arithmetical Transfinite Recursion, ${\rm{RCA}}_0^{\rm{*}}$ be Weakened Recursive Comprehension and ACA be Arithmetical Comprehension with Full Induction. Then,$${\rm{ATR}}_0 \equiv {\rm{RCA}}_0^{\rm{*}} + {\rm{Pred - O - Cons\ }}\left \equiv {\rm{RCA}}_0^{\rm{*}} + \,{\rm{Pred - O - Cons\ }}\left \equiv {\rm{RCA}}_0^{\rm{*}} + \,{\rm{Pred - O - RFN}}\,_{{\bf{\Pi }}_2^1 } \left.$$We may even replace ${\rm{RCA}}_0^{\rm{*}}$ by the weaker ECA0, the second-order analogue of Elementary Arithmetic.Thus we characterize ATR0, a theory often considered to embody Predicative Reductionism, in terms of strong reflection and consistency principles. (shrink)

Direct download(2 more)   Export citation   Bookmark   2 citations  

By algebraic means, we give an equational axiomatization of the equational fragments of various systems of arithmetic. We also introduce a faithful semantics according to which, for every reasonable system T for arithmetic, there is a model where exactly the theorems of T are true.

Direct download(3 more)   Export citation   Bookmark   1 citation  

In lieu of an abstract, here is a brief excerpt of the content:Structure, Change, and Survival: A Response To Winthrop-youngFranco Moretti (bio)Geoffrey Winthrop-Young’s is the sort of review article one dreams of: long, intelligent, and very generous. So, first of all, thanks. And thanks also for the clarity with which disagreements are expressed. In the same spirit, here is a brief response.The first area of disagreement comes early in the article, when Winthrop-Young claims that in the Atlas, “the here and (...) now of a specific location suffers something akin to the fate of a Barthesian myth: its specificity is subordinated to a signifying function as part of an established narrative sequence. But as Moretti chooses not to address the question of how this transformation is achieved, his discussion tends to gloss over the differences between geographical, literary, and imaginary locations” [7]. Frankly, I don’t think this is true. I often do exactly what Winthrop-Young demands, using a sequence of maps to clarify the successive steps by which a geographical space ends up supporting a specific narrative strucure: see the Austen maps that open the book, or the picaresque sequence in the first chapter, or the Balzac and Dickens maps in the second chapter—where I also address the issue in conceptual terms in a section entitled “Stories of the Third.” It’s true that I don’t do so in every case (as perhaps I should), and Winthrop-Young may of course disagree with the way I chart the transformation of space into narrative, but he cannot deny that I am doing so. The fact that those maps compose sequences of increasing complexity (as is particularly clear for Austen and Our Mutual Friend) proves precisely that I am indeed mapping a “transformation” of relatively simple beginnings into a complicated final structure. Incidentally, I do something similar in Modern Epic, where I describe how Joyce’s stream of consciousness “grows” from rather slim paragraphs to the plump ones we read now, or follow the slow rise of Ulysses’s polyphony. Again: my theses may be wrong—but they are an attempt to follow the step-by-step structuration of a text (or genre). This, after all, is the basic test of critical materialism: if we cannot describe the how and the why of the various steps, we are implicitly invoking “creativity” as an explanation for literary products. Which is a bit like invoking God. But on the futility of this, Winthrop-Young and I probably agree.The second disagreement regards the tempo of literary history: does morphological change occur in brief bursts separated by long periods of stasis (as in Eldredge and Gould’s punctuated equilibria)—or is it more evenly distributed across time? Here, Winthrop-Young claims [36, fn 5] that my attempt to see Schwarz’s account of Brazilian modernism and the genesis of magic realism as a single instance of punctuated equilibria is contradicted by historical evidence. He is right. Years ago, I adopted punctuated equilibria because it proved better than any rival theory at explaining the peculiar rapidity of many literary turning points (baroque drama; the rise of the British novel; the modernist season of European literature). From this initial conviction, I was (unconsciously) led to generalize, and to treat every case of major morphological change as an instance of punctuated equilibria. This was silly, and Winthrop-Young is right in criticizing me. However, he would probably agree that a single (or even a few) contrary [End Page 41] instances do not invalidate a theory in its entirety, and that what we most need is to know more about how literary change occurs. Only after such an empirical reconnaissance will the testing of theories be on a truly sound basis. Personally, I wouldn’t be surprised if we discovered that literary change can occur in more than one way, and that we need more than one theory to account for it; still, all I know of literary history suggests that punctuated equilibria will be the theory with greatest explanatory power.The last disagreement concerns literary selection: specifically, whether my view of it is indeed Darwinian, or whether I Lamarck-like “transform the concept of selection from the traditional passive filter... (shrink)

Direct download(5 more)   Export citation   Bookmark  

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

Direct download(4 more)   Export citation   Bookmark   22 citations  

By a result of L.D. Beklemishev, the hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over any $$\Pi _2$$ -axiomatizable base theory extending Elementary Arithmetic collapses to its first level. We prove that this result cannot in general be extended to base theories of arbitrary quantifier complexity. In fact, given any recursively enumerable set of true $$\Pi _2$$ -sentences, S, we construct a sound $$(\Sigma _2 \! \vee \! \Pi _2)$$ -axiomatized theory T extending S such that the (...) hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over T is proper. Our construction uses some results on subrecursive degree theory obtained by L. Kristiansen. (shrink)

No categories

Direct download(3 more)   Export citation   Bookmark  

This article replies to the critical note by Trabattoni («Elenchos», xxxiii (2012) pp. 69-107). The author defends his interpretation of Plato's Theaetetus against Trabattoni's objections, arguing that the maieutic and peirastic character of the dialogue explains its negative or aporetic conclusion. For the failure of all the attempts to define knowledge in the dialogue doesn't mean that, according to Plato, knowledge is not possible for men or that it can be identified with doxa; on the contrary, Plato clearly states that (...) the philosopher, i.e. the dialectician, is absolutely able to attain the perfect knowledge of the forms. The subsequent failures in the Theaetetus, particularly the last two, depend on the admission of an "additive model'' according to which knowledge is "doxa plus something'', an epistemological attitude that is explicitly rejected in the Meno. (shrink)

No categories

Direct download(2 more)   Export citation   Bookmark   1 citation  

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

Direct download   Export citation   Bookmark   1 citation  

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.

Direct download(4 more)   Export citation   Bookmark   9 citations  

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)

Direct download(5 more)   Export citation   Bookmark   35 citations  

No categories

Export citation   Bookmark  

Export citation   Bookmark  

Organ trafficking is officially banned in several countries and by the main Nephrology Societies. However, this practice is widespread and is allowed or tolerated in many countries, hence, in the absence of a universal law, the caregiver may be asked for advice, placing him/her in a difficult balance between legal aspects, moral principles and ethical judgments.In spite of the Istanbul declaration, which is a widely shared position statement against organ trafficking, the controversy on mercenary organ donation is still open and (...) some experts argue against taking a negative stance. In the absence of clear evidence showing the clinical disadvantages of mercenary transplantation compared to chronic dialysis, self-determination of the patient may conflict with other ethical principles, first of all non-maleficence. The present paper was drawn up with the participation of the students, as part of the ethics course at our medical school. It discusses the situation in which the physician acts as a counselor for the patient in the way of a sort of “reverse” informed consent, in which the patient asks advice regarding a complex personal decision, and includes a peculiar application of the four principles to the donor and recipient parties. (shrink)

Direct download(3 more)   Export citation   Bookmark  

The monoidal t-norm based logic MTL is obtained from Hájek''s Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (...) (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

Direct download(4 more)   Export citation   Bookmark   20 citations  

In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to the first-order versions of Łukasiewicz, Gödel and Product logics, w.r.t. their standard algebras. In this paper we extend the analysis to the first-order versions of axiomatic extensions of MTL. Our main result is the following. Let \ be a class of MTL-chains. Then the set of all first-order tautologies associated to the finite models (...) over chains in \, fTAUT\, is \ -hard. Let TAUT\ be the set of propositional tautologies of \. If TAUT\ is decidable, we have that fTAUT\ is in \. We have similar results also if we expand the language with the Δ operator. (shrink)

Direct download(5 more)   Export citation   Bookmark   1 citation  

The study of cultural evolution has taken on an increasingly interdisciplinary and diverse approach in explicating phenomena of cultural transmission and adoptions. Inspired by this computational movement, this study uses Bayesian networks analysis, combining both the frequentist and the Hamiltonian Markov chain Monte Carlo (MCMC) approach, to investigate the highly representative elements in the cultural evolution of a Vietnamese city’s architecture in the early 20th century. With a focus on the façade design of 68 old houses in Hanoi’s Old Quarter (...) (based on 78 data lines extracted from 248 photos), the study argues that it is plausible to look at the aesthetics, architecture, and designs of the house façade to find traces of cultural evolution in Vietnam, which went through more than six decades of French colonization and centuries of sociocultural influence from China. The in-depth technical analysis, though refuting the presumed model on the probabilistic dependency among the variables, yields several results, the most notable of which is the strong influence of Buddhism over the decorations of the house façade. Particularly, in the top 5 networks with the best Bayesian Information Criterion (BIC) scores and p<0.05, the variable for decorations (DC) always has a direct probabilistic dependency on the variable B for Buddhism. The paper then checks the robustness of these models using Hamiltonian MCMC method and find the posterior distributions of the models’ coefficients all satisfy the technical requirement. Finally, this study suggests integrating Bayesian statistics in the social sciences in general and for the study of cultural evolution and architectural transformation in particular. (shrink)

Direct download   Export citation   Bookmark   13 citations  

In Hájek et al. (J Symb Logic 65(2):669–682, 2000) the authors introduce the concept of supersound logic, proving that first-order Gödel logic enjoys this property, whilst first-order Łukasiewicz and product logics do not; in Hájek and Shepherdson (Ann Pure Appl Logic 109(1–2):65–69, 2001) this result is improved showing that, among the logics given by continuous t-norms, Gödel logic is the only one that is supersound. In this paper we will generalize the previous results. Two conditions will be presented: the first (...) one implies the supersoundness and the second one non-supersoundness. To develop these results we will use, between the other machineries, the techniques of completions of MTL-chains developed in Labuschagne and van Alten (Proceedings of the ninth international conference on intelligent technologies, 2008) and van Alten (2009). We list some of the main results. The first-order versions of MTL, SMTL, IMTL, WNM, NM, RDP are supersound; the first-order version of an axiomatic extension of BL is supersound if and only it is n-potent (i.e. it proves the formula ${\varphi^{n}\,\to\,\varphi^{n\,{+}\,1}}$ for some ${n\,\in\,\mathbb{N}^+}$ ). Concerning the negative results, we have that the first-order versions of ΠMTL, WCMTL and of each non-n-potent axiomatic extension of BL are not supersound. (shrink)

Direct download(3 more)   Export citation   Bookmark   3 citations  

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the (...) paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains. (shrink)

Direct download(4 more)   Export citation   Bookmark   6 citations  

This paper investigates a quasi-variety of representable integral commutative residuated lattices axiomatized by the quasi-identity resulting from the well-known Wajsberg identity → q ≤ → p if it is written as a quasi-identity, i. e., → q ≈ 1 ⇒ → p ≈ 1. We prove that this quasi-identity is strictly weaker than the corresponding identity. On the other hand, we show that the resulting quasi-variety is in fact a variety and provide an axiomatization. The obtained results shed some light (...) on the structure of Archimedean integral commutative residuated chains. Further, they can be applied to various subvarieties of MTL-algebras, for instance we answer negatively Hájek's question asking whether the variety of ΠMTL-algebras is generated by its Archimedean members. (shrink)

Direct download   Export citation   Bookmark  

We introduce a notion of relative efficiency for axiom systems. Given an axiom system Aβ for a theory T consistent with S12, we show that the problem of deciding whether an axiom system Aα for the same theory is more efficient than Aβ is II2-hard. Several possibilities of speed-up of proofs are examined in relation to pairs of axiom systems Aα, Aβ, with Aα ⊇ Aβ, both in the case of Aα, Aβ having the same language, and in the case (...) of the language of Aα extending that of Aβ: in the latter case, letting Prα, Prβ denote the theories axiomatized by Aα, Aβ, respectively, and assuming Prα to be a conservative extension of Prβ, we show that if Aα — Aβ contains no nonlogical axioms, then Aα can only be a linear speed-up of Aβ; otherwise, given any recursive function g and any Aβ, there exists a finite extension Aα of Aβ such that Aα is a speed-up of Aβ with respect to g. (shrink)

Direct download   Export citation   Bookmark  

This research characterizes and compares the job satisfaction of fitness professionals in Portugal between genders, ages, professional experience, professional title, and educational qualifications. A total of 401 fitness professionals answered the online questionnaire Job Satisfaction Scale, which has 16 factors rated on a Likert scale with seven levels. The statistical analysis comprises descriptive and statistical tests to compare the results of two (t-test) or more (ANOVA) groups. Overall, the results demonstrated that fitness professionals were moderately satisfied with their work. The (...) lower degrees of job satisfaction were concerning salary, opportunities for promotion, and stability at work. The highest levels of job satisfaction were related to the freedom to choose their work method, their work colleagues, the physical conditions of their workplace, and the opportunity to use their competencies. There were no differences in job satisfaction in terms of gender and a few differences between professional title and between educational levels. Regarding age and professional experience, the results showed significant differences in almost all factors, suggesting that, as fitness professionals get older and more experienced, their job satisfaction is greater. The results of this study suggest that even though fitness professionals are, in general, moderately satisfied with their work, some aspects can be improved by employers to increase their satisfaction levels. Such findings would assist employers in guiding the job satisfaction of their employees with consequent enhancements in the services provided by fitness professionals, which can increase participants’ retention in exercise fitness activities. (shrink)

Direct download(2 more)   Export citation   Bookmark   1 citation  

Five essays, each on a different contemporary philosopher. Those onFranco Lombardi, Sartre, and Leszek Kolakowski and other present-day revisionist Marxists were presented at an American Philosophical Association symposium in 1961; the studies of Xavier Zubiri and Heidegger were added specially for this volume. In each case the authors endeavor to say something fresh and substantial; yet each piece is written in a clear and non-technical style. The anthology is therefore to be recommended to those new to the various (...) "continental" ways of doing philosophy, as well as to initiates.—C. T. W. (shrink)

Direct download   Export citation   Bookmark  

Direct download(2 more)   Export citation   Bookmark  

MarielleFranco was part of a new generation of progressive activists in Brazilian politics. She was assassinated point-blank on March 14, 2018 by an elite shooter. In this piece, Meg Stalcup and Erika Robb Larkins examine how Marielle’s death is revealing of the issues that she fought for in her life. They also ask how she continues to be present in and beyond the unfolding investigation into who killed her.

Direct download   Export citation   Bookmark  

Nel corso del 2020 la missione congiuntafranco-italiana, costituita dall’Università degli Studi di Milano e dall’Institut français d’archéologie orientale del Cairo (Ifao), ha effettuato la sua abituale campagna tra le rovine dell’antica Tebtynis dal 15 settembre al 7 novembre. Gli scavi sono stati estesi nel settore meridionale dell’insediamento, lungo la grande strada che nei papiri demotici è definita “dromos di Tefresudj(ty?)”. Due case-torri costruite nel II e nel I sec. a.C. sono state portate alla luce; parecchi edifici risalenti all’epoca (...) tolemaica e a quella romana sono stati scavati ed è stata localizzata una piazza. Benché l’area investigata si presentasse parzialmente sconvolta da interventi effettuati all’inizio del secolo scorso, una buona quantità di oggetti e di testi è stata raccolta. (shrink)

No categories

Direct download(2 more)   Export citation   Bookmark  

Direct download(3 more)   Export citation   Bookmark  

Franco’s book is meticulous and objective, but it does underline two points. The first is that Oakeshott cannot be portrayed simply as a “conservative”; thus T. S. Eliot was a more typical conservative than Oakeshott, the latter being rather a conservative Whig, in the tradition of Edmund Burke and Sir Robert Peel. The second is that throughout his life, Oakeshott, far from being an agnostic and religious indifferentist, interacted with religious theories and responded to them, even though this is (...) not always visible in his published writings. (shrink)

Direct download(2 more)   Export citation   Bookmark  

Direct download   Export citation   Bookmark  

No categories

Direct download(2 more)   Export citation   Bookmark   1 citation  

Attention and adaptation are both mechanisms that optimize visual performance. Attention optimizes performance by increasing contrast sensitivity for and neural response to attended stimuli while decreasing them for unattended stimuli; adaptation optimizes performance by increasing contrast sensitivity for and neural response to changing stimuli while decreasing them for unchanging stimuli. We investigated whether and how the adaptation state and the attentional effect on contrast sensitivity interact. We measured contrast sensitivity with an orientation-discrimination task, in two adaptation conditions—adapt to 0% or (...) 100% contrast—in focused, distributed, and withdrawn attentional conditions. We used threshold and asymptotic performance to index the magnitude of the attentional effect—enhancement or impairment in contrast sensitivity—before and after adapting to high-contrast stimuli. The results show that attention and adaptation affect the contrast psychometric function in a similar but opposite way: Attention increases stimulus salience, whereas adaptation reduces stimulus salience. An interesting finding is that the adaptation state does not modulate the magnitude of the attentional effect. This suggests that attention affects the normalized signal once the effect of contrast adaptation has taken place and that these two mechanisms act separately to change contrast sensitivity. Attention can overcome adaptation to restore contrast sensitivity. (shrink)

Direct download   Export citation   Bookmark   7 citations  

Die Bibliotheca Teubneriana, established in 1849, has evolved into the world's most venerable and extensive series of editions of Greek and Latin literature, ranging from classical to Neo-Latin texts. Some 4-5 new editions are published every year. A team of renowned scholars in the field of Classical Philology acts as advisory board: Gian Biagio Conte (Scuola Normale Superiore di Pisa) James Diggle (University of Cambridge) Donald J. Mastronarde (University of California, Berkeley)Franco Montanari (Università di Genova) Heinz-Günther Nesselrath (Georg-August-Universität (...) Göttingen) Dirk Obbink (University of Oxford) Oliver Primavesi (Ludwig-Maximilians Universität München) Michael D. Reeve (University of Cambridge) Richard J. Tarrant (Harvard University) Formerly out-of-print editions are offered as print-on-demand reprints. Furthermore, all new books in the Bibliotheca Teubneriana series are published as eBooks. The older volumes of the series are being successively digitized and made available as eBooks. If you are interested in ordering an out-of-print edition, which hasn't been yet made available as print-on-demand reprint, please contact us:[email protected] All editions of Latin texts published in the Bibliotheca Teubneriana are collected in the online database BTL Online. (shrink)

Direct download   Export citation   Bookmark   10 citations  

No categories

Direct download(3 more)   Export citation   Bookmark  

No categories

Direct download   Export citation   Bookmark  

By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...) results on the quantifier complexity, finite axiomatizability and relative strength of schemes for Δn+1-formulas. (shrink)

Direct download   Export citation   Bookmark   6 citations  

No categories

Direct download(2 more)   Export citation   Bookmark  

No categories

Export citation   Bookmark  

No categories

Export citation   Bookmark  

No categories

Direct download(2 more)   Export citation   Bookmark  

Después de la celebración del Concilio de Trento, muchos obispos intentaron poner en práctica tanto los decretos doctrinales como los disciplinares para llevar a cabo una reforma de la Iglesia "in capite et in membris". El obispo de Ginebra, Francisco de Sales, aplica los diferentes decretos, no sólo con firmeza y frialdad, sino también con la dulzura del buen pastor y la dulzura salesiana. Su reforma alcanza tanto al clero secular como al religioso, así como a las instituciones eclesiásticas y (...) a los laicos. Los sínodos diocesanos, su acción pastoral y su doctrina, tanto teológica como espiritual, hicieron posible la reforma de la diócesis, que había sufrido la decadencia típica de su época y que había estado dominada por la doctrina calvinista en gran parte. (shrink)

No categories

Direct download(2 more)   Export citation   Bookmark  

No categories

Export citation   Bookmark   1 citation  

Export citation   Bookmark