Two type-theoretical approaches to privative modification

In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof's Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation

Transparent quantification into hyperpropositional contexts de re

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions

Enthalpy damping for the steady Euler equations

For inviscid steady flow problems where the enthalpy is constant at steady state, it was previously proposed to use the difference between the local enthalpy and the steady state enthalpy as a driving term to accelerate convergence of iterative schemes. This idea is analyzed, both on the level of the partial differential equation and on the level of a particular finite difference scheme. It is shown that for the two-dimensional unsteady Euler equations, a hyperbolic system with eigenvalues on the imaginary axis, there is no enthalpy damping strategy which moves all the eigenvalues into the open left half plane. For the numerical scheme, however, the analysis shows and examples verify that enthalpy damping is potentially effective in accelerating convergence to steady state

Coordination of European transnational research in organic food and farming

Research in organic food and farming is a fairly new, but rapidly ex-panding, discipline on the European research scene. One of the problems faced by the authorities seeking to initiate research programmes in organic food and farming is that the present research effort in Europe is caracterised by small research communities, which are often scattered and fragmented both geographically and institutionally. Therefore a gathering of the dispersed expertise to a critical mass in order to increase the competitive quality and relevance of the research as well as the dessemination and use of research is needed

Two kinds of procedural semantics for privative modification

In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L ̈f’s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation

Small-World Rouse Networks as models of cross-linked polymers

We use the recently introduced small-world networks (SWN) to model cross-linked polymers, as an extension of the linear Rouse-chain. We study the SWN-dynamics under the influence of external forces. Our focus is on the structurally and thermally averaged SWN stretching, which we determine both numerically and analytically using a psudo-gap ansatz for the SWN-density of states. The SWN stretching is related to the probability of a random-walker to return to its origin on the SWN. We compare our results to the corresponding ones for Cayley trees.Comment: 14 pages, 4 figures. Preprint version, submitted to JC

Final project report: EEC 2092/91 (ORGANIC) Revision

This report summarises the findings of the project that have been presented in a number of separate reports and publications. In the Chapters 2 to 5 the approach, results and conclusions of the project are summarised, following the structure of the different work packages. Chapter 2 summarises the work on ethical values of organic agriculture. Chapter 3 looks at the differences in the implementation of Regulation (EEC) 2092/91 across Europe and compares the European Regulation with international standards. Chapters 4 and 5 summarise the findings that relate to reducing the dependency on non-organic inputs in the case of feed and seed. The final Chapter 6 consolidates the recommendations of the whole project arising from the various different work packages in one place. Recommendations are aimed in particular at the second stage of the ongoing revision process of the European Regulation, the transfer of the detailed rules from the Annexes of the Regulation (EEC) 2092/91 that is expected to start after the completion of the project. Further recommendations for standard setting bodies, regulators and research recommendations are also presented. The overall objective of the project was to provide recommendations for the revision and further development of the Regulation (EEC) 2092/91 and other standards for organic agriculture, broken down into a number of specific objectives that resulted in 12 seperate reports. The basic ethical values and value differences of organic agriculture in Europe was identified through stakeholder consultation (D 2.1) and through literature as part of developing a procedure for balancing and integrating the basic values in developments of EU regulation (D 2.3). Organic standards from national and private organisations in Europe were compared with the EU regulation with help of database (www.organicrules.org) and differences were analysed to give recommendations on further harmonisation of the EU regulation (D 3.2). The knowledge on how to achieve 100 % organic rations in diets for livestock was expanded through a meta-analysis of literature and an overview of the current situation to characterise the availability of protein sources for 100% organic diets for pigs and poultry was produced (D 4.1 part 1 and 2). Criteria for use of organic inputs, evaluation criteria for Annex II C: Feed materials and Annex II D: Dietary supplements of Regulation (EEC) 2092/91 were developed (D. 4.2). A guide for operators was developed (D 4.3). The knowledge on how to reduce the use of non-organic seed and vegetative propagation materials was improved through reports on seed borne diseases in organic seed and propagation material (D 5.1), on the importance of quality characterising in organic seed and propagation material (D 5.2) and analysis of national derogation regimes (D 5.3). The project produced 12 reports, 7 scientific publications in peer-reviewed journals, and a project web-page at www.organic-revision.org where all reports and further documents are available. It organised 3 workshops with stakeholders and had ongoing communication with the Unit on Organic Farming in DG Agriculture responsible for the Organic Regulation. Members of the team produced in total more than 250 dissemination items

Organic Rules and Certification

Development of the database, www.organicrules.org: The database was developed by ICROFS (DARCOF) and FiBL in 2005 - 2006 for comparison of European and international standards with the EU Regulation 2092/91 in the EU FP6 project, ”EEC 2092/91 Revision” (www.organic-revision). In the EU FP7 project, Economic Analysis of Certification Systems in Organic Food and Farming, www.CERTCOST.org (2008-2011). The database has been further developed by ICROFS. The information for the database is collected by the 9 partners of the CERTCOST project, and it is edited by Lizzie Melby Jespersen, ICROFS