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)

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)

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)

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)

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)

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.

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)

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 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)

Author: Bytniewski Paweł Title: “WHAT IS AN AUTHOR?” ON FOUCAULT’S CONSCIOUSNESS OF AN AUTHORSHIP („Kim jest Autor?” O krytycznej świadomości autorstwa) Source: Filo-Sofija year: 2010, vol:.10, number: 2010/1, pages: 73-106 Keywords: FOUCAULT, AUTHOR, LITERATURE, LANGUAGE, EXPERIENCE Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:One of the major obstacles to reconstructing Foucault’s attitude towards an authorship issue is multiplicity of his own roles which as an author he fulfilled. An Authorship as a (...) theme of his texts, as a prefiguration of nonexistent “Man” and his own authorship as a problem, as a way of “detaching myself from myself” – all these are the forms of Foucauldian ideas about an authorship and, at the same time, forms of his consciousness of his own authorship. Foucault historicizes and dissipates an authorship: an author is a function rather than the originator of texts. Writing, in this perspective, is a kind of conversion, decomposition of subjectivity into something else and even explosion. To say “I” doesn’t prove to be an ego. Additionally, Foucault notoriously suggests that his books are fiction. To be an author in this way is a way of being within the discourse and, as a consequence of it, to be trapped in its power. Foucault’s own rewriting of his theoretical biography includes turns and returns: as he repeatedly claims, he wrote in order to transform himself. He uses the processes of writing to simulate production of his subjective identity and, at the same time, to summarize, recapitulate his own oeuvre from current position. To cope with this suggestive and bizarre claims one should employ Roland Barthes distinction: écrivains (authors) et écrivants (writers). When Foucault-écrivain decomposes his ego, his own mode of existence by the use of writing, Foucault-écrivant, in an act of writing, writes himself, as an author. When Foucault-écrivain “writes fictions”, Foucault écrivant, in an act of “self-writing” (l’écriture de soi), establishes the object of a critique – Foucault. (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)

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)

A new formulation of the cusp catastrophe is used to model the fundamental biological functions of predation and reproduction. This new representation lies on the decomposition of the overall cusp potential in two component potentials individualising the conflicting pregnances. It results in a more accurate and less problematic description than the original proposition by R. Thom, mostly due to the use of parameters with strong physical and evocative power. For instance, it gives a very suggestive account for such biologically (...) significant processes as digestion and assimilation, or pregnancy and delivery. Two couples of parameters are used in the new representation of the cusp: one defines the exact shape of the conflicting attractors which symbolises genetic coding, the other controls the deformation of -and interaction between- the two attractors and represent hormonal effects. This new description strikingly echoes Heidegger's philosophical thought on ontological difference, by giving a representation of the distinct concepts of entity and Being. It thus precludes a previous criticism concerning the impossibility for catastrophic models to depict the entity level. Such a type of representation might be useful in translating syntactical-semantic models of catastrophe theory into computer language. (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)

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)

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)

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)

We show that under the proper forcing axiom the class of all Aronszajn lines behave like [Formula: see text]-scattered orders under the embeddability relation. In particular, we are able to show that the class of better-quasi-order labeled fragmented Aronszajn lines is itself a better-quasi-order. Moreover, we show that every better-quasi-order labeled Aronszajn line can be expressed as a finite sum of labeled types which are algebraically indecomposable. By encoding lines with finite labeled trees, we are also able to deduce a (...) decomposition result, that for every Aronszajn line [Formula: see text] there is an integer [Formula: see text] such that for any finite coloring of [Formula: see text] there is subset [Formula: see text] of [Formula: see text] isomorphic to [Formula: see text] which uses no more than [Formula: see text] colors. (shrink)

L’exercice artistique suppose un rapport au temps spécifique : l’homme s’exerçant à son art répète, reprend, corrige ses gestes. Mais en va-t-il de même concernant la réception des œuvres : la perception du spectateur s’exerce-t-elle par répétition et variation des expériences esthétiques? L’objet de cet article est de montrer qu’il existe un type d’exercice dont le mécanisme repose plutôt sur la déstabilisation des habitudes de perception. À partir des réflexions valéryennes sur l’informe dans l’Introduction à la méthode de Léonard (...) de Vinci et Degas, Danse, Dessin, nous proposons de penser un exercice de la perception qui passe par la décomposition de ses mécanismes. Cette idée trouve sa réalisation dans des dispositifs artistiques labyrinthiques tels que l’exposition Contact d’Olafur Eliasson (Fondation Louis Vuitton, 2014-2015) qui, en perturbant les échelles d’espace et de temps, oblige le récepteur à produire consciemment le travail de cohérence de la synthèse perceptive. (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.

The aim of the article is to develop the existing methodological approaches to assessing the military and economic capabilities of the country in conditions of war and peace. To achieve the purpose of the study, its decomposition was carried out and the following were investigated: existing approaches to assessing the military and economic potential of the country, the country's power and national power; the concept of critical load of the national economy is revealed; the generally accepted norms on financing (...) of defense needs are resulted; the experience of financing the needs of defense by the leading countries of the world - in the conditions of the Second World War is given; a methodical approach to assessing the military and economic capabilities of the country is proposed. The article proposes a methodical approach to assessing the military and economic capabilities of the country. According to the results of the research, the existing theory of military economy has been improved in the context of understanding the allowable burden on the country's economy in conditions of war and the development of methodological approaches to assessing the country's military and economic capabilities. The proposed methodological approach is the development of existing military-economic thought and capability-based military-economic planning. The proposed methodological approach allows to assess the ability of the national economy to meet military and economic needs in wartime by industry and type of military support, taking into account the critical load of the national economy, which will help simplify and improve the process of military policy decisions. The practical value of the study is that the proposed method of assessing the military and economic capabilities of the country allows to identify critical sectors of the economy, assess their ability to provide resources for military needs in wartime, based on which to form and make appropriate management decisions. The results of the study can be used in further studies of the development of military and economic potential of the country, balancing military and civilian economic needs in war, as well as military-economic planning based on capabilities. A limitation of the study is the use of publicly available sources. Future research is seen in the further development of methodological approaches to assessing and developing the military and economic potential of the country. (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)

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 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)

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)

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 volume presents a sketch of the Meaning-Text linguistic approach, richly illustrated by examples borrowed mainly, but not exclusively, from English. Chapter 1 expounds the basic idea that underlies this approach—that a natural language must be described as a correspondence between linguistic meanings and linguistic texts—and explains the organization of the book. Chapter 2 introduces the notion of linguistic functional model, the three postulates of the Meaning-Text approach (a language is a particular meaning-text correspondence, a language must be described by (...) a functional model and linguistic utterances must be treated at the level of the sentence and that of the word) and the perspective “from meaning to text” for linguistic descriptions. Chapter 3 contains a characterization of a particular Meaning-Text model: formal linguistic representations on the semantic, the syntactic and the morphological levels and the modules of a linguistic model that link these representations. Chapter 4 covers two central problems of the Meaning-Text approach: semantic decomposition and restricted lexical cooccurrence (≈ lexical functions); particular attention is paid to the correlation between semantic components in the definition of a lexical unit and the values of its lexical functions. Chapter 5 discusses five select issues: 1) the orientation of a linguistic description must be from meaning to text (using as data Spanish semivowels and Russian binominative constructions); 2) a system of notions and terms for linguistics (linguistic sign and the operation of linguistic union; notion of word; case, voice, and ergative construction); 3) formal description of meaning (strict semantic decomposition, standardization of semantemes, the adequacy of decomposition, the maximal block principle); 4) the Explanatory Combinatorial Dictionary (with a sample of complete lexical entries for Russian vocables); 5) dependencies in language, in particular—syntactic dependencies (the criteria for establishing a set of surface-syntactic relations for a language are formulated). Three appendices follow: a phonetic table, an inventory of surface-syntactic relations for English and an overview of all possible combinations of the three types of dependency (semantic, syntactic, and morphological). The book is supplied with a detailed index of notions and terms, which includes a linguistic glossary. (shrink)

The lexicalist vs. transformationalist controversy involving causative sentences has been argued to the extreme extent in either position, studies based on Fillmore's case grammar by Sasaki and Taylor representing the former, and those based on the theory of lexical decomposition by McCawley and G. Lakoff representing the latter. The following work presents arguments that neither of these extreme positions is correct in Japanese. Different types of evidence are presented for the position that derives the lexical causative, e.g., koros 'kill', (...) lexically and the affixal causative, e.g., sin-ase 'cause to die', transformationally. (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)

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)