Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope.In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.I develop a framework (...) that is intended to encourage further experimentation with alternative variants of DPL. In this framework the new meanings are, roughly,indexed sets of old meanings. The indices can be viewed as "files'' or "storage devices.''Each such file supports a separate "information stream.''The interaction of the new meanings is "programmed'' with the help of certain monoids acting on the indices. The construction of the new meanings can be viewed as an application of the Grothendieck Construction to monoids. (shrink)

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the (...) concept of a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a causal category . We provide methods of constructing causal categories, and we study the consequences of these methods for the general framework of categorical quantum mechanics. (shrink)

The concept of process is ubiquitous in science, engineering and everyday life. Category theory, and monoidal categories in particular, provide an abstract framework for modelling processes of many kinds. In this paper, we concentrate on sequential and parallel decomposability of processes in the framework of monoidal categories: We will give a precise definition, what it means for processes to be decomposable. Moreover, through examples, we argue that viewing parallel processes as coupled in this framework can be seen as (...) a category mistake or a misinterpretation. We highlight the suitability of category theory for a structuralistic interpretation of mathematical modelling and argue that for appliers of mathematics, such as engineers, there is a pragmatic advantage from this. (shrink)

Local deterministic string-to-string transductions arise in natural language processing (NLP) tasks such as letter-to-sound translation or pronunciation modeling. This class of transductions is a simple generalization of morphisms of free monoids; learning local transductions is essentially the same as inference of certain monoid morphisms. However, learning even a highly restricted class of morphisms, the so-called fine morphisms, leads to intractable problems: deciding whether a hypothesized fine morphism is consistent with observations is an NP-complete problem; and maximizing classification accuracy of (...) the even smaller class of alphabetic substitution morphisms is APX-hard. These theoretical results provide some justification for using the kinds of heuristics that are commonly used for this learning task. (shrink)

There is currently much interest in bringing together the tradition of categorial grammar, and especially the Lambek calculus, with the recent paradigm of linear logic to which it has strong ties. One active research area is designing non-commutative versions of linear logic (Abrusci, 1995; Retoré, 1993) which can be sensitive to word order while retaining the hypothetical reasoning capabilities of standard (commutative) linear logic (Dalrymple et al., 1995). Some connections between the Lambek calculus and computations in groups have long been (...) known (van Benthem, 1986) but no serious attempt has been made to base a theory of linguistic processing solely on group structure. This paper presents such a model, and demonstrates the connection between linguistic processing and the classical algebraic notions of non-commutative free group, conjugacy, and group presentations. A grammar in this model, or G-grammar is a collection of lexical expressions which are products of logical forms, phonological forms, and inverses of those. Phrasal descriptions are obtained by forming products of lexical expressions and by cancelling contiguous elements which are inverses of each other. A G-grammar provides a symmetrical specification of the relation between a logical form and a phonological string that is neutral between parsing and generation modes. We show how the G-grammar can be oriented for each of the modes by reformulating the lexical expressions as rewriting rules adapted to parsing or generation, which then have strong decidability properties (inherent reversibility). We give examples showing the value of conjugacy for handling long-distance movement and quantifier scoping both in parsing and generation. The paper argues that by moving from the free monoid over a vocabulary V (standard in formal language theory) to the free group over V, deep affinities between linguistic phenomena and classical algebra come to the surface, and that the consequences of tapping the mathematical connections thus established can be considerable. (shrink)

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are interconvertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete “operational” approach, in which the states (...) and measurement outcomes associated with a physical system are represented in terms of what we here call a convex operational model: a certain dual pair of ordered linear spaces–generally, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term weakly self-dual, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol—hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a symmetric bipartite state, the associated conditioning map of which is an isomorphism. (shrink)

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of (...) handling duality. (shrink)

We study the monoid of global invariant types modulo domination-equivalence in the context of o-minimal theories. We reduce its computation to the problem of proving that it is generated by classes...

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of (...) handling duality. (shrink)

Each Girard quantale provides a support for a semantics for linear propositional formulas. Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group. In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of handling duality.

The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan monoids may (...) be mapped by noninjective homomorphisms. The homomorphic preimages of C4 within DMM constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety within U are revealed here. There are just ten of them. In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety—in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of [or of ] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. (shrink)

Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.

The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well developed. A number of examples illustrate the usefulness of the concept.

ABSTRACTMonoidal logics were introduced as a foundational framework to analyze the proof theory of logical systems. Inspired by Lambek's seminal work in categorical logic, the objective is to defin...

Dynamical systems are mathematical structures whose aim is to describe the evolution of an arbitrary deterministic system through time, which is typically modeled as (a subset of) the integers or the real numbers. We show that it is possible to generalize the standard notion of a dynamical system, so that its time dimension is only required to possess the algebraic structure of a monoid: first, we endow any dynamical system with an associated graph and, second, we prove that such a (...) graph is a category if and only if the time model of the dynamical system is a monoid. In addition, we show that the general notion of a dynamical system allows us not only to define a family of meaningful dynamical concepts, but also to distinguish among a cluster of otherwise tangled notions of reversibility, whose logical relationships are finally analyzed. (shrink)

A good definition of process tracing should highlight what is distinctive about process tracing as a methodology of causal inference. I look at eight criteria that are used to define process tracing in the methodological literature, and I dismiss all eight criteria as unhelpful (some because they are too restrictive, and others because they are vacuous). In place of these criteria, I propose four alternative criteria, and I draw a distinction between process tracing for the ultimate aim of testing a (...) start--end hypothesis versus process tracing as an ultimate end in itself. Although it is clear enough how the former method works, there is still much methodological work to be done in understanding the latter method as a distinctive method of causal inference, I argue. (shrink)

Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of equivalence classes of proofs satisfying specific rules and axiom schemata. This approach enables the classification of deductive systems with respect to their categorical structure. When looking at their proof theory, however, one can see that there are similarities between monoidal and substructural logics. The (...) purpose of the present paper is to address this issue and highlight the differences between these two approaches. We argue that monoidal logics provide a more flexible foundational framework that enables a finer analysis of the relationship between negation and other logical connectives. We show that the elimination of double negation is independent from the de Morgan dualities, that monoidal deductive systems are not necessarily weakly distributive and that deduc... (shrink)

This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. A part of the so-called Gelfand–Naimark–Segal (GNS) construction is identified as an isomorphism of categories, relating states on involutive monoids and inner products. This correspondence exists in arbritrary involutive symmetric monoidal (...) categories. (shrink)

We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we show how automatic homeomorphicity results can be lifted to polymorphism clones generated by monoids.

One of the major philosophical texts of the 20th century, Process and Reality is based on Alfred North Whitehead’s influential lectures that he delivered at the University of Edinburgh in the 1920s on process philosophy. Whitehead’s master work in philsophy, Process and Reality propounds a system of speculative philosophy, known as process philosophy, in which the various elements of reality into a consistent relation to each other. It is also an exploration of some of the preeminent thinkers of the seventeenth (...) and eighteenth centuries, such as Descartes, Newton, Locke, and Kant. The ultimate edition of Whitehead’s magnum opus, Process and Reality is a standard reference for scholars of all backgrounds. (shrink)

Science should tell us what the world is like. However, realist interpretations of physics face many problems, chief among them the pessimistic meta induction. This book seeks to develop a realist position based on process ontology that avoids the traditional problems of realism. Primarily, the core claim is that in order for a scientific model to be minimally empirically adequate, that model must describe real experimental processes and dynamics. Any additional inferences from processes to things, substances or objects are not (...) warranted, and so these inferences are shown to represent the locus of the problems of realism. The book then examines the history of physics to show that the progress of physical research is one of successive eliminations of thing interpretations of models in favor of more explanatory and experimentally verified process interpretations. This culminates in collections of models that cannot coherently allow for thing interpretations, but still successfully describe processes. (shrink)

It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.

It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.

The monoidal t-norm based logic MTL is obtained from Hájek''s Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and (...) rational completeness (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and (...) rational completeness (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

We study the monoid of primitive recursive functions and investigate a onestep construction of a kind of exact completion, which resembles that of the familiar category of modest sets, except that the partial equivalence relations which serve as objects are recursively enumerable. As usual, these constructions involve the splitting of symmetric idempotents.

John Dupré explores recent revolutionary developments in biology and considers their relevance for our understanding of human nature and human society. Epigenetics and related areas of molecular biology have eroded the exceptional status of the gene and presented the genome as fully interactive with the rest of the cell. Developmental systems theory provides a space for a vision of evolution that takes full account of the fundamental importance of developmental processes. Dupré shows the importance of microbiology for a proper understanding (...) of the living world, and reveals how it subverts such basic biological assumptions as the organisation of biological kinds on a branching tree of life, and the simple traditional conception of the biological organism. (shrink)

It is shown that given any finite system of monoid identities, it is decidable if the class of locally finite monoids that satisfy the system is a variety. This answers an open problem of Mark V. Sapir.

Let l be a commutative field; Bauval [1] showed that the theory of the ring l[X1,...,Xm] is the same as the weak second-order theory of the field l. Now, l[X1,...,Xm] is the ring of the monoid m, so it may be asked what properties of m we can deduce from the theory of l[;m], that is, if l[m] is elementarily equivalent to the ring of monoid k[G], with k, a field and G, a monoid, what do we know not only (...) about the first-order theory of G but also about more properties of G. We prove that in this case G is isomorphic to m.Bauval [1, Theorem V.2.1] proved that if a factorial ring A is elementarily equivalent to l[;X1,...,Xm], then A is isomorphic to F[X1,...,Xm], with F being the field of invertible elements of A.Our result is different from this property because, a priori, the field k is not the field of invertible elements . Furthermore, k[G]; is not always factorial or Neotherian: if G is isomorphic to the cartesian product ∏i<ω, then the number of irreducible elements that divide elements that divide X is infinite, and the ideal generated by the monomials X is not finitely generated.We recall that to be factorial of Neotherian are not elementary properties. (shrink)

Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.

We use a new version of the Definability Theorem of Beth in order to unify classical theorems of Yuri Matiyasevich and Jan Denef in one structural statement. We give similar forms for other important definability results from Arithmetic and Number Theory.

The paper deals with involutive FLe-monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FLe-monoids over lattices are exactly involutive FLe-algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FLe-monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FLe-chains are classified by using the notion of rank of involutive FLe-chains, and a kind of duality is developed between positive and non-positive rank algebras. As a (...) side effect, it is shown that the substructural logic IUL plus t ↔ f does not have the finite model property. (shrink)

I consider some hitherto unexplored examples of teleological language in the sciences. In explicating these examples, I aim to show (a) that such language is not the sole preserve of the biological sciences, and (b) that not all such talk is reducible to the ascription of functions. In chemistry and biochemistry, scientists explaining molecular rearrangements and protein folding talk informally of molecules rearranging “in order to” maximize stability. Evolutionary biologists, meanwhile, often speak of traits evolving “in order to” optimize some (...) fitness-relevant variable. I argue that in all three contexts such locutions are best interpreted as shorthands for more detailed explanations which, were we to spell them out in full, would show that the relevant process would robustly converge towards the same end-point despite variation in initial conditions. This suggests that, in biology, such talk presupposes a substantial form of adaptationism. The upshot is that such shorthands may be more applicable in the physical sciences than the biological. (shrink)

Process philosophy has established itself as one of the 20th century's prime contributions to philosophical thought and Nicholas Rescher has for many years figured among its prime exponents. His new book Process Philosophical Deliberations collects together ten studies illuminating various aspects of this many-sided philosophical approach. Among the topics treated are the nature of process philosophy itself, as well as its implementation in such areas as epistemology, value theory, moral philosophy, and the philosophy of science.

I develop a version of process theology inspired by Hartshorne. This development aims to reconcile Hartshorne both with recent science and with analytic metaphysics. It posits an endless series of ever greater cosmic epochs. Each cosmic epoch is a subcomputation in a divine organism. Each divine organism is like a phoenix. Just as new cosmic epochs are born from the ashes of old cosmic epochs, so new deities are born from the ashes of old deities. The result is a process (...) polytheism. (shrink)

The thesis advanced in this book is that feeling and cognition actualize through a process that originates in older brain formations and develops outward through limbic and cortical fields through the self-concept and private space into (as) the world. An iteration of this transition deposits acts, objects, feelings and utterances. Value is a mode of conceptual feeling that depends on the dominant phase in this transition: from desire through interest to object worth. Among the topics covered are subjective time and (...) change, the epochal nature of objects and their temporal extensibility and the evolution of value from inorganic matter into organic form. The theory of microgenesis informs this work. According to this theory, acts and objects evolve in milliseconds through phases that replicate patterns in forebrain evolution. The progression in the actualization of the mind/brain state is from archaic to recent in brain formation, from unity to diversity, from past to present and from mind to world. An account is given of the diversity of felt experience avoiding the reductionist moves characteristic of biological materialism and the inherent dualism of psychoanalytic and related theories. This book is intended for any reader interested in the psychology of the inner life and philosophy of mind, including philosophers, psychologists, psychiatrists and others with an interest in problems of value and moral feeling. (shrink)

In the 1950s, Noam Chomsky offered a new vision for linguistic research and syntacticians. This chapter explores some ways in which Chomsky's linguistic work has influenced research on one domain of linguistic performance, sentence processing, over the last half century. It shows that Chomsky's claim in Aspects of the Theory of Syntax is largely borne out: "the study of performance will proceed only as far as the study of the underlying competence permits". The chapter briefly addresses a question about (...) the scope of modern sentence processing research and its relationship to specific grammatical formalisms. It reviews the literature on incremental ambiguity resolution, moves to the processing of long‐distance filler‐gap dependency processing, and provides information on the processing of anaphoric relations. In order to illustrate how the phenomenon has contributed to psycholinguistic theorizing, the chapter outlines a well‐known model and then considers how other models diverge. (shrink)

The process of reflection is analysed into three components ‐an ego‐driven purpose, a restructuring capability, and a transforming perspective. Different types of reflection are argued to be instances of cognitive restructuring determined by purpose and by context. Procedures for resolving contradictions in the literature concerning ways in which ‘reflective teaching’ can be fostered are also suggested. It is argued that adopting any single model of ‘reflective practice’ can be unnecessarily restrictive given the ubiquity of the reflective process. Finally, the danger (...) of claiming too much for a ‘reflective practitioner’ model is set beside clear benefits gained from promoting it. (shrink)

John Dupr explores recent revolutionary developments in biology and considers their relevance for our understanding of human nature and society. He reveals how the advance of genetic science is changing our view of the constituents of life, and shows how an understanding of microbiology will overturn standard assumptions about the living world.

Concentrating mainly on the process philosophy developed by Alfred North Whitehead, this series of essays brings together some of the newest developments in the application of process thinking to the physical and social sciences. These essays, by established scholars in the field, demonstrate how a wider and deeper understanding of the world can be obtained using process philosophical concepts, how the distortions and blockages inevitably inherent in substantivist talk can be set aside, and how new and fertile lines of research (...) in the sciences can be opened as a result. (shrink)

Concentrating mainly on the process philosophy developed by Alfred North Whitehead, this series of essays brings together some of the newest developments in the application of process thinking to the physical and social sciences. These essays, by established scholars in the field, demonstrate how a wider and deeper understanding of the world can be obtained using process philosophical concepts, how the distortions and blockages inevitably inherent in substantivist talk can be set aside, and how new and fertile lines of research (...) in the sciences can be opened as a result. (shrink)

Argues for political liberalism as a process-oriented view and process philosophy as a politically liberal view Daniel A. Dombrowski brings together the thought of the 20th-century philosophy's greatest political liberal, John Rawls, with the thought of the great process philosophers, Alfred North Whitehead and Charles Hartshorne. He shows that political liberalism is intimately linked with process philosophy, renaming it 'process liberalism'. He justifies this process liberalism in contrast to four potentially troublesome sources or influences: metaphysics, religion, right-wing politics and left-wing (...) politics. Dombrowski engages a series of interlocutors and alternative positions including Franklin I. Gamwell, Timothy D. Snyder, Martin Heidegger and Karl Marx. In conclusion, he offers a compelling, intricate and resourceful argument for nonhuman animal rights based on Rawlsian principles, which in turn forms the basis of a future environmental ethics. (shrink)

Dual-process and dual-system theories in both cognitive and social psychology have been subjected to a number of recently published criticisms. However, they have been attacked as a category, incorrectly assuming there is a generic version that applies to all. We identify and respond to 5 main lines of argument made by such critics. We agree that some of these arguments have force against some of the theories in the literature but believe them to be overstated. We argue that the dual- (...) class='Hi'>processing distinction is supported by much recent evidence in cognitive science. Our preferred theoretical approach is one in which rapid autonomous processes are assumed to yield default responses unless intervened on by distinctive higher order reasoning processes. What defines the difference is that Type 2 processing supports hypothetical thinking and load heavily on working memory. (shrink)

This book offers a uniquely process relational oriented Chinese approach to inter-religious dialogue called Chinese Harmonism. The key features of Chinese harmonism are peaceful co-existence, mutual transformation, and openness to change. As developed with help from Whiteheadian process thought, Chinese harmonism provides a middle way between particularism and universalism, showing how diversity can exist within unity. Chinese harmonism is open to similarities among religions, but it also emphasizes that differences among religions can be complementary rather than contradictory. Thus Chinese harmonism (...) implies an attitude of respect for others and a willingness to learn from others, without reducing the other to oneOCOs own identity: that is, to sameness. By emphasizing the possibility of complementariness, a process oriented Chinese harmonism avoids a dichotomy between universalism and particularism represented respectively by John Hick and S. Mark Heim, and will make room for a genuine openness and do justice to the culturally and religiously OC other.OCO. (shrink)

When laws or legal principles mention mental states such as intentions to form a contract, knowledge of risk, or purposely causing a death, what parts of the brain are they speaking about? We argue here that these principles are tacitly directed at our prefrontal executive processes. Our current best theories of consciousness portray it as a workspace in which executive processes operate, but what is important to the law is what is done with the workspace content rather than the content (...) itself. This makes executive processes more important to the law than consciousness, since they are responsible for channeling conscious decision-making into intentions and actions, or inhibiting action.We provide a summary of the current state of our knowledge about executive processes, which consists primarily of information about which portions of the prefrontal lobes perform which executive processes. Then we describe several examples in which legal principles can be understood as tacitly singling out executive processes, including principles regarding defendants’ intentions or plans to commit crimes and their awareness that certain facts are the case, as well as excusatory principles which result in lesser responsibility for those who are juveniles, mentally ill, sleepwalking, hypnotized, or who suffer from psychopathy. (shrink)