Cho and Martinez-Martin provide a wide-ranging analysis of what they label “digital simulacra”—which are in essence data-driven AI-based simulation models such as digital twins or models used for i...

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

Minimal responsibility threateners are epistemically justified but mistaken in thinking that imposing a nonnegligible risk on others is permissible. On standard accounts, an MRT forfeits her right not to be defensively killed. I propose an alternative account: an MRT is liable only to the degree of harm equivalent to what she risks causing multiplied by her degree of responsibility. Harm imposed on the MRT above that amount is justified as a lesser evil, relative to allowing the MRT to kill her (...) victim. This hybrid account, which generalizes to those are who are more than minimally responsible, has considerable advantages. (shrink)

In Minimal Rationality, Christopher Cherniak boldly challenges the myth of Man the the Rational Animal and the central role that the "perfectly rational...

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as well (...) as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

We study the notion of dp-minimality, beginning by providing several essential facts about dp-minimality, establishing several equivalent definitions for dp-minimality, and comparing dp-minimality to other minimality notions. The majority of the rest of the paper is dedicated to examples. We establish via a simple proof that any weakly o-minimal theory is dp-minimal and then give an example of a weakly o-minimal group not obtained by adding traces of externally definable sets. Next we give an example of a divisible ordered Abelian (...) group which is dp-minimal and not weakly o-minimal. Finally we establish that the field of p -adic numbers is dp-minimal. (shrink)

REVIEW ESSAY The minimal self needs a social update Self and other: Exploring subjectivity, empathy, and shame, by Dan Zahavi, Oxford, Oxford University Press, 2015, 304 pp.

The Minimal Theory of Causation, presented in Graßhoff and May, 2001, aspires to be a version of a regularity analysis of causation able to correctly predict our causal intuitions. In my article, I will argue that it is unsuccessful in this respect. The second aim of the paper will be to defend Hitchcock’s proposal concerning divisions of causal relations against criticism made, in Jakob, 2006 on the basis of the Minimal Theory of Causation.

Contemporary thinkers have not been hesitant to talk about the end of religion, the end of philosophy, or the end of morality. In such a context, our society is based on what Lipovetsky calls a minimal ethics. We live at the crossroads of two types of discourses: one proclaiming moral decadence, and another that speaks about the revival of morality. The fact that ethical maximalism quits the contemporary scene does not necessarily mean that it leaves a complete vacuum. The emptiness (...) opens towards the manifestation of ethical creativity in the space of minimal ethics. In public space, and in administrative ethics, the secularization of ethics offers the possibility of feeling comfortable with promoting a form of moral relativism that does not alienate people from the sensation of ethical certainty that offers existential comfort through its firm values. (shrink)

In a recent paper, Kaplan (Synthese 183:339–373, 2011) takes up the task of extending Craver’s (Explaining the brain, 2007) mechanistic account of explanation in neuroscience to the new territory of computational neuroscience. He presents the model to mechanism mapping (3M) criterion as a condition for a model’s explanatory adequacy. This mechanistic approach is intended to replace earlier accounts which posited a level of computational analysis conceived as distinct and autonomous from underlying mechanistic details. In this paper I discuss work in (...) computational neuroscience that creates difficulties for the mechanist project. Carandini and Heeger (Nat Rev Neurosci 13:51–62, 2012) propose that many neural response properties can be understood in terms of canonical neural computations. These are “standard computational modules that apply the same fundamental operations in a variety of contexts.” Importantly, these computations can have numerous biophysical realisations, and so straightforward examination of the mechanisms underlying these computations carries little explanatory weight. Through a comparison between this modelling approach and minimal models in other branches of science, I argue that computational neuroscience frequently employs a distinct explanatory style, namely, efficient coding explanation. Such explanations cannot be assimilated into the mechanistic framework but do bear interesting similarities with evolutionary and optimality explanations elsewhere in biology. (shrink)

This article discusses minimal model explanations, which we argue are distinct from various causal, mechanical, difference-making, and so on, strategies prominent in the philosophical literature. We contend that what accounts for the explanatory power of these models is not that they have certain features in common with real systems. Rather, the models are explanatory because of a story about why a class of systems will all display the same large-scale behavior because the details that distinguish them are irrelevant. This story (...) explains patterns across extremely diverse systems and shows how minimal models can be used to understand real systems. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

Very few scholars discuss the moral basis of the right of persons accused of crimes to be supplied with attorneys if they cannot afford them. More discussion of the topic is needed, in particular because political theorists who prefer a minimal state deny that indigent persons have such a moral right. This article addresses their contentions by developing three arguments for supplying poor persons accused of crimes with defense attorneys. First, doing so will prevent state officials from becoming emboldened in (...) their dealings with the poor, such that they might come to pose a threat to the non-poor. Second, poor persons who believe that the state does not treat them fairly will have reduced incentives to abide by the law, which will, in turn, increase the cost of the minimal state. Third, the better off should show solidarity with the poor in demanding that the minimal state honor all citizens’ rights to life, liberty, and property. Crucial to these arguments is the claim that a right of indigent defense is unlike other welfare rights in that securing it protects other basic moral rights that minimal statists acknowledge. (shrink)

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to a wide range of different (...) conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

When research poses risks to non‐participant bystanders, it is not always practicable to obtain their consent. One approach to assessing how much research risk may be imposed on nonconsenting bystanders is to examine analogous circumstances, including risk thresholds deemed acceptable for nonconsenting research participants and for nonconsensual risks imposed outside the research setting. For nonconsenting participants, US research regulations typically limit risks to those deemed to be “minimal.” Outside the research context, US tort law tolerates a more flexible “reasonable” risk (...) threshold. This article advances a preliminary case that nonconsenting participants and nonconsenting bystanders exposed to similar research risks may be entitled to the same level of protection, but that risks generated by research may not be special in kind. Thus, limiting research risks to those that are “reasonable,” rather than demanding that they be held to the “minimal” standard, may be the best approach for both nonconsenting participants and nonconsenting bystanders. Further work is needed to establish whether the descriptive standards used to support the analogies relied on here are normatively justifiable, as well as the extent to which the minimal risk standard and the reasonable risk standard would lead to meaningfully different outcomes in practice. (shrink)

The history of contractarian moral theory is long and varied. It includes the classic social contract theories of Hobbes (1651), Hume (1739/1740), and Kant (1785) as well as modern versions of these theories, such as those of Gauthier (1986), Scanlon (1998), Darwall (2006), and Southwood (2010). In Minimal Morality: A Multilevel Social Contract Theory (2018), I continue this tradition by developing a ‘multilevel social contract theory’ that combines Humean, Hobbesian, and Kantian moral features. In this article, I reply to comments (...) by Fred D’Agostino, John Thrasher, Christopher W. Morris, and Peter Vanderschraaf. I am deeply grateful for these commentators’ constructive and engaging comments that, in their own way, shed light on core assumptions and features of the theory. Due to space restrictions, I focus on what I consider to be the main criticisms and have organized my responses thematically. I hope that doing so will also help readers who are less familiar with my work to understand the relevance of multilevel social contract theory for morally diverse societies. (shrink)

I examine the following question: Do actions require representations that are intrinsic to the action itself? Recent work by Mark Rowlands, Michael Wheeler, and Andy Clark suggests that actions may require a minimal form of representation. I argue that the various concepts of minimal representation on offer do not apply to action per se and that a non‐representationalist account that focuses on dynamic systems of self‐organizing continuous reciprocal causation at the sub‐personal level is superior. I further recommend a scientific pragmatism (...) regarding the concept of representation. (shrink)

This paper describes a class of idealized models that illuminate minimal conditions for inequity. Some such models will track the actual causal factors that generate real world inequity. Others may not. Whether or not these models do track these real-world factors is irrelevant to the epistemic role they play in showing that minimal commonplace factors are enough to generate inequity. In such cases, it is the fact that the model does not fit the world that makes it a particularly powerful (...) argumentative tool. As I will argue, this epistemic role is a particularly important one when it comes to modeling inequity, because such models are often also aimed at interventions to stop it. Given this, it is crucial to know if we intervene on the current causes of inequity, what other, common social factors might continue to contribute to it. (shrink)

In this paper I shall deal with the question of whether a State-granted minimal income (which is not the same as a basic income) is a necessary condition in order for individuals (1) to attain a basic level of autonomy; and (2) to develop capabilities that allow them to improve the quality of their life. As a theoretical basis for my analysis I shall use Honneth’s theory of recognition, Sen’s capability approach (also in the version offered by Nussbaum), and Simmel’s (...) concept of independency as developed in his Philosophy of Money. A minimal income aims at guaranteeing not only the survival of the extremely poor (this could also be achieved by emergency programs), but also – in cooperation with other State programs such as education, medical and legal assistance etc – at enabling these individuals to be more independent from their social environment, where dependence often constitutes a strong obstacle to the development of their autonomy. The social and political inclusion of millions of people, both in threshold countries and in poor countries, depends upon the existence of such programs. (shrink)

We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every finite transitive frame admits a minimal characterization over K4, and that this result can not be extended to K.

We explore analogues of o-minimality and weak o-minimality for circularly ordered sets. Much of the theory goes through almost unchanged, since over a parameter the circular order yields a definable linear order. Working over ∅ there are differences. Our main result is a structure theory for ℵ0-categorical weakly circularly minimal structures. There is a 5-homogeneous example which is not 6-homogeneous, but any example which is k-homogeneous for some k ≥ 6 is k-homogeneous for all k.

ABSTRACTThe distinction between minimal self and narrative self has gained ground in recent discussions of selfhood. In this article, this distinction is reassessed by analysing Zahavi and Gallagher’s account of selfhood and supplementing it with Husserl’s concept of person. I argue that Zahavi and Gallagher offer two compatible and complementary notions of self. Nevertheless, the relationship between minimal self and narrative self requires further clarification. Especially the embeddedness of self, the interplay between passivity and activity, and the problems of uniqueness (...) and persistence are better understood with Husserl’s analysis of person and its central concepts of position-taking, habitualities, and overall style. The embeddedness of self is elucidated by outlining how person is related to its environment, to other people, and to its past. This relational notion of self is both passively constituted and actively shaped: person mediates between minimal self characterized by perspectival ownership... (shrink)

We prove that there exists a nonzero recursively enumerable Turing degree possessing a strong minimal cover.

The notion of minimal, basic, pre-reflective or core self is currently debated in the philosophy of mind, cognitive sciences and developmental psychology. However, it is not clear which experiential features such a self is believed to possess. Studying the schizophrenic experience may help exploring the following aspects of the minimal self: the notion of perspective and first person perspective, the ‘mineness’ of the phenomenal field, the questions of transparency, embodiment of point of view, and the issues of agency and ownership, (...) considered as different and less fundamental than the feeling of mineness. Two clinical vignettes of patients with the diagnosis of schizophrenia will be presented: the first one, illustrating early illness stages, and the second case, of chronic schizophrenia, symptomatically marked by persistent hallucinations. Through their analysis, we will discuss the experiential dimensions of minimal self. (shrink)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (shrink)

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the -theorem holds in dp-minimal theories of small or medium directionality.In the second part, we study dp-rank in dp-minimal theories and show that it enjoys many nice properties. It is continuous, definable in families and it can be characterised geometrically with no mention of indiscernible sequences. In particular, if the structure (...) expands a divisible ordered abelian group, then dp-rank coincides with the dimension coming from the order. (shrink)

John Bell showed that a big class of local hidden-variable models stands in conflict with quantum mechanics and experiment. Recently, there were suggestions that empirically adequate hidden-variable models might exist which presuppose a weaker notion of local causality. We will show that a Bell-type inequality can be derived also from these weaker assumptions. IntroductionThe EPR-Bohm experimentLocal causalityBell's inequality from separate common causes4.1 A weak screening-off principle4.2 Perfect correlation and ‘determinism’4.3 A minimal theory for spins4.4 No conspiracyDiscussion.

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

A module is weakly minimal if and only if every pp-definable subgroup is either finite or of finite index. We study weakly minimal modules over several classes of rings, including valuation domains, Prüfer domains and integral group rings.

This is the first in a series of instalments aiming at a minimal model explanation for conscious experience, taking the phenomenal character of “pure consciousness” or “pure awareness” in meditation as its entry point. It develops the concept of “minimal phenomenal experience” as a candidate for the simplest form of consciousness, substantiating it by extracting six semantic constraints from the existing literature and using sixteen phenomenological case-studies to incrementally flesh out the new working concept. One empirical hypothesis is that the (...) phenomenological prototype of “pure awareness”, to which all such reports refer, really is the content of a predictive model, namely, a Bayesian representation of tonic alertness. On a more abstract conceptual level, it can be described as a model of an unpartitioned epistemic space. (shrink)

This article examines the metaphysics and phenomenology of the self or subject of experience. It suggests that the phenomenological description of the minimal subject requires no reference to body, environment, or social relations and argues for a thin conception of subjectivity which equates the subject with the experience itself. Under this principle of minimal conception, the subject does not exist if the person is asleep. It contends that the profound metaphysical question about experience and experiential selves is whether experience is (...) limited to certain types of physical processes, or is characteristic of all physical processes, which would entail panpsychism. (shrink)

We give a complete description of minimal groups infinitely definable in separably closed fields of finite degree of imperfection. In particular we answer positively the question of the existence of such a group with infinite transcendence degree (i.e., a minimal group with non thin generic).

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.

Recent progress in neurosciences has improved our understanding of chronic disorders of consciousness. One example of this advancement is the emergence of the new diagnostic category of minimally conscious state (MCS). The central characteristic of MCS is impaired consciousness. Though the phenomenon now referred to as MCS pre-existed its inclusion in diagnostic classifications, the current medical ethical concepts mainly apply to patients with normal consciousness and to non-conscious patients. Accordingly, how we morally should stand with persons in minimally conscious state (...) remains unclear. In this paper, I examine whether the notion of human dignity could provide us with guidance with the moral difficulties MCS gives rise to. More precisely, I focus on the question of whether we are justified in holding that persons in minimally conscious state possess human dignity. (shrink)

In this book, Christopher Evan Franklin develops and defends a novel version of event-causal libertarianism. This view is a combination of libertarianism--the view that humans sometimes act freely and that those actions are the causal upshots of nondeterministic processes--and agency reductionism--the view that the causal role of the agent in exercises of free will is exhausted by the causal role of mental states and events (e.g., desires and beliefs) involving the agent. Franklin boldly counteracts a dominant theory that has similar (...) aims, put forth by well-known philosopher Robert Kane. -/- Many philosophers contend that event-causal libertarians have no advantage over compatibilists when it comes to securing a distinctively valuable kind of freedom and responsibility. To Franklin, this position is mistaken. Assuming agency reductionism is true, event-causal libertarians need only adopt the most plausible compatibilist theory and add indeterminism at the proper juncture in the genesis of human action. The result is minimal event-causal libertarianism: a model of free will with the metaphysical simplicity of compatibilism and the intuitive power of libertarianism. And yet a worry remains: toward the end of the book, Franklin reconsiders his assumption of agency reductionism, arguing that this picture faces a hitherto unsolved problem. This problem, however, has nothing to do with indeterminism or determinism, or even libertarianism or compatibilism, but with how to understand the nature of the self and its role in the genesis of action. Crucially, if this problem proves unsolvable, then not only is event-causal libertarianism untenable, so also is event-causal compatibilism. (shrink)

Minimal predicates P satisfying a given first-order description ϕ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order 'PIA conditions' ϕ(P) which quarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of 'predicate intersection'. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...) in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond. (shrink)

Batterman and Rice offer an account of “minimal model explanations” and argue against “common features accounts” of those explanations. This paper offers some objections to their proposals and arguments. It argues that their proposal cannot account for the apparent explanatory asymmetry of minimal model explanations. It argues that their account threatens ultimately to collapse into a “common features account.” Finally, it argues against their motivation for thinking that an explanation appealing to “common features” would have to explain the common features’ (...) own prevalence. (shrink)

What, at this historical moment "after Auschwitz," still remains of the questions traditionally asked by theology? What now is theology's minimal degree? This magisterial study, the first extended comparison of the writings of Theodor W. Adorno and Emmanuel Levinas, explores remnants and echoes of religious forms in these thinkers' critiques of secular reason, finding in the work of both a "theology in pianissimo" constituted by the trace of a transcendent other. The author analyzes, systematizes, and formalizes this idea of an (...) other of reason. In addition, he frames these thinkers' innovative projects within the arguments of such intellectual heirs as Jürgen Habermas and Jacques Derrida, defending their work against later accusations of "performative contradiction" (by Habermas) or "empiricism" (by Derrida) and in the process casting important new light on those later writers as well. Attentive to rhetorical and rational features of Adorno's and Levinas's texts, his investigations of the concepts of history, subjectivity, and language in their writings provide a radical interpretation of their paradoxical modes of thought and reveal remarkable and hitherto unsuspected parallels between their philosophical methods, parallels that amount to a plausible way of overcoming certain impasses in contemporary philosophical thinking. In Adorno, this takes the form of a dialectical critique of dialectics in Levinas, that of a phenomenological critique of phenomenology, each of which sheds new light on ancient and modern questions of metaphysics, ethics, and aesthetics. For the English-language publication, the author has extensively revised and updated the prize-winning German version. (shrink)

We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell decomposition theorem for b-minimal structures. We show that b-minimality applies to the theory of Henselian valued fields of characteristic zero, generalizing work by Denef–Pas [25, 26]. Structures which are o-minimal, v-minimal, or p-minimal and which satisfy some slight extra conditions are (...) also b-minimal, but b-minimality leaves more room for nontrivial expansions. The b-minimal setting is intended to be a natural framework for the construction of Euler characteristics and motivic or p-adic integrals. The b-minimal cell decomposition is a generalization of concepts of Cohen [11], Denef [15], and the link between cell decomposition and integration was first made by Denef [13]. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

Classifying research proposals by risk of harm is fundamental to the approval process and the most pivotal risk category in most regulations is that of “minimal risk.” If studies have no more than a minimal risk, for example, a nearly worldwide consensus exists that review boards may sometimes: (1) expedite review, (2) waive or modify some or all elements of informed consent, or (3) enroll vulnerable subjects including healthy children, incapacitated persons and prisoners even if studies do not hold out (...) direct benefits to them. The moral and social purposes behind this threshold are discussed along with relevant views from the National Commission, NBAC, NHRPAC, Grimes v. Kennedy Krieger Institute, The Nuremberg Code, and The WMA's Declaration of Helsinki. Representative policies from Australia, Canada, South Africa, the U.S., and CIOMS are reviewed revealing different understandings of this sorting threshold. Six of nine frequently cited interpretations of “minimal risk” are untenable. The “absolute” interpretation of the “routine examination” standard is defended as best. (shrink)

For years, phenomenological psychiatry has proposed that distortions of the temporal structure of consciousness contribute to the abnormal experiences described before schizophrenia emerges, and may relate to basic disturbances in consciousness of the self. However, considering that temporality refers mainly to an implicit aspect of our relationship with the world, disturbances in the temporal structure of consciousness remain difficult to access. Nonetheless, previous studies have shown a correlation between self disorders and the automatic ability to expect an event in time, (...) suggesting timing is a key issue for the psychopathology of schizophrenia. Timing disorders may represent a target for cognitive remediation, but this requires that disorders can be demonstrated at an individual level. Since cognitive impairments in patients with schizophrenia are discrete, and there is no standardized timing exploration, we focused on timing impairments suggested to be related to self disorders. We present the case report of AF, a 22 year old man suffering from schizophrenia, with no antipsychotic intake. Although AF shows few positive and negative symptoms and has a normal neurocognitive assessment, he shows a high level of disturbance of Minimal Self Disorders (SDs) (assessed with the EASE scale). Moreover, AF has a rare ability to describe his self and time difficulties. An objective assessment of timing ability (variable foreperiod task) confirmed that AF had temporal impairments similar to those previously described in patients, i.e., a preserved ability to distinguish time intervals, but a difficulty to benefit from the passage of time to expect a visual stimulus. He presents additional difficulties in benefitting from temporal cues and adapting to changes in time delays. The impairments were ample enough to yield significant effects with analyses at the individual level. Although causal relationships between subjective and objective impairments cannot be established, the results show that exploring timing deficits at the individual level is possible in patients with schizophrenia. Besides, the results are consistent with hypotheses relating minimal self disorders (SDs) to timing difficulties. They suggest that both subjective and objective timing investigations should be developed further so that their use at an individual level can be generalized in clinical practice. (shrink)

In this paper, we give a constructive nonstandard model of intuitionistic arithmetic (Heyting arithmetic). We present two axiomatisations of the model: one finitary and one infinitary variant. Using the model these axiomatisations are proven to be conservative over ordinary intuitionistic arithmetic. The definition of the model along with the proofs of its properties may be carried out within a constructive and predicative metatheory (such as Martin-Löf's type theory). This paper gives an illustration of the use of sheaf semantics to obtain (...) effective proof-theoretic results.The axiomatisations of nonstandard intuitionistic arithmetic (to be calledHAIandHAIωrespectively) as well as their model are based on the construction in [5] of a sheaf model for arithmetic using a site of filters. In this paper we present a “minimal” version of this model, built instead on a suitable site of provable filter bases. The construction of this site can be viewed as an extension of the well-known construction of the classifying topos for a geometric theory which uses “syntactic sites”. (Such sites can in fact be used to prove semantical completeness of first order logic in a strictly constructive framework, see [6].)We should mention that for classical nonstandard arithmetics there are several nonconstructive methods of proving conservativity over arithmetic, e.g. the compactness theorem, Mac Dowell–Specker's theorem [3]. (shrink)

Recent defenses of same-sex marriage and polygamy have invoked the liberal doctrines of neutrality and public reason. Such reasoning is generally sound but does not go far enough. This paper traces the full implications of political liberalism for marriage. I argue that the constraints of public reason, applied to marriage law, entail ‘minimal marriage’, the most extensive set of state-determined restrictions on marriage compatible with political liberalism. Minimal marriage sets no principled restrictions on the sex or number of spouses and (...) the nature and purpose of their caring relationships, nor on which marital rights are exchanged, and whether they are exchanged reciprocally or asymmetrically. Minimal marriage supports adult care networks, urban tribes, friendships, and other forms of relationships as well as ‘traditional’ marriages. I provide a publically justifiable rationale for a legal framework supporting non-dependent caring relationships between adults. The argument is that caring relationships are primary goods, and that liberal justice accordingly requires legal frameworks supporting caring relationships. Minimal marriage is one such framework. (shrink)