We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let Ω be a regular uncountable cardinal. Let m < ω and M be an m-sound premouse and Σ be...

According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal [Formula: see text] and nontrivial elementary embedding [Formula: see text]. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone is has been discovered. [Formula: see text] is the assertion, introduced by Hugh Woodin, that [Formula: see text] is an ordinal and there is an elementary embedding [Formula: see text] with critical point [Formula: see text]. And [Formula: see text] asserts that (...) [Formula: see text] holds for some [Formula: see text]. The axiom [Formula: see text] is one of the strongest large cardinals not known to be inconsistent with AC. It is usually studied assuming ZFC in the full universe [Formula: see text] (in which case [Formula: see text] must be a limit ordinal), but we assume only ZF. We prove, assuming ZF [Formula: see text] [Formula: see text] [Formula: see text] “[Formula: see text] is an even ordinal”, that there is a proper class transitive inner model [Formula: see text] containing [Formula: see text] and satisfying ZF [Formula: see text] [Formula: see text] [Formula: see text] “there is an elementary embedding [Formula: see text]”; in fact we will have [Formula: see text] ⊆[Formula: see text], where [Formula: see text] witnesses [Formula: see text] in [Formula: see text]. This result was first proved by the author under the added assumption that [Formula: see text] exists; Gabe Goldberg noticed that this extra assumption was unnecessary. If also [Formula: see text] is a limit ordinal and [Formula: see text]-DC holds in [Formula: see text], then the model [Formula: see text] will also satisfy [Formula: see text]-DC. We show that ZFC [Formula: see text] “[Formula: see text] is even” [Formula: see text] [Formula: see text] implies [Formula: see text] exists for every [Formula: see text], but if consistent, this theory does not imply [Formula: see text] exists. (shrink)

This paper studies homogeneously Suslin (hom) sets of reals in tame mice. The following results are established: In 0 ¶ the hom sets are precisely the [Symbol] sets. In M n every hom set is correctly [Symbol] and (δ + 1)-universally Baire where ä is the least Woodin. In M u every hom set is <λ-hom, where λ is the supremum of the Woodins.

A significant open problem in inner model theory is the analysis of HODL[x] as a strategy premouse, for a Turing cone of reals x. We describe here an obstacle to such an analysis. Assuming sufficient large cardinals, for a Turing cone of reals x there are proper class 1-small premice M,N, with Woodin cardinals δ,ε, respectively, such that M|δ and N|ε are in L[x], M and N are countable in L[x], and the pseudo-comparison of M with N succeeds, is in (...) L[x], and lasts exactly ω1L[x] stages. Moreover, we can take M=M1, the minimal iterable proper class inner model with a Woodin cardinal, and take N to be M1-like and short-tree-iterable. (shrink)

Assume. Let κ be a cardinal. A ‐ground is a transitive proper class W modelling such that V is a generic extension of W via a forcing of cardinality. The κ‐mantle is the intersection of all ‐grounds. We prove that certain partial choice principles in are the consequence of κ being inaccessible/weakly compact, and some other related facts.

Assume ZF + AD +V=L and letκ< Θ be an uncountable cardinal. We show thatκis Jónsson, and that if cof = ω thenκis Rowbottom. We also establish some other partition properties.

Chaque jour, les professionnels de la santé doivent prendre des décisions dans des environnements complexes où s'affrontent de multiples normes qu'il n'est pas toujours facile de départager ni de mettre au clair afin de prendre une décision éclairée. Pourtant, les modèles de prise de décision dont disposent actuellement les éthiciens cliniques ou les comités de bioéthique comportent souvent des lacunes lorsqu'il s'agit d'aborder des problèmes à plusieurs niveaux (micro, méso et macro). Les décisions reposent ainsi trop souvent sur l'intuition plutôt (...) que sur une démarche systématique rigoureuse et facilement reproductible. Afin de pallier la situation, cet ouvrage fournit des outils théoriques et pratiques facilitant la prise de décision. Fondé sur l'étude collective d'un cas complexe ayant trait aux dimensions tragiques des choix éthiques en fin de vie (doit-on ou non administrer un médicament coûteux pour le traitement d'un cancer au stade avancé?), il réunit les contributions de plusieurs experts reconnus travaillant dans le système de santé (cliniciens, éthiciens, chercheurs, gestionnaires et décideurs publics). En raison de l'actualité des enjeux qui y sont traités et de la qualité des textes qui y sont rassemblés, cet ouvrage sera un outil pédagogique efficace pour les étudiants, les enseignants et les professionnels de la santé et aura certainement une incidence importante sur le mode de prestation des soins. (shrink)

Let M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} be a fine structural mouse. Let D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document} be a fully backgrounded L[E]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L[\mathbb{E}]}$$\end{document}-construction computed inside an iterable coarse premouse S. We describe a process comparing M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} with D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document}, through forming iteration trees on M\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} and on S. We then prove that this process succeeds. (shrink)

Multisensory stimulation has been shown to alter the sense of body-ownership. Given that perceived similarity between one’s own body and those of others is crucial for social cognition, we investigated whether multisensory stimulation can lead participants to experience ownership over a hand of different skin colour. Results from two studies using introspective, behavioural and physiological methods show that, following synchronous visuotactile stimulation, participants can experience body-ownership over hands that seem to belong to a different racial group. Interestingly, a baseline measure (...) of implicit racial bias did not predict whether participants would experience the RHI, but the overall strength of experienced body-ownership seemed to predict the participants’ post-illusion implicit racial bias with those who experienced a stronger RHI showing a lower bias. These findings suggest that multisensory experiences can override strict ingroup/outgroup distinctions based on skin colour and point to a key role for sensory processing in social cognition. (shrink)

This is a review essay of Lagasnerie, Judge and Punish and Fassin, The Will to Punish. It explores the way that these two books challenge conventional thinking about the relationship between crime and punishment.

Background The prioritization protocols for accessing adult critical care in the extreme pandemic context contain tiebreaker criteria to facilitate decision-making in the allocation of resources between patients with a similar survival prognosis. Besides being controversial, little is known about the public acceptability of these tiebreakers. In order to better understand the public opinion, Quebec and Ontario’s protocols were presented to the public in a democratic deliberation during the summer of 2022. Objectives (1) To explore the perspectives of Quebec and Ontario (...) citizens regarding tiebreakers, identifying the most acceptable ones and their underlying values. (2) To analyze these results considering other public consultations held during the pandemic on these criteria. Methods This was an exploratory qualitative study. The design involved an online democratic deliberation that took place over two days, simultaneously in Quebec and Ontario. Public participants were selected from a community sample which excluded healthcare workers. Participants were first presented the essential components of prioritization protocols and their related issues (training session day 1). They subsequently deliberated on the acceptability of these criteria (deliberation session day 2). The deliberation was then subject to thematic analysis. Results A total of 47 participants from the provinces of Quebec (n = 20) and Ontario (n = 27) took part in the online deliberation. A diverse audience participated excluding members of the healthcare workforce. Four themes were identified: (1) Priority to young patients - the life cycle - a preferred tiebreaker; (2) Randomization - a tiebreaker of last resort; (3) Multiplier effect of most exposed healthcare workers - a median acceptability tiebreaker, and (4) Social value – a less acceptable tiebreaker. Conclusion Life cycle was the preferred tiebreaker as this criterion respects intergenerational equity, which was considered relevant when allocating scarce resources to adult patients in a context of extreme pandemic. Priority to young patients is in line with other consultations conducted around the world. Additional studies are needed to further investigate the public acceptability of tiebreaker criteria. (shrink)

Tamsin Jones believes that locating Jean-Luc Marion solely within theological or phenomenological discourse undermines the coherence of his intellectual and philosophical enterprise. Through a comparative examination of Marion’s interpretation and use of Dionysius the Areopagite and Gregory of Nyssa, Jones evaluates the interplay of the manifestation and hiddenness of phenomena. By placing Marion against the backdrop of these Greek fathers, Jones sharpens the tension between Marion’s rigorous method and its intended purpose: a safeguard against idolatry. At once situated at the (...) crossroads of the debate over the turn to religion in French phenomenology and an inquiry into the retrieval of early Christian writings within this discourse, A Genealogy of Marion’s Philosophy of Religion opens up a new view of the phenomenology of religious experience. (shrink)

In contemporary philosophy of religion, the doctrine of omniscience is typically rendered propositionally, as the claim that God knows all true propositions (and believes none that are false). But feminist work makes clear what even the analytic tradition sometimes confesses, namely, that propositional knowledge is quite limited in scope. The adequacy of propositional conceptions of omniscience is therefore in question. This paper draws on the work of feminist epistemologists to articulate alternative renderings of omniscience which remedy the deficiencies of the (...) traditional formulation. (shrink)

Multisensory stimulation has been shown to alter the sense of body-ownership. Given that perceived similarity between one’s own body and those of others is crucial for social cognition, we investigated whether multisensory stimulation can lead participants to experience ownership over a hand of different skin colour. Results from two studies using introspective, behavioural and physiological methods show that, following synchronous visuotactile stimulation, participants can experience body-ownership over hands that seem to belong to a different racial group. Interestingly, a baseline measure (...) of implicit racial bias did not predict whether participants would experience the RHI, but the overall strength of experienced body-ownership seemed to predict the participants’ post-illusion implicit racial bias with those who experienced a stronger RHI showing a lower bias. These findings suggest that multisensory experiences can override strict ingroup/outgroup distinctions based on skin colour and point to a key role for sensory processing in social cognition. (shrink)

The fifth book in the series offers an historical and conceptual account of the criminal law, as it has developed in England and spread to common law jurisdictions around the world. It traces how and why criminal law has come to be accorded with a central role in securing civil order in modernity, and justifies who and what should be treated as criminal under the law. Farmer argues that the emergence of the modern state in which criminal law is (...) recognized as an instrument of government is a result of the distinct body of rules which have emerged from the modern criminal law. (shrink)

There has recently been a resurgence of philosophical and scientific interest in the foundations of self-consciousness, with particular focus on its altered, anomalous forms. This paper looks at the altered forms of self-awareness in Depersonalization Disorder (DPD), a condition in which people feel detached from their self, their body and the world (Derealisation). Building upon the phenomenological distinction between reflective and pre-reflective self-consciousness, we argue that DPD may alter thetransparencyof basic embodied forms of pre-reflective self-consciousness, as well as the capacity (...) to flexibly modulate and switch between the reflective and pre-reflective facets of self-awareness. Empirical evidence will be invoked in support of the idea that impaired processing of bodily signals is characteristic of the condition. We provide first-hand subjective reports describing the experience of self-detachment or fracture between an observing and an observed self. This split is compared with similar self-detachment phenomena reported in certain Buddhist-derived meditative practices. We suggest that these alterations and changes may reveal the underlying and tacit transparency that characterises the embodied and basic pre-reflective forms of self-consciousness, in the same way that a crack in a transparent glass may indicate the presence of an unnoticed window. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

We propose, following Clark, that generative models also play a central role in the perception and interpretation of linguistic signals. The data explanation approach provides a rationale for the role of prediction in language processing and unifies a number of phenomena, including multiple-cue integration, adaptation effects, and cortical responses to violations of linguistic expectations.

In this paper, we argue that lack of access to the fruits of modern medicine and the science that informs it is an important and neglected topic within bioethics and medical ethics. This is especially clear to those working in what are now termed 'resource-poor settings'- to those working, in plain language, among populations living in dire poverty. We draw on our experience with infectious diseases in some of the poorest communities in the world to interrogate the central imperatives of (...) bioethics and medical ethics. AIDS, tuberculosis, and malaria are the three leading infectious killers of adults in the world today. Because each disease is treatable with already available therapies, the lack of access to medical care is widely perceived in heavily disease-burdened areas as constituting an ethical and moral dilemma. In settings in which research on these diseases are conducted but there is little in the way of therapy, there is much talk of first world diagnostics and third world therapeutics. Here we call for the 'resocialising' of ethics. To resocialise medical ethics will involve using the socialising disciplines to contextualise fully ethical dilemmas in settings of poverty and, a related gambit, the systematic participation of the destitute sick. Clinical research across steep gradients also needs to be linked with the interventions that are demanded by the poor and otherwise marginalised. We conclude that medical ethics must grapple more persistently with the growing problem posed by the yawning 'outcome gap' between rich and poor. (shrink)

The Phenomenal Self (PS) is widely considered to be dependent on body representations, whereas the Narrative Self (NS) is generally thought to rely on abstract cognitive representations. The concept of the Bodily Social Self (BSS) might play an important role in explaining how the high level cognitive self-representations enabling the NS might emerge from the bodily basis of the PS. First, the phenomenal self (PS) and narrative self (NS), are briefly examined. Next, the BSS is defined and its potential for (...) explaining aspects of social cognition is explored. The minimal requirements for a BSS are considered, before reviewing empirical evidence regarding the development of the BSS over the first year of life. Finally, evidence on the involvement of the body in social distinctions between self and other is reviewed to illustrate how the BSS is affected by both the bottom up effects of multisensory stimulation and the top down effects of social identification. (shrink)

First, to what level of quality can medical ethics a spire, if it ignores callous discrimination in medrcal practice against large populations of the innocent poor? Second, how effective can such theories be in addressing the critical issues of medical and clinical ethics if they are unable to contribute to the closing of the gap of sociomedical disparity?Marcio Fabri dos Anjos, Medical Ethics in the Developing World: A Liberation Theology Perspective.

A growing body of literature critical of ethics review boards has drawn attention to the processes used to determine the ethical merit of research. Citing criticism on the bureaucratic nature of ethics review processes, this literature provides a useful provocation for (re)considering how the ethics review might be enacted. Much of this criticism focuses on how ethics review boards _deliberate,_ with particular attention given to the lack of transparency and opportunities for researcher recourse that characterise ethics review processes. Centered specifically (...) on the conduct of ethics review boards convened within university settings, this paper draws on these inherent criticisms to consider the ways that ethics review boards might enact more communicative and deliberative practices. Outlining a set of principles against which ethics review boards might establish strategies for engaging with researchers and research communities, this paper draws attention to how _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ for the ethics review might be enacted in the day-to-day practice of the university human ethics review board. This paper develops these themes via a conceptual lens derived from Habermas’ (The theory of communicative action. Volume 1: Reason and the rationalization of society, 1984 ) articulation of ‘communicative action’ and Fraser’s (Social Text, 25(26), 56–80, 1990 ) consideration of ‘strong publics’ to cast consideration of the role that human ethics review boards might play in supporting university research cultures. _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ provide useful conceptual prompts for considering how ethics review boards might undertake their work. (shrink)

In this paper, we argue that lack of access to the fruits of modern medicine and the science that informs it is an important and neglected topic within bioethics and medical ethics. This is especially clear to those working in what are now termed ‘resource‐poor settings’– to those working, in plain language, among populations living in dire poverty. We draw on our experience with infectious diseases in some of the poorest communities in the world to interrogate the central imperatives of (...) bioethics and medical ethics. AIDS, tuberculosis, and malaria are the three leading infectious killers of adults in the world today. Because each disease is treatable with already available therapies, the lack of access to medical care is widely perceived in heavily disease‐burdened areas as constituting an ethical and moral dilemma. In settings in which research on these diseases are conducted but there is little in the way of therapy, there is much talk of first world diagnostics and third world therapeutics.Here we call for the ‘resocialising’ of ethics. To resocialise medical ethics will involve using the socialising disciplines to contextualise fully ethical dilemmas in settings of poverty and, a related gambit, the systematic participation of the destitute sick. Clinical research across steep gradients also needs to be linked with the interventions that are demanded by the poor and otherwise marginalised. We conclude that medical ethics must grapple more persistently with the growing problem posed by the yawning ‘outcome gap’ between rich and poor. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

Medicine and its allied health sciences have for too long been peripherally involved in work on human rights. Fifty years ago, the door to greater involvement was opened by Article 25 of the Universal Declaration of Human Rights, which underlined social and economic rights: “Everyone has the right to a standard of living adequate for the health and well-being of himself and his family, including food, clothing, housing, and medical care and necessary social services, and the right to security in (...) the event of unemployment, sickness, disability, widowhood, old age or other lack of livelihood in circumstances beyond his control.”. (shrink)

Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF, which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF for partial (...) functions corresponds closely to mathematical practice, and the formulation of PF adheres tightly to the framework of Church's system. (shrink)

Medicine and its allied health sciences have for too long been peripherally involved in work on human rights. Fifty years ago, the door to greater involvement was opened by Article 25 of the Universal Declaration of Human Rights, which underlined social and economic rights: “Everyone has the right to a standard of living adequate for the health and well-being of himself and his family, including food, clothing, housing, and medical care and necessary social services, and the right to security in (...) the event of unemployment, sickness, disability, widowhood, old age or other lack of livelihood in circumstances beyond his control.”. (shrink)

Although several theories of online syntactic processing assume the parallel activation of multiple syntactic representations, evidence supporting simultaneous activation has been inconclusive. Here, the continuous and non‐ballistic properties of computer mouse movements are exploited, by recording their streaming x, y coordinates to procure evidence regarding parallel versus serial processing. Participants heard structurally ambiguous sentences while viewing scenes with properties either supporting or not supporting the difficult modifier interpretation. The curvatures of the elicited trajectories revealed both an effect of visual context (...) and graded competition between simultaneously active syntactic representations. The results are discussed in the context of 3 major groups of theories within the domain of sentence processing. (shrink)

This article focuses on the question of the function of imitation and whether current accounts of imitative function are consistent with our knowledge about imitation's origins. We first review theories of imitative origin concluding that empirical evidence suggests that imitation arises from domain‐general learning mechanisms. Next, we lay out a selective account of function that allows normative functions to be ascribed to learned behaviours. We then describe and review four accounts of the function of imitation before evaluating the relationship between (...) the claim that imitation arises out of domain‐general learning mechanisms and theories of the function of imitation. (shrink)

The k-provability for an axiomatic system A is to determine, given an integer k 1 and a formula in the language of A, whether or not there is a proof of in A containing at most k lines. In this paper we develop a unification-theoretic method for investigating the k-provability problem for Parikh systems, which are first-order axiomatic systems that contain a finite number of axiom schemata and a finite number of rules of inference. We show that the k-provability problem (...) for a Parikh system reduces to a unification problem that is essentially the unification problem for second-order terms. By solving various subproblems of this unification problem , we solve the k- probability problem for a variety of Parikh systems, including several formulations of Peano arithmetic. Our method for investigating the k-provability problem employs algorithms that compute and characterize unifiers. We give some examples of how these algorithms can be used to solve complexity problems other than the k-provability problem. (shrink)

The prevalence of psychosocial distress is increasing in the United States. At the same time, the American default lifestyle has steadily displaced household food production with industrial food production, despite increased cultural interest in cooking. An important focus of cooking research to date has been on cooking’s association with nutrition and dietary quality. Less focus has been placed on how cooking might foster the qualities that allow for mitigation of psychosocial distress and promote well-being. Rooted in its evolutionary role in (...) the human experience, cooking requires skills and knowledge that have the capacity to encourage aspects of well-being as described by Seligman as flourishing. Evidence for a beneficial role of cooking in psychosocial health exists, but the exploration is limited, potentially due to lack of a theoretical context to explain these benefits. From this perspective, we review the current literature showing the application of Seligman’s prominent well-being model, Positive emotion, Engagement, Relationships, Meaning, and Accomplishment (PERMA), to cooking, defined as the activity related to the preparation of food or a meal. We propose that the PERMA model as applied to cooking may function as a theoretical framework to explore psychosocial outcomes associated with cooking. Broader application of this approach may also help to further the application of positive psychology in the developing literature around psychosocial health and nutrition-related chronic diseases. (shrink)

Although it is often said that economics is too much like physics, to a physicist economics is not at all like physics. The difference is in the scientific methods of the two fields: theoretical economics uses a top down approach in which hypothesis and mathematical rigor come first and empirical confirmation comes second. Physics, in contrast, embraces the bottom up ‘experimental philosophy’ of Newton, in which ‘hypotheses are inferred from phenomena, and afterward rendered general by induction’. Progress would accelerates if (...) economics were to truly make empirical verification the ultimate arbiter of theories, which would force it to open up to alternative approaches. (shrink)

This paper presents an algorithm that, given a finite set E of pairs of second-order monadic terms, returns a finite set U of ‘substitution schemata’ such that a substitution unifies E iff it is an instance of some member of U . Moreover, E is unifiable precisely if U is not empty. The algorithm terminates on all inputs, unlike the unification algorithms for second-order monadic terms developed by G. Huet and G. Winterstein. The substitution schemata in U use expressions which (...) represent sets of terms that differ only in how many times designated strings of function constants follow themselves. The substitution schemata may contain unresolved ‘identity restrictions’; consequently, the members of U generally do not characterize all the unifiers of E in a completely explicit way. The algorithm is particularly useful for investigating the complexity of formal proofs. (shrink)

The fourth volume in the Criminalization series, this volume explores some of the most general principles and theories of criminalization. It includes not only philosophical work, but also historical, legal, and sociological investigations into criminalization, clarifying the state of the discipline today.

Volume 10, Issue 1, March 2019, Page 110-113.

We investigated associations between moral reasoning and epistemological beliefs in an accounting context using the sample of 140 senior accounting students from a public university in Midwestern U. S. We found no significant correlations between accounting students' principled reasoning about Thome's ethical dilemmas and their beliefs about knowledge measured by administering Schommer epistemological questionnaire. We conducted post-hoc power analysis and present the evidence that the lack of associations should not be attributed to the lack of power. Overall, our results suggest (...) that reflective thinking and moral reasoning represent separate dimensions of cognitive process which develop at a different pace. Thus, a stand-alone course of ethics in accounting education is warranted since higher moral reasoning does not automatically follow from extended technical education and improved critical thinking skills. (shrink)

Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to partial functions (...) can be formalized in a range of formalisms that includes first-order logic, simple type theory, and Von-Neumann—Bernays—Gödel set theory. It argues that these new formalisms allow one to directly reason about partial functions; are based on natural, well-understood, familiar principles; and can be effectively implemented in mechanized mathematics systems. (shrink)