Wide-ranging and astutely argued, Talmud /and/ Philosophy examines the intersections, partitions, and mutual illuminations and problematizations of western philosophy and the Talmud. Among its devoted students or "learners," the Talmud - both as text and mode of thought - is a constantly unfolding truth about humans in their relationship to God in the world. Among many philosophers, the Talmud has been at best an idealized and remote object, and at worse, if noticed at all, an object for curiosity. The contributors (...) to this volume collectively turn on and probe a new mode of inquiry by approaching the very question of partitions, conjunctions and disjunctions between the Talmud and philosophy as the guiding question of their inquiry. Rather than using the Talmud and its modes of argumentation to develop existing philosophical themes, the essays probe the question of how the Talmud as an intellectual discipline sheds new light on the unfolding of philosophy in the history of thought. (shrink)

We study the intersection type assignment system as defined by Barendregt, Coppo and Dezani. For the four essential variants of the system (with and without a universal type and with and without subtyping) we show that the emptiness (inhabitation) problem is recursively unsolvable. That is, there is no effective algorithm to decide if there is a closed term of a given type. It follows that provability in the logic of "strong conjunction" of Mints and Lopez-Escobar is also undecidable.

The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are interpreted as formulas of a Hilbert-style logic L, which turns out to be an extension of the intuitionistic logic with respect to provable disjunctive formulas (because of new equivalence relations on formulas), while the implicational-conjunctive fragment of L is still a fragment of intuitionistic logic. Moreover, typable terms are translated in a typed version, so that --typed (...) combinatory logic terms are proved to completely codify the associated logical proofs. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“I would rather be a cyborg than a goddess”Becoming-Intersectional in Assemblage TheoryJasbir K. Puar“Grids happen” writes Brian Massumi, at a moment in Parables for the Virtual where one is tempted to be swept away by the endless affirmative becomings of movement, flux, and potential, as opposed to being pinned down by the retroactive positioning of identity (2002, 8). For the most part, Massumi has been less interested in how (...) grids happen than in asking how they can un-happen, or not happen. What the tension between the two purportedly opposing forces signals, at this junction of scholarly criticism, might be thought of as a dialogue between theories that deploy the subject as a primary analytic frame, and those that highlight the forces that make subject formation tenuous, if not impossible or even undesirable. I have seen this tension manifest acutely in my own work on intersectionality and assemblage theory. On the one hand I have been a staunch advocate of what is now commonly known as an intersectional approach: analyses that foreground the mutually co-constitutive forces of race, class, sex, gender, and nation. Numerous feminist thinkers consider intersectionality the dominant paradigm through which feminist theory has analyzed difference; Leslie McCall argues that intersectionality might be considered “the most important theoretical contribution that women’s studies, in conjunction with other fields, has made so far” (McCall 2005, 1771). Intersectional analysis is now a prevalent approach in queer theory.1 At the same time, encountering a poststructuralist fatigue with the now-predictable yet still [End Page 49] necessary demands for subject recognition, I also argued in my book, Terrorist Assemblages: Homonationalism in Queer Times, that intersectionality as an intellectual rubric and a tool for political intervention must be supplemented—if not complicated and reconceptualized—by a notion of assemblage. Following Massumi on the “retrospective ordering” of identities such as “gender, race, and sexual orientation” which “back-form their reality,” in Terrorist Assemblages I write, “[I]ntersectional identities and assemblages must remain as interlocutors in tension... intersectional identities are the byproducts of attempts to still and quell the perpetual motion of assemblages, to capture and reduce them, to harness their threatening mobility” (Puar 2007, 213). Subject positioning on a grid is never self-coinciding; positioning does not precede movement but rather it is induced by it; epistemological correctives cannot apprehend ontological becomings; the complexity of process is continually mistaken for a resultant product.2Since the publication of Terrorist Assemblages, in response to anxieties about my apparent prescription to leave intersectionality behind (as if one could), I have often been asked to elaborate on the political usages of assemblages and assemblage theory. A prominent concept in the work of Gilles Deleuze and Felix Guattari, assemblage seems to inspire doubt about its political “ applicability,” while intersectionality seems to hold fast as a successful tool for political and scholarly transformation. Part of the assumption at work in these queries is that representation, and its recognized subjects, is the dominant, primary, or most efficacious platform of political intervention, while a Deleuzian nonrepresentational, non-subject-oriented politics is deemed impossible. Perhaps these queries also reveal concerns about how they might be somehow incompatible or even oppositional, despite the fact that intersectionality and assemblage are not analogous in terms of content, utility, or deployment. As analytics, they may not be reconcilable. Yet they need not be oppositional but rather, I argue, frictional.In what follows, I offer some preliminary thoughts on the limits and possibilities of intersectionality and assemblage and what might be gained by thinking them through and with each other. What are the strengths of each in the realms of theory, political organizing, legal structures, and method? Through highlighting the convivial crossings of these two differentiated but not oppositional genealogies, I offer some thoughts on epistemological correctives in feminist knowledge production—which has been driven, sometimes single-mindedly, by the mandate of intersectional analysis—to see what kinds of futures are possible for feminist theorizing. I reread the formative concept that fueled the metaphoric invocation of intersectionality, specifically Kimberlé Crenshaw’s use of the traffic intersection, to show where intersectionality, as that which retroactively forms the grid and... (shrink)

This article argues that phenomenological sociology has great potential to provide a strong theoretical support to the Sociocognitive Approach in Critical Discourse Studies. SCA is interested in the interconnections between knowledge, discourse and society while placing subjectivity in the centre of its framework. It looks into the correlative relationship between personal- and socially shared knowledge, and the significance of these correlations to discourse production and interpretation. Analogously, phenomenological sociology explores the interrelated structures of subjectivity, knowledge and the social world. It (...) systematically analyses the conditions and forms of intersubjective understanding and the mutually constitutive relationship between subjective- and objective knowledge. Given the considerable overlap between the subject matter of phenomenological sociology and that of SCA, the purpose of the article is to draw the attention of critical discourse analysts to a neglected but extremely resourceful field. Following a brief introduction to SCA, the article will address some of SCA’s key concepts in conjunction with the phenomenological-sociological insight. (shrink)

Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.

This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory (...) models of these calculi. (The logician's "theory" is the algebraist's "filter".) The coincidence extends to a dual interpretation of key particles—the subtype translates to provable , type intersection to conjunction , function space to implication, and whole domain to the (trivially added but trivial) truth T. This satisfying ointment contains a fly. For it is right, proper, and to be expected that type union should correspond to the logical disjunction of B. But the simulation of functional application by a fusion (or modus ponens product) operation on theories leaves the key Bubbling lemma of work on ITD unprovable for the -prime theories now appropriate for the modeling. The focus of the present paper lies in an appeal to Harrop theories which are (a) prime and (b) closed under fusion. A version of the Bubbling lemma is then proved for Harrop theories, which accordingly furnish a model of and CL. (shrink)

This essay addresses the intersection of ‘urban topography’ and history in shaping the contours of the self and encounters with ‘the other’. It is based on field research in primarily one neighborhood of Beirut – Hamra. Whereas almost all neighborhoods in Beirut are dominated by one sect, Hamra is considered to be the most secular, diverse, and cosmopolitan area in this city. It is the home of several international universities and has nourished a robust public culture. Based on countless hours (...) of observation and conversations as well as formal interviews with dozens of residents, shop owners, and intellectuals, I explore the dynamics of belonging and exclusion in a neighborhood that is imagined as the exemplar of a cosmopolitan culture. In the first section of the essay, I sketch a typology of street cultures, suggesting connections to forms of selfhood. I argue that Hamra’s urban topography, in conjunction with Beirut’s post-civil war history, has formed a self that is not disposed toward open engagement with the other. In the second part of the essay, I analyze patterns of social difference in Hamra, exploring the shape of gender, sexual, and ethnic differences. I consider which differences ‘coalesce’ and what form this takes as well as patterns of incorporation and exclusion. In the third part of the essay, the meaning of cosmopolitanism in an urban context is examined. I explore the notion of cosmopolitanism as a rhetoric of nationalism against both sectarian and Arab nationalism. Finally, in the last section I argue that the confessional basis of power in Lebanon helps explain patterns of social exclusion. This confessional polity encourages a politics of paranoia. (shrink)

This chapter investigates forgiveness through a phenomenological inflected analysis of its temporal constitution as an inter-subjective self-constitution. A central claim to phenomenological thinking is the recognition of temporality as fundamental to the constitution of human subjectivity. The intentionality of forgiveness directs the offender as its primary object in view of her past wrongdoing. The conjunction of repudiation and responsibility plays itself out along two intersecting distinctions: between act and self, and between the past and present/future. An interpretation of shame (...) within the etiology of self-repudiation is then reported. The assumption of responsibility by the offender does not separate the past misconduct. Bitterness mobilises the offender to responsibility, and demands of the offender that he or she recognize and respect the victim. The offender accepts the burden of his or her past wrong into the compass of the person he or she is today and thus becomes the living questionability of his or her own wrongdoing. (shrink)

How can different individuals' probability assignments to some events be aggregated into a collective probability assignment? Classic results on this problem assume that the set of relevant events -- the agenda -- is a sigma-algebra and is thus closed under disjunction (union) and conjunction (intersection). We drop this demanding assumption and explore probabilistic opinion pooling on general agendas. One might be interested in the probability of rain and that of an interest-rate increase, but not in the probability of rain (...) or an interest-rate increase. We characterize linear pooling and neutral pooling for general agendas, with classic results as special cases for agendas that are sigma-algebras. As an illustrative application, we also consider probabilistic preference aggregation. Finally, we compare our results with existing results on binary judgment aggregation and Arrovian preference aggregation. This paper is the first of two self-contained, but technically related companion papers inspired by binary judgment-aggregation theory. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from formal epistemology have been used (...) fruitfully to advance epistemically‐relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

In this wide-ranging conversation, Michael Hardt reflects on recent transformations within Empire. Several unique themes emerge concerning power and pedagogy as they intersect with subjectivity and global crisis. Drawing on the common in conjunction with the tradition of love in education uncovers a different path that attends to today’s real political, ecological, and social needs. Finally, a focus on collectivity points to a possible strategy—collective intellectuality—for educators to revise traditional notions of leadership to encourage more ethical, democratic, and sustainable (...) futures. Yet, what this looks like in practice remains for us to imagine. (shrink)

This volume explores questions about conceptual change from both scientific and philosophical viewpoints by analyzing the recent history of evolutionary developmental biology. It features revised papers that originated from the workshop "Conceptual Change in Biological Science: Evolutionary Developmental Biology, 1981-2011" held at the Max Planck Institute for the History of Science in Berlin in July 2010. The Preface has been written by Ron Amundson. In these papers, philosophers and biologists compare and contrast key concepts in evolutionary developmental biology and their (...) development since the original, seminal Dahlem conference on evolution and development held in Berlin in 1981. Many of the original scientific participants from the 1981 conference are also contributors to this new volume and, in conjunction with other expert biologists and philosophers specializing on these topics, provide an authoritative, comprehensive view on the subject. Taken together, the papers supply novel perspectives on how and why the conceptual landscape has shifted and stabilized in particular ways, yielding insights into the dynamic epistemic changes that have occurred over the past three decades. This volume will appeal to philosophers of biology studying conceptual change, evolutionary developmental biologists focused on comprehending the genesis of their field and evaluating its future directions, and historians of biology examining this period when the intersection of evolution and development rose again to prominence in biological science. (shrink)

A theory of causality based upon physical processes is developed. Causal processes are distinguished from pseudo-processes by means of a criterion of mark transmission. Causal interactions are characterized as those intersections of processes in which the intersecting processes are mutually modified in ways which persist beyond the point of intersection. Causal forks of three kinds (conjunctive, interactive, and perfect) are introduced to explicate the principle of the common cause. Causal forks account for the production of order and modifications of order; (...) causal processes account for the propagation of causal influence. (shrink)

Following the financial crisis and recent recession, the center of gravity of global economic growth and competitiveness is shifting toward emerging economies. As a leading and increasingly influential emerging economy, China is currently attracting the attention of academics, practitioners, and policy makers. There has been an increase in research interest in and publications on issues relating to China within high-quality international academic journals. We therefore organized a special issue conference in conjunction with the Journal of Business Ethics in Lhasa, (...) Tibet, on May 19–20, 2014, on Business Ethics in Greater China: Past, Present and Future. The papers for the special issue focused on the intersection of ethics and finance, and fit within one of the three themes: environment and sustainability, corporate social responsibility, and fraud. Within these themes, issues of intellectual capital protection, gender equality, political connections, regional development, investor protection, corporate stewardship, trust and corruption, and corporate transparency each play a significant role. In this paper, we survey these studies and the related literature to provide a comprehensive coverage of business ethics and finance issues that affect China. (shrink)

THE ART OF CAUSAL CONJECTURE Glenn Shafer Table of Contents Chapter 1. Introduction........................................................................................ ...........1 1.1. Probability Trees..........................................................................................3 1.2. Many Observers, Many Stances, Many Natures..........................................8 1.3. Causal Relations as Relations in Nature’s Tree...........................................9 1.4. Evidence............................................................................................ ...........13 1.5. Measuring the Average Effect of a Cause....................................................17 1.6. Causal Diagrams..........................................................................................20 1.7. Humean Events............................................................................................23 1.8. Three Levels of Causal Language................................................................27 1.9. An Outline of the Book................................................................................27 Chapter 2. Event Trees............................................................................................... .....31 2.1. Situations and Events...................................................................................32 2.2. The Ordering of Situations and Moivrean Events.......................................35 2.3. Cuts................................................................................................ ..............39 2.4. Humean Events............................................................................................43 2.5. (...) Moivrean Variables......................................................................................49 2.6. Humean Variables........................................................................................53 2.7. Event Trees for Stochastic Processes...........................................................54 2.8. Timing in Event Trees.................................................................................56 2.9. Intersecting Event Trees...............................................................................60 2.10. Notes on the Literature...............................................................................61 Chapter 3. Probability Trees...........................................................................................63 3.1. Some Types of Probability Trees.................................................................64 ii 3.2. Axioms for the Probabilities of Moivrean Events.......................................68 3.3. Zero Probabilities....................................................................................... ..70 3.4. A Sample-Space Analysis of the Event-Tree Axioms.................................72 3.5. Probabilities and Expected Values for Variables.........................................74 3.6. Martingales......................................................................................... .........79 3.7. The Expectation of a Variable in a Cut........................................................83 3.8. Conditional Expected Value and Conditional Expectation.........................87 Chapter 4. The Meaning of Probability...........................................................................91 4.1. The Interpretation of Expected Value..........................................................92 4.2. The Interpretation of Expectation................................................................95 4.3. The Long Run..............................................................................................98 4.4. Changes in Belief.........................................................................................101 4.5. The Empirical Validation of Probability......................................................106 4.6. The Diversity of Uses of Probability...........................................................108 4.7. Notes on the Literature.................................................................................110 Chapter 5. Independent Events.......................................................................................113 5.1. Independence........................................................................................ .......114 5.2. Weak Independence.....................................................................................118 5.3. The Principle of the Common Cause...........................................................121 5.4. Conditional Independence............................................................................128 5.5. Notes on the Literature.................................................................................133 Chapter 6. Events Tracking Events.................................................................................135 6.1. Tracking............................................................................................ ...........137 6.2. Tracking and Conditional Independence.....................................................142 6.3. Stochastic Subsequence...............................................................................143 6.4. Singular Diagrams for Stochastic Subsequence...........................................147 6.5. Conjunctive and Interactive Forks...............................................................149 Chapter 7. Events as Signs of Events..............................................................................153 iii 7.1. Sign................................................................................................ ..............154 7.2. Weak Sign................................................................................................ ....159 7.3. The Ethics of Causal Talk............................................................................160 7.4. Screening Off...............................................................................................16 2 Chapter 8. Independent Variables...................................................................................167 8.1. Unconditional Independence........................................................................170 8.2. Conditional Independence............................................................................175 8.3. Independence for Partitions.........................................................................177 8.4. Independence for Families of Variables......................................................182 8.5. Individual Properties of the Independence Relations...................................186 Chapter 9. Variables Tracking Variables........................................................................189 9.1. Tracking and Conditional Independence: A Summary...............................190 9.2. Strong Tracking............................................................................................ 192 9.3. Strong Tracking and Conditional Independence..........................................198 9.4. Stochastic Subsequence...............................................................................201 9.5. Functional Dependence................................................................................203 9.6. Tracking in Mean.........................................................................................204 9.7. Linear Tracking............................................................................................ 207 9.8. Tracking by Partitions..................................................................................210 9.9. Tracking by Families of Variables...............................................................212 Chapter 10. Variables as Signs of Variables...................................................................215 10.1. Sign................................................................................................ ............219 10.2. Linear Sign................................................................................................ .222 10.3. Scored Sign................................................................................................ 225 10.4. Families of Variables.................................................................................227 Chapter 11. AnTheory of Event Trees.............................................................229 11.1. Event Trees as Sets of Sets........................................................................230 11.2. Event Trees as Partially Ordered Sets........................................................232 iv 11.3. Regular Event Trees...................................................................................240 11.4. The Resolution of Moivrean Variables......................................................244 11.5. Humean Events and Variables...................................................................246 Chapter 12. Martingale Trees..........................................................................................247 12.1. Examples of Decision Trees......................................................................249 12.2. The Meaning of Probability in a Decision Tree.........................................253 12.3. Martingales......................................................................................... .......257 12.4. The Structure of Martingale Trees.............................................................261 12.5. Probability and Causality...........................................................................265 12.6. Lower and Upper Probability.....................................................................269 12.7. The Law of Large Numbers.......................................................................272 12.8. Notes on the Literature...............................................................................274 Chapter 13. Refining............................................................................................ ...........275 13.1. Examples of Refinement............................................................................277 13.2. A Constructive Definition of Finite Refinement.......................................281 13.3. Axioms for Refinement..............................................................................282 13.4. Lifting Moivrean Events and Variables.....................................................288 13.5. Refining Martingale Trees.........................................................................288 13.6. Grounding........................................................................................... .......294 Chapter 14. Principles of Causal Conjecture..................................................................299 14.1. The Diversity of Causal Explanation.........................................................302 14.2. The Mean Effect of the Happening of a Moivrean Event..........................305 14.3. The Effect of a Humean Variable..............................................................311 14.4. Attribution and Generality.........................................................................316 14.5. The Statistical Measurement of the Effect of a Cause...............................319 14.6. Measurement by Experiment.....................................................................320 14.7. Using Our Knowledge of How Things Work............................................322 v 14.8. Sampling Error...........................................................................................329 14.9. The Sampling Frame..................................................................................329 14.10. Notes on the Literature.............................................................................330 Chapter 15. Causal Models.............................................................................................3 31 15.1. The Causal Interpretation of Statistical Prediction....................................333 15.2. Generalizing to a Family of Exogenous Variables....................................337 15.3 Some Joint Causal Diagrams......................................................................339 15.4. Causal Path Diagrams................................................................................342 15.5. Causal Relevance Diagrams.......................................................................346 15.6. The Meaning of Latent Variables..............................................................352 15.7. Notes on the Literature...............................................................................357 Chapter 16. Representing Probability Trees...................................................................359 16.1. Three Graphical Representations...............................................................361 16.2. Skeletal Simplifications.............................................................................368 16.3. Martingale Trees in Type Theory...............................................................371 Appendix A. Huygens’s Probability Trees.....................................................................379 Huygens’s Manuscript in Translation..................................................................380 Appendix B. Some Elements of Graph Theory..............................................................385 B1. Undirected Graphs........................................................................................385 B2. Directed Graphs............................................................................................38 6 Appendix C. Some Elements of Order Theory...............................................................393 C1. Partial and Quasi Orderings.........................................................................393 C2. Singular and Joint Diagrams for Binary Relations.......................................394 C3. Lattices............................................................................................ .............395 C4. The Lattice of Partitions of a Set..................................................................396 Appendix D. The Sample-Space Framework for Probability.........................................399 D1. Probability Measures....................................................................................399 D2. Variables........................................................................................... ...........400 vi D3. Families of Variables...................................................................................401 D4. Expected Value............................................................................................402 D5. The Law of Large Numbers.........................................................................405 D6. Conditional Probability................................................................................406 D7. Conditional Expected Value........................................................................407 Appendix E. Prediction in Probability Spaces................................................................409 E1. Conditional Distribution...............................................................................411 E2. Regression on a Single Variable...................................................................412 E3. Regression on a Partition or a Family of Variables......................................415 E4. Linear Regression on a Single Variable.......................................................418 E5. Linear Regression on a Family of Variables................................................422 Appendix F. Sample-Space Concepts of Independence.................................................425 F1. Overview............................................................................................ ...........426 F2. Independence Proper.....................................................................................432 F3. Unpredictability in Mean..............................................................................434 F4. Simple Uncorrelatedness..............................................................................437 F5. Mixed Uncorrelatedness...............................................................................438 F6. Partial Uncorrelatedness...............................................................................440 F7. Independence for Partitions..........................................................................442 F8. Independence for Families of Variables.......................................................445 F9. The Basic Role of Uncorrelatedness.............................................................448 F10. Dawid’s Axioms.........................................................................................449 Appendix G. Prediction Diagrams..................................................................................453 G1. Path Diagrams............................................................................................ ..454 G2. Generalized Path Diagrams..........................................................................462 G3. Relevance Diagrams.....................................................................................466 G4. Bubbled Relevance Diagrams......................................................................475 Appendix H. Abstract Stochastic Processes...................................................................479 vii H1. Probability Conditionals and Probability Distributions...............................477 H2. Abstract Stochastic Processes......................................................................479 H3. Embedding Variables and Processes in a Sample Space.............................480 References.......................................................................................... ..............................491. (shrink)

In early modernity, one can find many spatial logic diagrams whose geometric forms share a family resemblance with religious art and symbols. The family resemblance these diagrams bear in form is often based on a vesica piscis or on a cross: Both logic diagrams and spiritual symbols focus on the intersection or conjunction of two or more entities, e.g. subject and predicate, on the one hand, or god and man, on the other. This paper deals with the development and (...) function of logic diagrams, their analogy to religious art and symbols, and their modern application in artificial intelligence. (shrink)

The ancient doctrine of negative theology or apophasis--the attempt to describe God by speaking only of what cannot be said about the divine perfection and goodness--has taken on new life in the concern with language and its limits that preoccupies much postmodern philosophy, theology, and related disciplines. How does this mystical tradition intersect with the concern with material bodies that is simultaneously a focus in these areas? This volume pursues the unlikely conjunction of apophasis and the body, not for (...) the cachet of the "cutting edge" but rather out of an ethical passion for the integrity of all creaturely bodies as they are caught up in various ideological mechanisms--religious, theological, political, economic--that threaten their dignity and material well-being. The contributors, a diverse collection of scholars in theology, philosophy, history, and biblical studies, rethink the relationship between the concrete tradition of negative theology and apophatic discourses widely construed. They further endeavor to link these to the theological theme of incarnation and more general issues of embodiment, sexuality, and cosmology. Along the way, they engage and deploy the resources of contextual and liberation theology, post-structuralism, postcolonialism, process thought, and feminism. The result not only recasts the nature and possibilities of theological discourse but explores the possibilities of academic discussion across and beyond disciplines in concrete engagement with the well-being of bodies, both organic and inorganic. The volume interrogates the complex capacities of religious discourse both to threaten and positively to draw upon the material well-being of creation. (shrink)

This paper examines how coherence of the contents of evidence affects the transmission of probabilistic support from the evidence to the hypothesis. It is argued that coherence of the contents in the sense of the ratio of the positive intersection reduces the transmission of probabilistic support, though this negative impact of coherence may be offset by other aspects of the relations among the contents. It is argued further that there is no broader conception of coherence whose impact on the transmission (...) of probabilistic support is never offset by other aspects of the relations among the contents. The paper also examines reasons for the contrary impression that coherence of the contents increases the transmission of probabilistic support, especially in the special case where the hypothesis to evaluate is the conjunction of the contents of evidence. (shrink)

It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and union (...) of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered. (shrink)

Davidsonian event semantics is often taken to form an unhappy marriage with compositional semantics. For example, it has been claimed to be problematic for semantic accounts of quantification Proceedings of the 16th Amsterdam Colloquium, 2007), for classical accounts of negation Semantics and contextual expression, 1989), and for intersective accounts of verbal coordination. This paper shows that none of this is the case, once we abandon the idea that the event variable is bound at sentence level, and assume instead that (...) verbs denote existential quantifiers over events. Quantificational arguments can then be given a semantic account, negation can be treated classically, and coordination can be modeled as intersection. The framework presented here is a natural choice for researchers and fieldworkers who wish to sketch a semantic analysis of a language without being forced to make commitments about the hierarchical order of arguments, the argument-adjunct distinction, the default scope of quantifiers, or the nature of negation and coordination. (shrink)

In this article posthumanistic aspects of the problem of secret s/pace, i. e. both spaces and place were researched. Differentiation of a space and a place, a secret and a mystery was made. A manifold of a conception of secrecy from a tendency to keep a secret of s/pace carefully to claim to demystify a place completely is investigated. Philosophy, philosophical anthropology especially, appears as geophilosophy, human geography in this case. Thus a conceptualizing human being is surveying in a friendship (...) with a landscape, s/pace. The importance of natural elements for secret s/pace has been demonstrated. Of particular actuality to this study is the appeal to the current concept of the atmosphere, which is weakly perceptible, but is influential. The relationship between a secret s/pace and a secret self, such as a freak, Secret Santa, etc., was traced. A distinction is made between a secret s/pace and a non-place like moving place with a discourse, place of surveying. The importance of a secret s/pace for the formation of a post-body in a situation where the body as such is lost is shown. The importance of psychoanalytic and psychogeographic conceptualization of a secret s/pace is also demonstrated. They are adjoined by the consideration of space concerning boredom as stabilization of pleasure in the habitual and comfortable, good banality, a bliss from the side of pleasure. The significance of the secret s/pace is asserted in conditions when the city plays not only a conjunctive, connecting, but also a disjunctive, disconnecting role. A conclusion is made about a secret s/pace as a posthuman place of a place, a place-without-place with a secret of mystery. The study was carried out on the material of actual culture, as well as life practices. This corresponds to the Deleuzian statement about the intersection of concept, prospectus and affect. The study also involved speculative realism, speculative posthumanism, and other related conceptions. (shrink)

It is known that a theory in S5‐epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas. We show that this asymmetry between syntax and semantics persists also when infinite conjunctions (up to some given cardinality) are permitted in the language. We develop a strengthened S5‐axiomatic system for such infinitary logics, (...) and prove a strong completeness theorem for them. Then we show that in every such logic there is always a theory with more than one model. (shrink)

In this study I examine some uses of connectives, and in particular co-ordinate conjunction, from a critical discourse perspective; these uses, in my view, cannot find a satisfactory explanation within current frameworks. It is suggested that we need to identify a conceptual level at which connectives function as hypo-textual signals, activating systematic law-like conditional statements (IF-THEN), which form default specifications of consistent structured knowledge frames. I argue that an account of connectives at the conceptual level of their function that (...) does not take into consideration such tightly structured background schemata, representing both general knowledge and ideologies, cannot afford any generality. As a result, ¿deviant¿ or ¿subversive¿ uses of these connectives can neither be identified as such nor find an adequately general explication within existing accounts, whereas in the proposed framework such uses find a ready explanation of sufficient generality. This framework lies at the intersection of disciplines: Linguistic pragmatics (empirical pragmatics, critical discourse analysis), on the one hand, and cognitive science, on the other. Consequently, this proposal, too, can be regarded as a plea for crossing boundaries and joining forces. (shrink)

In this study I examine some uses of connectives, and in particular co-ordinate conjunction, from a critical discourse perspective; these uses, in my view, cannot find a satisfactory explanation within current frameworks. It is suggested that we need to identify a conceptual level at which connectives function as hypo-textual signals, activating systematic law-like conditional statements, which form default specifications of consistent structured knowledge frames. I argue that an account of connectives at the conceptual level of their function that does (...) not take into consideration such tightly structured background schemata, representing both general knowledge and ideologies, cannot afford any generality. As a result, ‘deviant’ or ‘subversive’ uses of these connectives can neither be identified as such nor find an adequately general explication within existing accounts, whereas in the proposed framework such uses find a ready explanation of sufficient generality. This framework lies at the intersection of disciplines: Linguistic pragmatics, on the one hand, and cognitive science, on the other. Consequently, this proposal, too, can be regarded as a plea for crossing boundaries and joining forces. (shrink)

Higher education institutions are legally bound to provide equal educational opportunities for diverse learners, traditionally materialized as individualized accommodations. This paper contends that despite the growing interest and scholarship in implementing more inclusive pedagogy enabling access to education for all students, those efforts still fall short of systematically addressing intersecting, oppressive, and anti-ableist practices in the classrooms. I argue, that in order to develop a truly inclusive, equitable, socially just and transformative pedagogy and teaching practices, we need a theory that (...) posits disability in the context of learning and development, the theory that integrates disability into human development in a manner that overcomes dichotomized and reductionist perspectives of disability and individualistic notions of learning. Drawing on my research on teaching and institutional practices for a student diagnosed with autism, analyzed through the lens of Critical Disability Studies in conjunction with Vygotsky’s theory of defectology and recent advances in cultural-historical activity theory, especially the Transformative Activist Stance, this paper offers steps toward integrating these approaches into a transformative pedagogy framework for inclusive, equitable, and anti-ableist pedagogy for all learners. (shrink)

The following two review papers have a common origin. Pietarinen’s book Signs of Logic and Stjernfelt’s book Diagrammatology were both published in the same Synthese Library Series being published by Springer. The two books also share the common topic of diagrammatic reasoning in Charles Peirce’s work. Beginning in a conference Applying Peirce held in Helsinki in conjunction with the World Congress of Semiotics in June 2007, two authors have commented upon these books under the headline of Synthese Library Book (...) Session on several occasions, including the Aarhus meeting on Signs and Meaning held in February 2008, the Diagrammatology and Diagram Praxis workshop in Lisboa in March 2009, and the Peirce and Early Analytic Philosophy symposium in Helsinki in June 2009. Therefore, these two review papers form a continuing discussion on the contributions Peirce’s diagrammatic epistemology and logic will have to a broad range of issues at the intersections of philosophy, logic, cognitive sciences and beyond. (shrink)

In order to define some interesting consequence relations, certain generalizations have been proposed in a many-valued semantic setting that have been useful for defining what have been called pure, mixed and ordertheoretic consequence relations. But these generalizations are insufficient to capture some other interesting relations, like other intersective mixed relations or relations with a conjunctive interpretation for multiple conclusions. We propose a broader framework to define these cases, and many others, and to set a common background that allows for (...) a direct compared analysis. At the end of the work, we illustrate some of these comparisons. (shrink)

The Long Path to Nearness takes its place among the recent interdisciplinary work being done at the intersection of philosophy and communication studies. Bringing together Reichian psychoanalysis, the utopian Marxism of Ernst Bloch, and a rigorous phenomenology of communication following Heidegger and Merleau-Ponty, Ramsey argues that studies of corporeality are a necessary component of a philosophy of communicative praxis directed toward ethical concerns. Arguing for a return to the body to address questions of ethics, Ramsey demonstrates that the communicative disclosure (...) of worldly possibilities arises out of the conjunction of physical and hermeneutical capabilities of bodies and the material potentiality of situations. It is against this backdrop, which includes a detailed description of communicative praxis in a world destined by technology, that Ramsey develops the groundwork for an "ethics of relief." This study will be of interest to students of Philosophy and Communication Studies, as well as those in Cultural Studies and Sociology, who address theoretical issues concerning discourse, the body, and ethics. (shrink)

Euler famously used diagrams to illustrate syllogisms in his Lettres à une princesse d’Allemagne [1]. His diagrams are usually seen as suffering from a fatal “ambiguity problem” [11]: as soon as they involve intersecting circles, which are required for the representation of existential statements, it becomes unclear what exactly may be read off from them, and as Hammer & Shin conclusively showed, any set of reading conventions can lead to erroneous conclusions. I claim that Euler diagrams can, however, be used (...) rigorously, if they are read in conjunction with the premises they are supposed to illustrate. More precisely, I give rigorous “heterogeneous” inference rules (in the sense of Barwise and Etchemendy) – rules whose premises are a sentence and a diagram and whose conclusion is a sentence – which allow to use them safely. I conclude that one should abandon the preconception that diagrams can only be used rigorously if they can be given a context-independent semantics. Finally, I suggest that context-dependence is a widespread feature of diagrams: for instance, Mumma [12] noticed that what may be read off from a Euclidean diagram depends not only on the diagram’s appearance, but also on the way it was constructed. (shrink)

In this essay, I examine the role of ancient Greek medicine and philosophy in Georges Canguilhem’s analysis of vitalism at the intersection of history and philosophy in his essay “Aspects of Vitalism” in light of larger questions about the historicity of “life” as a concept in the history and philosophy of science and contemporary biopolitical theory. Vitalism, for Canguilhem, is not a proper object of the history of science. But nor is it a philosophy that exists outside of historical time. (...) I show how Canguilhem embeds vitalism both historically and trans-historically by threading each of its three “aspects” in the essay through ancient Greece. Canguilhem distinguishes his own understanding of both life and vitalism from that of the “classical” vitalists of the eighteenth century by refusing to read ancient Greece as romantically naïve or pre-technological and instead locating a dialectic between vitalism and mechanism already in antiquity. I argue for a critical re-reading of Canguilhem’s own conjunction of vitalism and Hellenism that resists its figuration of ancient Greece as the place where the human qua species first comes to take itself as an object of knowledge. I instead propose reading ancient Greek medical and philosophical texts that are read and reread in debates about the nature of human life and the life of Nature over millennia as part of a milieu that shapes how contemporary thinkers theorize life in the interest of human flourishing. (shrink)

I present two relatively independent sets of remarks on common causes and the violation of Bell inequalities in algebraic quantum field theory. The first set of remarks concerns the possibility of reconciling Reichenbachian ideas on common causes with quantum field theory in the face of an already known difficulty: the event shown to satisfy statistical relations for being the common cause of two correlated events has been associated with the union, rather than the intersection, of the backward light cones of (...) the correlated events. I explore a way of overcoming this difficulty by considering the common cause to be a conjunction of suitably located events. But I show that this line of thought too is beset with interpretational problems. My second set of remarks concerns the type of inequality one may derive from the common-common cause hypothesis: I argue, on grounds of interpretation, that the Clauser-Horne type, and not the Bell type, of inequalities emerge more naturally in this context. (shrink)

This volume includes original essays that examine the underexplored relationship between recognition theory and key developments in critical social epistemology. Its aims are to explore how far certain kinds of epistemic injustice, epistemic oppression, and types of ignorance can be understood as distorted varieties of recognition, and to determine whether contemporary work on epistemic injustice and critical social epistemology more generally has significant continuities with theories of recognition in the Frankfurt School tradition. Part I of the book focuses on bringing (...) recognition theory and critical social epistemology into direct conversation. Part II is devoted to analysing a range of case studies that are evocative of contemporary social struggles. The essays in this volume propose answers to a number of thought-provoking questions at the intersection of these two robust philosophical subfields, such as: How well can different types of epistemic injustice be understood as types of recognition abuses? How useful is it to approach different forms of social oppression as recognition injustices and/or as involving epistemic injustice? What limitations do we discover in either or both recognition theory and the ever-expanding literature on epistemic injustice when we put them into conversation with each other? How does the conjunction of these two accounts bear on specific domains, such as questions of silencing? Epistemic Injustice and the Philosophy of Recognition promises to herald new directions for future research that will appeal to scholars and students working in critical social epistemology, social and political theory, Continental philosophy, and a wide range of critical social theories. (shrink)

The double homoousia, confessed by the Council of Chalcedon, is certainly one of the most difficult concepts transmitted by the dogmatic tradition. What can be signified by the affirmation that Christ is homoouion to us, and to each of us? Is it possible to shift a trinitarian understanding, classical since Nicaea, into anthropological meaning in an univocal way, without reason’s injury? If it is the case, we must give the second homoousia an intelligibility right at the intersection of theology and (...) economy, which geometric center is He 5:8 so that Christology can not be understood from the two natures, purportedly known, even metaphysically (God and man), as if it should be enough to understand the mode of conjunction in Christ. This can be done uniquely in an hypostatic way, following the double definition. The hypothesis of the univocity of Chalcedonian faith offers a significance to divinization by clearing its proper location, if, and only if, we engage a new definition of (human) hypostasis, considering that this hypostasis is the one of the Word in that “perfect” man called Jesus. (shrink)

This essay describes an instrumental advocate’s development, engagement, and accomplishments in transgender health at the intersection of law and medicine. Reflecting on the evolution of insurance policy reforms in conjunction with the need to increase the availability of clinicians who can understand and respectfully treat transgender patients, the author demonstrates how visibility, tenacity, and ingenuity can create far-reaching change.

Our understanding of human morality would benefit from an integrated interdisciplinary approach, built on the assumption that human beings are multidimensional unities with real, irreducible, and mutually interdependent spiritual, relational, emotional, rational, and physiological aspects. We could integrate relevant information from neurobiological, psychosocial, and theological perspectives, avoiding unnecessary reductionism and naturalism. This approach is modeled by addressing the particular limited role of disgust in morality. Psychosocial research reveals disgust as a universal emotion that enables evaluation and regulation of certain moral (...) behaviors and is involved in cultural identity. Theologically, many religious traditions, including the Judeo‐Christian, use disgust in conjunction with moral codes designed to preserve purity and communal identity as the people of God. The concept of natural moral law suggests that morality is embodied in human nature. Neurobiology is beginning to trace the neural circuitry involved in disgust and in moral evaluation, suggesting that emotions are a necessary basis for moral judgment and revealing intriguing relationships between disgust, morality, and other aspects of the psyche. Several problems that arise within these disciplines and at their intersections are identified. Extension of the model to other aspects of human morality would further illuminate our understanding of morality without sacrificing its complexity and richness. (shrink)

A ground-breaking volume of all new essays covering the conjunction of two topics--feminism and families--that, for all their centrality in our culture, have not been adequately examined in light of one another. While the family has suffered feminist neglect, most women _are_ in fact members of families, living their lives within the social context of families, even at a time when the concept of "family" has become bewilderingly unstable. The intersection of families and feminism is thus one in need (...) of philosophical reflection, as a basis both for good public policy and for the ethical relationships of intimate life. (shrink)

The dissertation deals with problems in "logic", more precisely, it deals with particular formal systems aiming at capturing patterns of valid reasoning. Sequent calculi were proposed to characterize logical connectives via introduction rules. These systems customarily also have structural rules which allow one to rearrange the set of premises and conclusions. In the "structurally free logic" of Dunn and Meyer the structural rules are replaced by combinatory rules which allow the same reshuffling of formulae, and additionally introduce an explicit marker (...) for the application of the rule---the combinator. The dissertation gives syntactic extensions of such systems introducing conjunction and disjunction . Cut elimination is proved for these systems. ;Syntactic systems as a rule are accompanied by a semantics which interprets them. The extended systems are supplied with semantics using algebraic methods. First, the Lindenbaum algebras are formed, and then these algebras are represented in an algebra of sets. This gives a so called Kripke-style semantics for the systems. The representation for the distributive extension utilizes well-known techniques; it uses sets of prime filters and set theoretical operations on them to deal with conjunction and disjunction, plus a ternary accessibility relation to accommodate the intensional operators as fusion and implication. The representation theorem is proven generally, i.e., for arbitrary sets of combinators using the "squeeze lemma" of Routley and Meyer. ;The non-distributive calculi require a different representation since union and intersection are distributive. Two previous representations for lattices are overviewed, and a modification of the Hartonas-Dunn representation is successfully augmented with the intensional operations. Instead of sets of filters, sets of pairs of minimally inconsistent filters and ideals are used and the representation theorem is proven. The representation results provide soundness and completeness for the systems. The dissertation also investigates properties of dual combinators , proving a series of lemmas about dual combinatory systems not being Church-Rosser and being inconsistent. Combinatorially definable classes of lambda-terms are considered as well. (shrink)

When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and ${\mathcal {L}}_{\omega _1, \omega }$ -elementary? We find that these are exactly the classes (...) that can be defined by an infinitary formula that has no infinitary disjunctions. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called the conjunction fallacy. It discusses a case of Linda who was deeply concerned with issues of discrimination and social justice and also participated in antinuclear demonstrations. The chapter applies the concept the present fallacy to the Linda Problem by using a Venn diagram. When one needs to determine the relative probability of different scenarios, one way to prevent himself/herself from making the conjunction fallacy is to (...) determine whether any of the options is a subset of any other. If so, he/she can conclude that the subset option is not more probable. This rule works because a specific event can never be more likely than a general event that encompasses the specific event. The chapter explains why people are so frequently drawn in by the conjunction fallacy. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. (...) While non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

The standard Lewis–Stalnaker semantics of counterfactuals, given the Strong Centering Thesis, implies that all true–true counterfactuals are trivially true. McGlynn developed a theory, based on Penczek, to rehabilitate the non-triviality of true–true counterfactuals. I show here that counterfactuals with true but irrelevant components are counterexamples to McGlynn’s account. I argue that an extended version of the connection hypothesis is sustainable, and grounds a full theory of counterfactuals explicable in a broadly standard way, if an indispensable asymmetry between semifacuals and other (...) counterfactuals is acknowledged. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them (...) discusses our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

I argue that it is rational for a person to believe the conjunction of her beliefs. This involves responding to the Lottery and Preface Paradoxes. In addition, I suggest that in normal circumstances, what it is to believe a conjunction just is to believe its conjuncts.

Plurality, Conjunction and Events presents a novel theory of plural and conjoined phrases, in an event-based semantic framework. It begins by reviewing options for treating the alternation between `collective' and `distributive' readings of sentences containing plural or conjoined noun phrases, including analyses from both the modern and the premodern literature. It is argued that plural and conjoined noun phrases are unambiguously group-denoting, and that the collective/distributive distinction therefore must be located in the predicates with which these noun phrases combine. (...) More specifically, predicates must have a hidden argument place for events; the collective/distributive distinction may then be represented in the part/whole structure of these events. This allows a natural treatment of `collectivizing' adverbial expressions, and of `pluractional' affixes; it also allows a unified semantics for conjunction, in which conjoined sentences and predicates denote groups of events, much like conjoined noun phrases denote groups of individuals. (shrink)