A synaptic algebra is a generalization of the self-adjoint part of a von Neumann algebra. In this article we extend to synaptic algebras the type-I/II/III decomposition of von Neumann algebras, AW∗-algebras, and JW-algebras.

Effect algebras (EAs), play a significant role in quantum logic, are featured in the theory of partially ordered Abelian groups, and generalize orthoalgebras, MV-algebras, orthomodular posets, orthomodular lattices, modular ortholattices, and boolean algebras.We study centrally orthocomplete effect algebras (COEAs), i.e., EAs satisfying the condition that every family of elements that is dominated by an orthogonal family of central elements has a supremum. For COEAs, we introduce a general notion of decomposition into types; prove that a COEA factors uniquely as (...) a direct sum of types I, II, and III; and obtain a generalization for COEAs of Ramsay’s fourfold decomposition of a complete orthomodular lattice. (shrink)

This paper presents decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. All necessary and sufficient conditions for the decomposition are deployed to investigate the commutativity, sensitivity, and the effect of disturbance on the fourth-order LTVS. Some systems are commutative, and some are not commutative, while some are commutative under certain conditions. Based on this fact, the commutativity of fourth-order Euler-type LTVS is investigated by introducing the commutative (...) requirements, theories, and conditions. The fourth-order Euler-type LTVSs are investigated into commutative pairs of twice Euler-type second-order linear time-varying systems. The decomposition theories and conditions are derived, proved, and solved to simplify the use of commutativity for practical and industrial uses. Some fourth-order systems are sensitive toward change in initial conditions or parameters while others are not, and the effect due to disturbance also varies within systems. Furthermore, the stability and robustness of systems have so many issues. But we consider fourth-order Euler-type LTVS to observe, investigate, and tackle these issues. Lastly, the realization of fourth-order LTVS from cascaded two second-order systems can be laboratory experimented which is an open problem for future engineers to investigate. However, the theoretical results show a good agreement with the simulation results is considered in this work. Perhaps it might have unlimited physical applications in science and engineering as well as theoretical contribution. But beyond any reasonable doubt, the novelty is guaranteed because this study is the first of its kind that introduces the decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. Illustrative examples are presented to support the results. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive (...) frames is developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

I attempt to complement my earlier critiques of human sociobiology, by offering an account of how evolutionary ideas might legitimately be employed in the study of human social behavior. The main emphasis of the paper is the need to integrate studies of proximate mechanisms and their ontogenesis with functional/evolutionary research. Human psychological complexity makes it impossible to focus simply on specific types of human behavior and ask for their functional significance. For any of the kinds of behavior patterns that have (...) occupied human sociobiologists, the underlying proximate mechanisms are very likely to be linked to a broad spectrum of types of behavior, and we cannot expect that natural selection will have acted directly on any individual element from this spectrum. I illustrate this general point with a specific example, considering the traditional sociobiological account of human incest-avoidance and outlining an alternative approach to the phenomena. The example is intended to show the possibility of a more rigorous and sophisticated successor to human sociobiology, which I call "human behavioral ecology". (shrink)

In componential analysis, word meanings are (partly) decomposed into other meanings, and semantic and syntactic markers. Although a theory of word meaning based on such semantic decompositions remains compatible with the linguistic labor division thesis, it is not compatible with Kripke/Putnam-style indexical externalism. Instead of abandoning indexical externalism, a Separation Thesis is defended according to which lexical meaning need not enter the truth-conditional content of an utterance. Lexical meaning reflects beliefs about word meaning shared in a speaker community, and these (...) may rest on possibly erroneous world-level theories. It is argued that this type of lexical meaning is indispensable for explaining word composition processes and the rationality of metalinguistic disputes. (shrink)

Functions of type n are characteristic functions on n-ary relations. In Beyond the Frege Boundary [6], Keenan established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, where he called a function of type n reducible if it can be represented as a composition of functions of type 1 . We will give a normal form theorem for functions of type n , and use this (...) to show that natural language has many examples of irreducible type n functions in a much stronger sense, where we take a function to be reducible if it can be represented as a composition of functions of lower types. (shrink)

As a social activity, the sciences are only possible through communication among scientists themselves and between scientists and society. The article analyses natural, biological, social and ideological prerequisites of scientific communication (SC) as an ensemble of interrelated acts of scientific information exchange. A taxonomy of professional networks as a medium for SC is proposed. The need for a permanent struggle for the preservation and development of the values of both a free society and science is emphasized.

New conjunctionlike and disjunctionlike operations on orthomodular lattices are defined with the aid of formal Mackey decompositions of not necessarily compatible elements. Various properties of these operations are studied. It is shown that the new operations coincide with the lattice operations of join and meet on compatible elements of a lattice but they necessarily differ from the latter on all elements that are not compatible. Nevertheless, they define on an underlying set the partial order relation that coincides with the original (...) one. The new operations are in general nonassociative: if they are associative, a lattice is necessarily Boolean. However, they satisfy the Foulis-Holland-type theorem concerning associativity instead of distributivity. (shrink)

Generalizing a result of Todorčević, we prove the existence of directed sets D, E such that D ≱ [MATHEMATICAL SCRIPT CAPITAL P]κλ and E ≱ [MATHEMATICAL SCRIPT CAPITAL P]κλ but D × E ≥ [MATHEMATICAL SCRIPT CAPITAL P]κλ in the Tukey ordering. As an application, we show that the tree property for directed sets introduced by Hinnion is not preserved under products.

The performance of most of the state-of-the-art speaker recognition systems deteriorates under degraded conditions, owing to mismatch between the training and testing sessions. This study focuses on the front end of the speaker verification system to reduce the mismatch between training and testing. An adaptive voice activity detection algorithm using zero-frequency filter assisted peaking resonator was integrated into the front end of the SV system. The performance of this proposed SV system was studied under degraded conditions with 50 selected speakers (...) from the NIST 2003 database. The degraded condition was simulated by adding different types of noises to the original speech utterances. The different types of noises were chosen from the NOISEX-92 database to simulate degraded conditions at signal-to-noise ratio levels from 0 to 20 dB. In this study, widely used 39-dimension Mel frequency cepstral coefficient features were used, and Gaussian mixture model–universal background model was used for speaker modeling. The proposed system’s performance was studied against the energy-based VAD used as the front end of the SV system. The proposed SV system showed some encouraging results when EMD-based VAD was used at its front end. (shrink)

The structure of covariant observables—normalized positive operator measures (POMs)—is studied in the case of a type I symmetry group. Such measures are completely determined by kernels which are measurable fields of positive semidefinite sesquilinear forms. We produce the minimal Kolmogorov decompositions for the kernels and determine those which correspond to the extreme covariant observables. Illustrative examples of the extremals in the case of the Abelian symmetry group are given.

The articles in this volume showcase the potential richness of frame representations. The presentation includes introductory articles on the application of frames to linguistics and philosophy of science, offering readers the tools to conduct the interdisciplinary investigation of concepts that frames allow. * Introductory articles on the application of frames to linguistics and philosophy of science * Frame analysis of changes in scientific concepts * Event frames and lexical decomposition * Properties, frame attributes and adjectives * Frames in concept (...) composition * Nominal concept types and determination "This volume deals with frame representations and their relations to concept types in linguistics and philosophy of science. It aims at reviving concepts and frames as a common model across disciplines for representing semantic and conceptual knowledge. Departing from the general assumption that frames are not just an arbitrary format of representation but essential to human cognition, a number of case studies apply frames as an analytical tool to a wide range of phenomena, from changes in scientific concepts to particular linguistic phenomena. This provides new insights into long-standing semantic issues, such as the lexical representation of verbs (as predicative frames specifying particular event descriptions or situation types and their participants), adjectives and nominals (as concept frames, which provide attributes and properties of an entity), as well as modification, complementation, possessive constructions, compounding, nominal concept types, determination, or definiteness marking." Bert Gehrke, Pompeu, Fabra University, Barcelona, Spain. (shrink)

The main results in the paper are the following. Theorem A. Suppose that T is superstable and M ⊂ N are distinct models of T eq . Then there is a c ϵ N⧹M such that t is regular. For M ⊂ N two models we say that M ⊂ na N if for all a ϵ M and θ such that θ ≠ θ , there is a b ∈ θ ⧹ acl . Theorem B Suppose that T is (...) superstable , M ⊂ na N are models of T eq , and p is a regular type non-orthogonal to t . Then there is a c ϵ N such that t is regular and non-orthogonal to p. Furthermore, there is a formula θ ∈ t such that a ∈ θ and t ⊥ ̷ p ⇒ t is regular. We used these results to obtain ‘good’ tree decompositions of models in superstable theories with NDOP. See Definition 5.1 for the undefined terms. Theorem C Suppose that T is superstable with NDOP and M ⊨ T eq . Then every ⊂ na - decomposition inside M extends to a ⊂ na -decomposition of M. Furthermore, if 〈N η , a η : η ∈ I〉 is any ⊂ na -decomposition of M, then M is minimal over ∪N η and for all η ∈ I. M is dominated by ∪N η over N η . Using some stable group theory we show that when Th is superstable with NDOP and 〈 N η : η ∈ I 〉 is a tree decomposition of M, then M is constructible over ∪ n η with respect to a very strong isolation relation. (shrink)

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by consequence operators. These operators correspond to the three sensible types of consequence (strong-strong, strong-weak and weak-weak) in Kleene's logic in analogous way as the implication connective in the classical logic corresponds to the classical consequence relation. The composed formulas of the considered language are built (...) from the atomic ones by means of the classical connectives and quantifiers.A deduction system for the developed language is given, consisting of a set of decomposition rules for sequences of formulas. It is shown that the deduction system is sound and complete. (shrink)

We show that every state on an interval pseudo effect algebra E satisfying an appropriate version of the Riesz Decomposition Property (RDP for short) is an integral through a regular Borel probability measure defined on the Borel σ-algebra of a Choquet simplex K. In particular, if E satisfies the strongest type of RDP, the representing Borel probability measure can be uniquely chosen to have its support in the set of the extreme points of K.

We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected with partially ordered groups not necessarily with strong unit. In such a case, starting even with an Abelian po-group, we can obtain a noncommutative pseudo effect algebra. We show how such kite pseudo effect algebras are tied with different types of the Riesz Decomposition Properties. Kites are so-called perfect pseudo effect algebras, and we define conditions when kite pseudo effect algebras have the (...) least non-trivial normal ideal. (shrink)

According to the decomposition thesis, perceptual experiences resolve without remainder into their different modality-specific components. Contrary to this view, I argue that certain cases of multisensory integration give rise to experiences representing features of a novel type. Through the coordinated use of bodily awareness—understood here as encompassing both proprioception and kinaesthesis—and the exteroceptive sensory modalities, one becomes perceptually responsive to spatial features whose instances couldn’t be represented by any of the contributing modalities functioning in isolation. I develop an (...) argument for this conclusion focusing on two cases: 3D shape perception in haptic touch and experiencing an object’s egocentric location in crossmodally accessible, environmental space. (shrink)

Abstract Proportional quantifiers have played a central role in the development of formal semantics because they set a benchmark for the expressive power needed to describe quantification in natural language (Barwise and Cooper Linguist Philos 4:159–219, 1981). The proportional quantifier most, in particular, supplied the initial motivation for adopting Generalized Quantifier Theory (GQT) because its meaning is definable as a relation between sets of individuals, which are taken to be semantic primitives in GQT. This paper proposes an alternative analysis of (...) most that does not treat it as a lexical item whose meaning is accessible without the help of compositional processes. Instead, proportional most is analyzed as the superlative of many (cf. Bresnan Linguist Inq 4(3):274–344, 1973). Two types of empirical evidence are presented in support of this view, both exploiting the fact that only a decompositional analysis of proportional quantifiers provides the means to generate different logical forms for seemingly equivalent statements of the form most A B and more than half of the A B. (shrink)

I resolve an argument over “flat” versus “dimensioned” theories of realization. The theories concern, in part, whether realized and realizing properties are instantiated by the same individual (the flat theory) or different individuals in a part-whole relationship (the dimensioned theory). Carl Gillett has argued that the two views conflict, and that flat theories should be rejected on grounds that they fail to capture scientific cases involving a dimensioned relation between individuals and their constituent parts. I argue on the contrary that (...) the two types of theory complement one another, even on the same range of scientific cases. I illustrate the point with two popular functionalist versions of flat and dimensioned positions – causal-role functionalism and a functional analysis by decomposition – that combine into a larger picture I call “comprehensive functional realization.” I also respond to some possible objections to this synthesis of functionalist views. (shrink)

This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in a (...) class='Hi'>type-driven formal semantic framework. In addition, I also argue against traditional accounts of privative noun phrases which can be paired with the assumption that nouns do not have a dual semantic structure. At the most general level, this paper presents a proposal for how we can begin to integrate a psychologically realistic account of lexical semantics with a linguistically plausible compositional semantic framework. (shrink)

We study tree-like decompositions of models of a theory and a related complexity measure called partition width. We prove a dichotomy concerning partition width and definable pairing functions: either the partition width of models is bounded, or the theory admits definable pairing functions. Our proof rests on structure results concerning indiscernible sequences and finitely satisfiable types for theories without definable pairing functions. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

The paper presents a compositional approach to the verification of CTL* properties over reactive systems. Both symbolic model-checking and deductive verification are considered. Both methods are based on two decomposition principles. A general state formula is decomposed into basic state formulas which are CTL* formulas with no embedded path quantifiers. To deal with arbitrary basic state formulas, we introduce another reduction principle which replaces each basic path formula, i.e., path formulas whose principal operator is temporal and which contain no (...) embedded temporal operators or path quantifiers, by a newly introduced boolean variable which is added to the system. Thus, both the algorithmic and the deductive methods are based on two statification transformations which successively replace temporal formulas by assertions which contain no path quantifiers or temporal operators. Performing these decompositions repeatedly, we remain with basic assertional formulas, i.e., formulas of the form Efp and Afp for some assertion p. In the model-checking method we present a single symbolic algorithm to verify both universal and existential basic assertional properties. In the deductive method we present a small set of proof rules and show that this set is sound and relatively complete for verifying universal and existential basic assertional properties over reactive systems. Together with two proof rules for the decompositions, we obtain a sound and relatively complete proof system for arbitrary CTL* properties. Interestingly, the deductive approach for CTL* presented here, offers a viable new approach to the deductive verification of arbitrary LTL formulas. The paper corrects a previous preliminary version of a deductive system for CTL*, in which some of the rules were unsound. The correction is based on the introduction of a new type of temporal testers which are guaranteed to be non blocking. That is, when composed with a deadlock-free system, which is a key operation in the verification process, the resulting composed system is guaranteed to remain deadlock free. (shrink)

Schrödinger averred that entanglement is the characteristic trait of quantum mechanics. The first part of this paper is simultaneously an exploration of Schrödinger’s claim and an investigation into the distinction between mere entanglement and genuine quantum entanglement. The typical discussion of these matters in the philosophical literature neglects the structure of the algebra of observables, implicitly assuming a tensor product structure of the simple Type I factor algebras used in ordinary Quantum Mechanics . This limitation is overcome by adopting (...) the algebraic approach to quantum physics, which allows a uniform treatment of ordinary QM, relativistic quantum field theory, and quantum statistical mechanics. The algebraic apparatus helps to distinguish several different criteria of quantum entanglement and to prove results about the relation of quantum entanglement to two additional ways of characterizing the classical versus quantum divide, viz. abelian versus non-abelian algebras of observables, and the ability versus inability to interrogate the system without disturbing it. Schrödinger’s claim is reassessed in the light of this discussion. The second part of the paper deals with the relativity-to-ambiguity threat: the entanglement of a state on a system algebra is entanglement of the state relative to a decomposition of the system algebra into subsystem algebras; a state may be entangled with respect to one decomposition but not another; hence, unless there is some principled way to choose a decomposition, entanglement is a radically ambiguous notion. The problem is illustrated in terms a Realist versus Pragmatist debate, the former claiming that the decomposition must correspond to real as opposed to virtual subsystems, while the latter claims that the real versus virtual distinction is bogus and that practical considerations can steer the choice of decomposition. This debate is applied to the fraught problem of measuring entanglement for indistinguishable particles. The paper ends with some remarks about claims in the philosophical literature that entanglement undermines the separability or independence of subsystems while promoting holism. (shrink)

I argue that alternative-denoting expressions interact with their semantic context by taking scope. With an empirical focus on indefinites in English, I show how this approach improves on standard alternative-semantic architectures that use point-wise composition to subvert islands, as well as on in situ approaches to indefinites more generally. Unlike grammars based on point-wise composition, scope-based alternative management is thoroughly categorematic, doesn’t under-generate readings when multiple sources of alternatives occur on an island, and is compatible with standard treatments of binding. (...) Unlike all in situ treatments of indefinites, relying on a true scope mechanism prevents over-generation when an operator binds into an indefinite. My account relies only on function application, some mechanism for scope-taking, and two freely-applying type-shifters: the first is Karttunen’s :3–44, 1977. https://doi.org/10.1007/BF00351935) proto-question operator, aka Partee’s Studies in discourse representation theory and the theory of generalized quantifiers, Foris, Dordrecht, 1986) IDENT, and the second can be factored out of extant approaches to the semantics of questions in the tradition of Karttunen. These type-shifters form a decomposition of LIFT, the familiar function mapping values into scope-takers. Exceptional scope of alternative-generating expressions arises via scopal pied-piping: indefinites take scope over their island, which then itself takes scope. (shrink)

It is a well-known fact that MV-algebras, the algebraic counterpart of Łukasiewicz logic, correspond to a certain type of partial algebras: lattice-ordered effect algebras fulfilling the Riesz decomposition property. The latter are based on a partial, but cancellative addition, and we may construct from them the representing ℓ-groups in a straightforward manner. In this paper, we consider several logics differing from Łukasiewicz logics in that they contain further connectives: the PŁ-, PŁ'-, PŁ'△-, and ŁΠ-logics. For all their algebraic (...) counterparts, we characterise the corresponding type of partial algebras. We moreover consider the representing f-rings. All in all, we get three-fold correspondences: the total algebras - the partial algebras - the representing rings. (shrink)

Explanation in terms of gene regulatory networks has become standard practice in evolutionary developmental biology. In this paper, we argue that GRNs fail to provide a robust, mechanistic, and dynamic understanding of the developmental processes underlying the genotype–phenotype map. Explanations based on GRNs are limited by three main problems: the problem of genetic determinism, the problem of correspondence between network structure and function, and the problem of diachronicity, as in the unfolding of causal interactions over time. Overcoming these problems requires (...) dynamic mechanistic explanations, which rely not only on mechanistic decomposition, but also on dynamic modeling to reconstitute the causal chain of events underlying the process of development. We illustrate the power and potential of this type of explanation with a number of biological case studies that integrate empirical investigations with mathematical modeling and analysis. We conclude with general considerations on the relation between mechanism and process in evo-devo. (shrink)

A brain tumor is an abnormal mass or growth of a cell that leads to certain death, and this is still a challenging task in clinical practice. Early and correct diagnosis of this type of cancer is very important for the treatment process. For this reason, this study aimed to develop computer-aided systems for the diagnosis of brain tumors. In this research, we proposed three different end-to-end deep learning approaches for analyzing effects of local and deep features for brain (...) MRI images anomaly detection. The first proposed system is Directional Bit-Planes Deep Autoencoder which extracts and learns local and direction features. The DBP-DAE by decomposition of a local binary pattern into eight bit-planes extracts are directional and inherent local-structure features from the input image and learns robust feature for classification purposes. The second one is a Dilated Separable Residual Convolutional Network which extracts high and low-level features. The main advantage of this approach is that it is robust and shows stable results regardless to size of image database and to solve overfitting problems. To explore the effects of mixture of local and deep extracted feature on accuracy of classification of brain anomaly, a multibranch convolutional neural network approach is proposed. This approach is designed according to combination of DBP-DAE and DSRCN in an end-to-end manner. Extensive experiments conducted based on brain tumor in MRI image public access databases and achieves significant results compared to state-of-the-art algorithms. In addition, we discussed the effectiveness and applicability of CNNs with a variety of different features and architectures for brain abnormalities such as Alzheimer’s. (shrink)

This paper reconsiders semiotic modelling in light of recent scholarship on Charles Peirce, particularly regarding his concept of proposition. Conceived in the vein of Peirce’s phenomenological categories as well as of his taxonomy of signs, semiotic modelling has mostly been thought of as ascending from simple, basic sign types to complex ones. This constitutes the backbone of most currently accepted semiotic modelling theories and entails the further acceptance of an unexamined a priori coherence between complexity of cognition and complexity of (...) signification. Following recent readings of Peirce’s post-1900 semiotic, we engage in a discussion as to what are the limits of this approach. From Stjernfelt’s conception of the dicisign in nature, we derive a perspective that affords understanding the practice of modelling as a reciprocal interplay between decomposition of complexity and recombination into further complexity. This discussion is facilitated by the recent extrapolation of the constructivist concept of scaffolding in biosemiotics research. Cognition, we argue, begins with a fundamental irritation of trying to make sense of a structure that is more complex than what can directly be derived from experience and, in so doing, urges meaning-seeking processes. The yet unknown object is decomposed into more tangible objects and is subsequently reassembled from these more manageable conceptions of the object. In support of our argument, we discuss the notions of semiotic competences and resources in light of such a naturalized account of meaning-making. (shrink)

The representational dynamics of the brain is a subsymbolic process, and it has to be conceived as an "agent-free" type of dynamical self-organization. However, in generating a coherent internal world-model, the brain decomposes target space in a certain way. In doing so, it defines an "ontology": to have an ontology is to interpret a world. In this paper we argue that the brain, viewed as a representational system aimed at interpreting the world, possesses an ontology too. It decomposes target (...) space in a way that exhibits certain invariances, which in turn are functionally significant. A challenge for empirical research is to determine which are the functional regularities guiding this decomposition process. What are the explicit and implicit assumptions about the structure of reality, which at the same time shape the causal profile of the brain's motor output and the representational deep structure of the conscious mind arising from it (its "phenomenal output")? How do they constrain high-level phenomena like conscious experience, the emergence of a first-person perspective, or social cognition? By reviewing a series of neuroscientific results, we focus on the contribution the motor system makes to this process. As it turns out, the motor system constructs goals, actions, and intending selves as basic constituents of the world it interprets. It does so by assigning a single, unified causal role to them. Empirical evidence now clearly shows how the brain actually codes movements and action goals in terms of multimodal representations of organism-object relations. Under a representationalist analysis, this process can be interpreted as an internal representation of the intentionality relation itself. We try to show how such a more complex form of representational content, once it is in place, can later function as the building block for social cognition and a for more complex, consciously experienced representation of the first-person perspective as well. The motor system may therefore play a decisive role in understanding how the functional ontology of the human brain could be gradually extended into the subjective and social domains. (shrink)

Non-deterministic matrices are multiple-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. We consider two different types of semantics which are based on Nmatrices: the dynamic one and the static one . We use the Rasiowa-Sikorski decomposition methodology to get sound and complete proof systems employing finite sets of mv-signed formulas for all propositional logics based on such structures with either of the (...) above types of semantics. Later we demonstrate how these systems can be converted into cut-free ordinary Gentzen calculi which are also sound and complete for the corresponding non-deterministic semantics. As a by-product, we get new semantic characterizations for some well-known logics. (shrink)

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

Systems biologists often distance themselves from reductionist approaches and formulate their aim as understanding living systems “as a whole.” Yet, it is often unclear what kind of reductionism they have in mind, and in what sense their methodologies would offer a superior approach. To address these questions, we distinguish between two types of reductionism which we call “modular reductionism” and “bottom-up reductionism.” Much knowledge in molecular biology has been gained by decomposing living systems into functional modules or through detailed studies (...) of molecular processes. We ask whether systems biology provides novel ways to recompose these findings in the context of the system as a whole via computational simulations. As an example of computational integration of modules, we analyze the first whole-cell model of the bacterium M. genitalium. Secondly, we examine the attempt to recompose processes across different spatial scales via multi-scale cardiac models. Although these models rely on a number of idealizations and simplifying assumptions as well, we argue that they provide insight into the limitations of reductionist approaches. Whole-cell models can be used to discover properties arising at the interfaces of dynamically coupled processes within a biological system, thereby making more apparent what is lost through decomposition. Similarly, multi-scale modeling highlights the relevance of macroscale parameters and models and challenges the view that living systems can be understood “bottom-up.” Specifically, we point out that system-level properties constrain lower-scale processes. Thus, large-scale modeling reveals how living systems at the same time are more and less than the sum of the parts. (shrink)

In the recent philosophical literature, two questions have arisen concerning the status of natural selection: (1) Is it a population-level phenomenon, or is it an organism-level phenomenon? (2) Is it a causal process, or is it a purely statistical summary of lower-level processes? In an earlier work (Millstein, Br J Philos Sci, 57(4):627–653, 2006), I argue that natural selection should be understood as a population-level causal process, rather than a purely statistical population-level summation of lower-level processes or as an organism-level (...) causal process. In a 2009 essay entitled “Productivity, relevance, and natural selection,” Stuart Glennan argues in reply that natural selection is produced by causal pro- cesses operating at the level of individual organisms, but he maintains that there is no causal productivity at the population level. However, there are, he claims, many population-level properties that are causally relevant to the dynamics of evolution- ary processes. Glennan’s claims rely on a causal pluralism that holds that there are two types of causes: causal production and causal relevance. Without calling into question Glennan’s causal pluralism or his claims concerning the causal relevance of natural selection, I argue that natural selection does in fact exhibit causal production at the population level. It is true that natural selection does not fit with accounts of mechanisms that involve decomposition of wholes into parts, such as Glennan’s own. However, it does fit with causal production accounts that do not require decomposition, such as Salmon’s Mark Transmission account, given the extent to which populations act as interacting “objects” in the process of natural selection. (shrink)

Let T 1 , T 2 be countable first-order theories, M i ⊨ T i , and ������ any regular ultrafilter on λ ≥ $\aleph_{0}$ . A longstanding open problem of Keisler asks when T 2 is more complex than T 1 , as measured by the fact that for any such λ, ������, if the ultrapower (M 2 ) λ /������ realizes all types over sets of size ≤ λ, then so must the ultrapower (M 1 ) λ /������. (...) In this paper, building on the author's prior work [12] [13] [14], we show that the relative complexity of first-order theories in Keisler's sense is reflected in the relative graph-theoretic complexity of sequences of hypergraphs associated to formulas of the theory. After reviewing prior work on Keisler's order, we present the new construction in the context of ultrapowers, give various applications to the open question of the unstable classification, and investigate the interaction between theories and regularizing sets. We show that there is a minimum unstable theory, a minimum TP 2 theory, and that maximality is implied by the density of certain graph edges (between components arising from Szemerédi-regular decompositions) remaining bounded away from 0, 1. We also introduce and discuss flexible ultrafilters, a relevant class of regular ultrafilters which reflect the sensitivity of certain unstable (non low) theories to the sizes of regularizing sets, and prove that any ultrafilter which saturates the minimal TP 2 theory is flexible. (shrink)

In the final analysis, sustainable agriculture must derive from applied ecology, especially the principle of the regulation of the abundance and distribution of species (and, secondarily, their activities) in space and time. Interspecific competition in natural ecosystems has its counterparts in agriculture, designed to divert greater amounts of energy, nutrients, and water into crops. Whereas natural ecosystems select for a diversity of species in communities, recent agriculture has minimized diversity in favour of vulnerable monocultures. Such systems show intrinsically less stability (...) and resilience to perturbations. Some kinds of crop rotation resemble ecological succession in that one crop prepares the land for successive crop production. Such rotations enhance soil organic processes such as decomposition and material cycling, build a nutrient capital to sustain later crop growth, and reduce the intensity of pest buildup. Species in natural communities occur at discrete points along the r-K continuum of reproductive maturity. Clearing forested land for agriculture, rotational burning practices, and replacing perennial grassland communities by cereal monocultures moves the agricultural community towards the r extreme. Plant breeders select for varieties which yield at an earlier age and lower plant biomass, effectively moving a variety towards the r type. Features of more natural landscapes, such as hedgerows, may act as physical and biological adjuncts to agricultural production. They should exist as networks in agricultural lands to be most effective. Soil is of major importance in agroecosystems, and maintaining, deliberately, its vitality and resilience to agricultural perturbations is the very basis of sustainable land use. (shrink)

Among the instrumental value defenses for biodiversity conservation is the argument that biodiversity is necessary to support ecosystem functioning. Lower levels of biodiversity yield lower levels of ecosystem functioning and hence the inference that we should conserve biodiversity. In our book Defending Biodiversity: Environmental Science and Ethics, we point out three problems with this inference. (1) The empirical support for such an inference derives from experiments conducted on a very small set of ecosystem types (mainly grasslands and fresh water aquatic) (...) and ecosystem functions (mainly nutrient uptake, biomass production, and decomposition rates). These experiments suffer from a number of largely unavoidable logistical constraints making the generality of their results questionable. (2) Even if the experimental results were unequivocal, their lack of external validity would still raise significant questions about how (if at all) these results apply to real world conservation problems. And (3) even if the experimental results were unequivocal and completely applicable to conservation problems, relying on such defenses implies other rational policy commitments that are at odds with other positions that environmentalists commonly take. Odenbaugh and I disagree largely about what inferences follow from these points rather than about the points themselves. I think that what follows is that if environmentalists want to use instrumental value defenses, then we need to accept that not all biodiversity is useful to us, and parts that are useful are not necessarily more useful than alternatives that might threaten biodiversity. I also think that the unpalatable implied commitments need to be taken seriously. This may mean that we environmentalists have to accept that biodiversity should not always be conserved, and that parts of the environmentalist agenda are little more than strong personal preferences that others need not respect. If environmentalists are willing to accept these conclusions, then there are no problems with relying on these instrumental value defenses, but I suspect that environmentalists are likely to be unhappy with such conclusions. (shrink)

In this paper I provide a decompositional analysis of three kinds of plural indefinites in two related languages, European Spanish and Brazilian Portuguese. The three indefinites studied are bare plurals, the unos (Spanish)/uns (Portuguese) type, and the algunos (Spanish)/alguns (Portuguese) type. The paper concentrates on four properties: semantic plurality, positive polarity, partitivity, and event distribution. The logic underlying the analysis is that of compositionality, applied at the subword level: as items become bigger in form (with the addition of (...) morphemes), they also acquire more semantic properties. The paper proposes the “indefinite hierarchy", which establishes a set of components for languages to build their indefinites with, in a particular order. (shrink)

I argue that there are different orders of mechanisms with different constitutive relevance and individuation conditions. In common first-order mechanistic explanations, constitutive relevance norms are captured by the matched-interlevel-experiments condition (Craver et al. (2021) Synthese 199:8807–8828). Regarding individuation, we say that any two mechanisms are of the same type when they have the same concrete components performing the same activities in the same arrangement. By contrast, in higher-order mechanistic explanations, we formulate the decompositions in terms of generalized basic components (...) (GBCs). These GBCs (e.g., logic gates) possess causal properties that are common to a set of physical systems. Mechanistic explanations formulated in terms of GBCs embody the epistemic value of horizontal integration, which aims to explain as many phenomena as possible with a minimal amount of abstract components (Wajnerman Paz (2017a) Philos Psychol 30:213–234). Two higher-order mechanisms are of the same type when they share all the same GBCs, and they are organized as performing the same activities with the same interactions. I use this notion of mechanistic order to enhance the mechanistic account of computation (MAC) and provide an account of the epistemic norms of computational explanation and the nature of medium-independent functional properties and mechanisms. Finally, I use these new conceptual tools to address four criticisms of the MAC. (shrink)

Expert reasoning combines voluminous domain‐specific knowledge with more general factual and strategic knowledge. Whereas expert system builders have recognized the need for specificity and problem‐solving researchers the need for generality, few attempts have been made to develop expert reasoning engines combining different kinds of knowledge at different levels of generality. This paper reports on the FERMI project, a computer‐implemented expert reasoner in the natural sciences that encodes factual and strategic knowledge in separate semantic hierarchies. The principled decomposition of knowledge (...) according to type and level of specificity yields both power and cross‐doman generality, as demonstrated in FERMI's ability to apply the same principles of invariance and decomposition to solve problems in fluid statics, DC‐circuits, and centroid location. Hierarchical knowledge representation and problem‐solving principles are discussed, and illustrative problem‐solving traces are presented. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

Et si la domination n'etait pas la ou on la croit? Et si la facon dont nous nous representons aujourd'hui l'identite, l'humain, les genres, la nature, mais aussi la democratie, le rapport a l'etranger, le contenu meme du savoir, la finalite du droit, si tout cela ne relevait pas en realite d'un savoir objectif mais d'une - ideologie - qui projette de changer l'ordre social et politique mais surtout l'humain? C'est le propre de toute epoque que de trouver dans un (...) ordre d'idees le principe du pouvoir et de la coherence, sauf que cette ideologie se presente comme l'anti-pouvoir, le facteur d'une liberte jamais imaginee. Ce court ouvrage s'efforce d'en construire le modele et de prendre la mesure de l'ampleur de l'agenda du post-modernisme, cette pensee nee en France dans les annees 1970, redecouverte aux etats-Unis et devenue, depuis, la - langue commune - de toutes les elites du monde democratique, a travers ses multiples visages: multiculturalisme, post colonialisme, queer theory, altermondialisme, mondialisme, etc. Dans la perspective de la sociologie de la connaissance, Shmuel Trigano tente d'identifier les centres de pouvoir et l'ordre nouveau qu'installe cette ideologie pour comprendre le contexte de son developpement, notamment la decomposition de l'etat-nation europeen des suites de l'unification europeenne, grosse, selon lui d'une forme de pouvoir de type imperial. Un livre de savoir mais aussi un livre engage qui alerte face a la derniere nee des utopies politiques.". (shrink)

Prominent research programs dealing with the nature and mechanisms of interpersonal social coordination have emerged in cognitive science, developmental psychology and evolutionary anthropology. I argue that the mechanistic approach to explanation in contemporary philosophy of science can facilitate interdisciplinary integration and division of labor between these different disciplinary research programs. By distinguishing phenomenal models from mechanistic models and structural decomposition from functional decomposition in the process of mechanism discovery, I argue that behavioral and cognitive scientists can make interlocking (...) contributions to families of mechanism models representing a) what central forms of interpersonal social coordination consist in, b) what types of agents engage in such forms of coordination, c) what types of cognitive mechanisms give rise to such forms of coordination, d) how the operation of such mechanisms is modulated by the natural and social environments that the agents populate. Thus mechanistic philosophy of science can play a heuristic role in guiding the research strategies of scientists in different scientific disciplines in a manner that is complementary to the research strategies of scientists in other disciplines and thereby efficient from the point of view of the division of epistemic labor. (shrink)

This paper presents a cross-linguistic survey of the interpretations that decomposition adverbs like _again_ permit. The survey distinguishes two different types of predicates that are combined with _again_: lexical accomplishments like ‘open the door’, on the one hand, and combinations of a motion verb with a directional Prepositional Phrase on the other. There is systematic cross-linguistic variation with the latter type of predicate: a language only permits a restitutive reading of _again_ with such a predicate if the language (...) has resultative constructions. I argue that in these languages the PP can function as a result phrase. In languages without resultatives, the PP cannot be a result phrase, and a restitutive reading is impossible. The data support an analysis of restitutive _again_ that is sensitive to the presence of a result phrase in the syntax. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at (...) the current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

A Dedekind algebra is an order pair (B, h) where B is a non-empty set and h is a similarity transformation on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called the configurations of the algebra. There are 0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on called its configuration signature. The configuration signature counts the number of configurations in each isomorphism type which occur in the (...) class='Hi'>decomposition of the algebra. Two Dedekind algebras are isomorphic iff their configuration signatures are identical. It is shown that configuration signatures can be used to characterize the homogeneous, universal and homogeneous-universal Dedekind algebras. This characterization is used to prove various results about these subclasses of Dedekind algebras. (shrink)