According to Finite Fine-grainedness (roughly), there is a finite sequence of intuitively small differences between any two welfare levels. The assumption of Finite Fine-grainedness is essential to Gustaf Arrhenius’s favored sixth impossibility theorem in population axiology and plays an important role in the spectrum argument for the (Negative) Repugnant Conclusion. I argue that Theravāda Buddhists will deny Finite Fine-grainedness and consider the space that doing so opens up—and fails to open (...) up—in population axiology. I conclude with a lesson for population axiology that generalizes beyond the Buddhist context: to plausibly deny Finite Fine-grainedness, we must locate a welfare good—such as the good of awakening (bodhi)—with some rather esoteric axiological properties. (shrink)

Arrhenius’s impossibility theorems purport to demonstrate that no population axiology can satisfy each of a small number of intuitively compelling adequacy conditions. However, it has recently been pointed out that each theorem depends on a dubious assumption: Finite Fine-Grainedness. This assumption states that there exists a finite sequence of slight welfare differences between any two welfare levels. Denying Finite Fine-Grainedness makes room for a lexical population axiology which satisfies all of the compelling adequacy (...) conditions in each theorem. Therefore, Arrhenius’s theorems fail to prove that there is no satisfactory population axiology. In this paper, I argue that Arrhenius’s theorems can be repurposed. Since all of our population-affecting actions have a non-zero probability of bringing about more than one distinct population, it is population prospect axiologies that are of practical relevance, and amended versions of Arrhenius’s theorems demonstrate that there is no satisfactory population prospect axiology. These impossibility theorems do not depend on Finite Fine-Grainedness, so lexical views do not escape them. (shrink)

This paper formulates a new argument against the received view in the philosophy of poetry. The received view consists of three tenets: the unity of poetic form and poetic content; the impossibility of paraphrasing and translating poetry; and the hyperintensionality of poetry. We will explore the same detour via direct quotation that has been used by proponents of the received view. We will argue that the hyperintensionality and unity of quotation do not guarantee its untranslatability, and thus that the inference (...) of untranslatability from hyperintensionality and unity is not universally valid. As a consequence, the claim that poetry cannot be translated is left without much support, since it relies on the same kind of inference. However, this does not mean that poetry is translatable; it means only that if it is not translatable, this is due to something other than the combination of hyperintensionality and unity. (shrink)

By recourse to the fundamentals of preference orderings and their numerical representations through linear utility, we address certain questions raised in Nover and Hájek 2004, Hájek and Nover 2006, and Colyvan 2006. In brief, the Pasadena and Altadena games are well-defined and can be assigned any finite utility values while remaining consistent with preferences between those games having well-defined finite expected value. This is also true for the St Petersburg game. Furthermore, the dominance claimed for the Altadena game (...) over the Pasadena game, and that would have been claimed for the St Petersburg game over the Altadena, can be contradicted without fear of inconsistency with the axioms of utility theory. However, insistence upon dominance can be made to yield a contradiction of the Archimedean axiom of utility theory. CiteULike Connotea Del.icio.us What's this? (shrink)

Dariusz Łukasiewicz has investigated in depth the “Argument from Chance” which argues that the data revealing chance in the world are incompatible with Divine Providence. Łukasiewicz agrees that these data undermine the traditional model of Providence—a fine-grained model in which every single detail is controlled by God—but maintains that they are not incompatible with a coarse-grained model—in which God leaves to chance many aspects of history (including some horrendous evils). Furthermore, Łukasiewicz provides independent reasons to prefer this coarse-grained model. (...) Even though I agree that a maximally fine-grained model is undermined by the scientific data, I argue that this is no sufficient reason to adopt a model as coarse-grained as Łukasiewicz’s. I propose a model of intermediate level of fine-grainedness which could avoid the drawbacks of both extremes, and seems to me to provide a more traditional approach to the problem of evil. (shrink)

This chapter discusses why the grounding idiom does not perform as well as we have been led to believe in providing a plausible approach to relative fundamentality. Grounding suffers from some of same deficiencies as supervenience: most prominently, grounding also fails to be sufficiently fine-grained to do its intended explanatory work. In addition, there is doubt as to whether the phenomena collected together under the rubric of grounding are really unified by the presence of a single relation. Grounding turns (...) out not to be helpful in capturing and illuminating what is philosophically important about the traditional substance/non-substance distinction. Although grounding performs better than supervenience in some ways, it does not solve all of the problems to which a supervenience-based approach to relative fundamentality falls prey. (shrink)

I begin by examining a recent debate between John McDowell and Christopher Peacocke over whether the content of perceptual experience is non-conceptual. Although I am sympathetic to Peacocke’s claim that perceptual content is non-conceptual, I suggest a number of ways in which his arguments fail to make that case. This failure stems from an over-emphasis on the "fine-grainedness" of perceptual content - a feature that is relatively unimportant to its non-conceptual structure. I go on to describe two other (...) features of perceptual experience that are more likely to be relevant to the claim that perceptual content is non-conceptual. These features are 1) the dependence of a perceived object on the perceptual context in which it is perceived and 2) the dependence of a perceived property on the object it is perceived to be a property of. (shrink)

Locally finite omega languages were introduced by Ressayre [Formal languages defined by the underlying structure of their words. J Symb Log 53(4):1009–1026, 1988]. These languages are defined by local sentences and extend ω-languages accepted by Büchi automata or defined by monadic second order sentences. We investigate their topological complexity. All locally finite ω-languages are analytic sets, the class LOC ω of locally finite ω-languages meets all finite levels of the Borel hierarchy and there exist some locally (...) finite ω-languages which are Borel sets of infinite rank or even analytic but non-Borel sets. This gives partial answers to questions of Simonnet (Automates et Théorie Descriptive, Ph.D. Thesis. Université Paris 7, March 1992) and of Duparc et al. [Computer science and the fine structure of Borel sets. Theor Comput Sci 257(1–2):85–105, 2001]. (shrink)

This paper presents a generalization of Fine’s completeness theorem for transitive logics of finite width, and proves the Kripke completeness of transitive logics of finite “suc-eq-width”. The frame condition for each finite suc-eq-width axiom requires, in rooted transitive frames, a finite upper bound of cardinality for antichains of points with different proper successors. The paper also presents a generalization of Rybakov’s completeness theorem for transitive logics of prefinite width, and proves the Kripke completeness of transitive (...) logics of prefinite “suc-eq-width”. The frame condition for each prefinite suc-eq-width axiom requires, in rooted transitive frames, a finite upper bound of cardinality for antichains of points that have a finite lower bound of depth and have different proper successors. We will construct continuums of transitive logics of finite suc-eq-width but not of finite width, and continuums of those of prefinite suc-eq-width but not of prefinite width. This shows that our new completeness results cover uncountably many more logics than Fine’s theorem and Rybakov’s theorem respectively. (shrink)

The challenge of giving a semantics for relevance logic in terms of worlds or situations intrigued several logicians. As a solution, Fine gave a two-sorted semantics. We overview the semantics as well as some further work of Fine in the area of relevance logic. Then we show that beyond supplying technical results such as soundness, completeness and the finite model property (fmp) for many logics, the operational–relational semantics provides footing for an informal interpretation and it naturally leads (...) to an interpretation in terms of relevance. (shrink)

We show that there exist 2 ℵ 0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results (...) of Thomason). The constructions use the result of Erd $\H{o}$ s that there are finite graphs with arbitrarily large chromatic number and girth. (shrink)

This text unites the logical and philosophical aspects of set theory in a manner intelligible both to mathematicians without training in formal logic and to logicians without a mathematical background. It combines an elementary level of treatment with the highest possible degree of logical rigor and precision. Starting with an explanation of all the basic logical terms and related operations, the text progresses through a stage-by-stage elaboration that proves the fundamental theorems of finite sets. It focuses on the Bernays (...) theory of finite classes and finite sets, exploring the system's basis and development, including Stage I and Stage II theorems, the theory of finite ordinals, and the theory of finite classes and finite sets. This volume represents an excellent text for undergraduates studying intermediate or advanced logic as well as a fine reference for professional mathematicians. (shrink)

McGrew, McGrew and Vestrup (MMV) have argued that the fine-tuning anthropic principle argument for the existence of God fails because no probabilities can be assigned to the likelihood that physical constants fall in some finite interval. In particular, the fine-tuning argument that, say, some constant must lie in the range (1.000,1.001) in order for intelligent life to be possible is no better than a seemingly absurd coarse-tuning argument based on the need for that constant to lie in (...) the range (0.001, 10000000). The author of this piece defends the coarse tuning argument as a rational piece of reasoning, and, further, argues that the countable additivity assumption in the MMV paper can be dropped in favor of finite additivity. (shrink)

This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is (...) to develop a general model-construction method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section we explore the connection. (shrink)

This article compares two philosophers who have a different theoretical origin: respectively, Arthur C. Danto and Jean-François Lyotard. Both of them are interested in the revolutionary character of Andy Warhol’s art. Danto as well as Lyotard argues that Warhol conceives the work of art as a machine: according to the former, it is a philosophical machine; according to the latter, it is a consumerist machine. Nonetheless, the two hypotheses converge on judging Warhol’s art as a turn in the history of (...) art and its relationship to the world. According to Danto, who follows Hegel here, Warhol at the same time interprets and transcends the 1960s and their Zeitgeist. But paradoxically, Warhol’s historical gesture, epitomized by his work Brillo Box, initiates the age of the “end of art”. According to Lyotard, on the contrary, Warhol represents the end of the critical power of modern art, to which the sublime alone can remediate. The two perspectives converge in the idea that the investigation of repetition is the very center of Warhol’s art. Art has now become the pivot of the Western capitalism and consumerist society. Warhol actually explores the different forms and modes of repetition (commodities, icons, symbols) and, in this way, anticipates the confrontation of contemporary art with the “finite infinite” represented by the media world. (shrink)

This paper deals with two different problems in which infinity plays a central role. I first respond to a claim that infinity renders counting knowledge-level beliefs an infeasible approach to measuring and comparing how much we know. There are two methods of comparing sizes of infinite sets, using the one-to-one correspondence principle or the subset principle, and I argue that we should use the subset principle for measuring knowledge. I then turn to the normalizability and coarse tuning objections to (...) class='Hi'>fine-tuning arguments for the existence of God or a multiverse. These objections center on the difficulty of talking about the epistemic probability of a physical constant falling within a finite life-permitting range when the possible range of that constant is infinite. Applying the lessons learned regarding infinity and the measurement of knowledge, I hope to blunt much of the force of these objections to fine-tuning arguments. (shrink)

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...) of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 blindsight differs (...) from ordinary visual experience in lacking the particularity, transparency and fine-grainedness often taken to be essential to visual experience, at least in veridical cases. I argue that the case of type 2 blindsight provides a counterexample to the view that these characteristics are essential to veridical visual experience and that this gives us reason to resist the view that visual experience is essentially a perceptual relation to external objects. In the second part of the paper I argue that the case of type 2 blindsight yields important insights into the effects of attentional modulation on perceptual content and that cases of attentional modulation of appearance are not at odds with the view that the phenomenology of visual experience flows from its content. (shrink)

Actions unfold in time, and so do experiences of agency. Yet, despite the recent surge of interest in the sense of agency among both philosophers and cognitive scientists, the import of the fact that agentive experiences unfold in time remains to this day largely underappreciated. This chapter argues that agentive experiences should be conceptualized as continuants, whose contents evolve as actions unfold. It attempts to characterize these content shifts, distinguishing two main dimensions of change—changes in scale, or fine-grainedness, (...) and changes in tense—as well as the main action control and action specification processes that underlie them. The chapter further argues that taking into account this temporal dynamics of agentive experiences can help researchers better appreciate in what sense some of the apparently conflicting empirical models of the sense of agency proposed in recent years can be seen as complementary, rather than as rival, thus refining integrative models. (shrink)

: I present an argument for the existence of nonconceptual representational content. The argument is compatible with McDowell's defence of conceptualism against those arguments for nonconceptual content that draw upon claims about the fine‐grainedness of experience. I present a case for nonconceptual content that concentrates on the idea that experience can possess representational content that cannot perform the function of conceptual content, namely figure in the subject's reasons for belief and action. This sort of argument for nonconceptual content (...) is best achieved with examples from auditory perception, especially our perception of music. (shrink)

Sider (2001) and Hawley (2001) argue that, in order to account for the mere possibility of change, temporal parts must be as fine-grained as possible change, and hence as fine-grained as time. However, when dealing with metaphysical possibility, the fine-grainedness of actual time and the fine-grainedness of possible change can come apart. Once this is taken into account, we see that, on certain assumptions about the actual microstructure of time, the modal arguments of Sider (...) and Hawley lead to the problematic claim that temporal parts are more fine-grained than time. The utility of a temporal parts theory thus seems to be sensitive to metaphysically contingent facts concerning the microstructure of time. (shrink)

This thesis investigates the causal theory of properties (CTP). CTP states that properties must be understood via the complicated network of causal relations to which a property can contribute. If an object instantiates the property of being 900C, for instance, it will burn human skin on contact, feel warm to us if near, etc. In order to best understand CTP, I argue that we need to distinguish between properties and particular instances of them. Properties should be analysed via the causal (...) relations their instances stand in, it is this oven’s being 900C which causes my skin to burn, etc. The resulting CTP offers an illuminating analysis of properties. First, it provides a criterion of identity for properties, their identity being analysed via the causal roles property instances realise. It also offers an account of how property instances are sorted into genuine kinds, in cases of determinables and determinates. I show how we can distinguish between genuine and non-genuine similarity via the property instances of objects. The implications of CTP for an analysis of causation are then investigated. I argue that the proposed CTP offers a plausible causal ontology. The fine-grainedness of property instances enables us to capture the subtleties involved in questions concerning what causes what. But, even more importantly, CTP enables us to reconcile two highly attractive theses concerning the causal relation. The first of these is the generalist’s thesis. This states that causal relations are part of more general patterns. The second of these is the singularist’s thesis. This states that the causal connection between two entities, doesn’t depend upon anything extraneous to that relation. I argue that by combining CTP with an ontology of tropes, we can thereby respect what is driving both singularism and generalism.Logic & Metaphysics. (shrink)

In this paper, we discuss an abductive argument for the existence of God from the experience of awe at natural beauty. If God's creative work is a viable explanation for why we experience awe at natural beauty, and there is no satisfactory naturalistic explanation for the origins of such experiences, then we have defeasible evidence that God exists. To evaluate the argument's tenability, we assess the merits of the two main theocentric frameworks that can be marshaled to answer the question (...) of why human beings experience awe at natural beauty: (1) taking the experience of natural beauty as resulting from God's design intentions and (2) conceiving experiences of natural beauty as religious experiences in themselves. We argue that the presence of phenomenological content the fine-grainedness of which exceeds our descriptive and conceptual capacities is better accounted for by the latter hypothesis: experiencing natural beauty amounts to experiencing divine attributes. We conclude that the argument's theological premise is tenable and, having previously argued for the empirical premise (Porcher & De Luca-Noronha, 2021), we conclude that awe at natural beauty is best explained by the existence of God. (shrink)

This thesis consists of a series of papers in population ethics: a subfield of normative ethics concerned with the distinctive issues that arise in cases where our actions can affect the identities or number of people of who ever exist. Each paper can be read independently of the others. In Chapter 1, I present a dilemma for Archimedean views in population axiology: roughly, those views on which adding enough good lives to a population can make that population better than any (...) other. In Chapter 2, I extend Gustaf Arrhenius’s famous impossibility theorems in population axiology into the domain of choices under risk. My risky impossibility theorems dispense with the assumption that welfare levels are finitely fine-grained, and so tell against lexical views in population axiology. In Chapter 3, I present objections to critical-level and critical-range views in population axiology. I then sketch out what I call the ‘Imprecise Exchange Rates View’ and argue that it is an attractive alternative. In Chapter 4, I address critical-level and critical-range views again. This time, I note that they are vulnerable to objections from biographical identity: identity between lives. I suggest that these objections give us reason to reject critical-level and critical-range views and embrace the Total View. In Chapter 5, I argue that objections of the same form – objections from personal identity – tell against person-affecting views in population ethics. In Chapter 6, I draw out some counterintuitive implications of two recent complaints-based theories of the procreation asymmetry. (shrink)

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial (...) characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and linguistics. Despite this interest, there has been limited study of the various logics that arise from the semantics. This paper aims to address this gap by exploring numerous ‘truthmaker logics’ and proving their compactness and decidability. This is in continuation with the inquiry of Fine and Jago (2019), who proved compactness and decidability for a particular (...) kind of truthmaker logic. The key results going into this are (1) ‘standard translations’ into first-order logic; (2) a truthmaker analogue of the finite model property; and (3) a proof showing that truthmaker consequence on semilattices coincides with truthmaker consequence on complete lattices. Finally, the connection with modal logic is examined. Specifically, it is illustrated how endowing truthmaker semantics with classical negation results in modal information logics. (shrink)

We prove that if a modal formula is refuted on a wK4-algebra ( B ,□), then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of ( B ,□). As an immediate consequence, we obtain that each subframe and cofinal subframe logic over wK4 has the finite model property. On the one hand, this provides a purely algebraic proof of the results of Fine and Zakharyaschev for K4 . On the (...) other hand, it extends the Fine-Zakharyaschev results to wK4. (shrink)

We construct, for any finite dimension n, a new hidden measurement model for quantum mechanics based on representing quantum transition probabilities by the volume of regions in projective Hilbert space. For n=2 our model is equivalent to the Aerts sphere model and serves as a generalization of it for dimensions n .≥ 3 We also show how to construct a hidden variables scheme based on hidden measurements and we discuss how joint distributions arise in our hidden variables scheme and (...) their relationship with the results of Fine [J. Math. Phys. 23 1306 (1982)]. (shrink)

This chapter contains sections titled: * 1 The Universe Is Weirdly Fine-Tuned for Life * 2 The Cosmic Code * 3 The Concept of Laws * 4 Are the Laws Real? * 5 Does a Multiverse Explain the Goldilocks Enigma? * 6 Many Scientists Hate the Multiverse Idea * 7 Who Designed the Multiverse? * 8 If There Were a Unique Final Theory, God Would Be Redundant * 9 What Exists and What Doesn’t: Who or What Gets to Decide? (...) * 10 The Origin of the Rule That Separates What Exists From What Doesn’t * 11 Why Mind Matters * 12 The Universe as a Finite Computer Exposes the Fiction of Idealized Laws * 13 Quantum Mechanics Could Permit the Feedback Loop Between Mind and the Laws Of Physics * Notes. (shrink)

The so-called ‘Adams’ Thesis’ is often understood as the claim that the assertibility of an indicative conditional equals the corresponding conditional probability—schematically: $${({\rm AT})}\qquad\qquad\quad As(A\rightarrow B)=P({B|A}),{\rm provided}\quad P(A)\neq 0.$$ The Thesis is taken by many to be a touchstone of any theorizing about indicative conditionals. Yet it is unclear exactly what the Thesis is . I suggest some precise statements of it. I then rebut a number of arguments that have been given in its favor. Finally, I offer a new (...) argument against it. I appeal to an old triviality result of mine against ‘Stalnaker’s Thesis’ that the probability of a conditional equals the corresponding conditional probability. I showed that for all finite-ranged probability functions, there are strictly more distinct values of conditional probabilities than there are distinct values of probabilities of conditionals, so they cannot all be paired up as Stalnaker’s Thesis promises. Conditional probabilities are too fine-grained to coincide with probabilities of conditionals across the board. If the assertibilities of conditionals are to coincide with conditional probabilities across the board, then assertibilities must be finer-grained than probabilities. I contend that this is implausible—it is surely the other way round. I generalize this argument to other interpretations of ‘ As ’, including ‘acceptability’ and ‘assentability’. I find it hard to see how any such figure of merit for conditionals can systematically align with the corresponding conditional probabilities. (shrink)

The Bayesian theorem on convergence to the truth states that a rational inquirer believes with certainty that her degrees of belief capture the truth about a large swath of hypotheses with increasing evidence. This result has been criticized as showcasing a problematic kind of epistemic immodesty when applied to infinite hypotheses that can never be approximated by finite evidence. The central point at issue—that certain hypotheses may forever be beyond the reach of a finite investigation no matter how (...) large one’s reservoir of evidence—cannot be captured adequately within standard probability theory. As an alternative, I propose a nonstandard probabilistic framework that, by using arbitrarily small and large numbers, makes room for the type of fine-grained conceptual distinctions appropriate for a deeper analysis of convergence to the truth. This framework allows for the right kind of modesty about attaining truth in the limit. (shrink)

"L’organisation d’une pénalité d’enfermement n’est pas simplement récente, elle est énigmatique. Qu’est-ce qui pénètre dans la prison? En tout cas, pas la loi. Que fabrique-t-elle? Une communauté d’ennemis intérieurs". C’est en ces termes que Michel Foucault dénonce, dans ce cours prononcé en 1973, et que viendra compléter, en 1975, son ouvrage Surveiller et punir, le "cercle carcéral". La Société punitive étudie ainsi comment les sociétés traitent les individus ou les groupes dont elles souhaitent se débarrasser, c’est-à-dire les tactiques punitives, mais (...) aussi la prise de pouvoir sur le corps et sur le temps et l’instauration du couple pénalité-délinquance. Michel Foucault retrace l'histoire des "tactiques fines de la sanction" dont il distingue quatre modalités : exiler ; imposer un rachat ; marquer ; enfermer. C'est dans la seconde moitié du XVIIIe siècle que se développe une "science des prisons" à fonction corrective et que se construit un discours sur le criminel et son traitement possible, donnant naissance à un schéma de société qui vise à l’absolu du contrôle et de la surveillance. L’ajustement entre le système judiciaire et le mécanisme de surveillance (l’organisation d’une police), entre l’émergence de la richesse et la pratique des illégalismes, entre la force corporelle de l’ouvrier et l’appareil de production s’accomplit ensuite au tournant du XIXe siècle. Foucault démontre donc que ce sont les instances de contrôle para-pénal du XVIIe et du XVIIIe siècle qui ont abouti, in fine, au fonctionnement de la prison, visant à l’élimination du désordre, au contrôle de la distribution spatiale des individus, de leur emplacement par rapport à l’appareil productif. La Société punitive finit par poser la question, cruciale aux yeux du philosophe, de la validité intrinsèque de la loi pénale. A-t-elle vocation universelle ou se limite-t-elle à la douteuse applicabilité d’une somme de décrets? (shrink)

Within both philosophy and psychology, a new pro-emotion consensus is replacing the old dogmas that emotions disrupt practical rationality, that they are at best arational, if not outright irrational, and that we can understand what is really central to human cognition without studying them. Emotions are now commonly viewed as evolved capacities that are integral to our practical rationality. An infinite mind, unencumbered by a body, might get along just fine without emotions; but we finite embodied creatures need (...) them if we are to be capable of responding appropriately to our reasons and navigating in a risky world with poor information, limited attention, and restricted computational power. Emotions are clever design solutions to the problem of making fast decisions in response to significant practical problems posed by the natural and social worlds: we perceive a danger and fear immediately primes us to take protective action. On this view, the theory of emotions is an essential part of a theory of ecologically situated and constrained rationality - that is to say, of human rationality. (shrink)

To express fine-grained resource-sensitive reasoning, a temporal soft linear logic (TSLL) is introduced as an extension of both Girard's (propositional classical) linear logic (CLL) and Lafont's (propositional classical) soft linear logic (SLL). It is known that the linear exponential operator in CLL can express a specific infinitely reusable resource, i.e. it is reusable not only for any number, but also many times. In contrast, the soft exponential operator in SLL, which is a weak version of the linear exponential operator, (...) can express a specific usable resource, i.e. it is usable in any number, but only once (i.e. it is consumed after use). In TSLL, the resource operators (i.e. linear and soft exponentials) and some temporal operators are combined based on the interpretation that “time” is regarded as a “resource”. The completeness theorem (with respect to phase semantics) for TSLL and the cut-elimination and decidability theorems for some subsystems of TSLL are proved as the main results of this paper. A decidable subsystem, called a bounded soft linear logic (BSLL), which has a restricted soft exponential operator, can represent a specific finitely usable resource. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:CHRISTOLOGY IN POLITICAL AND LIBERATION THEOLOGY R. R. RENO Creighton University Omaha, Nebraska Then I saw heaven opened, and behold, a white horse! He who sat upon it is called Faithful and True, and in righteousness he judges and makes war. His eyes are like a flame of fire, and on his head are many diadems ; and he has a name inscribed which no one knows but himself. (...) He is clad in a robe dipped in blood, and the name by which he is called is The Word of God. And armies of heaven, arrayed in fine linen, white and pure, followed him on white horses. From his mouth issues a sharp sword with which to smite the nations, and he will rule them with a rod of iron; he will tread the wine press of the fury of the wrath of God the Almighty. On his robe and on his thigh he has a name inscribed, King of kings and Lord of lords. Revelation 19:11-16 SHARP IS THE SWORD of The Word of God: so proclaims a growing body of literature in political and liberation theology. Although this literature evidences a deep pluralism when describing wherein the sword is sharp and toward what it is aimed, the unifying claim is that Christianity has decisive political significance. And this significance takes an explicitly theoretical form. Unlike other politically directed theological programs (e.g., Reinhold Niebuhr, Walter Rauschenbush, Paul Lehmann), political and liberation theologies do not restrict the practical to a pre- or post-theoretical moment. The practical questions of liberation and justice are internal to explicitly theological reflection. The manner in which questions of liberation and justice are 291 292 R. R. RENO woven into the fabric of theology is manifold. Juan Luis Segundo, in Liberation of Theology, presents an account of theological method which is necessarily political.1 He attempts to show that, to the degree that it is faithful, theological reflection must be constituted by ideological critique and transformative social commitment. In a similar although more ambiguous way, Matthew Lamb's Solidarity with Victims seeks to build social and political issues into the ground floor of method.2 On a different front, Jiirgen Moltmann's Theology of Hope emphasizes the necessarily political dimension of eschatology.3 Quite far removed from the radicalism of most political and liberation theologies, but equally important and increasingly self-conscious of its theological context, the Roman Catholic human rights tradition can be seen as a political theology which chooses to operate within the context of a strong doctrine of creation.4 1 Juan Luis Segundo, Liberation of Theology. (Maryknoll, New York: Orbis Books, 1976). 2 Lamb's program is more than a methodological proposal for theology in itself. He promotes an interesting mixture of critical theory and interdisciplinary study as a path for all inquiry. The result is a pastiche of Adorno and Lonergan. Lamb explains his interdiscipinary vision as follows : " Such a noetic praxis of theologizing would develop academically institutionalized ways of promoting an intellectual conversion (metanoia) whereby the suffering witness of the victims of history would challenge the systems and theories constitutive of our world experience " (Victims, p. 17). However, the critical element of this interdisciplinary "noetic praxis" which Lamb draws from Adorno's Negative Dialectics militates against this " institutionalized" use. At the deepest level Adorno questions the very possibility of a noetic practice which mediates the reality of experience, and he certainly rejects any institutional reification of the small insights which we might garner. For Adorno, critical thought cannot mediate the actual suffering of concrete individuals ; rather, its ultimate impotence in the face of such a reality mirrors the suffering of finite beings. Thought bears witness formally not materially. This basic feature of Adorno's thought runs counter to Lonergan's cognitive optimism, making Lamb's program interesting but implausible. Matthew Lamb, Solidarity with Victims (New York: Crossroad, 1982). SJiirgen Moltmann, Theology of Hope. (New York: Harper & Row, 1967). 4 David Hollenbach's Claims in Confiict (New York: Paulist Press, 1979) provides an example of a recent attempt to uncover the theological foundations for a theory of rights. Showing that the language of rights flows from a basic respect... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.2 (2001) 193-210 [Access article in PDF] Zeno Against Mathematical Physics Trish Glazebrook Galileo wrote in The Assayer that the universe "is written in the language of mathematics," and therein both established and articulated a foundational belief for the modern physicist. 1 That physical reality can be interpreted mathematically is an assumption so fundamental to modern physics that chaos and super-strings are examples (...) of physical theories developed on the basis of success in mathematics. The mathematics came first, then the physical theory. Quantum theory is an awkward and similar case in point. Despite the fact that there is much agreement among physicists about the mathematical theory, its physical interpretation remains a matter of controversy. There are several interpretations, all of which challenge our everyday assumptions about reality. This led Bohr in 1935 to call for "a radical revision of our attitude towards the problem of physical reality." 2 Arthur Fine, originally a staunch defender of realist interpretations of quantum theory, saw the success of Bohr's Copenhagen interpretation as the end of Einsteinian realism, and subsequently Fine declared that "realism is well and truly dead." 3 Mathematical operators simply do not correspond with real entities in any conceivable way.Ilkka Niiniluoto has argued convincingly, however, that realism is alive and well in quantum theory. 4 The problem is that Bohr is right: quantum theory can be considered to concern the real only upon radical revision of ordinary conceptions of reality. Quantum theory does not describe the real in any meaningful sense of "the real." Rather, it is mathematical projection: ideal rather than real. [End Page 193]Aristotle did not hold that the physicist deciphers nature mathematically. He distinguished the physicist from the mathematician at Physics 2.2 by analogy to the definitions of "snub nose" and "curved." 5 The definition of "snub nose" requires the mention of a nose, that is, of matter which is inseparable from motion, whereas "curved" and other mathematical concepts like " 'odd' and 'even', 'straight'... 'number,' 'line,' and 'figure,' " which are separable from matter and from motion, are investigated by the mathematician. 6 Aristotle claims that physics is different from mathematics because the mathematician investigates physical lines, but not qua physical, and the physicist investigates mathematical lines "but qua physical, not qua mathematical." 7A peculiar consequence of my argument is that it establishes a common principle between two thinkers whose beliefs are otherwise so fundamentally in opposition. Zeno's paradoxes are commonly read as a denial of motion. For Aristotle, that move is axiomatic to the physicist. At 185a15 he considers arguments against this assumption outside the realm of objections to which the physicist must reply. If I am right that Zeno's paradoxes of motion challenge the very notion of mathematical physics, then he and Aristotle agree, contra Galileo, that the universe is not written in the language of mathematics. They simply come to this point from opposite directions, Zeno from an Eleatic thesis that physical reality is illusion, Aristotle from the natural scientist's pragmatic commitment to a truth about nature.I intend to use Zeno's paradoxes of motion to argue that the application of mathematical concepts to the physical world results in paradox. Zeno's arguments are limited within mathematics to geometry. This paper is accordingly a beginning from which I hope more work can be done later. Furthermore, Zeno's paradoxes are standardly read as directed against anyone who disagrees with Parmenides' thesis that there is but one thing which is motionless and indivisible. The paradoxes achieve this end by means of a reductio against the possibility of dividing space and time. That there are four paradoxes is accordingly explicable by the fact that there are four possibilities for the divisibility of space and time. The Achilles argues against the possibility that space and time are both infinitely divisible; the Dichotomy, against the infinite divisibility of space and finite divisibility of time; the Arrow, against the infinite divisibility of time and the finite divisibility of space; and finally, the Stadium shows that time and space cannot both... (shrink)

In classical propositional logic, a theory T is prime iff it is complete. In Łukasiewicz infinite-valued logic the two notions split, completeness being stronger than primeness. Using toric desingularization algorithms and the fine structure of prime ideal spaces of free ℓ -groups, in this paper we shall characterize prime theories in infinite-valued logic. We will show that recursively enumerable prime theories over a finite number of variables are decidable, and we will exhibit an example of an undecidable r.e. (...) prime theory over countably many variables. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Does contemporary science tend to favour pantheism over its rivals or vice versa? Here I take the rivals to be the other members of a five-point spectrum: atheism, polytheism, pantheism, panentheism, and transcendent theism. And the features of contemporary science that I shall consider are: that the Universe has only existed for a finite time; that the Universe is expanding; that there are ubiquitous and pervasive laws of nature; and the ‘fine tuning’ required for life.

In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and linguistics. Despite this interest, there has been limited study of the various logics that arise from the semantics. This paper aims to address this gap by exploring numerous ‘truthmaker logics’ and proving their compactness and decidability. This is in continuation with the inquiry of Fine and Jago (2019), who proved compactness and decidability for a particular (...) kind of truthmaker logic. The key results going into this are (1) ‘standard translations’ into first-order logic; (2) a truthmaker analogue of the finite model property; and (3) a proof showing that truthmaker consequence on semilattices coincides with truthmaker consequence on complete lattices. Finally, the connection with modal logic is examined. Specifically, it is illustrated how endowing truthmaker semantics with classical negation results in modal information logics. (shrink)

It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial Π10 subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to learnability and piecewise computability. As for nonempty Π10 subsets of Cantor space, we show the existence of a finite-Δ20-piecewise degree containing infinitely many finite-2-piecewise degrees, and a finite-2-piecewise degree containing infinitely many finite-Δ20-piecewise degrees 2 denotes the difference of two Πn0 sets), (...) whereas the greatest degrees in these three “finite-Γ-piecewise” degree structures coincide. Moreover, as for nonempty Π10 subsets of Cantor space, we also show that every nonzero finite-2-piecewise degree includes infinitely many Medvedev degrees, every nonzero countable-Δ20-piecewise degree includes infinitely many finite-piecewise degrees, every nonzero finite-2-countable-Δ20-piecewise degree includes infinitely many countable-Δ20-piecewise degrees, and every nonzero Muchnik degree includes infinitely many finite-2-countable-Δ20-piecewise degrees. Indeed, we show that any nonzero Medvedev degree and nonzero countable-Δ20-piecewise degree of a nonempty Π10 subset of Cantor space have the strong anticupping properties. Finally, we obtain an elementary difference between the Medvedev degree structure and the finite-Γ-piecewise degree structure of all subsets of Baire space by showing that none of the finite-Γ-piecewise structures is Brouwerian, where Γ is any of the Wadge classes mentioned above. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:176 BOOK REVIEWS tianity came into being. To take one example: God's involvement with and reaction to genuine novelties introduced into the world as a result of the initiatives of human freedom, rightly renders suspect the conception of God as immutable. But what immutability really claimed was not anything like inertia or unconcern, but only that God was not mutable in any of the ways characteristic of finite (...) realities striving to transcend their limitations. Immutability was predicated as a property of deity whose essence was Pure Actuality-the consummation of all mutation. What this meant to preclude from God was only change that amounted to some sort of further perfecting of his intrinsic being-leaving the way clear for the possibility at least of relational change vis-a-vis a world of creatures. There is no reason why contemporary experiences of God's saving activity in Christ must be articulated only in the conceptual and linguistic categories of the past. But seemingly there ought to be some means of showing that such newer articulations do not repudiate truths achieved in the past and handed on in authentic living tradition. The Catholic University of America Washington, D.C. WILLIAM J. HILL, 0.P. The Church: Communion, Sacrament, Communication. By ROBERT KRESS. New York: Paulist Press, 1985. Pp. iv + 217. $9.95. One of the results of the recent synod is certain to be more attention to deepening our understanding of the church as communion. Robert Kress's fine volume cannot help but be a useful contribution to that discussion. As he succinctly states, "the Church is the communion of believers who exist as the sacrament of Christ, who is the sacrament of God, who is the communion of Father, Son, and Holy Spirit" (p. 59). For Kress any ecclesiology that does not root the church in the triune, perichoretic (a favored word) life of God is a radically truncated one. As a theandric (another favored word) reality, the Church must mirror its ground or source. If that ground is a dynamic, joyous unity-in-diversity, this should be reflected in the life and structures of the ecclesial community. Such is the context in which the author reflects on a variety of themes that are reflective of the post-Vatican II agenda: the relationship among local, regional, and universal churches; the understanding of the church as sacrament; the tension between holiness and office; the meaning of leadership in a community best understood as a perichoretic communion of gifted members. To each of these topics Kress brings a grasp of the BOOK REVIEWS 177 tradition, a wide acquaintance with the relevant theological literature, and a willingness to make provocative judgments ("yes" to the ordination of women; " no " to the new egalitarianism-a church conceived without administrative, pastoral authority.) Kress particularly cherishes the church as "the memory and tradition of Christ." His commitment to this tradition has both rooted him and freed him. He draws knowledgeably on Aquinas and Augustine, Rahner and Heidegger, von Balthasar and the Shepherd of Hermas. Lawrence Cunningham is correct: this book is radically conservative. There is one area where I felt that there was a certain lack. Kress's treatment of the church as sacrament and of the seven sacraments contained much that was valuable: his stress on the sacramentality of ecclesial life as such, his historical analysis of "sacrament", his phenomenolog·y of the nature of Christian worship. Yet all of this seemed strangely abstracted from the liturgical praxis of the Christian community. This lack is especially visible in his admittedly tentative salvation-historical correlation of the sacraments with our sharing in the religious experience of Jesus (pp. 147-148). To make that correlation, especially in the case of Baptism, Confirmation, and Eucharist, without an exp1icit reference to the initiatory, communal dimension of these sacraments is certainly problematic. I would like to make a final comment, not on the substance of the book, but on its editing and proofing. There are a number of errors, the most obvious of which is the elimination of the umlaut from Heribert Miihlen's name. (There is a curious inconsistency, too, in the use of the umlaut. It is used in... (shrink)

Resumen: En este trabajo, presento e intento resolver un problema que la oposición de Kant al eudaimonismo podría plantear al segundo deber de virtud. Tras analizarlo, propondré que el deber de la felicidad ajena consigue disolver al menos uno de los obstáculos para alcanzar la felicidad en la Tierra. El motivo de esto es que el deber de promover los fines de los demás logra reubicar la felicidad hedónica en el plano de la moralidad, algo que la noción intelectual de (...) felicidad como componente del bien supremo no consigue hacer y en esto consiste el rol que el deber de la felicidad ajena cumple en el sistema ético kantiano.: The aim of this paper is to introduce and try to solve a problem Kant’s opposition to eudemonism could pose to the second duty of virtue. After analysing this problem, I hold that the duty to promote the happiness of others dissolves at least one of the obstacles one faces when striving to achieve one’s own happiness on Earth, which we naturally desire as finite rational beings. Unlike the intellectual notion of happiness implied by the concept of the highest good, the duty to promote the happiness of others places hedonic happiness within the realm of morality. This is, I propose, the fundamental role the second duty of virtue plays in Kant’s ethical system. (shrink)

We prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the representation problem (...) of finite relation algebras. (shrink)

Following Part I, this essay (Part II) continues my attempt to develop an ontology of peace by drawing resources from Ricœur’s thought. I begin with Augustine, Dionysius, and Aquinas to show that peace is not contrary to our humanity but is a natural desire that runs with the grain of our being. This account is complicated by the category of the irascible, however, which Ricœur interprets as an appetite for difficulty, suggesting the human desire for peace is not directly continuous (...) with the simple animal desire for rest and repose. Instead, there is a fundamental conflict at the heart of human being, which Ricœur identifies as thumos. I argue that thumos is not opposed to peace, but instead plays the essential role of mobilizing peace, just as it mobilizes other virtues like courage, moderation, and justice. Moreover, the right ordering of thumos does not eliminate the constitutive conflict of the self; right ordering is right conflict, with the right proportion of the disproportion of finite and infinite. As a result, this essay deepens our understanding of peace as more than rest and repose, and in turn also deepens our understanding of what rest is—in faith and hope as the finely tuned affective tension that makes up the self. (shrink)

This book presents a comprehensive overview of the sum rule approach to spectral analysis of orthogonal polynomials, which derives from Gábor Szego's classic 1915 theorem and its 1920 extension. Barry Simon emphasizes necessary and sufficient conditions, and provides mathematical background that until now has been available only in journals. Topics include background from the theory of meromorphic functions on hyperelliptic surfaces and the study of covering maps of the Riemann sphere with a finite number of slits removed. This allows (...) for the first book-length treatment of orthogonal polynomials for measures supported on a finite number of intervals on the real line. In addition to the Szego and Killip-Simon theorems for orthogonal polynomials on the unit circle and orthogonal polynomials on the real line, Simon covers Toda lattices, the moment problem, and Jacobi operators on the Bethe lattice. Recent work on applications of universality of the CD kernel to obtain detailed asymptotics on the fine structure of the zeros is also included. The book places special emphasis on OPRL, which makes it the essential companion volume to the author's earlier books on OPUC. (shrink)

The present study partly supports, partly corrects, and partly complements recent discussions of Arius Didymus fr. 23 and fr. 25 Diels, Aetius I, 20, 1 and Sextus Empiricus AM X, 3-4 = PH III, 124. It proposes a comprehensive interpretation of the first text (A.I), defends the attribution of its content to Zeno of Citium (A.II), interprets the Stoic definitions of space, place and void to be found in the other sources (B.I) and again vindicates the attribution of the core (...) definitions to Zeno (B.II). The central methodological principle is the presumption of innocence for sources.The main conclusions of (A) are: 1. Arius Didymus' fr. 23 deals only with the coherence and the structure of the cosmos, not with its immobility; 2. The coherence of the cosmos, as that of any object, is determined by its hexis which pushes its parts towards its centre; 3. The structure of the cosmos, its stratification into the four concentric spheres of the elements, is determined by the combined effect of (a) the thrust downwards they all undergo from the cosmos' hexis; (b) their own natural weight or lightness and (c) the relative quantitative values of these weights or lightnesses; 4. The reasons adduced against Zeno's authorship are not based on the evidence but on the now prevalent disparaging sceptical approach towards Stobaeus' way of excerpting from Arius.The main conclusions of (B) are: 1. There is no deep contradiction between the various de finitions of space ascribed by our sources to Zeno, Chrysippus and the Stoics in general: what Chrysippus denied was the form of the de finition attributed to Zeno by Aetius, not the concept de fined, even though this form seems to have prevailed later in the school; 2. There is no good reason therefore to question its ascription to Zeno as some modern researchers have done; 3. Here again the error is due to a predominantly sceptical approach towards the reliability of our sources. (shrink)

Theories of rational decision making often abstract away from computational and other resource limitations faced by real agents. An alternative approach known as resource rationality puts such matters front and center, grounding choice and decision in the rational use of finite resources. Anticipated by earlier work in economics and in computer science, this approach has recently seen rapid development and application in the cognitive sciences. Here, the theory of rationality plays a dual role, both as a framework for normative (...) assessment and as a source of scientific hypotheses about how mental processes in fact work. The latter project, often called rational analysis, depends for its success on a fine-grained characterization of the computational problem facing a decision maker, which may in turn depend on realistic assumptions about what the relevant agent is like. As a consequence, resource rationality involves a delicate, but often fruitful interplay between the normative and the descriptive. (shrink)

Several recent interpretations see Hegel's theory of the Concept as a form of conceptual realism, according to which finite reality is articulated by objectively existing concepts. More precisely, this theory has been interpreted as a version of natural kind essentialism, and it has been proposed that its function is to account for the possibility of genuine explanations. This suggests a promising way to reconstruct the argument that Hegel's theory of objective concepts is based on—an argument that shows that the (...) possibility of explanation rests on metaphysical preconditions and that natural kind essentialism gives the only adequate account of those preconditions. But in order for such a reconstruction to be successful, one needs to spell out the metaphysical features in virtue of which Hegelian natural kinds can account for the possibility of explanation. The article takes up this challenge. It offers the first detailed analysis of the modal fine-structure of Hegel's natural kind essentialism and shows how Hegel's position, thus understood, provides the details needed to complete the explanation-based argument. (shrink)