scholarly journals All the existences that there are

Disputatio ◽  
2012 ◽  
Vol 4 (32) ◽  
pp. 361-383 ◽  
Author(s):  
Alberto Voltolini

Abstract In this paper, I will defend the claim that there are three existence properties: the second-order property of being instantiated, a substantive first-order property (or better a group of such properties) and a formal, hence universal, first-order property. I will first try to show what these properties are and why we need all of them for ontological purposes. Moreover, I will try to show why a Meinong-like option that positively endorses both the former and the latter first-order property is the correct view in ontology. Finally, I will add some methodological remarks as to why this debate has to be articulated from the point of view of reality, i.e., by speaking of properties, rather than from the point of view of language, i.e., by speaking of predicates (for such properties).

Author(s):  
Uriah Kriegel

Brentano’s theory of judgment serves as a springboard for his conception of reality, indeed for his ontology. It does so, indirectly, by inspiring a very specific metaontology. To a first approximation, ontology is concerned with what exists, metaontology with what it means to say that something exists. So understood, metaontology has been dominated by three views: (i) existence as a substantive first-order property that some things have and some do not, (ii) existence as a formal first-order property that everything has, and (iii) existence as a second-order property of existents’ distinctive properties. Brentano offers a fourth and completely different approach to existence talk, however, one which falls naturally out of his theory of judgment. The purpose of this chapter is to present and motivate Brentano’s approach.


1994 ◽  
Vol 116 (4) ◽  
pp. 741-750 ◽  
Author(s):  
C. H. Venner

This paper addresses the development of efficient numerical solvers for EHL problems from a rather fundamental point of view. A work-accuracy exchange criterion is derived, that can be interpreted as setting a limit to the price paid in terms of computing time for a solution of a given accuracy. The criterion can serve as a guideline when reviewing or selecting a numerical solver and a discretization. Earlier developed multilevel solvers for the EHL line and circular contact problem are tested against this criterion. This test shows that, to satisfy the criterion a second-order accurate solver is needed for the point contact problem whereas the solver developed earlier used a first-order discretization. This situation arises more often in numerical analysis, i.e., a higher order discretization is desired when a lower order solver already exists. It is explained how in such a case the multigrid methodology provides an easy and straightforward way to obtain the desired higher order of approximation. This higher order is obtained at almost negligible extra work and without loss of stability. The approach was tested out by raising an existing first order multilevel solver for the EHL line contact problem to second order. Subsequently, it was used to obtain a second-order solver for the EHL circular contact problem. Results for both the line and circular contact problem are presented.


1. The object of this investigation is to establish a formula for the longitudinal spherical aberration of rays which traverse a symmetrical optical system in an axial plane that shall be capable of fairly easy computation for any combination of lenses, and at the same time shall be accurate to the second order and free from certain important difficulties of convergency which occur in certain neighbourhoods when we attempt to use for the longitudinal aberration the method of aberration of successive orders. From the point of view of the optical designer, the usual theory of aberrations, which, for all practical purposes, is largely restricted to the first order, is known to give an unsatisfactory approximation. In practice, the designer adopts a semi-empirical method of tracing a number of rays through the system by means of the trigonometrical equations, a method which is laborious and lengthy, and which can at best give only incomplete informa­tion and very limited guidance for effecting improvements.


2006 ◽  
Vol 16 (02) ◽  
pp. 307-340 ◽  
Author(s):  
DIETRICH KUSKE ◽  
MARKUS LOHREY

Cayley-graphs of monoids are investigated under a logical point of view. It is shown that the class of monoids, for which the Cayley-graph has a decidable monadic second-order theory, is closed under free products. This result is derived from a result of Walukiewicz, stating that the decidability of monadic second-order theories is preserved under tree-like unfoldings. Concerning first-order logic, it is shown that the class of monoids, for which the Cayley-graph has a decidable first-order theory, is closed under arbitrary graph products, which generalize both, free and direct products. For the proof of this result, tree-like unfoldings are generalized to so-called factorized unfoldings. It is shown that the decidability of the first-order theory of a structure is preserved by factorized unfoldings. Several additional results concerning factorized unfoldings are shown.


2012 ◽  
Vol 09 (02) ◽  
pp. 1260007 ◽  
Author(s):  
J. F. CARIÑENA ◽  
J. DE LUCAS ◽  
C. SARDÓN

This work presents a newly renovated approach to the analysis of second-order Riccati equations from the point of view of the theory of Lie systems. We show that these equations can be mapped into Lie systems through certain Legendre transforms. This result allows us to construct new superposition rules for studying second-order Riccati equations and to reduce their integration to solving (first-order) Riccati equations.


2013 ◽  
Vol 2013 ◽  
pp. 1-4
Author(s):  
B. Muatjetjeja ◽  
C. M. Khalique

This paper studies the coupled inhomogeneous Lane-Emden system from the Lagrangian formulation point of view. The existence of multiple positive solutions has been discussed in the literature. Here we aim to classify the system with respect to a first-order Lagrangian according to the Noether point symmetries it admits. We then obtain first integrals of the various cases which admit Noether point symmetries.


1981 ◽  
Vol 63 ◽  
pp. 265-266
Author(s):  
D. Standaert

The aim of this paper is to present the principal features of a new evaluation of the direct perturbations of the planets on the Moon’s motion. Using the method already published in Celestial Mechanics (Standaert, 1980), we compute “a first-order theory” aiming at an accuracy of the order of the meter for all periodic terms of period less than 3 500 years.From an external point of view, we mean by that: a)keplerian orbits for the planets,b)the ELP-2000 solution of the Main Problem proposed by Mrs. Chapront (Chapront-Touzë, 1980),c)the first-order derivatives with respect to the constants of motion of the SALE theory of Henrard (Henrard, 1979).On the other hand, from an internal point of view, the computations include: d)the development in Legendre polynomials not only to the first-order in (a/a'), but also the following ones (up to the sixth-order for Venus, for example),e)the contributions of the second-order in the Lie triangle,f)second-order contributions coming from the corrections of the mean motions due to the planetary action.


1996 ◽  
Vol 61 (1) ◽  
pp. 1-39 ◽  
Author(s):  
Alberto Zanardo

AbstractIn Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as ‘at some branch, or history (passing through the moment at hand)’. Both the bundled-trees semantics [Burgess 79] and the 〈moment, history〉 semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames.


1997 ◽  
Vol 36 (04/05) ◽  
pp. 315-318 ◽  
Author(s):  
K. Momose ◽  
K. Komiya ◽  
A. Uchiyama

Abstract:The relationship between chromatically modulated stimuli and visual evoked potentials (VEPs) was considered. VEPs of normal subjects elicited by chromatically modulated stimuli were measured under several color adaptations, and their binary kernels were estimated. Up to the second-order, binary kernels obtained from VEPs were so characteristic that the VEP-chromatic modulation system showed second-order nonlinearity. First-order binary kernels depended on the color of the stimulus and adaptation, whereas second-order kernels showed almost no difference. This result indicates that the waveforms of first-order binary kernels reflect perceived color (hue). This supports the suggestion that kernels of VEPs include color responses, and could be used as a probe with which to examine the color visual system.


2017 ◽  
Vol 9 (3) ◽  
pp. 17-30
Author(s):  
Kelly James Clark

In Branden Thornhill-Miller and Peter Millican’s challenging and provocative essay, we hear a considerably longer, more scholarly and less melodic rendition of John Lennon’s catchy tune—without religion, or at least without first-order supernaturalisms (the kinds of religion we find in the world), there’d be significantly less intra-group violence. First-order supernaturalist beliefs, as defined by Thornhill-Miller and Peter Millican (hereafter M&M), are “beliefs that claim unique authority for some particular religious tradition in preference to all others” (3). According to M&M, first-order supernaturalist beliefs are exclusivist, dogmatic, empirically unsupported, and irrational. Moreover, again according to M&M, we have perfectly natural explanations of the causes that underlie such beliefs (they seem to conceive of such natural explanations as debunking explanations). They then make a case for second-order supernaturalism, “which maintains that the universe in general, and the religious sensitivities of humanity in particular, have been formed by supernatural powers working through natural processes” (3). Second-order supernaturalism is a kind of theism, more closely akin to deism than, say, Christianity or Buddhism. It is, as such, universal (according to contemporary psychology of religion), empirically supported (according to philosophy in the form of the Fine-Tuning Argument), and beneficial (and so justified pragmatically). With respect to its pragmatic value, second-order supernaturalism, according to M&M, gets the good(s) of religion (cooperation, trust, etc) without its bad(s) (conflict and violence). Second-order supernaturalism is thus rational (and possibly true) and inconducive to violence. In this paper, I will examine just one small but important part of M&M’s argument: the claim that (first-order) religion is a primary motivator of violence and that its elimination would eliminate or curtail a great deal of violence in the world. Imagine, they say, no religion, too.Janusz Salamon offers a friendly extension or clarification of M&M’s second-order theism, one that I think, with emendations, has promise. He argues that the core of first-order religions, the belief that Ultimate Reality is the Ultimate Good (agatheism), is rational (agreeing that their particular claims are not) and, if widely conceded and endorsed by adherents of first-order religions, would reduce conflict in the world.While I favor the virtue of intellectual humility endorsed in both papers, I will argue contra M&M that (a) belief in first-order religion is not a primary motivator of conflict and violence (and so eliminating first-order religion won’t reduce violence). Second, partly contra Salamon, who I think is half right (but not half wrong), I will argue that (b) the religious resources for compassion can and should come from within both the particular (often exclusivist) and the universal (agatheistic) aspects of religious beliefs. Finally, I will argue that (c) both are guilty, as I am, of the philosopher’s obsession with belief. 


Sign in / Sign up

Export Citation Format

Share Document