The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

By observing how fatalism expresses itself in one's daily life, in everything from table manners to shopping to sport, the book proposes ways to limit its influence.

_Seeking Understanding: The Lifelong Pursuit to Build the Scientific Mind_ explores the multiple ways in which the human mind grows in understanding of the self and the world as an essential dimension of transformative learning along the lifespan.

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.

A possible way out of the conundrum of quantum gravity is the proposal that general relativity (GR) emerges from an underlying microscopic description. Despite recent interest in the emergent gravity program within the physics as well as the philosophy community, an assessment of the general motivation for this idea is lacking at the moment. We intend to fill this gap in the literature by discussing the main arguments in favour of the hypothesis that the metric field and its dynamics are (...) emergent. First, we distinguish between microstructure inspired from GR, such as through quantization or discretization, and microstructure that is not directly motivated from GR, such as strings, quantum bits or condensed matter fields. The emergent gravity approach can then be defined as the view that the metric field and its dynamics are derivable from the latter type of microstructure. Subsequently, we assess in how far the following properties of (semi-classical) GR are suggestive of underlying microstructure: (1) the metric's universal coupling to matter fields, (2) perturbative non-renormalizability, (3) black hole thermodynamics, and (4) the holographic principle. In the conclusion we formalize the general structure of the plausibility arguments put forward. (shrink)

In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.

PREFACE -/- WHEN first I undertook the study of the theory of Art, many years ago, I was impressed by the emphasis of pleasure attainment in all descriptions of art works, and by the emphatic pleasurableness of my own mental state during the contemplation of artistic productions. -/- My thought being thus turned to the consideration of the relation of æsthetics to hedonics, I was led to make a careful study of the psychology of pleasure and of its correlate pain: (...) the results of this study I here lay before those who may be interested. (shrink)

Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic. However, her factor is unnatural in the sense that it is constructed in an ad hoc manner. We present a more natural example of such a factor. We also show that the theory of every non-trivial factor of the Medvedev lattice is contained in Jankov’s logic, the deductive closure of IPC plus the weak law of the excluded middle ¬p∨¬¬p\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg p \vee \neg \neg p}$$\end{document}. This answers a question by Sorbi and Terwijn. (shrink)

Can anti-deportation resistance be justified, and if so how and by whom may, or perhaps should, unjust deportations be resisted? In this paper, I seek to provide an answer to these questions. The paper starts by describing the main forms and agents of anti-deportation action in the contemporary context. Subsequently, I examine how different justifications for principled resistance and disobedience may each be invoked in the case of deportation resistance. I then explore how worries about the resister’s motivation for engaging (...) in the action and their epistemic position apply in the specific context of anti-deportation action and consider in what circumstances there is not merely a right but a duty to resist deportation. The upshot of this argument, I conclude, is that the liberal state ought to respond to anti-deportation action not by criminalising disobedience and resistance in this field, but rather by creating legal avenues for such actors to influence deportation decision-making. DOI 10.17879/95189423213. (shrink)

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.

We study the model-theoretic aspects of a probability logic suited for talking about measure spaces. This nonclassical logic has a model theory rather different from that of classical predicate logic. In general, not every satisfiable set of sentences has a countable model, but we show that one can always build a model on the unit interval. Also, the probability logic under consideration is not compact. However, using ultraproducts we can prove a compactness theorem for a certain class of weak models.

We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic , arising from the concepts of lowness, 1-genericity, hyperimmune-freeness and computable traceability. This provides a purely computational semantics for IPC.

Authors like Iris Young and Philip Pettit have come up with proposals for theorizing ‘structural injustice’ and social relations marred by ‘domination’. These authors provide conceptual tools for f...

In this note we compare propositional logics for closed substitutions and propositional logics for open substitutions in constructive arithmetical theories. We provide a strong example where these logics diverge in an essential way. We prove that for Markov's Arithmetic, that is, Heyting's Arithmetic plus Markov's principle plus Extended Church's Thesis, the logic of closed and the logic of open substitutions are the same.

In this paper, we show that the predicate logics of consistent extensions of Heyting's Arithmetic plus Church's Thesis with uniqueness condition are complete $\Pi _{2}^{0}$. Similarly, we show that the predicate logic of HA*, i.e. Heyting's Arithmetic plus the Completeness Principle (for HA*) is complete $\Pi _{2}^{0}$. These results extend the known results due to Valery Plisko. To prove the results we adapt Plisko's method to use Tennenbaum's Theorem to prove 'categoricity of interpretations' under certain assumptions.

In this paper, we study finitely axiomatizable conservative extensions of a theoryUin the case whereUis recursively enumerable and not finitely axiomatizable. Stanisław Krajewski posed the question whether there are minimal conservative extensions of this sort. We answer this question negatively.Consider a finite expansion of the signature ofUthat contains at least one predicate symbol of arity ≥ 2. We show that, for any finite extensionαofUin the expanded language that is conservative overU, there is a conservative extensionβofUin the expanded language, such that$\alpha (...) \vdash \beta$and$\beta \not \vdash \alpha$. The result is preserved when we consider eitherextensionsormodel-conservative extensionsofUinstead ofconservative extensions. Moreover, the result is preserved when we replace$\dashv$as ordering on the finitely axiomatized extensions in the expanded language by a relevant kind of interpretability, to witinterpretability that identically translates the symbols of the U-language.We show that the result fails when we consider an expansion with only unary predicate symbols for conservative extensions ofUordered by interpretability that preserves the symbols ofU. (shrink)

The hallmark of implicit learning is that complex knowledge can be acquired unconsciously. The second order conditionals of Reed and Johnson were developed to be complex, and they are popular materials for implicit learning research. Recently, it was demonstrated that in a sequence made noisy , shared features of the SOCs may be learned explicitly . What are these shared features? We hypothesized that low reversal frequency may play a significant role. We have varied reversal frequency, and discovered that reversal (...) frequency affected response times, inclusion exclusion behavior, and recognition ratings. Not only does it appear to be important to distinguish implicit and explicit knowledge, but also to distinguish what the knowledge is of. (shrink)

While the energy transition is needed more than ever, for some agents it brings significant losses. This article investigates whether fossil fuel owners could refer to promises to avoid having their assets stranded. It explains how authors, in the context of just transitions, have argued for the normative relevance of Rawlsian legitimate expectations, which refer to promissory entitlements. However, it argues that the normative relevance of promises towards fossil fuel owners is limited, because there are only few promises about what (...) will be permissible in the future and because these promises should be just before they can lead to entitlements. (shrink)

What sort of entitlements should citizens have in a just society? In this book, Rutger Claassen sets out a theory of what he terms 'navigational agency', whereby citizens should be able to navigate freely between social practices. This shows how individuals can be at the same time free and autonomous in striving for their own goals in life, but also embedded in social practices in which they have to cooperate with others. He argues that for navigational agency, people need (...) three sets of core capabilities: those which allow human empowerment in civil society, a decent level of socio-economic subsistence, and political participation in democratic decision-making procedures. The idea of navigational agency, the book argues, provides an alternative to currently dominant versions of the capability approach to social justice, and strengthens its liberal foundations. (shrink)

This article critically evaluates the possible impact of the Charter on the relationship between the Court of Justice of the European Union and national constitutional courts. While it is premature to provide a definitive assessment of the kind of collaboration that these courts will develop, it is crucial to identify a number of features of the new landscape that will influence the direction in which the relationship between the CJEU and constitutional courts will evolve. This article discusses several reasons that (...) may result in better or a higher number of judicial interactions, as well as factors that may create tension or cause problems in the relationship between the CJEU and national constitutional courts. As such, it offers a framework that may help us to understand future post-Charter judgments by these courts setting out how they conceive their engagement with their counterpart on fundamental rights issues. (shrink)

Authors critical of corporate power focus almost exclusively on one solution: bringing it under democratic control. However important this is, there are at least two other options, which are rarely discussed: reducing powerful firms’ size and influence, or accepting corporate power as a necessary evil. This article provides a comparative perspective for evaluating all three options. It argues that the trade-offs we face in responding to corporate power have a trilemmatic structure. The pure strategies of accepting powerful firms, breaking them (...) up, or rendering them more accountable are each incompatible with one of three important values: power balance, economies of scale, and minimizing agency costs, respectively. While the latter two concepts are purely economic and efficiency-based, the value of power balance can be grounded in a variety of reasons. Different normative interpretations of power balance are discussed, along with their implications for policy choices within the trilemma. (shrink)

Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik lattices. However, they only formalised this for propositional logic, while Kolmogorov also discussed the universal quantifier. We extend the work of Medvedev to first-order logic, using the notion of a first-order hyperdoctrine from categorical logic, to a structure which we will call the hyperdoctrine (...) of mass problems. We study the intermediate logic that the hyperdoctrine of mass problems gives us, and we study the theories of subintervals of the hyperdoctrine of mass problems in an attempt to obtain an analogue of Skvortsova’s result that there is a factor of the Medvedev lattice characterising intuitionistic propositional logic. Finally, we consider Heyting arithmetic in the hyperdoctrine of mass problems and prove an analogue of Tennenbaum’s theorem on computable models of arithmetic. (shrink)

We introduce a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of nonuniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses how uniform a reduction is. We study this notion for several well-known reductions from algorithmic randomness. Furthermore, since our new structures are Brouwer algebras, we study their propositional theories. Finally, we study if our new structures are elementarily equivalent to each other.

ABSTRACT:Demands have been growing upon firms to take actions in the interests of workers, the environment, local communities, and others. Firms sometimes have felt they could best discharge such responsibilities by cooperating with other firms. This, however, is suspect from the point of view of a purely economic interpretation of competition law, since interfirm agreements may raise prices and thus lower welfare for consumers. Should competition law remain focused on competition enhancing economic welfare, or be reformed to allow for acts (...) of cooperation that are socially beneficial? To answer this question, the article provides a philosophical reevaluation of the deep-seated view that firms are merely private actors. It argues that demands of political legitimacy should also be addressed at firms cooperating together, and that standard views of democratic accountability should be broadened, introducing a model of delegated, sequential decision making which allows regulatory agencies and parliaments to control interfirm agreements. (shrink)

Although numerous studies have been devoted to it, the history of wall painting in Late Antiquity is still very imperfectly known. This holds true especially where the chronology and stylistic development of late antique wall painting is concerned. Therefore, any serious study that seeks to advance our knowledge in this particular area is more than welcome, especially when it considers the most important corpus of wall paintings at our disposal, namely the painted cubicula and arcosolia that have survived in the (...) catacombs of Rome. The book under review here is such a study. It is a detailed a carefully-researched work that represents the revised version of a doctoral dissertation written at the University of Munich under the guidance of J.G. Deckers, himself a well known authority in the study of late antique art and archaeology. (shrink)

In the first century, Jews were expelled from Rome on various occasions. Ancient literary sources offer contradictory information on these expulsions. As a result, scholars have offered different reconstructions of what really happened. In contrast to earlier scholarship on the subject, this article seeks to place the expulsions of Jews from first-century Rome into the larger framework of Roman policy toward both Jews and other non-Roman peoples. It is argued that the decision to banish Jews from Rome resulted from pragmatic (...) and not from specifically anti-Jewish considerations: Roman magistrates just wanted to maintain law and order. It is then suggested that the reasons underlying the decision to expel Jews from Rome were essentially the same as those triggering expulsions of other groups such as Isis worshipers, devotees of Bacchus, or astrologers. Such evidence serves to illustrate the two main theses of this article. First, it is argued that in late Republican and early Imperial times, Rome never developed a systematic "Jewish policy." During this period, Rome rather responded to situations when confronted with disputes over Jewish rights. This conclusion then serves to bolster the second thesis of this paper, namely that in the first century, Rome never pursued a consistent policy of tolerance toward its Jewish subjects. (shrink)

A capability approach prescribes paternalist government actions to the extent that it requires the promotion of specific functionings, instead of the corresponding capabilities. Capability theorists have argued that their theories do not have much of these paternalist implications, since promoting capabilities will be the rule, promoting functionings the exception. This paper critically surveys that claim. From a close investigation of Nussbaum's statements about these exceptions, it derives a framework of five categories of functionings promotion that are more or less unavoidable (...) in a capability theory. It argues that some of these categories may have an expansionary dynamic; they may give rise to widespread functionings promotion, which would defeat the capabilitarian promise that paternalist interventions will be exceptions to the rule of a focus on capabilities. Finally, the paper discusses three further theoretical issues that will be decisive in holding this paternalist tendency in check: how high one sets threshold levels of capability protection, how lengthy one's list of basic capabilities is, and how one deals with individual responsibility for choices resulting in a loss of one's capabilities. (shrink)

In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study (...) of certain principles of self-referential truth. (shrink)

Corporations wield power in today’s economies, and political theories of the corporation argue about the legitimacy conditions of corporate power. This paper argues in favour of a double-fiduciary theory for corporations. Based on a concession theory of markets, it sees all markets as authorized by states (in the name of society), for the purpose of creating economic value, or wealth. Hence corporations, as much as non-incorporated firms, have a fiduciary duty to the state/society to create wealth, in the competitive structure (...) of the market. However, their pursuit of wealth often creates unbalanced relations of power between corporations and their stakeholders, which can at some point be classified as instances of domination. Therefore, corporations need to be subjected to a second fiduciary duty, i.e. not to dominate others in the economy. This duty is also, in the final instance, owed to the state/society. In an era when everyone can incorporate their business, states/societies can be interpreted as having, through corporate law, mandated shareholders as ‘proximate beneficiaries’, to incentivize corporations to create wealth. Now states/societies need to think about how to prevent corporations from dominating others. New mechanisms of accountability towards stakeholders and/or citizens as proximate beneficiaries are needed. Only in this way can corporations be effectively held to account for both of the fiduciary duties which characterize their normative status. (shrink)

The capability approach is one of the main contenders in the field of theorizing social justice. Each citizen is entitled to a set of basic capabilities. But which are these? Martha Nussbaum formulated a set of ten central capabilities. Amartya Sen argued they should be selected in a process of public reasoning. Critics object that the Nussbaum-approach is too perfectionist and the Sen-approach is too proceduralist. This paper presents a third alternative: a substantive but non-perfectionist capability theory of justice. It (...) presents a two-level concept of individual agency as connected to social practices. It then argues basic capabilities are those necessary to for the agency necessary to navigate freely and autonomously between different social practices. (shrink)

The article discusses a fundamental problem that has to be faced if the general capability approach is to be developed in the direction of a theory of justice: the selection and justification of a list of capabilities. The democratic solution to this problem (defended by Amartya Sen) is to leave the selection of capabilities to a process of democratic deliberation, while the philosophical solution (defended by Martha Nussbaum) is to establish this list of capabilities as a matter of philosophical theory. (...) The article investigates the debate between these two different positions and argues in favour of the philosophical solution. First, it distinguishes political from epistemological reasons for (not) making capability lists. Second, it shows that the democratic position must incorporate at least some philosophical theorising in general and a theory of democracy in particular. Third, the article argues that the democratic position presupposes that the philosophical position will bypass the democratic process while actually it does not. The philosophical position is actually more respectful of democracy than the democratic position. Fourth, while philosophers may exercise caution and connect their capability lists to actual democratic debates and other empirical sources, this kind of epistemological virtue ironically may heighten the chance of receiving reproaches on the political level. (shrink)

Should society intervene to prevent the risky behavior of precocious teenagers even if it would be impermissible to intervene with adults who engage in the same risky behavior? The problem is well illustrated by the legal case of the 13-year-old Dutch girl Laura Dekker, who set out in 2009 to become the youngest person ever to sail around the world alone, succeeding in January 2012. In this paper we use her case as a point of entry for discussing the fundamental (...) question of how to demarcate childhood from adulthood. After summarizing the case, we identify a ‘demarcation dilemma’ that frames much of the public and expert debate. On the one hand, it seems morally imperative ‘to treat like alike’, which means that both children and adults should be allowed to undertake all actions for which they have the relevant competences. On the other hand, requiring proportional treatment of children and adults seems to neglect the special nature of childhood as a distinct stage in life that ends at a specific age. We introduce the notion of a ‘regime of childhood’ to deal with this problem. This regime includes several dimensions, including the limited liability for children, the supervisory responsibilities of parents, the role of age-based thresholds, and the overarching purpose of childhood as a context for developing autonomy. We argue that, all things considered, there are good reasons not to shift to a regime that offers individual children the option of qualifying for adulthood on the basis of age-neutral criteria. (shrink)