Model Theory Research Papers - Academia.edu (original) (raw)

- by
- •
- Cognitive Science, Universal Algebra, Model Theory, Computer Software

Slow-growing bacteria and biofilms are notoriously tolerant to antibiotics. Oritavancin is a lipoglycopeptide with multiple mechanisms of action that contribute to its bactericidal action against exponentially growing gram-positive pathogens, including the inhibition of cell wall synthesis and perturbation of membrane barrier function. We sought to determine whether oritavancin could eradicate cells known to be tolerant to many antimicrobial agents, that is, stationary-phase and biofilm cultures of Staphylococcus aureus in vitro. Oritavancin exhibited concentration-dependent bactericidal activity against stationaryphase inocula of methicillin-susceptible S. aureus (MSSA) ATCC 29213, methicillin-resistant S. aureus (MRSA) ATCC 33591, and vancomycin-resistant S. aureus (VRSA) VRS5 inoculated into nutrient-depleted cation-adjusted Mueller-Hinton broth. As has been described for exponential-phase cells, oritavancin induced membrane depolarization, increased membrane permeability, and caused ultrastructural defects including a loss of nascent septal cross walls in stationary-phase MSSA. Furthermore, oritavancin sterilized biofilms of MSSA, MRSA, and VRSA at minimal biofilm eradication concentrations (MBECs) of between 0.5 and 8 g/ml. Importantly, MBECs for oritavancin were within 1 doubling dilution of their respective planktonic broth MICs, highlighting the potency of oritavancin against biofilms. These results demonstrate a significant activity of oritavancin against S. aureus in phases of growth that exhibit tolerance to other antimicrobial agents.

- by Thomas Parr
- •
- Microbiology, Model Theory, Biofilms, Kinetics

This paper provides a comprehensive and critical review of the major theories and models of conceptual combination, by highlighting agreements and controversies in the literature, and identifying future directions for research. The review summarizes the basic arguments of ten major models and then presents an analytical framework to compare and contrast these models along four dimensions: (1) the causal role of schemata in the model, (2) the role of cognitive harmony or consistency in the model, (3) the pragmatic orientation in the model, and (4) the explanatory scope of the model. The review identifies areas of agreement and disagreement among the various models and theories and calls for a synthesis theory to address various theoretical weaknesses and empirical gaps in the current explanations.

- by Bing Ran
- •
- Model Theory, Learning Theory and Modeling

This note is meant to give a brief account of some themes in the model theory of modules as they have developed since the subject's beginning. We shall survey the situation from the perspective that has grown in recent years out of an effort to formulate the theory in a way that stresses the common ground shared by the model theory of modules with other areas of mathematics, most notably representation theory and abelian category theory. We will take this opportunity to state the classical theorems of the theory in a context more general and hopefully more accessible to those working in other areas. On the other hand, this exposition hopes to illustrate how the theory of left exact functors, developed by Gabriel [4], figures into model theory. The two standard references for this subject are [7] and [12]. The seminal results of what lias turned out to be the model theory of modules were attained by Wanda Szmielew [10] in her work on abelian groups, that is, modules over the ring of integers. Among other things, Szmielew characterized the complete theories of abelian groups. Quite sometime later, Eklof and Fisher [3] exploited the theory of algebraically compact (= pure-injective) abelian groups that had developed in the meantime to present Szmielew's classification in a more conceptual framework. The following result is not the classification itself but a result that generalizes nicely.

- by Ivo Herzog
- •
- Model Theory

A novel exact derivation for the kinetic constant of a bimolecular reaction according to three well-known models of collision theory is reported. The use of probability density functions, with the introduction of a novel geometry to study the collision process, allows simplifying the derivation to such an extent, that, for a proper statistical background, it is is possible to recover the line-of-centers and the angular dependent line-of-centers models in no more than a couple of lectures. Although the derivation is introduced to recover the temperature-dependent kinetic constant, it is shown that the energy-dependent reactive cross section can be recovered as well. A possible confusion in the interpretation of the pre-exponential factor is commented.

- by Guglielmo Monaco
- •
- Model Theory, Chemistry, Physical Chemistry, Kinetics

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to this general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary firstorder logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too.

- by Johan van Benthem
- •
- Cognitive Science, Modal Logic, Model Theory, Philosophy

In this work is we prove model completeness for the expansion of the real field by the Weierstrass ℘ function as a function of the variable z and the parameter (or period) τ. We need to existentially define the partial derivatives of the ℘ function with respect to the variable z and the parameter τ. In order to obtain this result we need to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ function and the quasimodular form E2. We prove some auxiliary model completeness results with the same functions composed with appropriate change of variables. In the conclusion we make some remarks about the noneffectiveness of our proof and the difficulties to be overcome to obtain an effective model completeness result.

- by Ricardo Bianconi
- •
- Model Theory, Mathematical Logic
- by Ibrahim Halloun
- •
- Model Theory, Science Education

space whosc inner product is defined in terms of periodic distributions. In this paper and the next, wc relate this model theory for the ca.'3e when m = 2 to a disconjugacy theory for a subclass of Toeplitz operators of the type studied by Boutet de Monvel and Guillemin, cla.ssical function theoretic ideas on the Dirichlet space, and the theory of nonstationary stochastic processes. Table of Contents Paper I. O. Introduction 1. The Elementary Operator Theory of m-Isometries 2. Distribution Differential Operators on the circle 3. A model for m-isometries 4. Smoothing applied to m-isometries Paper II. Introduction to Paper II 5. Brownian shifts, Brownian unitaries and Brownian isometries 6. A Disconjugacy Theorem for Matricial Toeplitz Operators 7. Another proof of the Lifting Theorem Paper III. Introduction to Paper III 8. A cyclic vector 9. Brownian Unitaries Revisited 10. S01l1C remarks and Open Questions

Many women are abused by intimate partners, millions of children witness such acts, and many of these children are physically abused. Children who are exposed to violence often evidence difficulties, including violent behavior, as adults. One hypothesized mode of intergenerational transmission is modeling. There is evidence that witnessing and/or experiencing violence are related to different patterns of abusive behavior and, perhaps, psychopathology, but the extent of the relationship is unclear. This study examined differences in generality, frequency, and severity of violent offenses, nonviolent criminal behavior, and psychopathology within a battering population of 1,099 adult males with varying levels of exposure to violence as children. Generality, frequency, and severity of violence and psychopathology all increased as level of childhood exposure to violence increased. Modeling theory was supported by the findings that men who witnessed domestic violence as children committed the most frequent domestic violence, and men who were abused as children were more likely to abuse children. Men who were abused also committed more general violence.

- by Amy Murrell
- •
- Criminology, Psychology, Model Theory, Domestic Violence

For over half a century, throughout attempts to unify the standard model with general relativity, scientists have confronted the "problem of inconsistent models," which occurs when scientific models, regarded as perspectives on physical systems, make contradictory claims about things in the world. Perspectival realists have proposed to solve to this problem by showing that while scientific models are inherently perspectival, they can make true claims about one reality, relative to the perspectives they offer. Critics of this position have pointed out that this would leave us with no way to discern between benign inconsistencies between models and genuine contradictions that demand resolution; these critics, however, have also failed to find a way to do this. This paper offers a criterion for making this distinction, by way of a formal analysis of perspective and its role in scientific models and theories, without sacrificing the key insights provided by perspectival realism.

- by E.B. Nelson
- •
- Model Theory, Philosophy of Science, Epistemic Logic, Perspectivism

3. DATES COVERED (From - To) Aug 2006 Dec 2008 ... Blending Chem-Bio Dispersion Forecasts and Sensor Data ... 5a. CONTRACT NUMBER W911NF-06-C-0162 5b. GRANT NUMBER N/A 5c. PROGRAM ELEMENT NUMBER N/A ... 6. AUTHOR(S) Tarunraj Singh,... more

- by Tarunraj Singh and +2
- •
- Model Theory, Genetic Algorithms, Chemical Warfare Agents, Kalman Filtering

Purpose -The rapid changing internet environment has created a competitive business landscape, which provides opportunities and challenges for a variety of businesses. One of these opportunities includes conducting businesses online. Online transaction systems enable users to buy and make payment for products and services using the internet platform. The purpose of this paper is to examine the factors that may affect consumers' intentions to repurchase products and services online. Design/methodology/approach -The research framework is grounded in extended technology acceptance model (TAM). The authors used survey questionnaire to collect 102 valid responses from participants in Malaysia who must have made, at least, one previous online purchase. The snowball approach was used to select the participants, to ensure that participants had previously purchased online.

- by rain day
- •
- Marketing, Model Theory, Asia Pacific, Subject Areas

The public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Department of Defense, Washington Headquarters Services, Directorate for Information Operations and Reports (0704-0188), 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to any penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number. PLEASE DO NOT RETURN YOUR FORM TO THE ABOVE ADDRESS. 16. SECURITY CLASSIFICATION OF: 19a. NAME OF RESPONSIBLE PERSON (Monitor) a. REPORT

- by Alireza Behbahani
- •
- Model Theory, Software Engineering, Simulation, Models
- by Inge Hinterwaldner and +1
- •
- Model Theory, Computer Graphics, Visual Studies, Art History
- by Eric Brewe
- •
- Model Theory, Knowledge organization, Physics Education, Curriculum Development
- by Perry Zurn
- •
- Model Theory, Ethics, Political Theory, Curiosity & Interest

PURPOSE: The purpose of this Coastal and Hydraulics Engineering Technical Note (CHETN) is to demonstrate the use of BOUSS-2D in three example applications. The BOUSS-2D is a Boussinesq wave model that is now part of the U.S. Army Corps of Engineers (USACE) Surface-Water Modeling System (SMS). Demirbilek et al. (2004) gives a detailed description of the SMS interface of BOUSS-2D. This second technical note in BOUSS-2D series is a step-by-step tutorial that shows the usage of the model through illustrative examples. The next CHETN in the series will describe the time-series and frequency-domain analysis utilities and techniques developed for post-processing BOUSS-2D model results. Details of the BOUSS-2D model theory, numerical implementation, and example applications are presented in a technical report (Nwogu and Demirbilek 2001). BACKGROUND: As a phase-resolving nonlinear wave model, BOUSS-2D can be used in the modeling of various wave phenomena including shoaling, refraction, diffr...

- by Okey Nwogu
- •
- Engineering, Model Theory, Hydraulics, Time Series

Détection et localisation de défauts dans des réseaux filaires de topologie complexe. Auteur principal : Fabrice AUZANNEAU -CEA LIST Tél : 01 69 08 90 70 -email : fabrice.auzanneau@cea.fr L'auteur est le responsable du Laboratoire de Fiabilisation des Systèmes Embarqués au CEA, centre de Saclay (91). Autres auteurs : Nicolas RAVOT -CEA LIST I. Résumé La réflectométrie est une méthode couramment utilisée pour déterminer l'état électrique de câbles et de lignes. Cette méthode fournit des informations pour la détection, la localisation et la caractérisation de défauts électriques. Le CEA LIST travaille sur l'implémentation de cette méthode pour le diagnostic de réseaux filaires de topologie complexe, pour des applications embarquées ou de diagnostic en ligne. Les domaines d'application concernent les télécommunications, l'automobile et les transports, la distribution d'énergie, etc.

- by Nicolas Ravot
- •
- Model Theory, Embedded Systems, Numerical Simulation, Discontinuity

A permutation group G (acting on a set Ω, usually infinite) is said to be oligomorphic if G has only finitely many orbits on Ω n (the set of n-tuples of elements of Ω). Such groups have traditionally been linked with model theory and combinatorial enumeration; more recently their group-theoretic properties have been studied, and links with graded algebras, Ramsey theory, topological dynamics, and other areas have emerged. This paper is a short summary of the subject, concentrating on the enumerative and algebraic aspects but with an account of grouptheoretic properties. The first section gives an introduction to permutation groups and to some of the more specific topics we require, and the second describes the links to model theory and enumeration. We give a spread of examples, describe results on the growth rate of the counting functions, discuss a graded algebra associated with an oligomorphic group, and finally discuss group-theoretic properties such as simplicity, the small index property, and "almost-freeness".

- by Peter Cameron
- •
- Model Theory, Ramsey theory, Topological Dynamics, Growth rate
- by Diogo Vilar
- •
- Model Theory, Law, Nursing, Nursing Theory

The application of artificial neural networks (ANNs) to predict the ultimate shear strengths of reinforced concrete (RC) beams with transverse reinforcements is investigated in this paper. An ANN model is built, trained and tested using the available test data of 176 RC beams collected from the technical literature. The data used in the ANN model are arranged in a format of nine input parameters that cover the cylinder concrete compressive strength, yield strength of the longitudinal and transverse reinforcing bars, the shear-span-to-effective-depth ratio, the span-to-effective-depth ratio, beam's cross-sectional dimensions, and the longitudinal and transverse reinforcement ratios. The ANN model was found to predict the ultimate shear stress well within the range of input parameters considered. The average value of the experimental shear strength to predicted shear strength ratios of the 176 specimens is 1.003. The ANN shear strength predicted results were also compared to those obtained using building codes' empirical equations and various-compatibility aided softened truss model theories. The results show that ANNs have strong potential as a feasible tool for predicting the ultimate shear strength of RC beams with transverse reinforcement within the range of input parameters considered. Finally, the ANN model was used to show that it could perform parametric studies to evaluate the effects of some of the inputs parameters on the chosen output. #

Successful engineering and evaluation of complex software depends on successfully completing all the stages of the Software Development Life Cycle. There have been many models which illustrate the stages Software Engineers have to go through to produce software. This paper investigates Ž . one of theseᎏThe Spiral Model Sommerville 1997 with particular reference to recent enhancements Ž . to it, examines the interaction of COCOMO II 1998 within the WinWin framework, and reports on a Ž . case study using the WinWin Spiral Model Boehm et al. 1998 to develop software.

- by Peter K Oriogun
- •
- Model Theory, Software Engineering, Quality Improvement, Software Quality

Family Therapy | MFT5101 Northcentral University CONTEXTUAL FAMILY THERAPY 2 Contextual Family Therapy Model Summary Major assumptions of model approach One of the various assumptions included in this model is that of how moral values are 'inseparable' in relation to how treatment and assessment is perceived from the therapist's point of view (Fowers & Wenger, 1997). In two separate articles written by Fowers and Wenger (1997) and Gangamma, Bartle-Haring, and Glebova (2012), the concept of four facets were basically agreed upon related to contextual family therapy; those are facts or 'given' aspects of an individual's life, second, the psychological facet of an individual, such as one's personality, third, the transactional patterns that emerge based on the first two ideas, and fourth, the ethics that each person bases their own perception of relational interactions in their life. Other

- by Cherie Griffith
- •
- Model Theory

The term "academic literacies" refers to the diverse and multiple literacies found in academic contexts such as disciplinary and subject matter courses. Although originally developed with regard to the study of literacies in higher education and the university, the concept of academic literacies also applies to K-12 education.. An academic literacies perspective treats reading and writing as social practices, that vary with context, culture and genre . The literacy practices of academic disciplines can be viewed as varied social practices associated with different communities. In addition, an academic literacies perspective also takes account of literacies which are not directly associated with subjects and disciplines but with broader institutional discourses and genres. An academic literacies perspective views student writing and learning as issues of epistemology and identities rather than of skill acquisition or academic socialisation alone, although the perspectives are not mutually exclusive and individuals may move between them according to context and pourpose. From the student point of view a dominant feature of academic literacy practices is the requirement to switch their writing styles and genres between one setting and another, to deploy a repertoire of literacy practices appropriate to each setting, and to handle the social meanings and identities that each evokes.

- by Brian Street
- •
- Model Theory, Literacy, Higher Education, Academic Literacies

Reunion Island faced two episodes of Chikungunya, a vector-borne disease, in 2005 and in 2006. The latter was of unprecedented magnitude: one third of the population was infected. Until the severe episode of 2006, our knowledge of Chikungunya was very limited. The principal aim of our study is to propose a model, including human and mosquito compartments, that is associated to the time course of the first epidemic of Chikungunya. By computing the basic reproduction number R 0 , we show there exists a disease-free equilibrium that is locally asymptotically stable if the basic reproduction number is less than 1. Moreover, we give a necessary condition for global asymptotic stability of the disease-free equilibrium. Then, we propose a numerical scheme that is qualitatively stable and present several simulations as well as numerical estimates of the basic reproduction number for some cities of Reunion Island. For the episode of 2005, R 0 was less than one, which partly explains why no outbreak appeared. Using recent entomological results, we investigate links between the episode of 2005 and the outbreak of 2006. Finally, our work shows that R 0 varied from place to place on the island, indicating that quick and focused interventions, like the destruction of breeding sites, may be effective for controlling the disease.

- by Frederic Chiroleu
- •
- Model Theory, Biological Sciences, Disease Outbreaks, Computer Simulation

Presenting the German government funded project in cooperation of the two Egyptian collections at Roemer- und Pelizaeus-Museum Hildesheim and at Museum August Kestner Hannover as well as the department of information technologies at the... more

- by Christian E. Loeben
- •
- Model Theory, Egyptology, Egyptian Art and Archaeology, Egyptian Archaeology

The goal of this work is to accomplish a logical-philosophical investigation on the logical consequence. More specifically, we are going to analyze the logical consequence from the view of Model Theory, i.e., we are going to analyze logical consequence from the model-theoretic perspective. Because of this methodological approach, our investigation will begin with the fundamental locus of model-theoretic logical consequence, which is the Metamathematical work of the polish mathematician and logician Alfred Tarski. Tarski's model-theoretical proposal, in turn, given its great influence, ended up eclipsing the logical consequence tout court. The logical consequence turned out to be nothing less than the model-theoretical consequence. It is in this context that the sed contra the model-theoretic proposal emerges, condensed in John Etchemendy's criticisms. However, such criticisms produced conservative and revisionist responses regarding the model-theoretical proposal. Therefore, this work, taking advantage of this dialectical context, seeks to undertake a logical-philosophical investigation that allows the preliminary articulation of a theory of logical consequence\truth. This being the case, first, we present Tarski's treatment of logical consequence, articulated in three levels: logical consequence as an operator, as a proof-theoretical notion, and as a model-theoretic notion. Accordingly, we present and evaluate John Etchemendy's criticisms, along with the responses to his criticisms. In the next chapter, we present three theoretically substantive revisionist proposals. In the last chapter, we tried to articulate a synthesis of this dialectical context that allows us to outline an inchoative theory of logical consequence.

- by Ícaro C . Martins
- •
- Model Theory, Logic, Philosophy of Logic

Modelle sind unverzichtbare Werkzeuge unseres Denkens, Erkennens und Handelns. Als Bildkörper des Wissens steuern visuelle Modelle unsere Orientierung in der Welt. Sie geben Dingen, die selbst flüchtig, komplex oder unbestimmt sind, eine manifeste Gestalt. Doch entfalten Modelle aufgrund ihrer konkreten Eigenschaften eine nur schwer zu bändigende visuelle Kraft. Ihre Anschaulichkeit besitzt ein Eigenleben: Modelle legen bestimmte Interpretationen nahe und schließen andere aus. An Modelle muss daher stets die Frage nach Gewinn und Verlust für unsere Wahrnehmung und Erfahrung gestellt werden. Die Interpretation von Modellen ist immer auch eine Interpretation unserer eigenen Wahrnehmung. Daher sind visuelle Modelle stets zugleich Modelle der Visualität.

- by Steffen Siegel
- •
- Model Theory, Visual Studies, Photography, Theory and Practice of Visual Arts

This is a modification as well as a model theoretic application of my previous paper SdTopology over the theory of a Model. The main intention of this article is to proof and visualize the celebrated Gödel’s completeness theorem in a... more

- by Soham Dasgupta
- •
- Model Theory, General Topology, Philosophy Of Mathematics, Mathematical Logic

The purpose of this paper is to justify the claim that Topos theory and Logic (the latter interpreted in a wide enough sense to include Model theory and Set theory) may interact to the advantage of both fields. Once the necessity of utilizing toposes (other than the topos of Sets) becomes apparent, workers in Topos theory try to make this task as easy as possible by employing a variety of methods which, in the last instance, find their justification in metatheorems from Logic. Some concrete instances of this assertion will be given in the form of simple proofs that certain theorems of Algebra hold in any (Grothendieck) topos, in order to illustrate the various techniques that are used. In the other direction, Topos theory can also be a useful tool in Logic. Examples of this are independence proofs in (classical as well as intuitionistic) Set theory, as well as transfer methods in the presence of a sheaf representation theorem, the latter applied, in particular, to model theoretic properties of certain theories.

- by Marta C Bunge
- •
- Set Theory, Model Theory, Philosophy, Topos theory
- by Nagib C Callaos
- •
- Information Systems, Model Theory, Information Science, Information Technology

Aus Sicht der Wissenschaftsphilosophie besteht die entscheidende Differenz zwischen einem propositionalen linguistischen Repräsentationsmodus, z.B. in Form mathematischer Modelle, und einer nicht-propositionalen Form der Repräsentation. Bilder bzw. Bildmodelle befinden sich in dieser Gegenüberstellung in Nachbarschaft mit materiellen Modellen (z.b. Skalenmodellen), aberauch mit Metaphern und Analogien im Sinne eines nicht wortgetreuen Sprachgebrauchs. [6]Während materiellen Modellen in den letzten Jahren eine gesteigerte Aufmerksamkeit zuteil wurde, [7] stehen Untersuchungen zu ikonischen Modellen ganz am Anfang. Aus diesem Grund liegen bisher auch kaum Studien zur Kontrastierung bzw. zum Zusammenwirken ikonischer und anderer Modelle in der wissenschaftlichen Praxis vor. Vom Bild zum Modell Wenn man nun, statt Modellkonzeptionen auf ihren Bezug zum Bild zu befragen, von der Seite des Bildes in Richtung Modell blickt, findet man einige wenige theoretische Positionen, die in aller Regel nicht auf wissenschaftliche Erkenntnisprozesse achten, sondern sich im Rahmen künstlerischer Erzeugnisse bewegen. In der Kunstgeschichte ist der Modellbegriff durchaus verbreitet, scheint aber zumeist eine besondere Klasse von Untersuchungsgegenständen (z.B. miniaturisierte Architekturmodelle oder Aktmodelle) zu bezeichnen. Möglicherweise ist die automatische Assoziation mit diesen Gegenstandsbereichen der Grund dafür, dass Modelle als genuine Erzeuger ikonischen Sinns noch kaum in den Blick genommen wurden. Eine konzeptuelle Rahmung des Modellbegriffs steht hier ebenso weitgehend noch aus wie auch eine systematische Erörterung des Verhältnisses von Bild und Modell. Es gibt jedoch einige wenige Kunstwissenschaftler, die Modelle im Rahmen von Bildwerken diskutieren, so beispielsweise Horst Bredekamp (Stammbaumdarstellungen [8]), Matthias Bruhn (Diagramme [9]), David Summers (Grabbeigaben [10]), Michelle O'Malley (Prototypen [11]), Reinhard Wendler (Entwurfsprozesse [12]). Einen wichtigen Grundstein legte der Gestaltpsychologe Rudolf Arnheim. Die Abbilder, die man seines Erachtens zum Entdecken und Erklären braucht, nennt Arnheim «anschauliche Modelle», «Anschauungsmodelle» oder auch «Anschauungsbild». Sie müssen eine verständliche Form aufweisen, was häufig auf eine Wechselwirkung zwischen unmittelbarer Sinneswahrnehmung und einfachen «reinen Formen» hinausläuft, um die «psychologische Entfaltung theoretischer Begriffsbildungen» [13] zu ermöglichen.

- by Inge Hinterwaldner
- •
- Model Theory, Art History, Bildwissenschaft, Kunstgeschichte

In this heavily annotated article the provocative thesis is submitted that there is something fundamentally wrong with Western Sinology, or 'Chinakunde', or 'Zhongguoxue' (as distinct from 'Hanxue', which is a kind of old-fashioned philology). 'China experts' either pretend to be knowledgeable about everything related to China, in which case they cannot be taken seriously, or - eventually - admit not to be scientific all-rounders with respect to the country, in which case they cannot be called 'China experts'. The author, who graduated in Sinology from Leyden University and in economics from Erasmus University Rotterdam, not only believes that the study of China has to be taken to a higher level (a belief he expects few tenured professors of Chinese Studies/History will share); he also explains how this long overdue task can be accomplished. Sinologists should take the complexity turn. They should treat China as a 'Ganzheit' (not: 'Gesamtheit'), as a territory-bound, history-moulded and culture-soaked totality of identifiable yet interdependent (f)actors, as a whole intimately interconnected with its numerous parts, as a hypercomplex system of complex, adaptive and non-linear systems of political, military, legal, economic, financial, social, medical, educational, artistic or other nature. Firmly distancing itself from multidisciplinary research (which in practice is a matter of juxta- rather than composition), the new study of China requires a well-thought-out, balanced division of labour. Close collaboration with ICT-driven, China-oriented experts in the natural, social and human sciences willing to co-operate with each other is a sine qua non for comprehending the country that seems to be moving to the centre stage of world politics. The study of China should be mile-wide and mile-deep. The heyday of Sinology is yet to come!
An earlier version of this highly critical but undeniably constructive paper was rejected out of hand by the editors of leading 'Chinese/Asian Studies' journals. The author claims to have reason to suspect them (and other so-called China experts) of being 'bought by China'!

- by Hans Kuijper
- •
- Model Theory, Area Studies, Asian Studies, Computer Science
- by Martin Fortier
- •
- Model Theory, Kant, Memory (Cognitive Psychology), Anthropology of Knowledge

In the 1970s the Chilean biologist Francisco Varela developed a systems theory of life as autopoietic, or self-creating, on the formal basis of the mathematician George Spencer-Brown's 1969 book Laws of Form. Although Varela saw the great power and simplicity of Spencer-Brown' s calculus, he appropriated Spencer-Brown's calculus by adding a third law to the original two laws of form. This law makes self-reference explicit, and I'll argue that it is a redundant addition because self-reference is already implied by indication. The addition of this redundancy has the effect of separating the transcendental realm of constitutive operations from the natural realm of effects. Anna-Teresa Tymieniecka's phenomenology of life as ontopoiesis, on the other hand, succeeds in developing a theory of life on the formal ontological basis prepared by Husserl's phenomenology, transcendental logic, and the living tradition of a mathesis universalis. Tymieniecka's phenomenological theory of life is a breakthrough to life's inner workings, and rests on an ontologically robust foundation. By drawing attention to the calculus behind the calculus, I hope to initiate the interpretation of Spencer-Brown's calculus of indications as an important manifestation of the mathesis universalis, and apply the interpretation to the place prepared by Tymieniecka's phenomenology of ontopoiesis.

- by Randolph T Dible
- •
- Semiotics, Model Theory, Philosophy of Science, Philosophy Of Religion

iii 1 Come testi di riferimento si raccomandano il classico ] e il più avanzato ]. iv le K-logiche si costruisce estendendo L cl mediante l'aggiunta dei due operatori modali unari e ♦. In questo modo le regole di formazione delle fbf si... more

- by Ludovico Fusco
- •
- Algebra, Universal Algebra, Model Theory, Logic

This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: i) Is there a 'universal ontology' ?, ii) Is there a 'universal formal ontology language' ?, and iii) Is there a universally applicable 'mode of reasoning' for formal ontologies?

- by Oliver Kutz
- •
- Model Theory, Institutional Theory, Formal Ontology, Pure Mathematics

We predict a transition to metallicity when a sufficient amount of disorder is induced in graphene. Calculations were performed by means of a first principles stochastic quench method. The resulting amorphous graphene can be seen as nanopatches of graphene that are connected by a network of disordered small and large carbon rings. The buckling is minimal and we believe that it is a result of averaging of counteracting random in-plane stress forces. The linear response conductance is obtained by a model theory as function of lattice distortions. Such metallic behaviour is a much desired property for functionalisation of graphene to realize a transparent conductor, e.g. suitable for touch-screen devices.

- by Sumanta Bhandary and +2
- •
- Model Theory, Physical sciences, CHEMICAL SCIENCES, Electronic Structure Calculation

Here, a bisimulation is a binary relation between the domains of two first-order models linking points with the same unary predicates P , corresponding to modal proposition letters p , and satisfying two 'back-and-forth' or 'zigzag clauses' with respect to relational R-successors. (More precisely, if x bisimulates y , and Rxz , then z bisimulates some u with Ryu , and vice versa. This is a kind of unbounded Ehrenfeucht Game with restricted choices of objects in each move -which has a natural generalization to the case with whole families of n-ary accessibility relations.)

- by Hajnal Andréka and +3
- •
- Cognitive Science, Model Theory, Philosophy, Philosophical Logic

Popular report on the multi-disciplinary project "ArtModel: Egyptian Models" with Egyptology (Egyptian collections in Hannover and Hildesheim), Art History (Fachhochschule Wismar) and Informatics (University of Kiel). For a shorter article in English see: "KunstModell - Researching Ancient Egyptian Works of Art and Models", in:
CIPEG e-News 14, 2020 (also here on Academia.edu). - (in German)

- by Christian E. Loeben and +1
- •
- Model Theory, Egyptology, Ancient Egyptian Museum and Private collections, Egyptian Collection
- by Valentin Goranko
- •
- Modal Logic, Model Theory, Second Order, Structural Properties
- by Kyriakos N. Kotsoglou
- •
- Model Theory, Philosophy of Science, Legal Theory, Philosophy Of Law

The feasibility of carbon sequestration in cement kiln dust (CKD) was investigated in a series of batch and column experiments conducted under ambient temperature and pressure conditions. The significance of this work is the demonstration that alkaline wastes, such as CKD, are highly reactive with carbon dioxide (CO 2 ). In the presence of water, CKD can sequester greater than 80% of its theoretical capacity for carbon without any amendments or modifications to the waste. Other mineral carbonation technologies for carbon sequestration rely on the use of mined mineral feedstocks as the source of oxides. The mining, pre-processing and reaction conditions needed to create favorable carbonation kinetics all require significant additions of energy to the system. Therefore, their actual net reduction in CO 2 is uncertain. Many suitable alkaline wastes are produced at sites that also generate significant quantities of CO 2 . While independently, the reduction in CO 2 emissions from mineral carbonation in CKD is small (~13% of process related emissions), when this technology is applied to similar wastes of other industries, the collective net reduction in emissions may be significant.

- by Timothy Eisele
- •
- Model Theory, Construction Materials, Carbon Dioxide, Kinetics