排序方式: 共有239条查询结果,搜索用时 15 毫秒
31.
Substructural logics on display 总被引:1,自引:0,他引:1
32.
Krista M. Matthews-Saugstad Erik P. Raymakers 《Quarterly journal of experimental psychology (2006)》2017,70(7):1099-1105
Gesture during speech can promote or diminish recall for conversation content. We explored effects of cognitive load on this relationship, manipulating it at two scales: individual-word abstractness and social constraints to prohibit gestures. Prohibited gestures can diminish recall but more so for abstract-word recall. Insofar as movement planning adds to cognitive load, movement amplitude may moderate gesture effects on memory, with greater permitted- and prohibited-gesture movements reducing abstract-word recall and concrete-word recall, respectively. We tested these effects in a dyadic game in which 39 adult participants described words to confederates without naming the word or five related words. Results supported our expectations and indicated that memory effects of gesturing depend on social, cognitive, and motoric aspects of discourse. 相似文献
33.
“Pushing the Button While Pushing the Argument”: Motor Priming of Abstract Action Language
下载免费PDF全文
![点击此处可从《Cognitive Science》网站下载免费的PDF全文](/ch/ext_images/free.gif)
In a behavioral study we analyzed the influence of visual action primes on abstract action sentence processing. We thereby aimed at investigating mental motor involvement during processes of meaning constitution of action verbs in abstract contexts. In the first experiment, participants executed either congruous or incongruous movements parallel to a video prime. In the second experiment, we added a no‐movement condition. After the execution of the movement, participants rendered a sensibility judgment on action sentence targets. It was expected that congruous movements would facilitate both concrete and abstract action sentence comprehension in comparison to the incongruous and the no‐movement condition. Results in Experiment 1 showed a concreteness effect but no effect of motor priming. Experiment 2 revealed a concreteness effect as well as an interaction effect of the sentence and the movement condition. The findings indicate an involvement of motor processes in abstract action language processing on a behavioral level. 相似文献
34.
Lou Goble 《Studia Logica》2004,76(1):17-66
Combinator logics are a broad family of substructual logics that are formed by extending the basic relevant logic B with axioms that correspond closely to the reduction rules of proper combinators in combinatory logic. In the Routley-Meyer relational semantics for relevant logic each such combinator logic is characterized by the class of frames that meet a first-order condition that also directly corresponds to the same combinator's reduction rule. A second family of logics is also introduced that extends B with the addition of propositional constants that correspond to combinators. These are characterized by relational frames that meet first-order conditions that reflect the structures of the combinators themselves. 相似文献
35.
Carlos A. Oller 《Journal of Applied Logic》2004,2(4):451-455
This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed. 相似文献
36.
A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML+, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML+ based on the recent results for model checking procedures for temporalised logics. TML+ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML+, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments. 相似文献
37.
Sato Kentaro 《Studia Logica》2008,88(2):295-324
We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters.
We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of
-filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters
will turn out to coincide with truth sets under various well known semantics for certain substructural logics. We also investigate
which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that
each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery
is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense.
Presented by Wojciech Buszkowski 相似文献
38.
Applied Logic without Psychologism 总被引:1,自引:0,他引:1
Gregory Wheeler 《Studia Logica》2008,88(1):137-156
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic
may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and
another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception
of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist
view is addressed, and a methodology is given. The pure invariantist view is contrasted with logical pluralism, and a methodology
for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference,
including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic
inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance. 相似文献
39.
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core
structure of the logic ADM
c
(Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy
is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle.
The results obtained are proven to be equivalent to a standard majority operator for bases with partial support. 相似文献
40.
The logic BKc1 is the basic constructive logic in the ternaryrelational semantics (without a set of designated points) adequateto consistency understood as the absence of the negation ofany theorem. Negation is introduced in BKc1 with a negationconnective. The aim of this paper is to define the logic BKc1F.In this logic negation is introduced via a propositional falsityconstant. We prove that BKc1 and BKc1F are definitionally equivalent. 相似文献