排序方式： 共有94条查询结果，搜索用时 15 毫秒
71.
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. 相似文献
72.
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 相似文献
73.
Two studies examined semantic coherence and internal inconsistency fallacies in conditional probability estimation. Problems reflected five distinct relationships between two sets: identical sets, mutually exclusive sets, subsets, overlapping sets, and independent sets (a special case of overlapping sets). Participants estimated P(A), P(B), P(A|B), and P(B|A). Inconsistency occurs when this constellation of estimates does not conform to Bayes' theorem. Semantic coherence occurs when this constellation of estimates is consistent with the depicted relationship among sets. Fuzzy‐trace theory predicts that people have difficulty with overlapping sets and subsets because they require class‐inclusion reasoning. On these problems, people are vulnerable to denominator neglect, the tendency to ignore relevant denominators, making the gist more difficult to discern. Independent sets are simplified by the gist understanding that P(A) provides no information about P(B), and thus, P(A|B) = P(A). The gist for identical sets is that P(A|B) = 1.0, and the gist of mutually exclusive sets is that P(A|B) = 0. In Study 1, identical, mutually exclusive, and independent sets yielded superior performance (in internal inconsistency and semantic coherence) than subsets and overlapping sets. For subsets and overlapping sets, interventions clarifying appropriate denominators generally improved semantic coherence and inconsistency, including teaching people to use Euler diagrams, 2 × 2 tables, or relative frequencies. In Study 2, with problems about breast cancer and BRCA mutations, there was a strong correlation between inconsistency in conditional probability estimation and conjunction fallacies of joint probability estimation, suggesting that similar fallacious reasoning processes produce these errors. Copyright © 2012 John Wiley & Sons, Ltd. 相似文献
74.
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. 相似文献
75.
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. 相似文献
76.
John E. Fisk 《决策行为杂志》2005,18(1):55-82
Probabilistic reasoning plays an essential part in many aspects of our daily routine and it has been argued that as we grow older, the need to make judgements under uncertainty becomes increasingly important. Two studies were conducted to establish whether the propensity to commit probabilistic reasoning errors increased with age. Young (aged 16–24), middle aged (25–54), and older persons (55 years and above) were included. Study 1 revealed systematic biases and errors across a range of judgement tasks. However, no evidence of any age effect in Bayesian inference, the incidence of the conjunction fallacy, or in the number of disjunction errors was found. The results obtained in Study 1 were replicated in Study 2, where the potential mediating role of working memory processes and intellectual capacity were explicitly assessed. While some aspects of probabilistic reasoning performance were correlated with measures of intelligence and working memory functioning among young adults, this was much less evident in older persons. The present findings are discussed in relation to the evolution of the dualistic heuristic–analytical system over the adult lifespan. Copyright © 2005 John Wiley & Sons, Ltd. 相似文献
77.
Previous research has uncovered many conditions that encourage base‐rate use. The present research investigates how base‐rates are used when conditions are manipulated to encourage their use in the lawyer/engineer paradigm. To examine the functional form of the response to base‐rate, a factorial design was employed in which both base‐rate and the individuating information were varied within‐subject. We compared the performance of several models of base‐rate use, including a model that allows base‐rate and individuating information to be combined in a strictly additive fashion, and a model which presumes that respondents use Bayes' Rule in forming their judgments. Results from 1493 respondents showed that the additive model is a stronger predictor of base‐rate use than any other model considered, suggesting that the base‐rate and individuating information are processed independently in the lawyer/engineer paradigm. A possible mechanism for this finding is discussed. Copyright © 1999 John Wiley & Sons, Ltd. 相似文献
78.
The pseudodiagnosticity task has been used as an example of the tendency on the part of participants to incorrectly assess Bayesian constraints in assessing data, and as a failure to consider alternative hypotheses in a probabilistic inference task. In the task, participants are given one value, the anchor value, corresponding to P(D1|H) and may choose one other value, either P(D1|¬!H), P(D2|H), or P(D2|not;!H). Most participants select P(D2|H), or P(D2|¬!H) which have been considered inappropriate (and called pseudodiagnostic) because only P(D1|¬!H) allows use of Bayes' theorem. We present a new analysis based on probability intervals and show that selection of either P(D2|H), or P(D2|¬!H) is in fact pseudodiagnostic, whereas choice of P(D1|¬!H) is diagnostic. Our analysis shows that choice of the pseudodiagnostic values actually increases uncertainty regarding the posterior probability of H, supporting the original interpretation of the experimental findings on the pseudodiagnosticity task. The argument illuminates the general proposition that evolutionarily adaptive heuristics for Bayesian inference can be misled in some task situations. 相似文献
79.
This study explores the cyberbullying behaviour of football fans in Turkey, examining the effects of fanaticism, dark personality traits, demographic factors and team loyalty. The research encompasses a sample of 152 individuals, revealing that marital status significantly influences both cyberbullying and fanaticism. Various factors, such as how fans watch matches, involvement in fan associations, the purpose of social media use, and attendance at amateur matches, contribute significantly to variations in cyberbullying levels. Fanaticism and dark personality traits are positively correlated with cyberbullying. Regression analyses reveal that the purpose of social media use and watching amateur matches account for 9.3% of cyberbullying, while violence (42.9%) and psychopathy (5.2%) explained 48.2% of the total variance in cyberbullying. Concerning team loyalty, factors like match-watching habits, attendance at amateur matches, social media use intentions, preferred teams, match-watching frequency and location of match-watching jointly account for 41% of the total variance in fanaticism. Additionally, cyberbullying (27.2%) and Machiavellianism (6.3%) together accounted for a total of 33.5% of the variance explained in fanaticism. These findings offer valuable insights into the complex dynamics of cyberbullying and fanaticism within the context of football fandom in Turkey, providing a foundation for future research and potential interventions in this area. 相似文献
80.
Recent studies of semantic memory have investigated two theories of optimal search adopted from the animal foraging literature: Lévy flights and marginal value theorem. Each theory makes different simplifying assumptions and addresses different findings in search behaviors. In this study, an experiment is conducted to test whether clustering in semantic memory may play a role in evidence for both theories. Labeled magnets and a whiteboard were used to elicit spatial representations of semantic knowledge about animals. Category recall sequences from a separate experiment were used to trace search paths over the spatial representations of animal knowledge. Results showed that spatial distances between animal names arranged on the whiteboard were correlated with inter‐response intervals (IRIs) during category recall, and distributions of both dependent measures approximated inverse power laws associated with Lévy flights. In addition, IRIs were relatively shorter when paths first entered animal clusters, and longer when they exited clusters, which is consistent with marginal value theorem. In conclusion, area‐restricted searches over clustered semantic spaces may account for two different patterns of results interpreted as supporting two different theories of optimal memory foraging. 相似文献