A prefrontal control system that is less mature than the limbic reward system in adolescence is thought to impede self-regulatory abilities, which could contribute to poor dietary choices and obesity. We, therefore, aimed to examine whether structural morphology of the prefrontal cortex and the amygdala are associated with dietary decisions and obesity in children and adolescents. Seventy-one individuals between the ages of 8–22 years participated in this study; each participant completed a computer-based food choice task and a T1- and T2-weighted (...) structural brain scans. Two indices of obesity were assessed, including age- and sex-specific body mass index and waist-to-height ratio. The behavioral task included rating 60 food stimuli for tastiness, healthiness, and liking. Based on each participant’s self-ratings, 100 binary food choices were then made utilizing a computer mouse. Dietary “self-control” was calculated as the proportion of trials where the individual chose the healthier food item over the total number of trials. Cortical thickness and amygdala subnuclei volumes were quantified using FreeSurfer 6.0 and CIT168 atlas, respectively. We found that WHtR was negatively associated with the thickness of bilateral superior frontal, left superior temporal, right insula, and right inferior temporal regions. We also found WHtR to be positively associated with the volume of the central nucleus region of the amygdala, after adjusting for the hemisphere, age, sex, and intracranial volumes. A similar data pattern was observed when BMIz was used. Moreover, we found that across all participants, thinner right superior frontal cortex and larger left CEN volumes predicted lower dietary self-control. These results suggest that differential development of the PFC and amygdala relate to obesity and dietary self-control. Further longitudinal studies are merited to determine causal relationships among altered PFC to amygdala neural circuitry, dietary self-control, and obesity. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras, where * is a continuous t-norm. In this paper we investigate the structure of the (...) variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that ([ 0,1], *, 1) is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and ([ 0,1], *, →, 1) becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras ([ 0,1], *, →, 1), where (...) * is a continuous t-norm. In this paper we investigate the structure of the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s recent (...) models. The ‘defectiveness’ of such diagonal sentences necessarily cannot be classified by any of the determinateness predicates of the model. They are ‘ineffable liars’. We may consider them a response to the claim of Field that ‘the conditional can be used to show that the theory is not subject to “revenge problems”.’. (shrink)

We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.

We develop and apply a multi-dimensional conception of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial condition fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

Distributive, procedural, and interactional justice are constructs that are increasingly being recognized as important factors that affect individual perceptions in the workplace environment. This paper presents a theoretical perspective that suggests that justice is perceived through a subjective lens that consists of individualized beliefs and proposes that cultural attributes and demographic characteristics play an integral part in determining the perception of justice. The distinctions between these three constructs are presented in context with the core beliefs of individual employees – affected (...) by a multitude of perceptual and demographic factors that we briefly identify herein. Based on the theoretical perspective, an instrument that measures the constructs of justice as perceived by individuals was developed. With a focus on justice within the business setting, hypotheses about attitudes related to justice were tested. Survey results confirm that the three constructs of justice are distinct but correlated. Significant differences were found in the perceptions of African-American respondents with regard to procedural justice. Although the empirical findings do not support all the hypotheses, this research highlights the need for further development of measures to assess the perception of justice in business settings and at an applied level, underscores the importance of recognizing cultural attributes and demographic characteristics in understanding how justice is perceived. (shrink)

When I offered this title, I was engaging myself to investigate an apparent difference between two kinds of intentionality, in the hope that I should be able to find some firm logical criterion to distinguish them. I was less successful in this than I had hoped. I think I have gained a certain amount of insight into the logic and semantics of one kind of intentional context, largely due to the work I was doing while visiting the University of Pennsylvania (...) on Frege and on Michael Dummett’s monumental commentary on Frege. But as regards the other variety of intentionality I am still very much in the dark; so I am giving you thus far merely a progress report on that. (shrink)

We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as “revision operations”. More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta’s theory of truth over arithmetic using \emph{fully varied revision} sequences yields a complete \Pi13 set of integers; (iii) the set of \emph{stably categorical} sentences using their revision operator ψ is similarly \Pi13 and which (...) is complete in Gödel’s universe of constructible sets L; (iv) give an alternative account of a theory of truth—realistic variance that simplifies full variance, whilst at the same time arriving at Kripkean fixed points. (shrink)

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

We show that Leitgeb’s dependence operator of Leitgeb is a \-operator and that this is best possible.

P S Wilson; Child-Centred Education, Journal of Philosophy of Education, Volume 3, Issue 1, 30 May 2006, Pages 105–126, https://doi.org/10.1111/j.1467-9752.1969.

In this essay, P. Taylor Webb and Kalervo N. Gulson argue that educational policy is a spatial process and that implementation processes in particular produce crucial emergent geographies for policy research. Webb and Gulson describe how emergent geographies are produced when policy folds actors through senses and enactments of policy. The idea that policy is sensed and enacted is developed into the concept of a policy intension that extends approaches to spatial and, in particular, micropolitical analyses in policy research. Webb (...) and Gulson conclude by discussing cartographical methods that better map the geographies of subjectivity produced through policy intensions. (shrink)

We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path-dependent hierarchies of his determinateness operator.

P S Wilson; Perspectives on Punishment—Reply to Pamela Moore, Journal of Philosophy of Education, Volume 8, Issue 1, 30 May 2006, Pages 103–134, https://doi.org.

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.

The issue of the emergence of formal axiomatic logical systems due to the emergence of logical antinomies in formal axiomatic systems, specifically the issue of developing formal logical axiomatics in the calculus of considerations was investigated in the considered research. At the same time, in order to determine the characteristics of the implementation of the logical-methodological principles and provisions of the deductive reasoning obviously, conceptual-logical foundations of the calculus of considerations was studied and the main propositions of the calculus of (...) considerations and the analysis of the initial logical operations on them were given in the study. The basic laws of logic and the expression of one logical act with another one were also explained in the research work by giving the concepst of proportional form and tautology in the calculus of considerations. At the same time, main properties and the procedure of setting of the formal deductive theory in the calculus of considerations were studied in the article. In order to provide an adequate characterization of the conceptual and methodological bases of the calculus of considerations in the research work, the basic logical laws of the calculus of considerations developed by the German mathematician and thinker P. Hilbert were also given. In addition, the main principles and methodological provisions of the deductive method were investigated, and the rules of deriving new conclusions from the axioms were interpreted. At the end of the reviewed article, the main principles and methods of the formal axiomatic mathematical systems built on a deductive basis, specifically the calculus of considerations, were studied and a logical-methodological analysis of the calculus of considerations was carried out on this basis. In this framework, the syntactic and semantic analysis of formalized language in formal axiomatic logical systems was carried out separately, the constituent parts of those systems, including the construction scheme, were given. (shrink)

For some time now, commentators in and out of the scientific community have been expressing concern over the direction of scientific research. Cogent critics have labeled it excessively commercial, out of touch with its “pure,” public-spirited roots, and generally too much a creature of its entrepreneurial, self-interested times. In most if not all of this hand-wringing, the scientific community's growing reliance on intellectual property rights, especially patents, looms large. Indeed, for many the pursuit of patents is emblematic of just what (...) is rotten in the republic of science today. (shrink)

Ever since the constitutional revolution of the 1930s, constitutional law and theory have been dominated by questions of civil rights. The expansion of rights under the Warren Court constituted a deep-seated shift in judicial attitudes that has proved remarkably stable over time. Despite protests in some quarters that the Burger Court and the current Rehnquist Court have undermined civil rights recognized during the Warren Court era, the fact is that the changes have been surprisingly marginal. Even precedents that were widely (...) believed to be endangered species a decade ago – such as Miranda and Roe v. Wade – continue in force, although they have indeed been pruned back. Despite their importance, however, these high-profile cases do not go to the core of the Supreme Court's agenda. The core is epitomized by Brown v. Board of Education on the one hand, representing an aggressive and interventionist attitude toward government discrimination against discrete minorities, and footnote four of the Carotene Products case, on the other hand, representing an extraordinarily deference to the political process with respect to economic regulation. The Rehnquist Court's commitment to this core agenda is not dramatically different than that of its predecessors, at least not when the broad sweep of constitutional law is taken into account. (shrink)