Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a (...) system, is explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)

The general inorganic nature of traditional selection theory (based on differential growth between any two systems) is pointed out, wherefrom it follows that this theory cannot provide explanations for the characteristics of organic evolution. Specific biophysical aspects enter with the complexity of macro-molecules: vital physical conditions for the perpetuation of the system, irrevocable extinction (= death) and random change leading to novelty, are the result of complexity per se. Further biophysical properties are a direct function of the pathway (...) along which random mutation in nucleic acids is converted into continuous protein — (specifically enzyme) — function, from there into organismic phenotype with fitness components which may, or may not, correspond to identifiable structural units in DNA. The general machine-like properties of enzymes, in that there is no additive relationship between structural (amino acid) composition and functional output, is discussed in more detail. The continuous growth functions of molecular concentrations, directed by enzyme turnover, determine simple laws of growth and morphogenesis in the organic hierarchy and thus of phenotype. Thus, the combined effect of DNA-structure and of environmental parameters (temperature, pressure, pH, etc.) on protein function determines ultimately the actual phenotype and hence, quality and intensity of genotypic selection. (shrink)

The frequency and temperature dependences of the ac conductivity and dielectric constant of the V 2 O 5 -MnO-TeO 2 system, containing two transition-metal ions, have been measured. The dc conductivity † dc measured in the high-temperature range decreases with addition of the oxide MnO. This is considered to be due to the formation of bonds such as V--O--Mn and Mn--O--Mn in the glass. The conductivity arises mainly from polaron hopping between V 4+ and V 5+ ions. It is found (...) that a mechanism of adiabatic small-polaron hopping is the most appropriate conduction model for these glasses. This is in sharp contrast with the behaviour of the Mn-free V 2 O 5 -TeO 2 glass, in which non-adiabatic hopping takes place. High-temperature conductivity data satisfy Mott's small-polaron hopping model and also a model proposed by Schnakenberg in 1968. A power-law behaviour † ac = A y s , with s < 1) is well exhibited by the ac conductivity † ac data of these glasses. Analysis of dielectric data indicates a Debye-type relaxation behaviour with a distribution of relaxation times. The MnO-concentration-dependent † ac data follow an overlapping large-polaron tunnelling model over the entire range of temperatures studied. The estimated model parameters are reasonable and consistent with changes in composition. (shrink)

The ternary xV2O5–(40 − x)Li2O–60B2O3 glass system, where x = 1, 2, 3, 4 and 6 mol%, was prepared by normal quenching. Ultrasonic velocities and attenuation were measured at room temperature using a pulse-echo technique. Various parameters, such as elastic moduli, micro-hardness, Poisson's ratio and Debye temperature, were determined from the measured densities and velocities. The composition dependence of these parameters, in addition to the glass-transition temperature, suggested that vanadium ions were incorporated into these glasses as a network modifier, resulting (...) in the reconversion of BO4 tetrahedra to BO3 triangles by the breaking of B–O–B linkages and the formation of nonbridging oxygens (NBOs). The outcome was a reduction in network connectivity and rigidity with increasing V2O5 content. The results are explained quantitatively in terms of fractal bond connectivity, average atomic volume, network dimensionality, packing density, number of network bonds per unit volume, cross-link density and atomic ring size. The Makishima and Mackenzie model appears to be valid for the studied glasses when the fate of BO4 tetrahedra and creation of NBOs are taken into account. (shrink)

In this paper I discuss some metaphysical consequences of an unorthodox approach to the problem of the identity and individuality of “indistinguishable” quantum particles. This approach is based on the assumption that the only admissible way of individuating separate components of a given system is with the help of the permutation-invariant qualitative properties of the total system. Such a method of individuation, when applied to fermionic compositions occupying so-called GMW-nonentangled states, yields highly implausible consequences regarding the number of distinct (...) components of a given composite system. I specify the problem in detail, and I consider several strategies of solving it. The preferred solution of the problem is based on the premise that spatial location should play a privileged role in identifying and making reference to quantum-mechanical systems. (shrink)

The article explores the phenomenon of symphonism in the written and other intellectual heritage of Hryhorii Skovoroda. The study reveals that the conclusion about systemic symphonismbeing a property of the thinker’s reflections can only be hypothetical at this stage. This is due tothe fact that the source base of the present study includes a significant number of diverse works by the philosopher that have not yet received a proper archaeographic description. The matter of archaeographic description of sources in the history (...) of philosophy research in Ukraine has not yet been positively resolved and is still in its formation. This article briefly presents the problematic range of source studies of Hryhorii Skovoroda’s works. It is, however, not limited to the suggested list and tends to expand. With this circumstance in mind, the boundaries of the research were limited to a selection of Hryhorii Skovoroda’s letters to various persons, which is contained in the most representative academic printed edition of his writings available today. The distinctive features of understanding the source heritage of the philosopher include its genre character and the way it was disseminated. All the major philosopher’s works were personally handwritten or replicated by other copyists in lists. This circumstance causes considerable difficulties in verifying the accuracy of the content of the original manuscript source in print. The presentation of the material is intentionally not systematic, but illustrative. The selection of extractsfrom the philosopher’s works contains the most distinctive examples of symphonicity, which illustrate the panorama of the growth of symphonic complexes from simpler to quantitatively more complex. The inherent polemical core of the study is to establish the correspondence between systemic symphonicity and dialogicity of the philosopher’s style of thinking. The conclusions about this could be drawn on the basis of historical and philosophical explication from certain sources. The author suggests that the development of dialogicity is preceded by a thorough justification of the principle of proper thinking by Hryhorii Skovoroda, which has a complex symphonic structure. From this perspective, dialogism does not contradict the fundamental symphonicity, but is rather one of its manifestations. (shrink)

Contextuality is a particular quantum phenomenon that has no analogue in classical probability theory. Given two independent systems, a natural question is how to represent such a situation as a single test space. In other words, how separate contextuality scenarios combine into a joint scenario. Under the premise that the the allowed probabilistic models satisfy the No Signalling principle, Foulis and Randall defined the unique possible way to compose two contextuality scenarios. When composing strictly-more than two test spaces, however, (...) a variety of possible composition methods have been conceived. Nevertheless, all these formally-distinct composition methods appear to give rise to observationally equivalent scenarios, in the sense that the different compositions all allow precisely the same sets of classical and quantum probabilistic models. This raises the question of whether this property of invariance-under-composition-method is special to classical and quantum probabilistic models, or if it generalizes to other probabilistic models as well, our particular focus being \ models. \ models are physically important since, when applied to scenarios constructed by a particular composition rule, coincide with the well-defined “Almost Quantum Correlations”. In this work we see that some composition rules, however, give rise to scenarios with inequivalent allowed sets of \ models. We find that the non-trivial dependence of \ models on the choice of composition method is apparently an artifact of failure of those composition rules to capture the orthogonality relations given by the Local Orthogonality principle. We prove that \ models satisfy invariance-under-composition-method for all the constructive compositions protocols which do capture this notion of Local Orthogonality. (shrink)

Modal interpretations are hidden-variable, no-collapse interpretations of quantum mechanics that were designed to solve the measurement problem and reconcile this theory with relativity. Yet, as no-go theorems by Dickson and Clifton, Arntzenius and Myrvold demonstrate, current modal interpretations are incompatible with relativity. In the mainstream modal interpretations, properties of composite systems are generally unrelated to the properties of their subsystems. We propose holistic and relational interpretations of properties to explain this failure of property composition. Based (...) on these interpretations, we consider strategies for circumventing Myrvold's theorem, which are also effective against the other two theorems. (shrink)

What are the properties of composite objects, and how do the properties of composite objects and the properties of their proper parts relate to one another? The answers to these questions depend upon which view of composition one adopts. One view, which I call the orthodox view, is that composite objects are numerically distinct from their proper parts, individually and collectively. Another view, known as composition as identity, is that composite objects are numerically (...) identical to their proper parts, taken together. I argue that the orthodox view entails that the intuitive picture of composite objects and their properties that most accept is false. Not so for composition as identity. I also show that all of the available alternatives face serious difficulties. This puts composition as identity at an advantage over the orthodox view, at least when it comes to accounting for the properties of composite objects. (shrink)

The present paper has three closely related aims. We first argue that Agazzi’s scientific realism about Quantum Mechanics is in line with Selleri’s and Tarozzi’s proposal of Quantum Waves. We then go on to formulate rigorously different metaphysical principles such as property compositional determinateness and mereological extensionalism. We argue that, contrary to widespread agreement, realism about Quantum Mechanics actually refutes only the former. Indeed we even formulate a new quantum mechanical argument in favor of extensionalism. We conclude by noting that, (...) given the results of the work, Agazzi’s particular attitude towards Quantum Mechanics is still one of the most promising theoretical perspectives. (shrink)

Since the origins of the notion of emergence in attempts to recover the content of vitalistic anti-reductionism without its questionable metaphysics, emergence has been treated in terms of logical properties. This approach was doomed to failure, because logical properties are either sui generis or they are constructions from other logical properties. If the former, they do not explain on their own and are inevitably somewhat arbitrary (the problem with the related concept of supervenience, Collier, 1988a), but if (...) the latter, reducibility is assured because logical constructs are reducible, by definition, to their logical components. A satisfactory account of emergence must recognise that it is a dynamical, not a logical property of property of natural systems, and that its basis is dynamical rather than logical composition. Collier (1988a) introduced the concept of cohesion as the closure of the causal relations among the dynamical parts of a dynamical particular that determine its resistance to external and internal fluctuations that might disrupt its integrity. Cohesion is an equivalence relation that partitions a set of dynamical particulars into unified and distinct entities, providing the identity conditions for such particulars. Cohesion blocks reduction of dynamical particulars, and is necessary for dynamical emergence. We will give reasons for thinking that cohesion might be sufficient for emergence as well. (shrink)

In this article, we model FPTP systems as social preference rules and give two characterizations. We show that a social preference rule is an FPTP system if, and only if, it satisfies the axioms of subset consistency, district consistency, subset cancellation, and district cancellation. The second characterization consists of the axioms of subset consistency, subset anonymity, neutrality, topsonlyness, Pareto optimality, district consistency and district cancellation. The characterizations give us an opportunity to compare the characteristic properties of FPTP (...) class='Hi'>systems to the characteristic properties that we found for list systems of proportional representation (list PR systems) in Hout et al. (Social Choice and Welfare, 27:459–475, 2006), where we modelled those systems also as social preference rules. We find that consistency and anonymity distinguish list PR systems from FPTP systems. On the other hand, it is district cancellation that distinguishes FPTP systems from list PR systems. (shrink)

The paper provides a formal representation of goal systems. The focus is on three properties: consistency, conflict, and coherence. An aim is to attain conceptual clarity of these properties. It is argued that consistency is adequately regarded as a property relative to the decision situation or, more specifically, the set of alternatives that the agent faces. Moreover, as a condition of rationality, consistency is stronger than some writers have claimed. Conflict is adequately regarded as a relation over (...) subsets of a given goal system and should likewise be regarded as relative to the set of alternatives that the agent faces. Coherence is given a probabilistic interpretation, based on a support relation over subsets of goal systems. (shrink)

Many are calling for transformative food systems changes to promote population and planetary health. Yet there is a lack of research that considers whether current food policy frameworks and regulatory approaches are suited to tackle whole of food systems challenges. One such challenge is responding to the rise of ultra-processed foods (UPF) in human diets, and the related harms to population and planetary health. This paper presents a narrative review and synthesis of academic articles and international reports to (...) critically examine whether current food policy frameworks and regulatory approaches are sufficiently equipped to drive the transformative food systems changes needed to halt the rise of UPFs, reduce consumption and minimise harm. We draw on systems science approaches to conceptualise the UPF problem as an emergent property of complex adaptive food systems shaped by capitalist values and logics. Our findings reveal that current food policy frameworks often adjust or reform isolated aspects of food systems (e.g., prices, labels, food composition), but under-emphasise the deeper paradigms, goals and structures that underlie the rise of UPFs as a systems phenomenon, and its socio-ecological implications. We propose that a ‘leverage points’ framework illuminates where to intervene in food systems to generate multi-level changes, while the theory of ecological regulation highlights how to respond to complex multi-factorial problems, like the rise of UPFs, in diverse ways that respect planetary boundaries. More research is needed to better understand the transformative potential of ecological regulation to advance food systems transformation and attenuate whole of food systems challenges. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

In this article, we model FPTP systems as social preference rules and give two characterizations. We show that a social preference rule is an FPTP system if, and only if, it satisfies the axioms of subset consistency, district consistency, subset cancellation, and district cancellation. The second characterization consists of the axioms of subset consistency, subset anonymity, neutrality, topsonlyness, Pareto optimality, district consistency and district cancellation. The characterizations give us an opportunity to compare the characteristic properties of FPTP (...) class='Hi'>systems to the characteristic properties that we found for list systems of proportional representation (list PR systems) in Hout et al. (Social Choice and Welfare, 27:459–475, 2006), where we modelled those systems also as social preference rules. We find that consistency and anonymity distinguish list PR systems from FPTP systems. On the other hand, it is district cancellation that distinguishes FPTP systems from list PR systems. (shrink)

A system effect arises when the properties of an aggregate differ from the properties of its members, taken one by one. The failure to recognize system effects leads to fallacies of division and composition, in which the analyst mistakenly assumes that what is true of the aggregate must also be true of the members, or that what is true of the members must also be true of the aggregate. Examples are (1) the fallacious assumption that if the overall (...) constitutional order is to be democratic, each of its component institutions must be democratic, taken one by one; (2) the fallacious assumption that if judges are politically biased, courts will issue politically biased rulings. In these cases and many others I will discuss, system effects are an indispensable analytic tool for legal theory. A systemic approach implies that the choices of legal actors are strategically interdependent: the best course of action for any given actor will depend upon what other actors do. Judges deciding how to interpret statutes and the constitution, for example, cannot simply assume, idealistically, that it would be best for them to adopt the approach that would be best for all if adopted by all. If others do not adopt that approach, then the nature of the best approach for the given judge may itself change, taking others' actions as nonideal constraints. The implication is a second-best approach to constitutionalism and legal interpretation.The judge who takes system effects into account may change her approach in light of the behavior of her colleagues and the behavior of other institutions. Although such a judge is strategic, it does not follow that she is unprincipled. Rather, under identifiable conditions, the systemically-minded judge will be a strategic legalist who attempts to act, within the constraints that arise from others' behavior, so as to nudge the legal system toward the best possible state, according to her view of the law. Indeed, the systemically-minded judge may even be a legal chameleon who changes her approach as the legal environment, including the behavior of other judges, changes around her, until the court as a whole reaches an equilibrium of optimal diversity. Although such a course of action is psychologically demanding, the systemic benefits that the legal chameleon creates can be attained at the systemic level instead. Wise appointments by Presidents and Senators aiming to diversify the judiciary would mimic, in a second-best way, the diversity that a bench of legal chameleons would produce"--John M. Olin Center for Law, Economics, and Business web site. (shrink)

A new realist interpretation of quantum mechanics is introduced. Quantum systems are shown to have two kinds of properties: the usual ones described by values of quantum observables, which are called extrinsic, and those that can be attributed to individual quantum systems without violating standard quantum mechanics, which are called intrinsic. The intrinsic properties are classified into structural and conditional. A systematic and self-consistent account is given. Much more statements become meaningful than any version of Copenhagen (...) interpretation would allow. A new approach to classical properties and measurement problem is suggested. A quantum definition of classical states is proposed. (shrink)

This dissertation elucidates the notion of physical system which opens new conceptual pathways that connect the three realms of physical theory; spacetime, material bodies and their properties, and the laws of nature which govern their evolution. The notion of physical system includes two presuppositions regarding their structure. The first presupposition is a description of isolated systems and their evolution in time, which amounts to a Paradigm of Uniform Motion. The second presupposition describes how parts of a physical system (...) are combined into wholes. This presupposition amounts to a Rule of Composition. Once we make these presuppositions explicit we can derive the spacetime structures and the fundamental equations of motion. "Newtonian" and "relativistic" systems are shown to differ with respect to the paradigm of uniform motion, a difference that leads to the respective structures of Newtonian mechanics and the Special Theory of Relativity. ;The philosophical framework offered in this dissertation provides a new interpretation of the concept of mass, and a new elucidation of the relation between the conservations of mass and momentum. Previous analyses of the concept have claimed that "mass" cannot be defined and broken down to more primitive predicates. The framework offered here, on the other hand, enables the systematic reduction of the concept of mass to motions and the presuppositions we have regarding the nature of physical systems. The new interpretation of mass reveals a surprising connection between mass and inertial reference frames, as they are both shown to be derived, in a similar way, from our definition of physical systems. Mass is by necessity attributed to bodies in virtue of the frame we use to describe their motions. This account also enables us to understand the different conceptual roles of mass and their interconnections. In the context of Newtonian mechanics, the roles of mass as a Quantity of Matter, as the Inertial property of bodies, and as Gravitational mass are shown to be various aspects of a single role the concept has in the new framework offered here. In the context of the Special Theory of Relativity, rest mass and relativistic mass are similarly analyzed as consequences of our presuppositions regarding physical systems. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and (...) technical processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

Gentzen's systems of natural deduction and sequent calculus were byproducts in his program of proving the consistency of arithmetic and analysis. It is suggested that the central component in his results on logical calculi was the use of a tree form for derivations. It allows the composition of derivations and the permutation of the order of application of rules, with a full control over the structure of derivations as a result. Recently found documents shed new light on the discovery (...) of these calculi. In particular, Gentzen set up five different forms of natural calculi and gave a detailed proof of normalization for intuitionistic natural deduction. An early handwritten manuscript of his thesis shows that a direct translation from natural deduction to the axiomatic logic of Hilbert and Ackermann was, in addition to the influence of Paul Hertz, the second component in the discovery of sequent calculus. A system intermediate between the sequent calculus LI and axiomatic logic, denoted LIG in unpublished sources, is implicit in Gentzen's published thesis of 1934—35. The calculus has half rules, half “groundsequents,” and does not allow full cut elimination. Nevertheless, a translation from LI to LIG in the published thesis gives a subformula property for a complete class of derivations in LIG. After the thesis, Gentzen continued to work on variants of sequent calculi for ten more years, in the hope to find a consistency proof for arithmetic within an intuitionistic calculus. (shrink)

A central aim of the original Bologna Declaration in 1999 was to give the opportunity of advancement in education to every European citizen. According to the Declaration, this goal is worth achieving not simply in order to provide better-qualified workers within the European Union, rather, the aim of higher education within the European Union is understood in a holistic sense as a prerequisite for the composition of a well-functioning European civil society. How can such an ambitious goal be achieved? In (...) this article, we propose that the core capability at stake is that of empathy which, for this reason, should be central to programmes of European higher education. Empathy is not regarded as just a property of specific individuals but as an attribute which must be ascribed to specific forms of civil intercourse. Therefore, what is needed in European higher education is the provision of a social environment for students which allows for civil-cultivation, and for processes of self-cultivation. Self-cultivation, as described here, means more than a refinement of manners; rather, it refers to the development of a civil mode for approaching others: a mode that is sensitive and self-aware at the same time, and which can be regarded as arising out of a shared European heritage interconnecting rhetoric and sociability. (shrink)

Defining a composition operation on sets of formulas one obtains a many-sorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of the given type. The interpretations of formulas on an algebraic system of the same type form a many-sorted algebra with similar properties. The satisfaction of a formula by an algebraic system defines a Galois connection between classes of algebraic systems of the same type and collections of formulas. (...) Hypersubstitutions are mappings sending pairs of operation symbols to pairs of terms of the corresponding arities and relation symbols to formulas of the same arities. Using hypersubstitutions we define hyperformulas. Satisfaction of a hyperformula by an algebraic system defines a second Galois connection between classes of algebraic systems of the same type and collections of formulas. A class of algebraic systems is said to be solid if every formula which is satisfied is also satisfied as a hyperformula. On the basis of these two Galois connections we construct a conjugate pair of additive closure operators and are able to characterize solid classes of algebraic systems. (shrink)

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of (...) the structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

Time has multiple aspects and is difficult to define as one unique entity, which therefore led to multiple interpretations in physics and philosophy. However, if the perception of time is considered as a composite time concept, it can be decomposed into basic invariable components for the perception of progressive and support-fixed time and into secondary components with possible association to unit-defined time or tense. Progressive time corresponds to Bergson’s definition of duration without boundaries, which cannot be divided for measurements. (...) Time periods are already lying in the past and fixed on different kinds of support. The human memory is the first automatic support, but any other support suitable for time registration can also be considered. The true reproduction of original time from any support requires conditions identical to the initial conditions, if not time reproduction becomes artificially modified as can be seen with a film. Time reproduction can be artificially accelerated, slowed down, extended or diminished, and also inverted from the present to the past, which only depends on the manipulation of the support, to which time is firmly linked. Tense associated to progressive and support fixed time is a psychological property directly dependent on an observer, who judges his present as immediate, his past as finished and his future as uncertain. Events can be secondarily associated to the tenses of an observer. Unit-defined time is essential for physics and normal live and is obtained by comparison of support-fixed time to systems with regular motions, like clocks. The association of time perception to time units can also be broken. Einstein’s time units became relative, in quantum mechanics, some physicist eliminated time units, others maintained them. Nevertheless, even the complete elimination of time units is not identical to timelessness, since the psychological perception of progressive and support-fixed time still remains and cannot be ignored. It is not seizable by physical methods, but experienced by everybody in everyday life. Contemporary physics can only abandon the association of time units or tenses to the basic components in perceived time. (shrink)

The present paper reveals (non-relativistic) quantum mechanics as an emergent property of otherwise classical ergodic systems embedded in a stochastic vacuum or zero-point radiation field (zpf). This result provides a theoretical basis for understanding recent numerical experiments in which a statistical analysis of an atomic electron interacting with the zpf furnishes the quantum distribution for the ground state of the H atom. The action of the zpf on matter is essential within the present approach, but it is the ergodic (...) demand what ultimately leads to the matrix formulation of quantum mechanics. The paper thus represents a step forward in the quest for an elucidation of the fundamentals of quantum mechanics. (shrink)

The article describes two approaches to modeling the concept system of science – the thematic and paradigm ones. The re­search represents a case study of the two corpuses of abstracts: abstracts of projects supported by the Department of Humanities and Social Sciences of the Russian Federal Property Fund in lin­guistics, as well abstracts of articles by authors (and their co-au­thors) who have received multiple support from this foundation. Thematic modeling was carried out within the frameworks of two approaches: сcorpus based (...) approach (modeling the system of concepts as a holistic entity of term fields network), and single text approach (singling out compositions of term fields steadily present in the texts of projects which can be treated as separate branches of linguistics). The method of semantic graph modeling realized in the “Semograph” Information system (corpus based approach) and the K-means clustering method (single text based approach) were applied. Arrays of keywords (those that occurred in the abstracts of projects supported by the Foundation) grouped into term fields served as operational units. Paradigmatic model­ing was based on the analysis of network interaction of research­ers (created on the basis of the information on joint publications). After the hypergraph of researchers (2,108 state points) had been created, it was divided into subgraphs (network communities) by means of the modularity method (analogue of cluster analysis). Each cluster can be considered as a model of a scientific commu­nity that actualize a certain scientific paradigm; a set of clusters represents a model of the concept system of a certain subject domain from the point of view of representation and interrela­tion of several paradigms. The synthesis of thematic and paradig­matic models appears to be the direction for future research that involves modeling the concept system of science. The considered models can be applied as an effective means of monitoring, fore­casting and managing scientific research, i.e. as an instrument of state and/or department policy. (shrink)

In recent debates mechanisms are often discussed in the context of ‘complex systems’ which are understood as having a complicated compositional structure. I want to draw the attention to another, radically different kind of complex system, in fact one that many scientists regard as the only genuine kind of complex system. Instead of being compositionally complex these systems rather exhibit highly non-trivial dynamical patterns on the basis of structurally simple arrangements of large numbers of non-linearly interacting constituents. The (...) characteristic dynamical patterns in what I call “dynamically complex systems” arise from the interaction of the system’s parts largely irrespective of many properties of these parts. Dynamically complex systems can exhibit surprising statistical characteristics, the robustness of which calls for an explanation in terms of underlying generating mechanisms. However, I want to argue, dynamically complex systems are not sufficiently covered by the available conceptions of mechanisms. I will explore how the notion of a mechanism has to be modified to accommodate this case. Moreover, I will show under which conditions the widespread, if not inflationary talk about mechanisms in complex systems stretches the notion of mechanisms beyond its reasonable limits and is no longer legitimate. (shrink)

Some recent exchanges (Gebharter 2017a,2017b; Baumgartner and Cassini, 2023) concern whether composition can have conditional independence properties analogous to causal relations. If so, composition might sometimes be detectable by the application of causal search algorithms. The discussion has focused on a particular algorithm, PC (Spirtes and Glymour, 1991). PC is but one, and in many circumstances not the best, of a host of causal search algorithms that are candidates for methods of discovering composition provided appropriate statistical relations obtain. The (...) discussion raises two issues: 1. Does the structure of the composition relation entail probability relations such that PC and like algorithms cannot discover composition from frequency data about kinds; and 2. what can be discovered—and how—about the composition of systems by PC or related causal search algorithms that exploit conditional independence relations. Baumgartner and Cassini answer the first question positively: constitution entails probability relations incompatible with discovery by PC. They do not engage the second question, but we will. (shrink)

What are the sensory individuals of audition? What are the entities our auditory system attributes properties to? We examine various proposals about the nature of the sensory individuals of audition, and show that while each can account for some aspects of auditory perception, each also faces certain difficulties. We then put forward a new conception of sensory individuals according to which auditory sensory individuals are composite individuals. A feature shared by all existing accounts of sounds and sources is (...) that they postulate sensory individuals that are non-composite. They identify the sensory individual of sound hearing or source hearing with one type of entity in the environment, be they sound waves, vibrations, or interactions. We question this assumption and argue that our perceptual systems represent two or more aspects of the environment as a single sensory individual. Finally, we show that taking auditory individuals to be composite sensory individuals allows for an account of audition that is less problematic than its existing alternatives. (shrink)

Recently a new attempt to go beyond QM was performed in the form of so-called prequantum classical statistical field theory (PCSFT). In this approach quantum systems are described by classical random fields, e.g., the electron field or the neutron field. Averages of quantum observables arise as approximations of averages of classical variables (functionals of “prequantum fields”) with respect to fluctuations of fields. For classical variables given by quadratic functionals of fields, quantum and prequantum averages simply coincide. In this paper (...) we generalize PCSFT to the composite quantum system. The main discovery is that, opposite to a rather common opinion, a composite system can be described by the Cartesian product of state spaces (like in classical physics) and not by the tensor product of them (like in conventional QM). A natural interpretation of the quantum pure state for a composite system is proposed: it is the nondiagonal block in the covariance matrix of the random field describing a composite system. The interpretation of a pure state due to Dirac and von Neumann seems to be an artifact of the conventional mathematical description of micro-systems. PCSFT provides a new possibility for interpretation of entanglement. (shrink)

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)

The very formal structure of quantum mechanics implies the loss of individuality of physical systems and it requires to look at the Universe as an unbroken whole. The main reason for which, within such a theory, one must renounce to a clear identification of the parts and the whole is the superposition principle which stays at the basis of the theory. It implies, as well known, the phenomenon of entanglement which, in the most extreme case, entails that the constituents (...) of a composite system do not possess any objective property; only the system as a whole, when it is isolated, has some properties. Another source of difficulties derives from the symmetry requests that the theory imposes in the case of systems containing identical constituents. We discuss these points in detail and we outline recent proposals yielding a consistent solution to the problems arising from the entanglement between a microsystem and a macrosystem which unavoidably occurs in a measurement process. In particular we take into account the so called “collapse” theories which embody a mechanism forbidding, at an appropriate level, the persistence of superpositions and, as a consequence, lead, in general, to the emergence of precise individual properties for macroscopic systems. We then pass to a critical analysis of the difficulties related to the identity of the constituents. We stress that various misunderstandings characterize the treatment of this problem and we make fully clear how one has to deal with the very concept of entangled systems when identical constituents are involved. The ensuing picture should make clear to which extent one can still consistently ground the distinction between the parts and the whole in a genuinely quantum context. (shrink)

I present a condensed exposé of systemic materialism, a synthesis of materialism and systemism originally proposed by Mario Bunge. Matter is identified with mutability of propertied particulars, and a concrete or material system is defined as an object with composition, structure, mechanism, and environment. I review different aspects of this ontology, and discuss some of its implications for epistemology, ethics, and aesthetics. I also try to identify some problems of this view and offer some ways to overcome the difficulties. I (...) conclude that systemic materialism is a promising philosophical project still in the making. (shrink)

The paper deals with the notions of consistency, completeness, and coherence within the normative domain. It investigates their mutual relations by singling out relative and absolute consistency, weak, strong and trivial completeness, and three different functions of coherence. The main upshot of the inquiry is that coherence may be regarded as a complex combination of weak completeness and possible absence of consistency and strong completeness of a system of rules regarding a non-trivially complete/non-absolutely inconsistent system of underlying principles.

Philosophers have long debated ‘substrate’ and ‘bundle’ theories as to how properties hold together in objects ― but have neglected to consider that every chemical entity is defined by closure of relationships among components ― here designated ‘Closure Louis de Broglie.’ That type of closure underlies the coherence of spectroscopic and chemical properties of chemical substances, and is importantly implicated in the stability and definition of entities of many other types, including those usually involved in philosophic discourse ― (...) such as roses, statues, and tennis balls. Characteristics of composites are often presumed to ‘supervene on’ properties of components. This assumption does not apply when cooperative interactions among components are significant. Once correlations dominate, then adequate descriptions must involve different entities and relationships than those that are involved in ‘fundamental-level’ description of similar but uncorrelated systems. That is to say, descriptions must involve different semantics than would be appropriate if cooperative interactions were insignificant. This is termed ‘Closure Henri Poincaré. Networks of chemical reactions that have certain types of closure of processes display properties that make other more-complex coherences possible. This is termed ‘Closure Jacques Cauvin.’ Each of these three modes of closure provides a sufficient basis for warranted recognition of causal interaction, thus each of them has epistemological significance. Other modes of epistemologically-important closure probably exist. It is important to recognize that causal efficacy generally depends on closure of relationships of constituents. (shrink)

One of the foundational problems of biochemistry concerns the conceptualisation of the relationship between the composition, structure and function of macromolecules like proteins. Part of the recent philosophical literature displays a reductionist bias, that is, the endorsement of a form of microstructuralism mirroring an out-dated biochemical conceptualisation. We shall argue that such microstructuralist approaches are ultimately committed to a potentialist form of micro-predeterminism whereby the macrostructure and function of proteins is accounted for solely in terms of the intrinsic properties (...) and potentialities of the components of the primary structure as if they were self-contained or essentially immutable entities. We shall instead suggest that a conceptualisation of the relationship between proteins’ composition, structure and function consistent with contemporary biochemical practice should account also for the causal role of the cellular, organismal and environmental relations in protein development. The analysis of the folding process we propose suggests that microstructure-laden reductionist approaches are ontologically indefensible. Rather than a potentialist form of micro-predeterminism, our analysis ultimately supports a relational-construction-based view of protein development and potentialities formation, which requires an indispensable analysis of the dynamical interplay between the micro-level of the parts and the macro-level of the relational structures of their systems. (shrink)

This paper studies the causal interpretation of counterfactual sentences using a modifiable structural equation model. It is shown that two properties of counterfactuals, namely, composition and effectiveness, are sound and complete relative to this interpretation, when recursive (i.e., feedback-less) models are considered. Composition and effectiveness also hold in Lewis's closest-world semantics, which implies that for recursive models the causal interpretation imposes no restrictions beyond those embodied in Lewis's framework. A third property, called reversibility, holds in nonrecursive causal models but (...) not in Lewis's closest-world semantics, which implies that Lewis's axioms do not capture some properties of systems with feedback. Causal inferences based on counterfactual analysis are exemplified and compared to those based on graphical models. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

In the Periodic Tables the transition from atoms to double-charged cations is accompanied by alterations in the composition of s and p blocks and reciprocal location of blocks, as well as by changes in the composition and length of periods. We have previously described the relationship between the atom properties and the total number of differentiating electrons. This paper demonstrates that, despite the above transition-related alterations, this relationship is also valid for the description of the properties of double-charged (...) cations. This can be exemplified by the dependence of the ionization energy on the total number of p electrons in p block, d electrons in d block, and f electrons in f block. Furthermore, a single periodic equation is sufficient for the description of properties of all of double-charged cations from each block. (shrink)

The metaphor of the labyrinth in the second half of the XX century becomes an iconic model of the postmodern world order. In musical culture, the phenomenon of the labyrinth has acquired the meaning of a symbol of intertextuality, a game with cultural codes and musical heritage of the past, multivariance, variability, uncertainty. The ballet "Labyrinths" by Alfred Schnittke is an example of the embodiment of the labyrinth paradigm and is the object of research. The subject of the study is (...) the peculiarity of the implementation of the idea of the labyrinth at the compositional and dramatic level of the ballet cycle. In the light of the author's individual interpretation, the labyrinth model takes the form of a "macrolabirint" and a "microlabiint", where the macrostructure is the construction of the whole, and the microstructure is the last, fifth part. The novelty of the research lies in the consideration of the compositional and dramatic features of the ballet "Labyrinths" in the context of the metaphor of the labyrinth. The concept of the "macrolabyrint" contributed to the relief display of the principles of symmetry and centralization inherent in the labyrinth of the classical Cretan type. Symmetry in the ballet cycle found expression in the structure of the extreme parts, in their author's division into sections, the presence of a reprise in Maestoso and Meno mosso, a single tonal organization interspersed with modal episodes, the assertion of the third c–e in the intonation system of the parts. Centralization of the Cretan labyrinth was reflected in the endowment of the fourth part with the properties of the culmination point, characterized by an increase in sonorous qualities, an abundance of cluster verticals, and heterogeneous stratified tissue. The concept of "microlabirint" contributed to the depiction of the multivariance of the maze-confusion in the fifth part of the ballet. The nonlinear movement of the characters along the branched labyrinth model was carried out by the interaction of contrasting sections correlated with deviation into various emotional states. The conducted research allowed us to conclude about a new interpretation of the labyrinth paradigm in ballet in the light of Schnittke's individual author's handwriting. (shrink)

I see in the nature of our minds and the character of our problem-solving methodologies a search for simplifying tools that will let us model a complex world and get away with it far more often than we might suppose. As it turns out, this broad a reach to mind and world is possible because both turn on common properties of evolved complex adaptive systems. These are in effect “design principles” for the architecture of nature—all of it, from (...) biological systems to ourselves and the technologies that we engineer.I explore how generative systems may, under some circumstances lead to adaptive radiations, and how the growth of complexity is entailed by their compositional embedding of prior systems, their stabilizing their features as architecture thru a process that I call generative entrenchment. I also explore how modularity has two forms: top-down modularity or “quasi-independence” in which evolving systems require the possibility of changing parts of the system without scrambling the organization of the rest, and bottom-up modularity in which a stable alphabet of standardized parts can be combined in various ways to generate an adaptive radiation of diverse systems to accomplish different things. (shrink)

(1997). Information processing as an intrinsic property of biological systems: Origin and dynamics of information. World Futures: Vol. 50, No. 1-4, pp. 571-581.

We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, which has focused on semantic containment and monotonicity, by incorporating both semantic exclusion and implicativity. Our model decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical semantic relation for each edit; propagates these relations upward through a semantic composition tree according to properties (...) of intermediate nodes; and joins the resulting semantic relations across the edit sequence. A computational implementation of the model achieves 70% accuracy and 89% precision on the FraCaS test suite. Moreover, including this model as a component in an existing system yields significant performance gains on the Recognizing Textual Entailment challenge. (shrink)