The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more specifically: (...) between protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

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)

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)

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.

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 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)

Traditional approaches to animal ethics commonly emerge from one of two influential ethical theories: Regan’s deontology (The case for animal rights. University of California, Berkeley, 1983) and Singer’s preference utilitarianism (Animal liberation. Avon Books, New York, 1975). I argue that both of the theories are unsuccessful at providing adequate protection for animals because they are unable to satisfy the three conditions of a minimally decent theory of animal protection. While Singer’s theory is overly permissive, Regan’s theory is too restrictive. I (...) argue that a minimally decent animal ethic requires a framework that allows for context-dependent considerations of our complex human–animal relationship in a non-ideal world. A plausible theory which exemplifies this new ethic is virtue ethics. (shrink)

The purpose of this paper is twofold: first we outline a version of non-descriptivism, ‘minimal expressivism’, leaving aside certain long-standing problems associated with conventional expressivist views. Second, we examine the way in which familiar expressivist results can be accommodated within this framework, through a particular interpretation that the expressive realm lends to a theory of meaning. Expressivist theories of meaning address only a portion of the classical problems attributed to this position when they seek to explain why the expressions (...) they deal with have a given meaning. A position can nevertheless be termed ‘expressivist’ – in the minimal sense that we favor – based simply on the following key features of the meaning of these expressions: they can be used as functions of propositions, and they are not used to describe the way the world is. (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)

Cooperation has been analyzed primarily in the context of theories of collective intentionality. These discussions have primarily focused on interactions between pairs or small groups of agents who know one another personally. Cooperative game theory has also been used to argue for a form of cooperation in large unorganized groups. Here I consider a form of minimal cooperation that can arise among members of potentially large organized groups (e.g., corporate teams, committees, governmental bodies). I argue that members of organized (...) groups can be minimally cooperative in virtue of playing roles in an organizational structure and having a common goal. The minimal form of cooperation I argue for is not grounded in collective intentions involving symmetric mental states, special collective intentional modes, or joint commitments. More generally, I show how considering minimal cooperation in the context of organized groups provides an opportunity to reevaluate the extent to which the social world and social phenomena depend on internalist mental factors (e.g., intentions, beliefs) and externalist non-mental factors (e.g., documents, laws, job descriptions). The view of minimal cooperation among members of organized groups I offer provides support for an externalist rather than internalist theory of at least one social phenomenon. (shrink)

This article focuses on the question of how we perceive and represent ourselves at the most minimal, pre-reflective level. We first review recent work emphasizing the multisensory basis of our perceptual experiences and the embodied nature of self-awareness. We then focus on interoceptive and tactile signals, as key components of bodily self-consciousness, and discuss one crucial yet overlooked aspect of our embodiment, namely the fact that bodily self-consciousness emerges from the outset within the body of another experiencing subject. Next, (...) we review empirical findings highlighting the developmental primacy of tactile and interoceptive over visual experiences, in shaping the foundations of perceptual awareness. Building upon the influential predictive processing framework in philosophy and theoretical neuroscience, we argue that self-awareness is not only embodied, but also that perceptual experiences are fundamentally 'selfish', that is, imperatively driven by basic constraints of physiological regulation that subserve self-preservation. We then evaluate. (shrink)

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)

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

In this chapter, a generic definition of fundamentality as an ontological minimality thesis is sought and its applicability examined. Most discussions of fundamentality are focused on a mereological understanding of the hierarchical structure of reality, which may be combined with an atomistic, object-oriented metaphysics. But recent work in structuralism, for instance, calls for an alternative understanding and it is not immediately clear that the conception of fundamentality at work in structuralism is commensurable with the mereological conception. However, it is proposed (...) that once we understand fundamentality as an ontological minimality thesis, these two as well as further conceptions of fundamentality can all be treated on a par, including metaphysical infinitism of the ‘boring’ type, where the same structure repeats infinitely. (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)

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 chapter seeks to recover an approach to consciousness from a general theory of brain function, namely the prediction error minimization theory. The way this theory applies to mental and developmental disorder demonstrates its relevance to consciousness. The resulting view is discussed in relation to a contemporary theory of consciousness, namely the idea that conscious perception depends on Bayesian metacognition; this theory is also supported by considerations of psychopathology. This Bayesian theory is first disconnected from the higher-order thought theory, and (...) then, via a prediction error conception of action, connected instead to the global neuronal workspace theory. Considerations of mental and developmental disorder therefore show that a very general theory of brain function is relevant to explaining the structure of conscious perception; furthermore, this theory can subsume and unify two contemporary approaches to consciousness, in a move that seeks to elucidate the fundamental mechanism for selection of representational content into consciousness. (shrink)

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)

The purpose of this paper is twofold: first we outline a version of non‐descriptivism, ‘minimal expressivism’, leaving aside certain long‐standing problems associated with conventional expressivist views. Second, we examine the way in which familiar expressivist results can be accommodated within this framework, through a particular interpretation that the expressive realm lends to a theory of meaning. Expressivist theories of meaning address only a portion of the classical problems attributed to this position when they seek to explain why the expressions (...) they deal with have a given meaning. A position can nevertheless be termed ‘expressivist’ – in the minimal sense that we favor – based simply on the following key features of the meaning of these expressions: they can be used as functions of propositions, and they are not used to describe the way the world is. (shrink)

There is a tension in our theorizing about laws of nature: our practice of using and reasoning with laws of nature suggests that laws are universal generalizations, but if laws are universal generalizations then we face the problem of explanatory circularity. In this paper I elucidate this tension and show how it motivates a view of laws that I call Minimal Anti-Humeanism. This view says that the laws are the universal generalizations that are not grounded in their instances. I (...) argue that this view has a variety of advantages that could make it attractive to people with both Humean and anti-Humean inclinations. (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.

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)

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.

Semantic Minimalists make a proprietary claim to explaining the possibility of utterances sharing content across contexts. Further, they claim that an inability to explain shared content dooms varieties of Contextualism. In what follows, I argue that there are a series of barriers to explaining shared content for the Minimalist, only some of which the Contextualist also faces, including: (i) how the type-identity of utterances is established, (ii) what counts as repetition of type-identical utterances, (iii) how it can be determined whether (...) semantically minimal content has been repeated, and (iv) what the nature of such content is. (shrink)

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).

The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is shown (...) that the logical closure of a theory under this logic is trivial only if its closure under LP is trivial. (shrink)

In the classical Turing test, participants are challenged to tell whether they are interacting with another human being or with a machine. The way the interaction takes place is not direct, but a distant conversation through computer screen messages. Basic forms of interaction are face-to-face and embodied, context-dependent and based on the detection of reciprocal sensorimotor contingencies. Our idea is that interaction detection requires the integration of proprioceptive and interoceptive patterns with sensorimotor patterns, within quite short time lapses, so that (...) they appear as mutually contingent, as reciprocal. In other words, the experience of interaction takes place when sensorimotor patterns are contingent upon one’s own movements, and vice versa. I react to your movement, you react to mine. When I notice both components, I come to experience an interaction. Therefore, we designed a “minimal” Turing test to investigate how much information is required to detect these reciprocal sensorimotor contingencies. Using a new version of the perceptual crossing paradigm, we tested whether participants resorted to interaction detection to tell apart human from machine agents in repeated encounters with these agents. In two studies, we presented participants with movements of a human agent, either online or offline, and movements of a computerized oscillatory agent in three different blocks. In each block, either auditory or audiovisual feedback was provided along each trial. Analysis of participants’ explicit responses and of the implicit information subsumed in the dynamics of their series will reveal evidence that participants use the reciprocal sensorimotor contingencies within short time windows. For a machine to pass this minimal Turing test, it should be able to generate this sort of reciprocal contingencies. (shrink)

In the recent debate about the semantics of perspectival expressions, disagreement has played a crucial role. In a nutshell, what I call “the challenge from disagreement” is the objection that certain views on the market cannot account for the intuition of disagreement present in ordinary exchanges involving perspectival expressions like “Licorice is tasty./no, it’s not.” Various contextualist answers to this challenge have been proposed, and this has led to a proliferation of notions of disagreement. It is now accepted in the (...) debate that there are many notions of disagreement and that the search for a common, basic notion is misguided. In this paper I attempt to find such a basic notion underneath this diversity. The main aim of the paper is to motivate, forge and defend a notion of “minimal disagreement” that has beneficial effects for the debate over the semantics of perspectival expressions. (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 theory of mind is presented in the theory of mind literature as a middle ground between full-blown ToM and mere behavior-reading. Minimal ToM seems to be a useful construct for studying and understanding the minds of nonhuman animals and infants. However, providing an account of minimal ToM on which minimal mindreading is significantly less demanding than full-blown mindreading yet more than just a behavior-reading process is a challenge. In this paper, I argue that to address (...) this challenge, we need to depart from the traditional framework of mindreading in more radical ways than offered by current minimal theory of mind accounts. First, I explain the traditional view of mindreading on which mental state attribution is treated as essential for mindreading and analyze the general respects in which it makes mindreading demanding for the mindreader, such as requiring the mindreader to have concepts of mental states, engage in inferential reasoning processes involving mental states, and form meta-representations. Then I discuss and critically evaluate two accounts of minimal ToM and argue that these accounts either do not depart sufficiently from the demanding requirements of traditional mindreading or risk becoming re-descriptions of behavior-reading accounts. Finally, I present an alternative Millikanian account of minimal ToM that avoids this risk while departing more radically from the traditional view of mindreading by providing a way for minimal mindreaders to represent the mental states of others and respond to them without engaging in conceptual mental state attribution. (shrink)

In June of 2008, the International Society for Comparative Studies of Chinese and Western Philosophy (ISCWP) convened its third Constructive Engagement conference, on the theme of “Comparative Philosophy Methodology.” During the opening speeches, Prof. Dunhua ZHAO, Chair of the Philosophy Department at Peking University, challenged the conference’s participants to put forward a minimal definition of “comparative philosophy” and a statement of its methods. Based on the papers from the conference and the extensive discussion that ensued, during my closing reflections (...) at the end of the conference I offered a tentative synthesis of the conference’s conclusions. That summary has already been published on-line as part of the bi-annual ISCWP newsletter (Angle 2008). In this brief essay, I recapitulate the themes of my earlier summary and expand, in my own voice, on some of the key points. (shrink)

A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner k-system is a linear space such that each line has size exactly k. Clearly, as a two-sorted structure, no linear space can be strongly minimal. We formulate linear spaces in a vocabulary $\tau $ with a single ternary relation R. We prove that for every integer k there exist $2^{\aleph _0}$ -many integer valued functions $\mu $ such (...) that each $\mu $ determines a distinct strongly minimal Steiner k-system $\mathcal {G}_\mu $, whose algebraic closure geometry has all the properties of the ab initio Hrushovski construction. Thus each is a counterexample to the Zilber Trichotomy Conjecture. (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)

I give two new uniqueness results for the standard relation of simultaneity in the context of metrical time oriented Minkowski spacetime. These results improve on the classic ones due to Malament and Hogarth, for they adopt only minimal uncontroversial assumptions. I conclude addressing whether these results should be taken to definitely refute the general epistemological thesis of conventionalism.

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

This book develops a novel multilevel social contract theory that, in contrast to existing theories in the liberal tradition, does not merely assume a restricted form of reasonable moral pluralism, but is tailored to the conditions of deeply morally pluralistic societies which may be populated by liberal moral agents, nonliberal moral agents, and, according to the traditional understanding of morality, nonmoral agents alike. The book draws on the history of the social contract tradition, especially the work of Hobbes, Hume, Kant, (...) Rawls, and Gauthier, as well as on the work of some of the critics of this tradition, such as Sen and Gaus. The two-level contractarian theory holds that morality in its best contractarian version for the conditions of deeply morally pluralistic societies entails Humean, Hobbesian, and Kantian moral properties. The theory defines the minimal behavioral restrictions that are necessary to ensure, compared to violent conflict resolution, mutually beneficial peaceful long-term cooperation in deeply morally pluralistic societies. The theory minimizes the problem of compliance for morally diverse societies by maximally respecting the interests of all members of society. Despite its ideal nature, the theory is, in principle, applicable to the real world and, for the conditions described, most promising for securing mutually beneficial peaceful long-term cooperation in a world in which a fully just society, due to moral diversity, is unattainable. If Rawls’ intention was to carry the traditional social contract argument to a higher level of abstraction, then the two-level contractarian theory brings it back down to earth. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally (...) rational believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (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)

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)

The focus of this paper is the recent revival of interest in structuralist approaches to science and, in particular, the structural realist position in philosophy of science . The challenge facing scientific structuralists is three-fold: i) to characterize scientific theories in ‘structural’ terms, and to use this characterization ii) to establish a theory-world connection (including an explanation of applicability) and iii) to address the relationship of ‘structural continuity’ between predecessor and successor theories. Our aim is to appeal to the notion (...) of shared structure between models to reconsider all of these challenges, and, in so doing, to classify the varieties of scientific structuralism and to offer a ‘minimal’ construal that is best viewed from a methodological stance. (shrink)

For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.

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).

In this paper, I give an account of a hitherto neglected kind of ‘here’, which does not work as an intentional indexical. Instead, it automatically refers to the immediate perceptual environment of the subject’s body, which is known as peripersonal space. In between the self and the external world, there is something like a buffer zone, a place in which objects and events have a unique immediate significance for the subject because they may soon be in contact with her. I (...) argue that seeing objects as being here in a minimal sense means seeing them in the place in which the perceptual system expects the world and the body to collide. I further argue that this minimal notion of here-content gives rise to a tactile sense of presence. It provides a unique experiential access to the reality of the seen object by making us aware of its ability to have an effect on us. (shrink)