Abstract. Let REL(O*E) be the relation algebra of binary relations defined on the Boolean algebra O*E of regular open regions of the Euclidean plane E. The aim of this paper is to prove that the canonical contact relation C of O*E generates a subalgebra REL(O*E, C) of REL(O*E) that has infinitely many elements. More precisely, REL(O*,C) contains an infinite family {SPPn, n ≥ 1} of relations generated by the relation SPP (Separable Proper Part). This relation can be used (...) to define point-free concept of connectedness that for the regular open regions of E coincides with the standard topological notion of connectedness, i.e., a region of the plane E is connected in the sense of topology if and only if it has no separable proper part. Moreover, it is shown that the contact relation algebra REL(O*E, C) and the relation algebra REL(O*E, NTPP) generated by the non-tangential proper parthood relation NTPP, coincide. This entails that the allegedly purely topological notion of connectedness can be defined in mereological terms. (shrink)
This paper investigates a generalization of Booleanalgebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.
Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties (...) of the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from booleanalgebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)
Hyperboolean algebras are Booleanalgebras with operators, constructed as algebras of complexes (or, power structures) of Booleanalgebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Booleanalgebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and (...) show that it lacks the finite model property. The method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)
In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept (...) of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)
The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be (...) used to prove a completeness theorem for S4.1. Further, it is shown that the McKinsey algebra MKX of a space X endoewed with an alpha-topologiy satisfies Esakia's GRZ axiom. (shrink)
Multialgebras (or hyperalgebras or non-deterministic algebras) have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency (or LFIs) that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization (...) of logics by swap structures are given. Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff's representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics (as independently introduced by M. Fidel and D. Vakarelov). This fact, together with the existence of a functor from the category of Booleanalgebras to the category of swap structures for each LFI (which is closely connected with Kalman's functor), suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (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.
As the ongoing literature on the paradoxes of the Lottery and the Preface reminds us, the nature of the relation between probability and rational acceptability remains far from settled. This article provides a novel perspective on the matter by exploiting a recently noted structural parallel with the problem of judgment aggregation. After offering a number of general desiderata on the relation between finite probability models and sets of accepted sentences in a Boolean sentential language, it is noted that a (...) number of these constraints will be satisfied if and only if acceptable sentences are true under all valuations in a distinguished non-empty set W. Drawing inspiration from distance-based aggregation procedures, various scoring rule based membership conditions for W are discussed and a possible point of contact with ranking theory is considered. The paper closes with various suggestions for further research. (shrink)
The aim of this paper is to present a general method for constructing natural tessellations of conceptual spaces that is based on their topological structure. This method works for a class of spaces that was defined some 80 years ago by the Russian mathematician Pavel Alexandroff. Alexandroff spaces, as they are called today, are distinguished from other topological spaces by the fact that they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, Ian Rumfitt (apparently not (...) being aware of Alexandroff’s work) used a very special case of Alexandroff’s method to elucidate the logic of vague concepts in a new way. Elaborating his approach, the color circle’s conceptual space can be shown to define an atomistic Boolean algebra of regular open concepts. In a similar way Gärdenfors’ geometrical discretization of conceptual spaces by Voronoi tessellations also can be shown to be a kind of geometrical version of Alexandroff’s topological construction. More precisely, a discretization à la Gärdenfors is extensionally equivalent to a topological discretization constructed by Alexandroff’s method. Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works much more generally, namely, for Alexandroff spaces. For these spaces (X, OX) the Booleanalgebras O*X of regular open sets are still atomistic and yield natural tessellations of X. (shrink)
Abstract Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language Hm is maximally acceptable for nominalistic mereology. In an extension Hgem of Hm, a modal analog for the classical systems of Leonard and Goodman (J Symb Log 5:45–55, 1940) and Lesniewski (1916) is introduced and shown to be complete with respect to 0- deleted Booleanalgebras. (...) We characterize the formulas of first-order logic invariant for Hgem-bisimulations. (shrink)
In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Booleanalgebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in (...) order to analyze the class of mbC-structures. Thus, substructures, union of chains, direct products, direct limits, congruences and quotient structures can be analyzed under this perspective. In particular, a Birkhoff-like representation theorem for mbC-structures as subdirect poducts in terms of subdirectly irreducible mbC-structures is obtained by adapting a general result for first-order structures due to Caicedo. Moreover, a characterization of all the subdirectly irreducible mbC-structures is also given. An alternative decomposition theorem is obtained by using the notions of weak substructure and weak isomorphism considered by Fidel for Cn-structures. (shrink)
The article presents the results of our observations on syntactic, semantic and plot peculiarities of oral language activity, we find it justified to consider the above mentioned parameters as identification criteria for discovering characterological differences of Ukrainian-speaking and Russian-speaking objects of contact profiling. It describes the connection between mechanisms of psychological defenses as the character structural components, and agentive and non-agentive speech constructions, internal and external predicates. Localized and described plots of oral narratives inherent to representatives of different character (...) types. (shrink)
Deux choses sont en contact s'il n'y a rien entre elles (ni volume, ni ligne, ni point) et qu'elles ne se chevauchent pas (en un volume, un ligne ou un point). Le contact est la limite de proximité des choses : si deux choses sont en contact, deux autres choses ne peuvent être pas être plus près l'une de l'autre sans se pénétrer.
Cross-species comparisons are benefited by compatible datasets; conclusions related to phylogenetic comparisons, questions on convergent and divergent evolution, or homologs versus analogs can only be made when the behaviors being measured are comparable. A direct comparison of the social function of physical contact across two disparate taxa is possible only if data collection and analyses methodologies are analogous. We identify and discuss the parameters, assumptions and measurement schemes applicable to multiple taxa and species that facilitate cross-species comparisons. To illustrate (...) our proposed guidelines for evaluating the role played by tactile contact in social behavior across disparate taxa, this paper presents data on mother-offspring relationships in the two species studied by the authors: chimpanzees (Pan troglodytes schweinfurthii) and dolphins (bottlenose and spotted, Tursiops truncatus and Stenella frontalis, respectively). Cross-species comparative studies allow for a more comprehensive assessment of the similarities and differences with respect to how animals traverse the relationships that form their social groups and societies. (shrink)
Estimates of autism’s incidence increased 5-10 fold in ten years, an increase which cannot be genetic. Though many mutations are associated with autism, no mutation seems directly to cause autism. We need to find the direct cause. Complexity science provides a new paradigm - confirmed in biology by extensive hard data. Both the body and the personality are complex dynamic systems which spontaneously self-organize from simple dynamic systems. Autism may therefore be caused by the failure of a simple dynamic system. (...) We know that infants who cannot track their mother’s face often become autistic, that eye-contact initiates intersubjectivity which is blocked in autism, and that the infant-mother pair seems designed to promote eye-contact, as does the eye’s appearance. This author earlier proposed that failure of eye-contact might directly cause autism and that early non-maternal childcare, including television/video, would therefore be statistically linked to autism. Waldman et al. (2008; 2006) recently proved that autism is strongly linked to precipitation (indoor activity) and to the introduction of cable. The most plausible explanation? Early exposure to television/video is linked to autism. Furthermore a normal developmental cascade (blocked in autism) has been deciphered: (a) Infant-mother eye-contact triggers increased maternal attention. (b) Early maternal attention permanently increases not only baseline vasopressin but also that oxytocin release which is triggered by subsequent maternal attention. (c) Vasopressin and oxytocin promote face recognition, gazing-at-the-eyes, emotion recognition, and social bonding. The eye-contact hypothesis suggests a clinical study addressing prevention: recruit prospective parents who agree to curtail television/video/computer/wi-fi in their families; measure autism’s incidence in their children. (shrink)
There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)
The object of this investigation is the connection between dance and modern philosophy. The body has been disciplined in modern era in a very peculiar way which is conveyed into governmental processes of optimization of the bodily potentiality. Dance has not only an aesthetic value but a political one. In this contribution I analyse the government of the body through disciplined movement and the research for the intensive variations in the contemporary sperimental 'contact improvisation'.
In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)
Different anesthetics are known to modulate different types of membrane-bound receptors. Their common mechanism of action is expected to alter the mechanism for consciousness. Consciousness is hypothesized as the integral of all the units of internal sensations induced by reactivation of inter-postsynaptic membrane functional LINKs during mechanisms that lead to oscillating potentials. The thermodynamics of the spontaneous lateral curvature of lipid membranes induced by lipophilic anesthetics can lead to the formation of non-specific inter-postsynaptic membrane functional LINKs by different mechanisms. These (...) include direct membrane contact by excluding the inter-membrane hydrophilic region and readily reversible partial membrane hemifusion. The constant reorganization of the lipid membranes at the lateral edges of the postsynaptic terminals (dendritic spines) resulting from AMPA receptor-subunit vesicle exocytosis and endocytosis can favor the effect of anesthetic molecules on lipid membranes at this location. Induction of a large number of non-specific LINKs can alter the conformation of the integral of the units of internal sensations that maintain consciousness. Anesthetic requirement is reduced in the presence of dopamine that causes enlargement of dendritic spines. Externally applied pressure can transduce from the middle ear through the perilymph, cerebrospinal fluid, and the recently discovered glymphatic pathway to the extracellular matrix space, and finally to the paravenular space. The pressure gradient reduce solubility and displace anesthetic molecules from the membranes into the paravenular space, explaining the pressure reversal of anesthesia. Changes in membrane composition and the conversion of membrane hemifusion to fusion due to defects in the checkpoint mechanisms can lead to cytoplasmic content mixing between neurons and cause neurodegenerative changes. The common mechanism of anesthetics presented here can operate along with the known specific actions of different anesthetics. (shrink)
Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest (...) of this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)
Formal semantic analyses often take words to be minimal building blocks for the purposes of compositionality. But various recent theories of morphology and syntax have converged on the view that there is no demarcation line corresponding to the word level. The same conclusion has emerged from the compositional semantics of superlatives. In the spirit of extending compositionality below the word level, this paper explores how a small set of particles (Japanese KA and MO, Chinese DOU, and Hungarian VALA/VAGY, MIND, and (...) IS) form quantifier words and serve as connectives, additive and scalar particles, question markers, and existential verbs. The main question is whether the meanings of these particles across the varied environments are highly regular, or they are lexicalized with a variety of different meanings that bear a family resemblance. This paper does not reach definitive conclusions, but it raises analytical possibilities using Boolean semantics and the semantics of alternatives. It also draws attention to systematic similarities and some differences between MO and DOU that have not been studied in the literature. (shrink)
Biochemical networks are often called upon to illustrate emergent properties of living systems. In this contribution, I question such emergentist claims by means of theoretical work on genetic regulatory models and random Boolean networks. If the existence of a critical connectivity Kc of such networks has often been coined “emergent” or “irreducible”, I propose on the contrary that the existence of a critical connectivity Kc is indeed mathematically explainable in network theory. This conclusion also applies to many other types (...) of formal networks and weakens the emergentist claim attached to bio-molecular networks, and by extension to living systems. (shrink)
Constructive realism (CR) is an attempt to overcome the difficulties associated with naïve realism and radical constructivism. There are different versions for CR. In this paper, I defend a particular version of CR. Complexity of reality, on the one hand, and the impact of human mind, language, and culture, on the other, leads to the inevitable contribution of constructs in knowledge development. According to the CR, even if mental, linguistic and cultural side of constructs could not be avoided in principle, (...) a certain proportion of reality-contact can be considered and defended for the constructs. In this sense, human mind and culture has a constitutive role to play in knowledge acquiring instead of being an innocent means in the process of acquiring knowledge. On the other hand, the role played by the reality in this process cannot be ignored because, according to the CR, knowledge consists after all of knowing 'something' in the real world. On the whole, taking into account both the constitutive role of mind and culture, on the one hand, and the inevitable role of the reality, on the other, shows the difference between the CR and pure realism, pure constructivism, and those versions of CR that do not take the constitutive role of mind into account. There are requirements for the CR in science education. First of all, there must be a constant caution for making sure that our scientific theories have caught the proportion of reality-contact. This point shows the difference between the CR and pure constructivism. This caution should be present in our science teaching as well. Secondly, we should encourage our students to develop imaginative alternative constructs when they are learning sciences. This shows the difference between the CR with naïve realists who ignore the importance of students' imaginations in suggesting alternative constructs. Notwithstanding, while we encourage the students to develop their imaginative constructs, there should be considered a limitation for their over-justification about their constructs. In this way, we as teachers should urge them to take counter-evidence most seriously into account. This is a point in which constructive realists are distinguished from pragmatists too. Pragmatists do not give up their theories in confrontation with counter-evidence but rather look for almost limitless changes in their constructs in order for making the counterevidence compatible with their theories, whereas constructive realists will be ready to take counterevidence more serious and correct their constructs accordingly. (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)
The word 'and' can be used both intersectively, as in 'John lies and cheats', and collectively, as in 'John and Mary met'. Research has tried to determine which one of these two meanings is basic. Focusing on coordination of nouns ('liar and cheat'), this article argues that the basic meaning of 'and' is intersective. This theory has been successfully applied to coordination of other kinds of constituents (Partee & Rooth 1983; Winter 2001). Certain cases of noun coordination ('men and women') (...) challenge this view, and have therefore been argued to favor the collective theory (Heycock & Zamparelli 2005). The main result of this article is that the intersective theory actually predicts the collective behavior of 'and' in 'men and women'. 'And' leads to collectivity by interacting with silent operators involving set minimization and choice functions, which have been postulated to account for phenomena involving indefinites, collective predicates and coordinations of noun phrases (Winter 2001). This article also shows that the collective theory does not generalize to coordinations of noun phrases in the way it has been previously suggested. (shrink)
The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)
In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the (...) theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate. (shrink)
Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (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)
The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...) the connection and its multiplicity. (shrink)
Drawing on findings from the study of prejudice and prejudice reduction, we identify a number of mechanisms through which religious communities may influence the intergroup attitudes of their members. We hypothesize that religious participation could in principle either reduce or promote prejudice with respect to any given target group. A religious community’s influence on intergroup attitudes will depend upon the specific beliefs, attitudes, and practices found within the community, as well as on interactions between the religious community and the larger (...) social environment in which it is embedded. Basing our proposals on findings from the literature on prejudice formation and prejudice reduction allows us to outline useful directions for future studies of religion and prejudice. (shrink)
It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)
We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, the notion (...) of Non-Being is connected to Aristotle’s theory of oppositions. In Section III, the notion of essence is revisited in order to bring about a holist theory of meaning by individuating through opposite properties. In conclusion, the legacy of Aristotle is depicted as balanced between a powerful reflection around Being and a restrictive ontology of substance. (shrink)
The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define (...) the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)
The growing proportion of elderly people in society, together with recent advances in robotics, makes the use of robots in elder care increasingly likely. We outline developments in the areas of robot applications for assisting the elderly and their carers, for monitoring their health and safety, and for providing them with companionship. Despite the possible benefits, we raise and discuss six main ethical concerns associated with: (1) the potential reduction in the amount of human contact; (2) an increase in (...) the feelings of objectification and loss of control; (3) a loss of privacy; (4) a loss of personal liberty; (5) deception and infantilisation; (6) the circumstances in which elderly people should be allowed to control robots. We conclude by balancing the care benefits against the ethical costs. If introduced with foresight and careful guidelines, robots and robotic technology could improve the lives of the elderly, reducing their dependence, and creating more opportunities for social interaction. (shrink)
This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)
According to the predictive coding theory of cognition , brains are predictive machines that use perception and action to minimize prediction error, i.e. the discrepancy between bottom–up, externally-generated sensory signals and top–down, internally-generated sensory predictions. Many consider PCT to have an explanatory scope that is unparalleled in contemporary cognitive science and see in it a framework that could potentially provide us with a unified account of cognition. It is also commonly assumed that PCT is a representational theory of sorts, in (...) the sense that it postulates that our cognitive contact with the world is mediated by internal representations. However, the exact sense in which PCT is representational remains unclear; neither is it clear that it deserves such status—that is, whether it really invokes structures that are truly and nontrivially representational in nature. In the present article, I argue that the representational pretensions of PCT are completely justified. This is because the theory postulates cognitive structures—namely action-guiding, detachable, structural models that afford representational error detection—that play genuinely representational functions within the cognitive system. (shrink)
Sex is an important part of human life. It is a source of pleasure and intimacy, and is integral to many people’s self-identity. This chapter examines the opportunities and challenges posed by the use of AI in how humans express and enact their sexualities. It does so by focusing on three main issues. First, it considers the idea of digisexuality, which according to McArthur and Twist (2017) is the label that should be applied to those ‘whose primary sexual identity comes (...) through the use of technology’, particularly through the use of robotics and AI. While agreeing that this phenomenon is worthy of greater scrutiny, the chapter questions whether it is necessary or socially desirable to see this as a new form of sexual identity. Second, it looks at the role that AI can play in facilitating human-to-human sexual contact, focusing in particular on the use of self-tracking and predictive analytics in optimising sexual and intimate behaviour. There are already a number of apps and services that promise to use AI to do this, but they pose a range of ethical risks that need to be addressed at both an individual and societal level. Finally, it considers the idea that a sophisticated form of AI could be an object of love. Can we be truly intimate with something that has been ‘programmed’ to love us? Contrary to the widely-held view, this chapter argues that this is indeed possible. (shrink)
The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact support@jstor.org.
‘There is no place in the phenomenology of fully absorbed coping’, writes Hubert Dreyfus, ‘for mindfulness. In flow, as Sartre sees, there are only attractive and repulsive forces drawing appropriate activity out of an active body’1. Among the many ways in which history animates dynamical systems at a range of distinctive timescales, the phenomena of embodied human habit, skilful movement, and absorbed coping are among the most pervasive and mundane, and the most philosophically puzzling. In this essay we examine both (...) habitual and skilled movement, sketching the outlines of a multidimensional framework within which the many differences across distinctive cases and domains might be fruitfully understood. Both the range of movement phenomena which can plausibly be seen as instances of habit or skill, and the space of possible theories of such phenomena are richer and more disparate than philosophy easily encompasses. We seek to bring phenomenology into contact with relevant movements in psychological theories of skilful action, in the belief that phenomenological philosophy and cognitive science can be allies rather than antagonists. (shrink)
an inquiry into recent animal experimentation at Sick Kids Hospital, including detailed accounts of pain research and fear conditioning on neonatal rodents, induced lung trauma on piglets, and the infection of impregnated mice with malaria. -/- appended with three 2018 Press Releases that provoked Sick Kids to contact Toronto police and ban me from their premises and from contacting their researchers.
Robustness is a common platitude: hypotheses are better supported with evidence generated by multiple techniques that rely on different background assumptions. Robustness has been put to numerous epistemic tasks, including the demarcation of artifacts from real entities, countering the “experimenter’s regress,” and resolving evidential discordance. Despite the frequency of appeals to robustness, the notion itself has received scant critique. Arguments based on robustness can give incorrect conclusions. More worrying is that although robustness may be valuable in ideal evidential circumstances (i.e., (...) when evidence is concordant), often when a variety of evidence is available from multiple techniques, the evidence is discordant. †To contact the author, please write to: Jacob Stegenga, Department of Philosophy, University of California, San Diego, 9500 Gilman Drive, La Jolla, CA 92093; e‐mail: jstegenga@ucsd.edu. (shrink)
In "Truth and Method" Hans Georg Gadamer revealed hermeneutics as one of the foundational epistemological elements of history, in contrast to scientific method, which, with empiricism, constitutes natural sciences’ epistemology. This important step solved a number of long-standing arguments over the ontology of history, which had become increasingly bitter in the twentieth century. But perhaps Gadamer’s most important contribution was that he annulled history’s supposed inferiority to the natural sciences by showing that the knowledge it offers, though different in nature (...) from science, is of equal import. By showing history’s arrant independence from the natural sciences, the former was furnished with a new-found importance, and thrust on an equal footing with the latter—even in a distinctly scientific age such as ours. This essay intends to show that the idea of history’s discrete ontology from science was prefigured almost a century earlier by Benedetto Croce. Croce and Gadamer show compelling points of contact in their philosophies, notwithstanding that they did not confer equal consequence to what may be identified as Gadamer’s principal substantiation of history’s epistemology—hermeneutics. Of course this essay does not aspire to be exhaustive: the thought of both philosophers is far too dense. Nevertheless, the main points of contact shall be outlined, and, though concise, this essay seeks to point out the striking similarities of these two cardinal philosophers of history. (shrink)
This paper presents a new account of aesthetic pleasure, according to which it is a distinct psychological structure marked by a characteristic self-reinforcing motivation. Pleasure figures in the appreciation of an object in two ways: In the short run, when we are in contact with particular artefacts on particular occasions, aesthetic pleasure motivates engagement and keeps it running smoothly—it may do this despite the fact that the object we engagement is aversive in some ways. Over longer periods, it plays (...) a critical role in shaping how we engage with objects to get this kind of pleasure from them. This account is yoked to a broadly functional understanding of art: it is not the nature of the object that makes it art, but the nature of the response that it is designed to elicit. The view does not, however, rest on individual psychology alone, as some other functional accounts do. Crucially, it is argued that shared cultural context is a key determinant of the pleasure we derive from aesthetic artefacts. The pleasure of art is always communal and communicative. (shrink)
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.