On the relationship between indexed grammars and logic programs

AbstractThis article provides detailed constructions demonstrating that the class of indexed grammars introduced as a simple extension of context-free grammars has essentially the same expressive power as the class of logic programs with unary predicates and functions and exactly one variable symbol.Some additional considerations are concerned with parsing procedures

Determination of the Effective Viscosity of Non-newtonian Fluids Flowing Through Porous Media

When non-Newtonian fluids flow through porous media, the topology of the pore space leads to a broad range of flow velocities and shear rates. Consequently, the local viscosity of the fluid also varies in space with a non-linear dependence on the Darcy velocity. Therefore, an effective viscosity μeff is usually used to describe the flow at the Darcy scale. For most non-Newtonian flows the rheology of the fluid can be described by a (non linear) function of the shear rate. Current approaches estimate the effective viscosity by first calculating an effective shear rate mainly by adopting a power-law model for the rheology and including an empirical correction factor. In a second step this averaged shear rate is used together with the real rheology of the fluid to calculate μeff. In this work, we derive a semi-analytical expression for the local viscosity profile using a Carreau type fluid, which is a more broadly applicable model than the power-law model. By solving the flow equations in a circular cross section of a capillary we are able to calculate the average viscous resistance 〈μ〉 directly as a spatial average of the local viscosity. This approach circumvents the use of classical capillary bundle models and allows to upscale the viscosity distribution in a pore with a mean pore size to the Darcy scale. Different from commonly used capillary bundle models, the presented approach does neither require tortuosity nor permeability as input parameters. Consequently, our model only uses the characteristic length scale of the porous media and does not require empirical coefficients. The comparison of the proposed model with flow cell experiments conducted in a packed bed of monodisperse spherical beads shows, that our approach performs well by only using the physical rheology of the fluid, the porosity and the estimated mean pore size, without the need to determine an effective shear rate. The good agreement of our model with flow experiments and existing models suggests that the mean viscosity 〈μ〉 is a good estimate for the effective Darcy viscosity μeff providing physical insight into upscaling of non-Newtonian flows in porous media

Ontology as Transcendental Philosophy

How does the critical Kant view ontology? There is no shared scholarly answer to this question. Norbert Hinske sees in the Critique of Pure Reason a “farewell to ontology,” albeit one that took Kant long to bid (Hinske 2009). Karl Ameriks has found evidence in Kant’s metaphysics lectures from the critical period that he “was unwilling to break away fully from traditional ontology” (Ameriks 1992: 272). Gualtiero Lorini argues that a decisive break with the tradition of ontology is essential to Kant’s critical reform of metaphysics, as is reflected in his shift from “ontology” to “transcendental philosophy,” two notions that Lorini takes to be related by mere “analogy” (Lorini 2015). I agree with Lorini that a thorough reform of ontology is a pivotal part of Kant’s critical plan for metaphysics and that ontology somehow “survives within the critical philosophy” (Lorini 2015: 76). To make this case, however, I deem it important to identify “ontology” and “transcendental philosophy” in the sense of extensional equivalence. While we can detect this identification in Kant’s writings, only from his metaphysics lectures can we get a full sense of its historical and philosophical significance. In this chapter I focus on how it represents a definitive turn from as well as notable continuity with traditional treatments of ontology, particularly the Wolffian one

A Guide to Ground in Kant's Lectures on Metaphysics

While scholars have extensively discussed Kant’s treatment of the Principle of Sufficient Ground in the Antinomies chapter of the Critique of Pure Reason, and, more recently, his relation to German rationalist debates about it, relatively little has been said about the exact notion of ground that figures in the PSG. My aim in this chapter is to explain Kant’s discussion of ground in the lectures and to relate it, where appropriate, to his published discussions of ground