This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of (...) in each case factically existing as a sexual and gendered being? The answer lies in Heidegger’s elucidation of the existential-ontological structure of Dasein: Dasein is always relationally instituted in its factical entangled life through “being-with.” The sexual difference of human existence is not merely biologically or anthropologically given, but disclosed and enacted according to one’s relations with others, the environment, and oneself. The formally indicating concept “Dasein” indicates, accordingly, the concrete diversity and plurality of individuated sexual and gendered ways of being. (shrink)

The paper seeks to show how Heidegger recasts the problem of reification in Being and Time, so as to address the methodological procedure of formal indication, outlined in his early writings, in order to carry out a deconstruction of ancient ontology. By revisiting Marx's and Lukács's critique of objectification in social relations, especially the former's critique of alienation, in light of Honneth's critical theory of recognition, it is shown how a Heideggerian-inspired phenomenology of sociality could be reconstructed out of (...) the semantic correlation between reification and formal indication. (shrink)

When we ask ourselves about the meaning of life, two analyses are possible in principle: 1. that we are asking something about the purpose or the reason of being of life or of a life, or 2. that we are asking something the value of life or of a life. At the present article, I do not approach 1 neither the life as a whole, but I take the individual lives in the context of 2. I briefly explain what would (...) be to someone to have an objectivist conception of the meaning of life and what would be to someone to have a subjectivist one; and, then, I try to show how we can think in formulas that can capture the intuitions of those conceptions, without acquiring commitment with none of them. My way is to show that both objectivist and subjectivist conceptions think the meaning of life as related to projects or realizations that fulfill principles of value (the value can be objective or subjective according to the adopted conception), and ten I try to indicate that the projects or realizations from a person’s life come together through a simple sum to make the meaning of life of such a person’s life. The way I suggested for us to find the value of one of those realizations does not seem to present none theoretical problem. But the simple sum of realizations (and/or projects) to represent the value of the meaning of a person’s life simply did not work. That’s because it seems to lack some kind of index that is able to formalize the relations between realizations. Thus, although we couldn’t properly formalize the relation between the realizations that achieve the meaning of someone’s life at a certain moment, we get a good intuitive formalization of the value of a realization and we hope to have started an interesting investigation for future logicians, metaphysicians, mathematicians and theorists of value. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict conditional view and defends it (...) from some foreseeable objections. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Formalization of the semantics of generics has been considered extremely challenging for their inherent vagueness and context-dependence that hinder a single fixed truth condition. The present study suggests a way to formalize the semantics of generics by constructing flexible acceptance conditions with comparative probabilities. Findings from our in-depth psycholinguistic experiment show that two comparative probabilities—cue validity and prevalence—indeed construct the flexible acceptance conditions for generics in a systematic manner that can be applied to a diverse types of generics: Acceptability of (...) IS_A relational generics is mostly determined by prevalence without interaction with cue validity; feature-describing generics are endorsed acceptable with high cue validity, albeit mediated by prevalence; and acceptability of feature-describing generics with low cue validity is mostly determined by prevalence irrespective of cue validity. Such systematic patterns indicate a great potential for the formalization of the semantics of generics. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the (...) proportion of papers using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

This paper is a guide to the main ideas and innovations in Robert Stalnaker's "Indicative Conditionals". The paper is for a volume of essays on twenty-one classics of formal semantics edited by Louise McNally and Zoltàn Gendler Szabò.

I argue that the ability to compute phrase structure grammars is indicative of a particular kind of thought. This type of thought that is only available to cognitive systems that have access to the computations that allow the generation and interpretation of the structural descriptions of phrase structure grammars. The study of phrase structure grammars, and formal language theory in general, is thus indispensable to studies of human cognition, for it makes explicit both the unique type of human thought (...) and the underlying mechanisms in virtue of which this thought is made possible. (shrink)

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In particular, (...) an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.

Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached, the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined precisely, and an analysis of how these notions (...) fit together is given. Particular attention is given to distinguishing conversation theory from standard logic. The paper concludes by analysing a few sample conversation-games, indicating areas needing further research, by pointing out the simplification inherent in the sample games. (shrink)

This chapter explores properties that bind individuals, knowledge, and communities, together. Section ‎‎1 introduces Hardwig’s argument from trust in others’ testimonies as entailing that trust is the glue ‎that binds individuals into communities. Section 2 asks “what grounds trust?” by exploring assessment ‎of collaborators’ explanatory responsiveness, formal indicators such as affiliation and credibility, ‎appreciation of peers’ tacit knowledge, game-theoretical considerations, and the role moral character ‎of peers, social biases, and social values play in grounding trust. Section 3 deals with (...) establishing ‎reliability standards for formation and breaching of trust. Different epistemic considerations and their ‎underpinning of inductive risks are examined through various communication routes within a ‎discipline, between disciplines, and to the public. Section 4 examines whether a collective entity can ‎be trusted over and above trust that is given to its individual members. Section 5 deals with the roles ‎technological artifacts play in distributed research and collective knowledge. It presents the common ‎view in which genuine trust cannot, in principle, be accorded to artifacts, so as an opposite view. We ‎show that what counts as a genuine object of trust is relevant to debates about the boundaries of ‎collective agency and as a criterion for extended cognitive systems.‎. (shrink)

This chapter introduces the difficulty of acquiring phenomenological terms by examining Carnap’s and Derrida’s criticisms of phenomenological speech; their criticisms show that any account of how phenomenological speech is acquired must clarify its distinction from ordinary speech about things while not falling prey to an esoteric separation. The chapter then reviews the way Husserl, Scheler, and Heidegger offer “indication” as the way to distinguish but not separate the one and the other, and it argues that indication, even with the support (...) of analogy, metaphor, and metonym, suffers from Quinean indeterminacy and therefore requires some other resources for its successful enactment. Finally, the chapter outlines a novel solution to the problem of phenomenological speech by approaching the question as one of genesis and acquisition: ordinary language embeds certain experiential terms, such as “presence” and “absence,” that, when inflected, introduce the learner into the transcendental dimension of experience. The chapter demonstrates that the question of language learning or acquisition is necessary for unraveling the nature of phenomenological language and clarifying its relation to ordinary speech. (shrink)

Despite Heidegger’s critique of ethics, his use of ethically-inflected language intimates an interpretive ethics of encounter involving self-interpreting agents in their hermeneutical context and the formal indication of factical life as a situated dwelling open to possibilities enacted through practices of care, interpretation, and individuation. Existence is constituted practically in Dasein’s addressing, encountering, and responding to itself, others, and its world. Unlike rule-based or virtue ethics, this ethos of responsive encounter and individuating confrontation challenges any grounding in a determinate (...) or exemplary model of reason, human nature, the virtues, or tradition. (shrink)

The purpose of the research is to develop a new methodological basis for identifying, analyzing and solving problems of international corporations export-import activities and to ground the directions for ensuring their business excellence. The approach originality provides introduction of a conceptual model that aims to eliminate the negative symptoms of international corporations export-import activities based on the results of comprehensive market research, effectiveness of export-import activities and calculation of the integrated indicator of business excellence. The leading corporations of Slovakia and (...) India in the production of bi-axially oriented polypropylene (BOPP) films were the primary basis for this study. The results of the research showed the need to implement a system of managerial innovation for reasoning the directions of ensuring international corporations business excellence. This is achieved because of using logically formalized methods and provides the improvement of organizational and structural interaction of management entities in the process of solving export-import activity problems. Important factors for ensuring business excellence are also the optimization of export and import costs, as well as an increase in export revenue for Slovak companies, and an increase in market share and cost optimization for Indian companies. The practical value of the obtained results is to develop a set of managerial innovations that can improve the efficiency of export-import activities and improve international corporations business. (shrink)

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution (...) requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability theory (...) provide appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (shrink)

This paper raises some questions about the formalization of sentences containing ‘if’ or similar expressions. In particular, it focuses on three kinds of sentences that resemble conditionals in some respects but exhibit distinctive logical features that deserve separate consideration: whether-or-not sentences, biscuit conditionals, and concessive conditionals. As will be suggested, the examples discussed show in different ways that an adequate formalization of a sentence must take into account the content expressed by the sentence. This upshot is arguably what one should (...) expect on the view that logical form is determined by truth conditions. (shrink)

When do we agree? The answer might once have seemed simple and obvious; we agree that p when we each believe that p. But from a formal epistemological perspective, where degrees of belief are more fundamental than beliefs, this answer is unsatisfactory. On the one hand, there is reason to suppose that it is false; degrees of belief about p might differ when beliefs simpliciter on p do not. On the other hand, even if it is true, it is (...) too vague; for what it is to believe simpliciter ought to be explained in terms of degrees of belief. This paper presents several possible notions of agreement, and corresponding notions of disagreement. It indicates how the findings are fruitful for the epistemology of disagreement, with special reference to the notion of epistemic peerhood. (shrink)

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or (...) not arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

: In the first edition of his book on the completeness of Kant’s table of judgments, Klaus Reich shortly indicates that the B-version of the metaphysical exposition of space in the Critique of pure reason is structured following the inverse order of the table of categories. In this paper, I develop Reich’s claim and provide further evidence for it. My argumentation is as follows: Through analysis of our actually given representation of space as some kind of object, the metaphysical exposition (...) will show that this representation is secondary to space considered as an original, undetermined and as such unrepresentable intuitive manifold. Now, following Kant, the representation of any kind of object involves diversity, synthesis and unity. In the case of our representation of space as formal intuition, this involves, firstly, a manifold a priori, i.e. space as pure form, delivered by the transcendental Aesthetic, secondly, a figurative, productive synthesis of that manifold, and, thirdly, the unity provided by the categories. Analysing our given representation of space – the task of the metaphysical exposition – amounts to dismantling its unity and determine its characteristics with respect to the categories. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. (...) We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric that (...) is supposed to map a certain ideal has to be justified. Such justification might be given by demanding specific substantiated axioms, which have to be met by a metric. This paper introduces such axioms for metrics of distributive justice shown by the example of needs-based justice. Furthermore, some exemplary metrics of needs-based justice and a three dimensional method for visualisation of non-comparative justice axioms or evaluations are presented. Therewith, a base worth discussing for the evaluation and modelling of metrics of distributive justice is given. (shrink)

Social externalism is the view that the contents of a person's propositional attitudes are logically determined at least in part by her linguistic community's standards for the use of her words. If social externalism is correct, its importance can hardly be overemphasized. The traditional Cartesian view of psychological states as essentially first personal and non-relational in character, which has shaped much theorizing about the nature of psychological explanation, would be shown to be deeply flawed. I argue in this paper that (...) social externalism faces insuperable difficulties. The first difficulty is that if syntax and semantics are independent, then social externalism is committed to the absurd consequence that many people have beliefs with formally inconsistent contents. I argue none of the possible responses to this objection are plausible. The second difficulty is that if syntax and semantics are independent, then social externalists are committed to a contradiction. After raising and defending these objections, I identify what I think is the underlying flaw in the social externalist position, a failure to pay attention to the structure of communication intentions, and briefly indicate how to neutralize the linguistic evidence social externalists advance in favor of their view. (shrink)

Did we get Aquinas’ Epistemology right? St. Thomas is often interpreted according to Kantian principles, particularly in Transcendental Thomism. When this happens, it can appear as though Aquinas, too—along with Kant—had made the “turn to the subject”; as if Aquinas were no longer the Aristotelian “believer” who thinks nature is what it is but, instead, the Kantian “thinker” who holds that nature is what we think of it; as if St. Thomas, like Kant, had concluded that nature is intelligible not (...) only when we think of it, but because we think of it. After much struggle with this problem, the challenge seemed obvious to me: to show the radical difference between Aquinas and Kant. Kant had reasons to make his turn, his Copernican revolution. Could I explain those reasons, could I pinpoint the problem leading Kant to think in those terms? Could I show Aquinas facing the same problem and clearly taking a different direction in his proposed solution? That is what I have tried to do in this book. This book provides an interpretation of Aquinas’ agent intellect focusing on Summa Theologiae I, qq. 75-89, and proposing that the agent intellect is a metaphysical rather than a formal a priori of human understanding. A formal a priori is responsible for the intelligibility as content of the object of human understanding and is related to Kant’s epistemological views, whereas a metaphysical a priori is responsible for intelligibility as mode of being of this same object. We can find in Aquinas’ text many indications that the agent intellect is not productive of the intelligible object but is, rather, productive of the abstracted or intelligible mode of being of this object. This is because for Aquinas the universal as nature, which is the object of human understanding, is present in the things themselves but with a different mode of being. In this four-chapter book, Chapter 1 is intended to establish the fact which requires for Aquinas an agent intellect, and provides two very important principles: one is that the object of human understanding (the universal as nature) is present in the things themselves and, the other, that it is not in the things themselves with a mode of being which makes it available to the intellectual eye. These two principles lead us to the main point of Chapter 2, namely the distinction between the intelligible object and its intelligible mode of being. Now, because knowing is receptive of the intelligible object (Chapter 3), which is present in the things themselves (Chapter 1), the agent intellect is productive not of the object’s intelligible content, but of its abstracted or intelligible mode of being (Chapter 4). (shrink)

Although epistasis is at the center of the Fisher-Wright debate, biologists not involved in the controversy are often unaware that there are actually two different formal definitions of epistasis. We compare concepts of genetic independence in the two theoretical traditions of evolutionary genetics, population genetics and quantitative genetics, and show how independence of gene action (represented by the multiplicative model of population genetics) can be different from the absence of gene interaction (represented by the linear additive model of quantitative (...) genetics). The two formulations converge with weak selection but not with strong selection or, for multiple loci, when the aggregated interaction terms are not negligible. As a result of the different formulations of gene interaction, the presence or absence of linkage disequilibrium,/D/, does not necessarily indicate the presence or absence of fitness epistasis. Indeed, linkage disequilibrium is generated in ‘additive’ models in quantitative genetics whenever two (or more) loci experience simultaneous selection. As a research strategy, it is often practical, for theoretical or experimental reasons, to minimize gene interaction by assuming independence of gene action in regard to fitness, or by assuming linear additive effects of multiple loci on a phenotype. However, minimizing the role of epistasis in theoretical investigations hinders our understanding of the origins of diversity and the evolution of complex phenotypes. (shrink)

As many are effectively excluded from availing themselves of the services of financial institutions in the formal sector, they often form stokvels, an informal method of saving which is commonly practised in their home country. The research study was conducted to investigate the dynamics of Zimbabwean grocery stokvels in Cape Town and the factors which have encouraged their formation. A mixed-methods approach was adopted, and both quantitative and qualitative research methods were used to collect the data. The quantitative data (...) was obtained through the administration of a survey questionnaire. In contrast, the qualitative data was obtained by conducting one-on-one semi-structured interviews with leaders of Zimbabwean grocery stokvels, their spouses, and members of their families who did not belong to their stokvels. The qualitative data was augmented through the taking of field notes during the interviews. The results indicate that Zimbabweans in Cape Town form grocery stokvels due to severe shortages of basic necessities in Zimbabwe. Their participation in stokvels enables them to accumulate funds to purchase the groceries which they need to sustain themselves and their families in the absence of assistance from financial institutions in the formal sector and also to assist their families and relatives in Zimbabwe to cope with their dire economic circumstances by sending groceries to them. (shrink)

According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...) the confrontations between many classical incommensurable languages are not confrontations between two untranslatable languages with different distribution of truth values, but rather the confrontations between incompatible fundamental presuppositions at the ontological level. We can always identify a truth-value gap between two incommensurable languages. Such a truth-value gap indicates a communication breakdown between the two language communities on the one hand, and is caused by the incompatible fundamental presuppositions underlying them on the other. ;I thereby identify the truth-value functional relationship between sentences, instead of the meaning-referential relationship between terms, as the dominant semantic relation between two incommensurable languages. According to my presuppositional interpretation of incommensurability, the real secret of incommensurability lies in the ontological setup of two competing presuppositional languages. When two presuppositional languages with incompatible factual commitments encounter with each other, the confrontation leads to a truth-value gap, and consequently a communication breakdown between them. Formally put, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth values when considered within the context of the other due to an ontological gap between them. ;The presuppositional interpretation makes many significant contributions to the discussion of the issue of incommensurability and the related metaphysical and epistemological issues: It confirms the existence of the phenomenon of incommensurability and makes it metaphysically and epistemologically significant. It establishes the tenability and integrity of the notion of incommensurability. It avoids many alleged unattractive epistemological and metaphysical consequences of the translation-failure interpretation. (shrink)

“Else-where” is a synoptic survey of the representational values given to art, architecture, and cultural production from 2002 through 2011. Written primarily as a critique of what is suppressed in architecture and what is disclosed in art, the essays are informed by the passage out of post-structuralism and its disciplinary analogues toward the real Real . While architecture nominally addresses an environmental ethos, it also famously negotiates its own representational values by way of its putative autonomy ; its main repression (...) in this regard is “landscape,” figure of the Other and figure of the Real. Engaging forms of spectrality, and not necessarily speculative intelligence per se, architecture is also “conscious” of its own complicity in capitalist orders, a complicity that in part underwrites its avant-garde forms of agitation since the onset of modern architecture. As a result, and over the course of the twentieth century, architectural vanguards have successively been depleted such that they return only as reified half-measures in the late-modern production of difference. As such, the essay “Actually Existing Ground” examines the failed promise of Landscape Urbanism. Since the 1960s, as with the allied arts, architecture has evacuated many of the utopian gestures given to modernism and embraced a form of ultra-contingency in a direct alliance with the post-modern and post-Marxist concession to markets and to cultural production as principal means of establishing formal hegemony. This recourse or surrender to the economic-determinist ethos of post-modernity, regardless of attempts to problematize it and/or critique it through types of what Manfredo Tafuri has called “operative criticism” , has, arguably, all but failed, and with the suggestive return circa 2011 of new forms of resistance an exit from the accommodating spirit of the times is indicative of the expectation of strenuous, yet highly formal and non-discursive operations within artistic and architectural production. The essays collected in “Else-where” cross various disciplines, inclusive of landscape architecture, architecture, and visual art, to develop a nuanced critique of an emergent formal regard in the arts that is also an invocation of the highest coordinates given to the arts – formal ontology as speculative intelligence itself – or the return of the universal as utopian thought “here-and-now.”. (shrink)

In this article, we address a major outstanding question of probabilistic Bayesian epistemology: how should a rational Bayesian agent update their beliefs upon learning an indicative conditional? A number of authors have recently contended that this question is fundamentally underdetermined by Bayesian norms, and hence that there is no single update procedure that rational agents are obliged to follow upon learning an indicative conditional. Here we resist this trend and argue that a core set of widely accepted Bayesian norms is (...) sufficient to identify a normatively privileged updating procedure for this kind of learning. Along the way, we justify a privileged formalization of the notion of ‘epistemic conservativity’, offer a new analysis of the Judy Benjamin problem, and emphasize the distinction between interpreting the content of new evidence and updating one’s beliefs on the basis of that content. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional (...) connectives may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic numbers and (...) logarithmic mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

A series of recent studies have explored the impact of people's judgments regarding physical law, morality, and probability. Surprisingly, such studies indicate that these three apparently unrelated types of judgments often have precisely the same impact. We argue that these findings provide evidence for a more general hypothesis about the kind of cognition people use to think about possibilities. Specifically, we suggest that this aspect of people's cognition is best understood using an idea developed within work in the formal (...) semantics tradition, namely the notion of modality. On the view we propose, people may have separate representations for physical, moral and probabilistic considerations, but they also integrate these various considerations into a unified representation of modality. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...) to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Abstract: The study sought to establish Tanzanian`s financial inclusion level, its determinant and whether the country`s financial inclusion levels have influence on the access to basic income, food, heath, employment and education service. Among the major determinants of financial inclusion are income, financial literacy and the geographical presence of financial institutions. With regard to the link between financial inclusion and livelihood indicators, it is found that greater financial inclusion promotes access to basic income, food, health and education for households for (...) the country, with differential effect of inclusion becoming wider when banking instead of total inclusion considered. The purpose of this paper is to assess the contribution of financial inclusion to the rural livelihood households. This has been analyzed with the theoretical background on financial access and livelihood, and by analyzing the primary data collected from five wards, Named; Pawaga, Kalenga, Ismani, Nduli and Kibebe in Iringa district. The results show that, there is a significant positive relationship between Financial Inclusion and the Rural Livelihood households in Tanzania. Access to, availing of formal banking services pave the way to positive changes in the rural livelihood status of households. With regard to rural households in Tanzania the country needs aggressive financial inclusion strategies to reduce access vulnerabilities and poverty. (shrink)

According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference. Next, we determine the space of truth-conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is (...) false, and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional-assertion operators that combine a traditional test operator with an update operation. (shrink)

An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...) expression of reason relations as part of the semantics of the natural language conditional. As a first step, this approach is theoretically motivated in a comparative discussion of other alternatives in psychology of reasoning, like the suppositional theory of conditionals, and novel approaches to the problems of compositionality and accounting for the objective purport of indicative conditionals are presented. In a second step, a formal model is formulated, which allows us to derive quantitative predictions from the ranking-theoretic approach, and it is investigated which novel avenues of empirical research that this model opens up for. Finally, a treatment is given of the problem of logical omniscience as it concerns the issue of whether ranking theory (and other similar approaches) makes too idealized assumptions about rationality to allow for interesting applications in psychology of reasoning. Building on the work of Robert Brandom, a novel solution to this problem is presented, which both opens up for new perspectives in psychology of reasoning and appears to be capable of satisfying a range of constraints on bridge principles between logic and norms of reasoning, which would otherwise stand in a tension. (shrink)

Divine intention is an important problem for both philosophy and Kalam. This problem has two aspects as the subject and action of the intention. The intention of the subject occurs for the motion or the action itself. The intention of the action is to reach the motion or the action itself. According to this, when a person travels to Mecca to visit Kaaba, the visit is the intention of the subject and the journey is the intention of the action. In (...) this context, does Allah have an intention? And what are the intentions of the actions aris-ing from him? In the Islamic philosophy, the first question is handled as "intention of the sub-ject/divine intention” and the second question as "the intention of the actions/divine inten-tion of the actions". In order to answer the first question, we must examine all types of inten-tions. Each subject takes action to benefit them, to benefit others and to act for the sake of the goodness and kindness. Allah would be dependent being if he acted to benefit him and to make up for a flaw for the first of these intentions. In the second intention type, if Allah acted for someone else, this sit-uation would be on the degree of cause for the subject and he would be passive. For the third intention type which is to act to reach for perfection, it would deem Allah as a dependent being. The above-mentioned intentions are flawed. On the contrary, Allah is perfect and does not need any of these intentions to create. Thus, he is not subject to any of these possible inten-tions. These intentions are only used by imperfect subjects. Of course, it does not mean that Allah does not have intentions. According to Avicenna and Mulla Sadra, intention of Allah is the love towards his essence which is free from any flaw. According to this, all beings are entailed to the divine essence and they exist due to the love of essence of Allah. Allah has a direct intention as well as an indirect one. As mentioned before, Allah is in love with his essence. Allah loves the works and actions of his essence as well, according to the principal that one, who loves the essence, loves the works and actions of that essence as well. In this context, the love of essence of the Allah is a direct intention, while the love of his es-sence's works and actions is an indirect intention. After the divine intention is explained, we must also explain the intention of the divine ac-tions. According to both Mulla Sadra and Avicenna, since possible beings are flawed, their intention is to reach to certain perfections which are compatible with themselves. Mulla Sadra states that Allah bestows motivation to possible beings to advance towards the perfection and he claims that these beings make use of that motivation to be perfect. Therefore, possible beings try to make up their flaws and reach to perfection. Since Allah is the absolute perfect being, the final intention of the possible beings is Allah. In other words, all beings that seek for perfection, take example of him. The other intentions act as a primary tool to reach the final intention. How can flawed beings by essence reach to perfections compatible with them? Avicenna and Mulla Sadra stated different opinions on the search of perfection of the flawed beings in the Islam philosophy. According to Avicenna, beings change with extinction and creation. This change happens by accident and the substance stays constant. In accordance with this approach, this change and development is only possible with accidental motion. It occurs with the replacement between forms. But the theory of the Avicenna has some flaws. Because forms are not the intentions of each other and first hyle is not strong enough to have an intention. Thus, no form is superior to the other. It is also not possible to have substance development because the substance and es-sence of the material are constant. It only goes through changes in appearance with the acci-dental motion. It is clear that the changes in the appearance and the shape are not standards for perfection. On the other hand, Mulla Sadra's development theory, which is based on the fundamentality of existence, existential gradation and substantial motion, suggests that the material world is moving towards the perfection. The motion in the substance of material beings is reason of substantial and accidental developments. All beings try to promote themselves to a higher position by reaching perfection in accordance with their intentions. Thus, the theory of Avicenna focuses on the accidental and formal changes in the search of perfection of the material beings, while Mulla Sadra’s theory explains accidental changes as well as the essential ones. Mulla Sadra does not limit the explanation of which Allah is the intention of possible beings to ontological dimension. According to him, Allah is an intention of possible beings as well. He points out the Hadith Qudsi "I was a hidden treasure, I desired to be recognized so I created the creature" and states that "This (Hadith Qudsi) indicates that he is the subject and the in-tention of the universe in an ontological manner as well as the intention of the universe in an epistemological manner." Thus, according to Mulla Sadra, possible beings have two inten-tions, to reach to and understand Allah. (shrink)

The article examines the process of formation inventory of the enterprise and determines the optimal volume of commodity resources for sale. A generalization of author’s approaches to the formation and evaluation of inventories of the enterprise is carried out. The marketing-logistic approach was applied for the purpose of distribution groups of commodity resources due to the risk of non-fulfillment the order for the supply of goods of the enterprise. In order to ensure an effective process of commodity provision of the (...) enterprises, the costs associated with the formation of inventories are determined. The formalized scheme of the formation commodity provision and the process of optimization inventory of the enterprise is offered. The analysis the structure of the company’s inventory is carried out, the volume of goods turnover is defined, the stocks are grouped for various clustering characteristics. To conduct the study, statistical information was used on commodity resources of the enterprises, statistical methods (grouping, structure analysis, estimation of dynamic series), tools for assessing the efficiency of inventory use, HML-FMR clustering were used. The necessity of using XYZ and ABC analysis is indicated in order to obtain more reliable results and forecast values of the product support of the enterprise. Economic-mathematical modeling is applied and graphically shown the difference in the formation of commodity resources by various features of HML-FMR clustering. The calculations allow the enterprise to determine the optimal amount of commodity resources in accordance with the needs of consumers and their solvent demand, to plan financial resources for the formation of inventories, to develop assortment policy in accordance with demand for products and their implementation. The results of calculations the volume of merchandising of the enterprise, taking into account the HML-FMR clustering affect the formation of final financial performance of the enterprise — income and profits. (shrink)

Purpose – The purpose of the research reported here is to improve comprehension of the socially-negotiated identity of concepts in the domain of knowledge organization. Because knowledge organization as a domain has as its focus the order of concepts, both from a theoretical perspective and from an applied perspective, it is important to understand how the domain itself understands the meaning of a concept. Design/methodology/approach – The paper provides an empirical demonstration of how the domain itself understands the meaning of (...) a concept. The paper employs content analysis to demonstrate the ways in which concepts are portrayed in KO concept maps as signs, and they are subjected to evaluative semiotic analysis as a way to understand their meaning. The frame was the entire population of formal proceedings in knowledge organization – all proceedings of the International Society for Knowledge Organization’s international conferences (1990-2010) and those of the annual classification workshops of the Special Interest Group for Classification Research of the American Society for Information Science and Technology (SIG/CR). Findings – A total of 344 concept maps were analyzed. There was no discernible chronological pattern. Most concept maps were created by authors who were professors from the USA, Germany, France, or Canada. Roughly half were judged to contain semiotic content. Peirceian semiotics predominated, and tended to convey greater granularity and complexity in conceptual terminology. Nodes could be identified as anchors of conceptual clusters in the domain; the arcs were identifiable as verbal relationship indicators. Saussurian concept maps were more applied than theoretical; Peirceian concept maps had more theoretical content. Originality/value – The paper demonstrates important empirical evidence about the coherence of the domain of knowledge organization. Core values are conveyed across time through the concept maps in this population of conference papers. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

Jan Łukasiewicz, a prominent Polish logician and philosopher, dealt with the scientific analysis of the concept of cause using logic. He wanted first and foremost to construct a definition, which reconciles the irreversibility of causal relationship to the exclusion of time sequence. In this article, I show that his attempts led to many contradictions, paradoxes and inconsistencies between Łukasiewicz’s definitions and commonly recognized examples of causality, even those given by the author himself. First, I present the semantic and formal (...) aspects of the definition proposed by him, and then I analyze examples, most of them proposed by the author. The main charges against his concept of causality are: the ambiguity of the concept of necessity; exclusion “for reasons of terminological” some causal phenomena from the range specified by the definition; paradoxes such as: the existence of the world is the cause of the existence of God; baseless demand, different subjects, and different features for cause and effect; disregard of the defnitive difference between post hoc and propter hoc; unjustified requirement of affirmative statements expressing a possession of attributes. The critique presented in this article is incomplete, but its function is to indicate both the value of logical analysis of philosophical concepts, and the dificulties of which such an analysis can entangle. Such an analysis can sometimes complete the process of defining certain concepts, but more often it provides an opportunity for further discussion and a better overall understanding. (shrink)

Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...) and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)