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)

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)

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)

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)

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 (...) class='Hi'>partitions. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

In consciousness studies, the first-person perspective, seen as a way to approach consciousness, is often seen as nothing but a variant of the third-person perspective. One of the most important advocates of this view is Dennett. However, as I show in critical interaction with Dennett’s view, the first-person perspective and the third-person perspective are different ways of asking questions about themes. What these questions are is determined by the purposes that we have when we ask them. Since our purposes are (...) different according to the perspective we take, each perspective has a set of leading questions of its own. This makes that the first-person perspective is an approach of consciousness that is substantially different from the third-person perspective, and that one cannot be reduced to the other. These perspectives are independent, although complementary approaches of the mind. (shrink)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can (...) be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

This paper argues that 'duality' accounts of time, as exemplified by Henri Bergson's, Edmund Husserl's, and John McTaggart's ideas, parallel the decomposition of temporal experience in depressive psychosis into objective and subjective dimensions of time. The paper also proposes to comprehend the full-fledged depressive temporal delusion, in which the subjective flow of time comes to a standstill, via the idea of a double orientation to reality characteristic of schizophrenic delusions. In the depressive temporal delusion a person claims that time (...) is not moving while simultaneously her cognitive orientation in temporal surroundings remains largely unaffected, hence the double orientation. The juxtaposition of temporal experience in depression with the temporal disorientation in dementia enables us to situate the depressive delusion regarding the flow of time in the middle of a proposed scale of the disintegration of normal temporal experience. (shrink)

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary simplex algorithm, which works to find the optimal (...) solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (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)

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)

Particles and photons appear to be total opposites; the former has rest mass which requires space to exist; the latter has kinetic energy which requires time to occur (oscillate). But they do share certain properties (e.g., quantization) that remain invariant when one is transformed (swapped) for the other. This gauge invariance is developed in some detail. The symmetry between particle and photon turns out to be one of inversion. It is the equalities of special relativity that support this inversion and (...) the accompanying invariances: mass transformed to energy; space transformed to time. The great advantage of these symmetries (inversions) is that they provide guidance for an object little understood (the photon) based upon an object well understood (the particle). On this basis, progress can be made in the understanding of some long-standing issues: wave-particle duality, time’s arrow, the constant speed of light and nonlocality. (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)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset (...) logic leads to finite probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (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)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of (...) this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (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)

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of (...) dual theories, what is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

Both for Kant and for Nietzsche, aesthetics must not be considered as a systematic science based merely on logical premises but rather as a set of intuitively attained artistic ideas that constitute or reconstitute the sensible perceptions and supersensible representations into a new whole. Kantian and Nietzschean aesthetics are both aiming to see beyond the forms of objects to provide explanations for the nobility and sublimity of human art and life. We can safely say that Kant and Nietzsche used the (...) dualities of the beautiful/sublime and Apollonian/Dionysian to advocate their general philosophical worldview, and that the initial formation (in Observations and The Birth of Tragedy) and final dissolution (in the Critique of Judgment and Zarathustra and other later works) of these dualities are determined by the gradually established telos of their philosophical endeavor. Therefore, by observing the evolution of these so-called dualities, Kaplama gathers important clues as to how Kant’s and Nietzsche’s aesthetics transformed into different ways to affirm human art and life. On the one hand, Kaplama argues, the Dionysian came to be the heart and soul of Nietzschean aesthetics and ethics, and the Apollonian (or the formal drive of individuation) was reduced into a mere aesthetic criterion. On the other, Kant treats the sublime (which is originally an idea-producing feeling and/or judgment) as a mere appendix to his Critique of Judgment and aesthetic theory teleologically reducing it into its possible moral consequences. This is why Schopenhauer calls the sublime “by far the most excellent thing in the Critique of Judgment” which touches on the real problem of aesthetics very closely but does not provide a real solution for it. Kant’s forced teleological move is to make his theory of aesthetic judgment stand as a ‘reaffirmation’ of the earlier ethical justification he believed to have accomplished in the first two Critiques and the Groundwork where he defends an affirmation of human life through a teleological morality centered on the principle of free-will. In contrast, Nietzsche’s aesthetics (particularly the Dionysian) guides his ethics and metaphysics again through defining an ideal human nature without which ethos would be static and meaningless, lacking the ability to move and change and represent the tragic pathos of human life. (shrink)

Artificial intelligence (AI), deep learning, machine learning and neural networks represent extremely exciting and powerful machine learning-based techniques used to solve many real-world problems. Artificial intelligence is the branch of computer sciences that emphasizes the development of intelligent machines, thinking and working like humans. For example, recognition, problem-solving, learning, visual perception, decision-making and planning. Deep learning is a subset of machine learning in artificial intelligence that has networks capable of learning unsupervised from data that is unstructured or unlabeled. Deep learning (...) is a technique used to generate face detection and recognize it for real or fake by using profile images and determine the differences between them. In this study, we used deep learning techniques to generate models for Real and Fake face detection. The goal is determining a suitable way to detect real and fake faces. The model was designed and implemented, including both Dataset of images: Real and Fake faces detection through the use of Deep learning algorithms based on neural networks. We have trained dataset which consists of 9,000 images for total in 150 epochs, and got the ResNet50 model to be the best model of network architectures used with 100% training accuracy, 99.18% validation accuracy, training loss 0.0003, validation loss 0.0265, and testing accuracy 99%. (shrink)

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter investigates the meaning and significance of string theoretic dualities, arguing they reveal a surprising physical indeterminateness to spacetime.

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)

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.

In this essay, we consider the formal and ontological implications of one specific and intensely contested dialectical context from which Deleuze’s thinking about structural ideal genesis visibly arises. This is the formal/ontological dualism between the principles, ἀρχαί, of the One (ἕν) and the Indefinite/Unlimited Dyad (ἀόριστος δυάς), which is arguably the culminating achievement of the later Plato’s development of a mathematical dialectic.3 Following commentators including Lautman, Oskar Becker, and Kenneth M. Sayre, we argue that the duality of the One (...) and the Indefinite Dyad provides, in the later Plato, a unitary theoretical formalism accounting, by means of an iterated mixing without synthesis, for the structural origin and genesis of both supersensible Ideas and the sensible particulars which participate in them. As these commentators also argue, this duality furthermore provides a maximally general answer to the problem of temporal becoming that runs through Plato’s corpus: that of the relationship of the flux of sensory experiences to the fixity and order of what is thinkable in itself. Additionally, it provides a basis for understanding some of the famously puzzling claims about forms, numbers, and the principled genesis of both attributed to Plato by Aristotle in the Metaphysics, and plausibly underlies the late Plato’s deep considerations of the structural paradoxes of temporal change and becoming in the Parmenides, the Sophist, and the Philebus. After extracting this structure of duality and developing some of its formal, ontological, and metalogical features, we consider some of its specific implications for a thinking of time and ideality that follows Deleuze in a formally unitary genetic understanding of structural difference. These implications of Plato’s duality include not only those of the constitution of specific theoretical domains and problematics, but also implicate the reflexive problematic of the ideal determinants of the form of a unitary theory as such. We argue that the consequences of the underlying duality on the level of content are ultimately such as to raise, on the level of form, the broader reflexive problem of the basis for its own formal or meta-theoretical employment. We conclude by arguing for the decisive and substantive presence of a proper “Platonism” of the Idea in Deleuze, and weighing the potential for a substantive recuperation of Plato’s duality in the context of a dialectical affirmation of what Deleuze recognizes as the “only” ontological proposition that has ever been uttered. This is the proposition of the univocity of Being, whereby “being is said in the same sense, everywhere and always,” but is said (both problematically and decisively) of difference itself. (shrink)

The Subset View of realization, though it has some attractive advantages, also has several problems. In particular, there are five main problems that have emerged in the literature: Double-Counting, The Part/Whole Problem, The “No Addition of Being” Problem, The Problem of Projectibility, and the Problem of Spurious Kinds. Each is reviewed here, along with solutions (or partial solutions) to them. Taking these problems seriously constrains the form that a Subset view can take, and thus limits the kinds of relations that (...) can fulfill the realization relation on this view. (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)

We present an epistemological schema of natural sciences inspired by Peirce's pragmaticist view, stressing the role of the \emph{phenomenological map}, that connects reality and our ideas about it. The schema has a recognisable mathematical/logical structure which allows to explore some of its consequences. We show that seemingly independent principles as the requirement of reproducibility of experiments and the Principle of Sufficient Reason are both implied by the schema, as well as Popper's concept of falsifiability. We show that the schema has (...) some power in demarcating science by first comparing with an alternative schema advanced during the first part of the 20th century which has its roots in Hertz and has been developed by Einstein and Popper. Further, the identified differences allow us to focus in the construction of Special Relativity, showing that it uses an intuited concept of velocity that does not satisfy the requirements of reality in Peirce. While the main mathematical observation connected with this issue has been known for more than a century, it has not been investigated from an epistemological point of view. A probable reason could be that the socially dominating epistemology in physics does not encourage such line of work. We briefly discuss the relation of the abduction process presented in this work with discussions regarding ``abduction'' in the literature and its relation with ``analogy''. (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.

Van Fraassen explains rejections and asymmetries in science in terms of his contextual theory of explanation in the same way that scientists explain observable phenomena in the world in terms of scientific theories. I object that van Fraassen’s skeptical view regarding inference to the best explanation together with the English view of rationality jointly imply that the contextual theory is not rationally compelling, so van Fraassen and his epistemic colleagues can rationally disbelieve it. Prasetya replies that the truth of the (...) contextual theory coincides with its empirical adequacy, so the contextual theory is compelling. He also replies that the contextual theory is compelling, provided that van Fraassen’s argument for it instantiates a compelling subset of IBE. I argue that Prasetya’s replies either fail or help scientific realism. (shrink)

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

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)

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)

Advocates of interactionism in the ethical criticism of art argue that ethical value impacts aesthetic value. The debate is concerned with “the intrinsic question”: the question of whether ethical flaws/merits in artworks’ manifested attitudes affect their aesthetic value (Gaut 2007: 9). This paper argues that the assumption that artworks have intrinsic ethical value is problematic at least in regards to a significant subset of works: fictional artworks. I argue that, insofar as their ethical value emerges only from attitudes attributable to (...) actual agents, fictional artworks only have extrinsic ethical value. I show that what is at stake for interactionism is whether ethical judgements concerning artists’ attitudes in a context, rather than manifested attitudes, are ever aesthetically relevant. I conclude that, without buying into extreme actual intentionalism, a still controversial theory of interpretation that ties artworks’ meaning to actual artists, interactionism fails to show that ethical flaws/merits are aesthetic flaws/merits. (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)

In this paper, the aim is to explore how there can be a role for expression of affect in illocution, drawing upon some ideas about expression put forward by Karl Bühler. In a first part of the paper, I map some active discussions and open questions surrounding phenomena that seem to involve “expression of affect”. Second, I home in on a smaller piece of that larger puzzle; namely, a consideration of how there may be non-conventional expression of affect. I provide (...) some examples of what I take that to involve and set out some premises for approaching it. In a third section, I motivate such an interest by pointing to a question in speech act theory concerning ‘force conventionalism’. This is whether and how illocution can be performed non-conventionally—that is, whether (at least some) utterances can be communicated with illocutionary force without need of convention. I propose that where expression of affect may occur non-conventionally, it may in turn constitute one important route through which at least some kinds of illocution are achieved. In the fourth part of the paper, I sketch an account of such non-conventional expression of affect for the purposes of illocution, by exploring a broadly Bühlerian account of some affects; namely, that some affects are teleological in character, that coordinations may be involved in their satisfactional states, and that uptake of the expressed affect constitutes one subset of such satisfactional states. That exposition points to the contemporary relevance of the “action theory of expression” proposed by Bühler. (shrink)

Quantum mechanics is a fundamental theory in physics that describes the behavior of subatomic particles and systems at very small scales. Unlike classical theories, quantum mechanics introduces elements of indeterminism in the description of physical phenomena. There are fundamental limits to the precision with which certain physical properties, such as the position and momentum of a particle, can be measured simultaneously. This implies that, even if all the initial conditions of a quantum system are known, its future behavior cannot be (...) predicted with absolute certainty. -/- This quantum indeterminacy raises philosophical questions about determinism and free will, as well as their relationship to morality. Determinism holds that all actions and events are predetermined by prior causes, which challenges the traditional notion of moral responsibility based on control and predictability. In contrast, indeterminism posits that there are elements of randomness and variability in the workings of the universe. -/- From a moral and philosophical point of view, the presence of indeterminism in quantum mechanics poses challenges to the attribution of moral responsibility. If our actions are influenced by random events, how can we be morally responsible for them? (shrink)

In this paper it is shown that Lewis' MWD (might/would duality) and imaging principles lead to wildly implausible probability assignments for would counterfactuals.

Dualities are a pervasive phenomenon in contemporary physics, in which two physical theories are empirically equivalent, yet prima facie make different ontological claims about the world (potentially very different claims—differing in e.g. the number and radius of dimensions of the universe). Dualities thus present a particular instantiation of the well-known notion of underdetermination of theory by evidence. Many different philosophical proposals have been made for how such putative underdetermination might be resolved—this continues to be a programme of active research.

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)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover (...) the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

N.T. Wright has offered Christian philosophers a proposal where it is apparently possible to hold the belief in the intermediate state-resurrection of the body and an ontological holism in the same sense at the same time. I argue that this not only creates a basic contradiction in Wright’s ontological paradigm, but also it is not a coherent and tenable proposal despite the fact one might eventually find a potential solution to such a quandary.

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)

How The Evolution Of Language Created The Mysteries of Subjective Experience, Mind And Self. -/- In this new paradigm, a distinction is made between biological awareness which exists in varying degrees in all animate beings and consciousness, the origin of which is based on symbolic language and therefore found only within our species. The evolution of language enabled us to not only label and communicate our experiences, an ability shared by other primates but to also describe and explain them, both (...) of which only humans are capable. The essence of the mind-body problem has been our inability to explain how our inner subjective experiences became seen as different from our objective experiences of the physical world. This problematic duality was created by the relatively rapid growth in scientific terminology and thought during the seventeenth century which was in sharp contrast to our emotionally based vocabulary. As we became increasingly tuned into the physical world, our awareness of the difference between our objective and subjective experiences became obvious. As the evolution of language further enabled us to label and describe both our objective and subjective experiences, we were able to recognize the difference between what was occurring within us versus to us. This naturally created the dualism of mind versus body. The evolution of symbolic language was not only the basis for both the origin of consciousness and the mind-body problem, but for the metaphysical ideas of god and mind as well as of the soul and the personal self. As such, this book provides an entirely new perspective on subjects that have long perplexed many thinkers throughout history. (shrink)

Quantum complementarity is interpreted in terms of duality and opposition. Any two conjugates are considered both as dual and opposite. Thus quantum mechanics introduces a mathematical model of them in an exact and experimental science. It is based on the complex Hilbert space, which coincides with the dual one. The two dual Hilbert spaces model both duality and opposition to resolve unifying the quantum and smooth motions. The model involves necessarily infinity even in any finitely dimensional subspace of (...) the complex Hilbert space being due to the complex basis. Furthermore, infinity is what unifies duality and opposition, universality and openness, completeness and incompleteness in it. The deduced core of quantum complementarity in terms of infinity, duality and opposition allows of resolving a series of various problems in different branches of philosophy: the common structure of incompleteness in Gödel’s (1931) theorems and Enstein, Podolsky, and Rosen’s argument (1935); infinity as both complete and incomplete; grounding and self-grounding, metaphor and representation between language and reality, choice and information, the totality and an observer, the basic idea of philosophical phenomenology. The main conclusion is: Quantum complementarity unifies duality and opposition in a consistent way underlying the physical world. (shrink)

In this book, authors, for the first time, introduce the new notion of special subset linguistic topological spaces using linguistic square matrices. This book is organized into three chapters. Chapter One supplies the reader with the concept of ling set, ling variable, ling continuum, etc. Specific basic linguistic algebraic structures, like linguistic semigroup linguistic monoid, are introduced. Also, algebraic structures to linguistic square matrices are defined and described with examples. For the first time, non-commutative linguistic topological spaces are introduced. The (...) notion of a linguistic special subset of doubly non-commutative topological spaces of linguistic topological spaces is introduced in this book. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the logic of relatives. The (...) term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (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)

In a preceding publication a fundamentally oriented and irreversible world was shown to be de- rivable from the important principle of least action. A consequence of such a paradigm change is avoidance of paradoxes within a “dynamic” quantum physics. This becomes essentially possible because fundamental irreversibility allows consideration of the “entropy” concept in elementary processes. For this reason, and for a compensation of entropy in the spread out energy of the wave, the duality of particle and wave has to (...) be mediated via an information self-image of matter. In this publication considerations are extended to irreversible thermodynamics, to gravitation and cos- mology with its dependence on quantum interpretations. The information self-image of matter around particles could be identified with gravitation. Because information can also impose an al- ways constant light velocity there is no need any more to attribute such a property to empty space, as done in relativity theory. In addition, the possibility is recognized to consider entropy genera- tion by expanding photon fields in the universe. Via a continuous activation of information on matter photons can generate entropy and release small energy packages without interacting with matter. This facilitates a new interpretation of galactic redshift, emphasizes an information link between quantum- and cosmological phenomena, and evidences an information-triggered origin of the universe. Self-organized processes approach maximum entropy production within their constraints. In a far from equilibrium world also information, with its energy content, can self- organize to a higher hierarchy of computation. It is here identified with consciousness. This ap- pears to explain evolution of spirit and intelligence on a materialistic basis. Also gravitation, here identified as information on matter, could, under special conditions, self-organize to act as a su- per-gravitation, offering an alternative to dark matter. Time is not an illusion, but has to be understood as flux of action, which is the ultimate reality of change. The concept of an irreversible physical world opens a route towards a rational understanding of complex contexts in nature. (shrink)