Search results for "formal"
showing 10 items of 1654 documents
Visioni teoriche ed applicazioni territoriali della scienza della sostenibilità: design e formazione in un progetto pilota per le aree protette della…
2011
Attualmente sia nella letteratura scientifica sulla sostenibilità che nell'orizzonte delle politiche d'azione territoriale si registra un ricco panorama di visioni teoriche e di strategie d'azione volte allo sostenibilità. La sostanziale distinzione in due macro filoni di pensiero e di azione, weak/strong sustainibility (Angelini, Pizzuto, 2007), comporta strategie d'azione differenti che scaturiscano da presupposti teorici distinti. L'azione progettuale su formazione, design e sostenibilità potrebbe aprire spiragli e soluzioni creative ed innovative per la crisi. La progettazione di percorsi di formazione orientati alla costituzione di microimprese sostenibili operanti nel campo della valo…
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
The Formalisation of Water Use and Conditional Ownership in Colca Valley, Peru
2019
This article discusses the production and negotiation of water ownership among peasant farmers in the Majes-Colca watershed in southern Peru, where the public water administration initiated a process of formalising user rights for potable water in 2011. While a large-scale irrigation project channels water from the headwaters to export-oriented agriculture in the desert, the supply of water is getting scarcer because of climate change. The Peruvian water resources law from 2009 acknowledges water as public property, yet emphasises its economic value and encourages private investment. The farmers in the highlands see water not only as a resource but also as a lifegiving force provided by the…
Text Linguistics and Classical Studies: Dressler and de Beaugrande’s Procedural Approach
2017
The work represents a significant scientific advancement on text linguistics from three different viewpoints. The first chapter provides an overview of the history of text linguistics from a broader perspective than usual, offering a complete reference framework. The second chapter presents the procedural approach to the study of text linguistics in a concise way, including a critical comparison with other perspectives. The third chapter constructs a very unusual bridge between theoretical linguistics and classical studies in that it takes a literary text in Latin from the early imperial period as its case study. This combination is rare, as theoretical linguists are usually oriented to mod…
Radical Besinnung in Formale und transzendentale Logik (1929)
2018
This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik (1929). Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and transcendental phenomenology. Ultimately the paper suggests that radical Besinnung should be viewed as a general methodological fram…
A survey on algebraic dilatations
2023
In this text, we wish to provide the reader with a short guide to recent works on the theory of dilatations in Commutative Algebra and Algebraic Geometry. These works fall naturally into two categories: one emphasises foundational and theoretical aspects and the other applications to existing theories.
Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework
2008
Conceptual models communicate the important aspects of a problem domain to stakeholders. The quality of the models is highly dependent on the usability of the modeling method used. This paper presents a survey conducted on a method that integrates the use of a semiformal notation, namely the Unified Modeling Language (UML) and a formal notation, namely B. The survey assessed the usability of the method by using the grounded theory, the Cognitive Dimensions of Notations (CD) framework, and several criteria suggested by the International Organization for Standardization (ISO). Ten participants responded to the survey. The results suggest that the method is accessible to users when the princip…
Formaldehyde and total aldehydes in indoor air of public environments by voltammetry
2014
The proposed method involves active sampling, where a sampling pump is used to pull air through a solution and voltammetric analysis of the obtained solutions. No interferences have been observed. In addition, very little sample preparation is required. Analyses were performed in 19 indoor stations and one in outdoor. Measurements were carried out on University environments: Museum of Chemistry, Zoological Museum, libraries, laboratories, corridors, meeting rooms, photocopying room, machine shop and terrace. Formaldehyde concentrations in analyzed samples ranged from 2.6 to 85 μg m-3 (median = 32 μg m-3), while the sum of others aldehydes ranged from 2 to 25 μg m-3 (median =2.4 μg m-3). In …
Measuring Vulnerability of Asylum Seekers and Refugees in Italy
2019
In recent years, a growing number of forced migrants have travelled to Italy across the Mediterranean Sea. While the number of new arrivals has diminished since 2017, the Italian reception system still struggles to process the high number of applications for international protection. A significant proportion of forced migrants who arrive in Italy end up living in informal settlements, such as occupied buildings, shacks, containers and tented camps. In this study, we assess the vulnerability of asylum seekers and refugees living in informal settlements in Italy, using data from the first nationally representative survey of this population. We compare a count measure of vulnerability with a n…
How secondary school pupils bring their informal learning experiences into a Content and Language Integrated (CLIL) classroom
2014
This article explores how students’ informal language learning experiences with English find their way into the formal context of content-based language teaching (CLIL). The analysis is focused on stretches of classroom talk in which native Finnish-speaking students draw on their expertise of English-language popular culture, and use their knowledge as a semiotic resource for producing various types of actions. Based on the data, it is argued that the organisation of peer group talk in the language classroom provides students with affordances for participation that are characteristically different from whole-class interaction. In this environment, global popular culture and conversational h…