Bashabi Fraser is a poet in her own right. She is also a creative translator. This is a review of her edited volume on the Partition of Bengal. The review highlights our need to read the partition event as a warning for future and ongoing genocides. The review also shows the superiority of literature over history. And finally it has something to say about translation and separately, on P Lal. For instance, this reviewer in many other reviews (...) too insists on the superiority of Fr Mignon SJ over Prof Lal's understanding of translation. (shrink)

On 15th August 1947 Indian Subcontinent won freedom from two centuries of British rule. The country was partitioned on the basis of religion. Muslim majority inhabited people formed Pakistan and Hindu majority people formed India. Bengal was partitioned into two. Two thirds of it joined with Pakistan and one third remained with India. Muslim majority inhabited East Bengal was with Pakistan. With the birth of Pakistan on the midnight of 14 August 1947 the eastern part of Bengal (...) became province of Pakistan. Other provinces of Pakistan were Punjab, Sind and Northwest Frontier Province (NWFP). In several reasons this post-colonial state Pakistan state was unconventional. There are at least three reasons for why we can call Pakistan state as a very unconventional or special state: • First, Pakistan state was founded upon religious nationalism. Religion was supposed to cement a new national identity , something that had not been tried before---the only other modern example of a religiously based nation-state being Israel, which was founded a year later than Pakistan. • Second, Pakistan was a country with two discrete territories, separated from each other by about 1,500 km of Indian terrain. West Pakistan was by far the larger of these two wings but East Pakistan was more densely populated. In fact most Pakistani citizens lived in East Pakistan: the First population census in 1951 revealed that Pakistan had 78 million inhabitant, of whom 44 million (55 per cent) lived in East Pakistan. • Third, these two reasons combined with a third: Pakistan did not become heir to any of the colony’s central institutions. India, on the other hand inherited the capital New Delhi as well as most of the civil bureaucracy, armed forces and police. The bulk of the country’s resources and industries, and its major port cities of Mumbai and Kolkata also went to India. By contrast Pakistan inherited largely raw-material producing regions. Whereas the new rulers of India supplanted the British in the old center of colonial power, the new rulers of Pakistan had a much hard time to establish themselves. No other postcolonial state combined the loss of its administrative hub, the need to govern two unconnected territories and the ambition to found a national identity on a religious one. (shrink)

This is a re-look at the (Indian) Partition event through the lens of Advaita Vedanta.

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.

We present a minimum message length (MML) framework for trajectory partitioning by point selection, and use it to automatically select the tolerance parameter ε for Douglas-Peucker partitioning, adapting to local trajectory complexity. By examining a range of ε for synthetic and real trajectories, it is easy to see that the best ε does vary by trajectory, and that the MML encoding makes sensible choices and is robust against Gaussian noise. We use it to explore the identification of micro-activities within a (...) longer trajectory. This MML metric is comparable to the TRACLUS metric – and shares the constraint of abstracting only by omission of points – but is a true lossless encoding. Such encoding has several theoretical advantages – particularly with very small segments (high frame rates) – but actual performance interacts strongly with the search algorithm. Both differ from unconstrained piecewise linear approximations, including other MML formulations. (shrink)

In this short note many conjectures on partitions of integers as summations of prime numbers are presented, which are extension of Goldbach conjecture.

The incident of 1971 is a historical concern. Both wings of Pakistan were united at the time of the creation of Pakistan but some policies that were adopted after the creation of Pakistan were inadequate to resolve the growing differences between the both wings. Writers are divided regarding the causes of the Fall of Dhaka. Indian involvement has been highlighted frequently and it is also said that East Bengal was on the distance of 1000 km from West Pakistan. Apart (...) from these causes, this study will highlight a new perspective regarding the separation of East Bengal. From 1947 to 1971 the central governments of Pakistan took some measure regarding formulating policies and the policies were not sufficient to bring people of the both wings closer. Thus, the major policies and their consequences would be analysed in this paper. Further, this research would be a new one in a sense that there would be a general description of the policies from both wings. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

A number of authors in favor of a unitary account of singular descriptions have alleged that the unitary account can be extrapolated to account for plural definite descriptions. In this paper I take a closer look at this suggestion. I argue that while the unitary account is clearly onto something right, it is in the end empirically inadequate. At the end of the paper I offer a new partitive account of plural definite descriptions that avoids the problems with both the (...) unitary account and standard Russellian analyses. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.

Ashapurna Devi, a prominent Bengali woman novelist (1909–1995) focused on women’s creativity and enlightenment during the colonial and postcolonial period in Bengal, India. She herself displayed immense will power, tenacity and an indomitable spirit which enabled her to eke out a prominent place for herself in the world of creative writing. Her life spanned both colonial India and independent India and these diverse experiences shaped her mind and persona and helped her to portray the emerging face of the enlightened (...) Bengali middle-class woman. Her writings trace the evolution of the Bengali woman as an enlightened and empowered individual struggling against the shackles of discriminatory norms imposed upon her by society. She traces the extremely conservative upbringing that the female members of her generation were subjected to and goes on to show how different individuals responded to these structures in different ways. Some would comply unquestioningly, some would comply simply because they did not dare to protest, while others would break free and find their own niche in the outside world. These issues are addressed by Ashapurna Devi in many short stories as well, but a critical analysis of her trilogy Pratham Pratisruti (1964), Subarnalata (1967) and Bokulkatha (1974) enables us to experience this struggle against a gradually unfolding backdrop where India moves on from being a British colony to an independent country. The trilogy traces the life of three generations of a family — Satyabati, Subarna and finally Bokul and establishes Ashapurna Devi as a path-breaking champion of women’s emancipation in an era when such endeavours were few and far between. (shrink)

The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the treatment of task-based clinical guidelines as a means for better understanding the relations between different clinical tasks, both within the framework of a single guideline and between related guidelines. We used as our starting point a DAML+OIL-based ontology for the WHO guideline for hypertension management, comparing this with related guidelines and (...) attempting to show that TGP provides a flexible and highly expressive basis for the manipulation of ontologies of a sort which might be useful in providing more adequate Computer Interpretable Guideline Models (CIGMs) in the future. (shrink)

In this paper I discuss the translation of a line in Plato's description of the ‘greatest accusation’ against imitative poetry, Republic 606a3–b5. This line is pivotal in Plato's account of how poetry corrupts its audience and is one of the Republic's most complex and interesting applications of his partite psychology, but it is misconstrued in most recent translations, including the most widely used. I argue that an examination of the text and reflections on Platonic psychology settle the translation decisively.

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions � of substances, processes and functions � and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

This paper proposes a new classification algorithm for the partitioning of a conceptual space. All the algorithms which have been used until now have mostly been based on the theory of Voronoi diagrams. This paper proposes an approach based on potential theory, with the criteria for measuring similarities between objects in the conceptual space being based on the Newtonian potential function. The notion of a fuzzy prototype, which generalizes the previous definition of a prototype, is introduced. Furthermore, the necessary conditions (...) that a natural concept must meet are discussed. Instead of convexity, as proposed by Gärdenfors, the notion of geodesically convex sets is used. Thus, if a concept corresponds to a set which is geodesically convex, it is a natural concept. This definition applies, for example, if the conceptual space is an Euclidean space. As a by-product of the construction of the algorithm, an extension of the conceptual space to d-dimensional Riemannian manifolds is obtained. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

Abstract: This article explores the medical theories of the Dutch philosopher and physician Henricus Regius (1598-1679), who sought to provide clearer notions of medicine than the traditional theories of Jean Fernel, Daniel Sennert and Vopiscus Plempius. To achieve this, Regius overtly built upon the natural philosophy of René Descartes, in particular his theories of mechanical physiology and the corpuscular nature of matter. First, I show that Regius envisaged a novel partitioning of medicine, intended to make it independent in exposition but (...) conceptually grounded in natural philosophy. This served his overall purpose of making medicine a ‘clearer’ discipline. To this end Regius detaches the general notion of physiology as the study of the human body (which pertains to natural philosophy) from a medical physiology that concerns only health. Secondly, I show that Regius’s notions of health, disease, temperament and medicaments were the product of a Cartesian interpretation of traditional concepts, which was influenced by Santorio Santorio’s project of practicing medicine without occult elements. As a consequence, Regius’s classification of these notions is largely traditional. In conclusion, I show that Regius’s method of investigation in the area of natural philosophy consisted of a problem-solving procedure based on sensorial ideas. This approach can be traced back to Descartes, but was grounded on a purely empirical theory of knowledge, by which he rejected Descartes’s metaphysics. Regius’s order of exposition in natural philosophy and medicine, on the other hand, proceeds by definitions and divisions, and omits proofs. The reasons why Regius adopted this order were: 1) his rejection of Descartes’s metaphysical interpreta-tion of physics, and 2) his wish to emphasize the conceptual clarity and continuity of natural philosophy and medicine. (shrink)

The result of the doctoral work of the author, this volume reflects well her painstaking eff orts of the investigative trail into the life of Sir John Woodroffe. This book gives a concise yet overall view of the large and multifarious canvas of the personality that Woodroffe was. Including rare photographs, facsimiles of letters and notes, an elaborate bibliography and index, this book fills a void by fulfilling the long-felt need of a good biography of a soul, who preferred to (...) remain anonymous and speak to the world only through this writings under his pen name, Arthur Avalon. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development (...) of logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) (...) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation of (...) quantum mechanics. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

During the last years of 1990s and the beginning of the millennia, North Bengal was shaken from its mundane reality right into a middle of a rebellion. With tears of history and warcries of the present, Kamtapur movement revealed itself. In this paper I have tried to locate the social, political, and ideological inclinations that are present within the movement. On one hand my paper intends to critique the presence of what can be called Kochbehar nationalism based on the (...) memory of a pre-independence princely state, on the other hand I am also critiquing the trends and aftermaths of Leftist politics that has been assimilated into the movement itself. While the presence of these two different and to an extent contradictory political thoughts are present within the movement; I have also taken up these new trends in the lights of anarchist tendencies which put more importance on quasi-separations from dominant power centres than class-determinism alone, of course followed by a goal for local empowerment. (shrink)

The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based (...) on the Boolean logic of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)

If Mont Blanc is a vague object, then its vagueness will depend on the context in which reference is made. In a geological context the mountain might include only rock, perhaps together with a certain amount of air in the crevices and tunnels which have been formed beneath its surface. In a context of soil chemistry we might include also a surrounding thin layer of organic matter. In a skiing context we might include some snow. This essay sketches in informal (...) terms the theory of granular partitions, which is designed to do justice to this context-dependence of vagueness by means of what might be described as a contextualized supervaluationism. Granularity and vagueness, it is argued, are two sides of a single coin: what is vague at one level of granularity may appear crisp at another. The resultant theory can be shown to resolve certain problems in our description of perceptual content, for example when John says that he sees the wall, but that he does not see the molecules by which the wall is constituted. (shrink)

Some authors have argued that, in order to give an account of weakness of the will, we must assume that the mind is divisible into parts. This claim is often referred to as the partitioning claim. There appear to be two main arguments for this claim. While the first is conceptual and claims that the notion of divisibility is entailed by the notion of non-rational mental causation (which is held to be a necessary condition of weakness of the will), the (...) second is explanatory and claims that the notion of divisibility is required for the causal explanation of weak-willed action. In this paper I want to argue that the partitioning claim remains unsupported, no matter how it is interpreted, and that weakness of the will can be made perfectly good sense of without the idea that the mind is divisible into parts. In fact, there are available various explanatory models each of which characterizes different psychological mechanisms that may be involved in weakness of will, none of which depends on any claims about mental division. I describe three familiar mechanisms and argue that weakness of will may occur as the result of any one of them. (shrink)

Observe that complement questions can be either directly or indirectly conjoined, but they can only be indirectly disjoined. • What theories of questions and coordination predict this difference? • Look at Partition theory (Groenendijk & Stokhof 1984) and Inquisitive Semantics (Groenendijk & Roelofsen 2009, Ciardelli et al. 2012).

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Sometimes different partitions of the same space each seem to divide that space into propositions that call for equal epistemic treatment. Famously, equal treatment in the form of equal point-valued credence leads to incoherence. Some have argued that equal treatment in the form of equal interval-valued credence solves the puzzle. This paper shows that, once we rule out intervals with extreme endpoints, this proposal also leads to incoherence.

Boltzmannian statistical mechanics partitions the phase space of a sys- tem into macro-regions, and the largest of these is identified with equilibrium. What justifies this identification? Common answers focus on Boltzmann’s combinatorial argument, the Maxwell-Boltzmann distribution, and maxi- mum entropy considerations. We argue that they fail and present a new answer. We characterise equilibrium as the macrostate in which a system spends most of its time and prove a new theorem establishing that equilib- rium thus defined corresponds to the largest (...) macro-region. Our derivation is completely general in that it does not rely on assumptions about a system’s dynamics or internal interactions. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

Plato’s partition argument infers that the soul has parts from the fact that the soul experiences mental conflict. We consider an ambiguity in the concept of mental conflict. According to the first sense of conflict, a soul is in conflict when it has desires whose satisfaction is logically incompatible. According to the second sense of conflict, a soul is in conflict when it has desires which are logically incompatible even when they are unsatisfied. This raises a dilemma: if the (...) mental conflict is supposed to be the latter kind of conflict, then the partition argument is valid but is likely unsound; if it’s supposed to be the former kind, then the partition argument has true premises but is invalid. We explain this dilemma in detail and defend a dispositionalist solution to it. (shrink)

The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on (...) elements of subsets so there is a dual concept of logical entropy which is the normalized counting measure on distinctions of partitions. Thus the logical notion of information is a measure of distinctions. Classical logical entropy naturally extends to the notion of quantum logical entropy which provides a more natural and informative alternative to the usual Von Neumann entropy in quantum information theory. The quantum logical entropy of a post-measurement density matrix has the simple interpretation as the probability that two independent measurements of the same state using the same observable will have different results. The main result of the paper is that the increase in quantum logical entropy due to a projective measurement of a pure state is the sum of the absolute squares of the off-diagonal entries ("coherences") of the pure state density matrix that are zeroed ("decohered") by the measurement, i.e., the measure of the distinctions ("decoherences") created by the measurement. (shrink)

While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs and their broader (...) implications for just and equitable healthcare delivery. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 61.3 (2000) 453-471 [Access article in PDF] Liberty, Authority, and Trust in Burke's Idea of Empire Richard Bourke When Edmund Burke first embarked upon a parliamentary career, British political life was in the process of adapting to a series of critical reorientations in both the dynamics of party affiliation and the direction of imperial policy. During the period of the Seven Years' War, (...) a reconstituted militia became a focus for patriotic enthusiasm, uniting national sentiment against France and effectively eradicating the remnants of Jacobite rhetoric and aspiration. Traditional opposition between Tory and Whig became irrelevant, while Court and Country jointly came to the support of the Pitt-Newcastle ministry. However, in due course the Old Corps disintegrated as George III succeeded to the throne with the promise of an end to factional strife and the beginning of a patriotic alliance in government. But while competing ideologies and interests on the domestic political scene were undergoing comprehensive realignment, the pursuit of a blue-water policy in tandem with strategic continental campaigns brought Britain's struggle against France into North America, the Caribbean, and India. Trade continued to expand into Asia and West Africa, but the principles of commercial advantage were continually brought into open conflict with the exigencies of war. The division of power in Europe became embroiled in a substantial redivision of empire, and by 1763 British territorial expansion had reached its zenith.When Burke was appointed private secretary to the Marquis of Rockingham, with the national debt standing at an all time high and the demands of imperial defense unlikely to diminish, the politics of empire called for urgent attention from all sections of the political establishment. In particular the Rockinghamites, adopting a posture of aloofness from venality and petty interest, were obliged to advance policies for imperial government on the solid basis of political principle. 1 Coming into parliament as a member for Wendover in the wake of [End Page 453] Grenville's Stamp Act, at a time when the East India Company was assuming control of the revenue in Bengal, Burke set about formulating a doctrine of imperial sovereignty which would be serviceable to the party either in power or in opposition and which would be adequate to the complex reality of detached and extensive empire. The immediate reception of that inquiry, both in Britain and on the Continent, into the fraught world of post-Revolutionary political debate has had the long-term effect of distorting the order of emphasis in terms of which his career as a whole ought properly to be understood.The vigorous elaboration, in opposition to the Jacobin experiment in France, of the conditions under which moderate government could be exercised within the context of an absolute sovereignty was expressed in terms which had originally been invoked as part of a sustained attempt to reconcile civility with empire. As we shall see, that attempt involved a process of delicate coordination by means of which the interests of freedom would be brought into harmony with the demands of public power. In that sense the effort to make liberty and authority mutually responsible can be said to constitute the core ambition of Burke's political rhetoric. In this context responsibility defines the optimally beneficial relation between government and people on the one hand and national sovereignty and the extended empire on the other. This article outlines the practical and theoretical exploration of those relations within the frame of Burke's intervention in the world of eighteenth-century political discourse.Burke was of course well placed in 1765 to evolve a theory of imperial government that was at once ideologically compelling and politically viable. In his capacity as secretary to William Gerard Hamilton in the early 1760s he had already examined the corruption of legitimate empire as represented by the introduction of penal legislation into Ireland after 1694. The Tracts Relating to Popery Laws set out to convict the Irish Parliament in Dublin of flagrant misrule. A subordinate legislature within the empire is charged with having employed... (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is (...) stochastically independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)