scholarly journals Traditional Christian Theism and Truthmaker Maximalism

2012 ◽  
Vol 4 (1) ◽  
pp. 197-218 ◽  
Author(s):  
Timothy Pawl

I argue that Traditional Christian Theism is inconsistent with the conjunction of Truthmaker Necessitation and Truthmaker Maximalism, the thesis that all truths have truthmakers. Though this original formulation requires extensive revision, the gist of the argument is as follows. Suppose for reductio Traditional Christian Theism and the sort of Truthmaker Theory that embraces Truthmaker Maximalism are both true. By Traditional Christian Theism, there is a world in which God, and only God, exists. There are no animals in such a world. Thus, it is true in such a world that there are no zebras. That there are no zebras must have a truthmaker, given Truthmaker Maximalism. God is the only existing object in such a world, and so God must be the truthmaker for this truth, given that it has a truthmaker. But truthmakers necessitate the truths they make true. So, for any world, at any time at which God exists, God makes that there are no zebras true. According to Traditional Christian Theism, God exists in our world. In our world, then, it is true: there are no zebras. But there are zebras. Contradiction! Thus, the conjunction of Traditional Christian Theism with Truthmaker Necessitation and Truthmaker Maximalism is inconsistent.

2013 ◽  
Vol 43 (4) ◽  
pp. 460-474 ◽  
Author(s):  
Mark Jago

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. However, it will be argued here that these theories cannot be sustained, and hence maximalism comes with a serious ontological cost. Neither Armstrong's invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I'll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist.


Author(s):  
Ross P. Cameron

Truthmaker theory says that what is true depends on what exists. This chapter spells out this thesis, its implications, and why we should believe it. It looks at the connection between truth-making and the in virtue of relation. It looks at reasons to accept or reject truthmaker maximalism—the claim that absolutely every truth has a truthmaker—and truthmaker necessitarianism—the claim that if A makes p true then it is impossible for A to exist without p being true. It asks what views on essentialism are compatible with truthmaker theory. Three reasons for accepting the view are discussed. The views that truthmaker theory is required by the correct theory of truth, and that it is a commitment of realism, is rejected. It is argued that the best reason to accept truthmaker theory is that it yields a parsimonious account of what truths are brute.


Author(s):  
Sauro Succi

This chapter provides an account of subsequent extensions of the Shan-Chen pseudo-potential method, including more elaborated potentials which extend beyond the first Brillouin cell. These extensions permit us to lift a number of limitations of the original model and considerably expand its scope and range of applications. In Chapter 27, a variety of LB techniques for nonideal fluids have been discussed. As usual, each method comes with its ups and downs, but actual evidence shows that the Shan–Chen (SC) model has enjoyed increasing popularity over the years. Interestingly, such popularity stands in the face of a fair amount of substantial criticism. In this chapter, first the Shan–Chen model is revisited in some more detail along with a discussion of ways out of the above criticism. Subsequently, the extension of the SC technique to the case of multi-range potentials extending beyond the first Brillouin cell is discussed. This extension proves pretty effective in softening many of the weaknesses of the original formulation, thereby considerably expanding its scope and range of applications.


Author(s):  
Jesús Morales-Valdez ◽  
Luis Alvarez-Icaza

A novel technique to estimate stiffness in buildings is presented. In contrast with most of the available work in the literature that resorts to diverse forms of modal analysis, this local technique is based on the propagation of a Ricker pulse through the structure and on measuring the wave arrival times at each story of the building, represented as a single layer in a multiple stratum model. These arrival times are later used to recuperate building stiffness at each story. Wave propagation is based on the Thomson-Haskell method, that allows to generalize the wave propagation method to multi-story buildings without significant changes to the original formulation. The number of calculated parameters is small in comparison with methods based on modal analysis. This technique provides and quick and easy methodology to assess building integrity and is an interesting alternative to verify results obtained by other identification methods. Simulation results for building with heterogeneous characteristics across the stories confirm the feasibility of the proposal.


2018 ◽  
Vol 15 (supp01) ◽  
pp. 1850139 ◽  
Author(s):  
Yen Chin Ong

Torsion-based modified theories of gravity, such as [Formula: see text] gravity, are arguably one of the very few “true” modified gravities based on well-defined geometric structures. However, the original formulation explicitly works in a specific choice of frame, which has led to considerable amount of confusion in the literature about these theories breaking local Lorentz invariance. Pathological properties such as superluminal propagation and the lack of well-posedness of Cauchy problem were found to plague [Formula: see text] gravity. Recent effort to “covariantize” [Formula: see text] gravity has, however, renewed interests in this subject. In this proceeding paper, we review and discuss issues concerning the actual number of degrees of freedom in [Formula: see text] gravity, and how this might relate to the aforementioned pathologies.


2021 ◽  
Author(s):  
José L. Escalona ◽  
Narges Mohammadi

Abstract This paper presents new advances in the arbitrary Lagrangian-Eulerian modal method (ALEM) recently developed for the systematic simulation of the dynamics of general reeving systems. These advances are related to a more convenient model of the sheaves dynamics and the use of axial deformation modes to account for non-constant axial forces within the finite elements. Regarding the sheaves dynamics, the original formulation uses kinematic constraints to account for the torque transmission at the sheaves by neglecting the rotary inertia. One of the advances described in this paper is the use of the rotation angles of the sheaves as generalized coordinates together with the rope-to-sheave no-slip assumption as linear constraint equations. This modeling option guarantees the exact torque balance the sheave without including any non-linear kinematic constraint. Numerical results show the influence in the system dynamics of the sheave rotary inertia. Regarding the axial forces within the finite elements, the original formulation uses a combination of absolute position coordinates and transverse local modal coordinates to account for the rope absolute position and deformation shape. The axial force, which only depends on the absolute position coordinates, is constant along the element because linear shape functions are assumed to describe the axial displacements. For reeving systems with very long rope spans, as the elevators of high buildings, the constant axial force is inaccurate because the weight of the ropes becomes important and the axial force varies approximately linearly within the rope free span. To account for space-varying axial forces, this paper also introduces modal coordinates in the axial direction. Numerical results show that a set of three modal coordinates in the axial direction is enough to simulate linearly varying axial forces.


2021 ◽  
pp. 36-47
Author(s):  
Sergey Mitsyn ◽  
Egor Bolshakov

Various methods based on growing bodies are lately gaining attention in a context of inverse gravity problem that we call a family of “assembly methods”. A variant of method was adopted for GIS INTEGRO in original formulation that is fit for the problem of multiple bodies incorporated in an environment of varying density, in absolute densities (not density contrasts) that are however have to be a priori specified. Such formulation allowed the implementation of the method that is suitable for territory modeling in the regional scale. To workaround method’s instability a number of changes are proposed that consist of introduction of priority on atomic modifications, modification queue and assessment of model evolution instead of just the final result. The developed software allows processing of large grids (tens of millions of tiling elements) even on 5–8 year old desktops. Based on method approbation experience some insights and practice methods are presented. An application example is presented as part of work on modeling of Enisei-Khatanga regional depression territory.


1976 ◽  
Vol 38 (3_suppl) ◽  
pp. 1313-1314 ◽  
Author(s):  
Friedrich V. Wenz

A reformulation of Durkheim's model of social integration and suicide rates was tested using social survey and census data for social area populations in Flint, Michigan. The hypothesis predicts: the more integrated a social-area population, the lower its suicide rate. It is concluded that the concept of social area defines an adequate unit of analysis for testing Durkheim's model, and the empirical data support Durkheim's original formulation.


Ratio ◽  
2013 ◽  
Vol 27 (3) ◽  
pp. 276-290 ◽  
Author(s):  
Pablo Rychter
Keyword(s):  

Synthese ◽  
2018 ◽  
Vol 197 (4) ◽  
pp. 1647-1660 ◽  
Author(s):  
Elke Brendel

Sign in / Sign up

Export Citation Format

Share Document