排序方式: 共有75条查询结果,搜索用时 15 毫秒
51.
John W. Grula 《Zygon》2008,43(1):159-180
The Judeo‐Christian, Enlightenment, and postmodernist paradigms have become intellectually and ethically exhausted. They are obviously failing to provide a conceptual framework conducive to eliminating some of humanity's worst scourges, including war and environmental destruction. This raises the issue of a successor, which necessitates a reexamination of first principles, starting with our concept of God. Pantheism, which is differentiated from panentheism, denies the existence of a transcendent, supernatural creator and instead asserts that God and the universe are one and the same. Understood via intuition, modern cosmology, and other natural sciences, it offers an alternative worldview that posits the divine and sacred nature of the universe/creation. By asserting the fallacy of the creator/creation dichotomy and any attempts to anthropomorphize or personalize God, pantheism precludes hubris stemming from erroneous notions of divine favoritism. The links between Judeo‐Christianity and the Enlightenment are traced and a case made that the latter has resulted in the equally erroneous and hubristic notion of human ascendancy to a Godlike status, with the concept of progress providing a secular version of the Christian belief in salvation. By reestablishing the natural sciences’metanarrative, even as it asserts the divinity of the material universe, pantheism simultaneously demotes postmodernism and reconciles science with religion. Pantheism provides a theological foundation for deep ecology and also stakes out a viable third position in relation to the ongoing dispute between advocates of intelligent design and the scientific establishment. 相似文献
52.
William Craig 《Synthese》2008,164(3):333-339
Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary
is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There
were some fortuitous events and several logicians played a helpful role. 相似文献
53.
Hilbert and Bernays avoided overspecification of Hilbert's ε-operator. They axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the ε-operator underspecified. After briefly reviewing the literature on semantics of Hilbert's epsilon operator, we propose a new semantics with the following features: We avoid overspecification (such as right-uniqueness), but admit indefinite choice, committed choice, and classical logics. Moreover, our semantics for the ε simplifies proof search and is natural in the sense that it mirrors some cases of referential interpretation of indefinite articles in natural language. 相似文献
54.
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariables used during proof search. We present the theoretical foundations to extend this technique to propositional modal logics, including non-trivial rigorous proofs of soundness and completeness, and also present various techniques that improve the efficiency of the basic naive method for such tableaux. 相似文献
55.
In this paper we test two hypotheses that stem from the work of Mellers, Chang, Birnbaum and Ordonez ( 1992 ). The first hypothesis is that in a binary gamble, the ratio of WTA to WTP is decreasing in the probability attached to a nonzero event. The second hypothesis is that this ratio is independent of the size of stakes. We find support for the first hypothesis, but mixed support for the second. The second hypothesis holds in the case of gains, but not in the case of losses. Copyright © 2001 John Wiley & Sons, Ltd. 相似文献
56.
John Woods 《Argumentation》2000,14(2):107-134
A slippery slope argument is an argument to this twofold effect. First, that if a policy or practice P is permitted, then we lack the dialectical resources to demonstrate that a similar policy or practice P* is not permissible. Since P* is indeed not permissible, we should not endorse policy or practice P. At the heart of such arguments is the idea of dialectical impotence, the inability to stop the acceptance of apparently small deviations from a heretofore secure policy or practice from leading to apparently large and unacceptable deviations. Using examples of analogical arguments and sorites arguments I examine this phenomenon in the context of collapsing taboos. 相似文献
57.
The commentary by Errol Hoffmann in this issue asserts that previous work by our group provides the spurious conclusion that amplitude and width manipulations to a movement environment elicit dissociable relations between movement time (MT) and P. M. Fitts' (1954) index of difficulty (ID). Hoffmann concludes that any such dissociation is the result of actions evoked entirely as ballistic. In this reply, we demonstrate that Hoffmann's commentary is a clear misrepresentation of the study goals and conclusions stated by our group. Additionally, we provide kinematic evidence that actions involving online trajectory amendments are associated with dissociable MT–ID relations for amplitude versus width manipulations. Finally, we contend that the kinematic analyses of movement trajectories, and Hoffmann's failure to acknowledge its importance, is an important step in further understanding speed–accuracy relations in human movement. 相似文献
58.
Aleksandra Kiślak-Malinowska 《Studia Logica》2007,87(2-3):323-342
In this paper we concentrate mainly on the notion of β-pregroups, which are pregroups (first introduced by Lambek [18] in 1999) enriched with modality operators. β-pregroups were first proposed by Fadda [11] in 2001. The motivation to introduce them was to limit (locally) the associativity
in the calculus considered. In this paper we present this new calculus in the form of a rewriting system, prove the very important
feature of this system - that in a given derivation the non-expanding rules must always proceed non-contracting ones in order
the derivation to be minimal (normalization theorem). We also propose a sequent system for this calculus and prove the cut
elimination theorem for it. As an illustration we show how to use β-pregroups for linguistical applications.
Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller 相似文献
59.
We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL. 相似文献
60.
Covenants and reputations 总被引:1,自引:1,他引:0
Peter Vanderschraaf 《Synthese》2007,157(2):167-195
In their classic analyses, Hobbes and Hume argue that offensively violating a covenant is irrational because the offense ruins
one’s reputation. This paper explores conditions under which reputation alone can enforce covenants. The members of a community
are modeled as interacting in a Covenant Game repeated over time. Folk theorems are presented that give conditions under which
the Humean strategy of performing in covenants only with those who have never offensively violated or performed with an offensive
violator characterizes an equilibrium of the repeated Covenant Game. These folk theorems establish that for certain ideal
settings Hobbes’ and Hume’s arguments against offensively violating covenants are compelling. However, these ideal settings
presuppose that the community has certain mechanisms that generate common knowledge of the identities of those with whom one
should perform. I analyze the results of computer simulations of the interactions in a community whose members must rely upon
private communication alone. The computer simulation data show that in this community, reputation effects cannot effectively
deter members from offensively violating covenants. I conclude that Hobbes’ and Hume’s warnings against offensive violation
are compelling only on condition that the community is sufficiently structured to generate common knowledge among its members.
I also conclude that even in such structured communities, the Humean strategy is not the uniquely “correct” policy. 相似文献