Formal construction of the Mathematically Analyzed Separation Kernel

2000 ◽  
Author(s):  
W. Martin ◽  
P. White ◽  
F.S. Taylor ◽  
A. Goldberg
Keyword(s):  
Separation Kernel ◽  
Formal Construction

THEORIES OF THE MISSIONARY VOCATION OF THEOLOGICAL EDUCATION IN POST-SOVIET PROTESTANTISM

2020 ◽  
pp. 78-92
Author(s):  
Valentyn Syniy
Keyword(s):  
21St Century ◽  
Theological Education ◽  
Educational Activity ◽  
Spiritual Education ◽  
General Recognition ◽  
The Church ◽  
The Trinity ◽  
Formal Construction

It is emphasized that the involvement of missionary theology in the discussion of ways to develop spiritual education allowed post-soviet Protestantism to successfully overcome differences in the vision of the formal construction of education, and then move on to discussions about its content. There was a gradual overcoming of modern individualism, the growing role of communities, the replacement of monologue models of mission with dialogical ones. The idea of the seminary as a community that is not self-sufficient, but serves the church as a community, has gained general recognition. The church also came to be understood as serving an eschatological ideal community similar to the Trinity community. The formation of community and dialogical models of missionary and educational activity allows Ukrainian Protestantism to effectively adapt to the realities of the beginning of the 21st century and to be proactive in today's society.

scholarly journals Gappy, glutty, glappy

Synthese ◽  
2021 ◽  
Author(s):  
Claudio Calosi
Keyword(s):  
Third Way ◽  
Metaphysical Indeterminacy ◽  
State Of Affairs ◽  
Formal Construction ◽  
Determinables And Determinates

AbstractAccording to the Determinable Based Account (DBA) of metaphysical indeterminacy (MI), there is MI when there is an indeterminate state of affairs, roughly a state of affairs in which a constituent object x has a determinable property but fails to have a unique determinate of that determinable. There are different ways in which x might have a determinable but no unique determinate: x has no determinate—gappy MI, or x has more than one determinate—glutty MI. Talk of determinables and determinates is usually constructed as relative to levels of determination. In this paper I first (1) provide a formal construction for determinables and determinates that pays crucial attention to intermediate levels of determination, and then (2) explore the consequences for the DBA of introducing such intermediate levels. In particular, I argue that intermediate levels of determination highlight crucial differences between gappy and glutty cases of MI, and allow one to introduce a third way of indeterminacy, glappy MI.

Ensuring IoT Security with an Architecture Based on a Separation Kernel

2018 ◽  
Author(s):  
Mahieddine Yaker ◽  
Chrystel Gaber ◽  
Gilles Grimaud ◽  
Jean-Philippe Wary ◽  
Julien Cartigny ◽  
...  
Keyword(s):  
Iot Security ◽  
Separation Kernel

Towards a teleo-semiotic theory of individuation

Semiotica ◽  
2016 ◽  
Vol 2016 (213) ◽  
pp. 281-305 ◽  
Author(s):  
Rufus Duits
Keyword(s):  
Empirical Evidence ◽  
Category Theory ◽  
Formal Systems ◽  
Working Model ◽  
Formal Construction ◽  
Semiotic Theory

AbstractThis article attempts to develop a sketch or working model of a semiotic theory of individuation from a formalization of basic teleological structures. After caveats and provisional definitions, a formal apparatus is introduced that schematizes teleological structures by way of mathematical category theory. This is then combined with a commutation test for formal systems. Once the formal construction is sufficient, the extent to which the model can account for the operation by which objects, modes, kinds, and attributes become individuated from the “pure multiplicity” of indeterminate being is analyzed. Subsequently, the model is applied to a series of well-known problems in metaphysics and ontology – persistence, change, vagueness, coincidence, mereology, and universals – in order to demonstrate its effectiveness. The metaphysical picture that results from this application is positioned between the conventional extremes of realism and anti-realism: a semiotic anti-/realism. Empirical evidence is then also marshalled in support of the model by way of invocation and analysis of recent research into the development of the perceptual capacities of infants.

ON HORATIU RADULESCU'S FIFTH STRING QUARTET (‘BEFORE THE UNIVERSE WAS BORN’) OP. 89

Tempo ◽  
2014 ◽  
Vol 68 (268) ◽  
pp. 34-45 ◽  
Author(s):  
William Dougherty
Keyword(s):  
String Quartet ◽  
Large Scale ◽  
Ancient Philosophy ◽  
Compositional Process ◽  
Compositional Approach ◽  
String Techniques ◽  
Compositional Language ◽  
The Universe ◽  
Formal Construction

AbstractHoratiu Radulescu's Fifth String Quartet, ‘before the universe was born’, is a shining example of his radical compositional approach. With an intense interest in creating a rich, numinous sound-world constructed firmly on principles of nature, science and ancient philosophy, Radulescu developed a unique compositional language that breaks with traditional musical conventions. In hopes of illuminating the inner workings behind his often enigmatic compositional process, this article examines various aspects relating to Radulescu's Fifth Quartet: the work's formal construction, with a focus on its notation and overall large-scale harmonic development; the Quartet's rhythmic devices and their link to the philosophical underpinnings that drive the work; the extended instrumental string techniques employed throughout, the sounds they achieve, and how they are executed; and the work's spectral pitch organisation.

John Ireland's Fantasy-Sonata for Clarinet and Pianoforte

Tempo ◽  
1944 ◽  
pp. 136-139
Author(s):  
Scott Goddard
Keyword(s):  
Thought Processes ◽  
Personal Preference ◽  
Formal Construction

It may be objected that the title contains a contradiction in terms. For how is it that a movement can be at once a fantasy whose essence is that of a free design drawn according to the whim of the composer, and a sonata which is essentially a formal construction on lines laid down by authority and held by tradition? The fantasy submits to no authority other than that of each individual composer, an authority therefore of mere personal preference having so little status beyond the confines of a single work as to lack the accepted attributes of authority. Tradition the fantasy has, going back to the fantasia or in this country to the Tudor fancy; it is a tradition of free-thinking, regulated by no rigid formalities of construction, the result of individual thought-processes which have to impose themselves on the listener through an inherent rightness and cogency. Yet this is also the very essence of symphonic writing, this ability to think cogently and so compel the listener first to compliance and thence to understanding. And since the fantasy possesses this as its main characteristic it at once comes in contact with symphony and sonata.

Sign in / Sign up

Export Citation Format

Share Document