Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

scholarly journals Thinking in and about time: A dual systems perspective on temporal cognition

2018 ◽  
Vol 42 ◽  
Author(s):  
Christoph Hoerl ◽  
Teresa McCormack
Keyword(s):  
Intertemporal Choice ◽  
Developmental Psychology ◽  
Systems Approach ◽  
Temporal Reasoning ◽  
Human Cognition ◽  
Dual Systems ◽  
Temporal Cognition ◽  
Adult Human ◽  
Reasoning System ◽  
Two Systems

Abstract We outline a dual systems approach to temporal cognition, which distinguishes between two cognitive systems for dealing with how things unfold over time – a temporal updating system and a temporal reasoning system – of which the former is both phylogenetically and ontogenetically more primitive than the latter, and which are at work alongside each other in adult human cognition. We describe the main features of each of the two systems, the types of behavior the more primitive temporal updating system can support, and the respects in which it is more limited than the temporal reasoning system. We then use the distinction between the two systems to interpret findings in comparative and developmental psychology, arguing that animals operate only with a temporal updating system and that children start out doing so too, before gradually becoming capable of thinking and reasoning about time. After this, we turn to adult human cognition and suggest that our account can also shed light on a specific feature of humans’ everyday thinking about time that has been the subject of debate in the philosophy of time, which consists in a tendency to think about the nature of time itself in a way that appears ultimately self-contradictory. We conclude by considering the topic of intertemporal choice, and argue that drawing the distinction between temporal updating and temporal reasoning is also useful in the context of characterizing two distinct mechanisms for delaying gratification.

scholarly journals Experiments with ZF Set Theory in HOL and Isabelle

1995 ◽  
Vol 2 (37) ◽  
Author(s):  
Sten Agerholm ◽  
Mike Gordon
Keyword(s):  
Set Theory ◽  
Lambda Calculus ◽  
General Purpose ◽  
Higher Order ◽  
Proof Assistants ◽  
Higher Order Logic ◽  
First Order ◽  
Advantages And Disadvantages ◽  
Theory Versus

Most general purpose proof assistants support versions of<br />typed higher order logic. Experience has shown that these logics are capable<br />of representing most of the mathematical models needed in Computer<br />Science. However, perhaps there exist applications where ZF-style<br />set theory is more natural, or even necessary. Examples may include<br />Scott's classical inverse-limit construction of a model of the untyped lambda-calculus<br /> (D_inf) and the semantics of parts of the Z specification notation.<br /><br />This paper compares the representation and use of ZF set theory within<br />both HOL and Isabelle. The main case study is the construction of D_inf.<br />The advantages and disadvantages of higher-order set theory versus first-order<br />set theory are explored experimentally. This study also provides a<br />comparison of the proof infrastructure of HOL and Isabelle.

Challenging the Multidimensional Conception of Perceived Person-Environment Fit

2020 ◽  
pp. 1-9
Author(s):  
Julian M. Etzel ◽  
Gabriel Nagy
Keyword(s):  
Higher Education ◽  
University Students ◽  
Educational Outcomes ◽  
Factor Model ◽  
Higher Order ◽  
Substantial Proportion ◽  
Unique Variance ◽  
First Order ◽  
Person Environment Fit ◽  
Order Factor

Abstract. In the current study, we examined the viability of a multidimensional conception of perceived person-environment (P-E) fit in higher education. We introduce an optimized 12-item measure that distinguishes between four content dimensions of perceived P-E fit: interest-contents (I-C) fit, needs-supplies (N-S) fit, demands-abilities (D-A) fit, and values-culture (V-C) fit. The central aim of our study was to examine whether the relationships between different P-E fit dimensions and educational outcomes can be accounted for by a higher-order factor that captures the shared features of the four fit dimensions. Relying on a large sample of university students in Germany, we found that students distinguish between the proposed fit dimensions. The respective first-order factors shared a substantial proportion of variance and conformed to a higher-order factor model. Using a newly developed factor extension procedure, we found that the relationships between the first-order factors and most outcomes were not fully accounted for by the higher-order factor. Rather, with the exception of V-C fit, all specific P-E fit factors that represent the first-order factors’ unique variance showed reliable and theoretically plausible relationships with different outcomes. These findings support the viability of a multidimensional conceptualization of P-E fit and the validity of our adapted instrument.

Computational Models for Multilayered Composite Shells with Application to Tires

1996 ◽  
Vol 24 (1) ◽  
pp. 11-38 ◽  
Author(s):  
G. M. Kulikov
Keyword(s):  
Type Theory ◽  
Computational Models ◽  
Geometrical Nonlinearity ◽  
Higher Order ◽  
Stress Strain ◽  
Strain Fields ◽  
First Order ◽  
Timoshenko Type ◽  
Joint Influence ◽  
Discrete Layer

Abstract This paper focuses on four tire computational models based on two-dimensional shear deformation theories, namely, the first-order Timoshenko-type theory, the higher-order Timoshenko-type theory, the first-order discrete-layer theory, and the higher-order discrete-layer theory. The joint influence of anisotropy, geometrical nonlinearity, and laminated material response on the tire stress-strain fields is examined. The comparative analysis of stresses and strains of the cord-rubber tire on the basis of these four shell computational models is given. Results show that neglecting the effect of anisotropy leads to an incorrect description of the stress-strain fields even in bias-ply tires.

Partial Higher-Order Specifications1

1992 ◽  
Vol 16 (2) ◽  
pp. 101-126
Author(s):  
Egidio Astesiano ◽  
Maura Cerioli
Keyword(s):  
Sufficient Conditions ◽  
Higher Order ◽  
Necessary And Sufficient Conditions ◽  
Important Case ◽  
Deduction System ◽  
Closure Properties ◽  
Inference System ◽  
Conditional Specification ◽  
Necessary And Sufficient

In this paper the classes of extensional models of higher-order partial conditional specifications are studied, with the emphasis on the closure properties of these classes. Further it is shown that any equationally complete inference system for partial conditional specifications may be extended to an inference system for partial higher-order conditional specifications, which is equationally complete w.r.t. the class of all extensional models. Then, applying some previous results, a deduction system is proposed, equationally complete for the class of extensional models of a partial conditional specification. Finally, turning the attention to the special important case of termextensional models, it is first shown a sound and equationally complete inference system and then necessary and sufficient conditions are given for the existence of free models, which are also free in the class of term-generated extensional models.

scholarly journals Nucleation is more than critical: A case study of the electroweak phase transition in the NMSSM

2021 ◽  
Vol 2021 (3) ◽  
Author(s):  
Sebastian Baum ◽  
Marcela Carena ◽  
Nausheen R. Shah ◽  
Carlos E. M. Wagner ◽  
Yikun Wang
Keyword(s):  
Phase Transition ◽  
Parameter Space ◽  
Local Minima ◽  
Critical Temperatures ◽  
Electroweak Phase Transition ◽  
First Order ◽  
Vacuum Structure ◽  
The Universe ◽  
Scalar Sector

Abstract Electroweak baryogenesis is an attractive mechanism to generate the baryon asymmetry of the Universe via a strong first order electroweak phase transition. We compare the phase transition patterns suggested by the vacuum structure at the critical temperatures, at which local minima are degenerate, with those obtained from computing the probability for nucleation via tunneling through the barrier separating local minima. Heuristically, nucleation becomes difficult if the barrier between the local minima is too high, or if the distance (in field space) between the minima is too large. As an example of a model exhibiting such behavior, we study the Next-to-Minimal Supersymmetric Standard Model, whose scalar sector contains two SU(2) doublets and one gauge singlet. We find that the calculation of the nucleation probabilities prefers different regions of parameter space for a strong first order electroweak phase transition than the calculation based solely on the critical temperatures. Our results demonstrate that analyzing only the vacuum structure via the critical temperatures can provide a misleading picture of the phase transition patterns, and, in turn, of the parameter space suitable for electroweak baryogenesis.

scholarly journals Simpson type inequalities and applications

2021 ◽  
Author(s):  
Muhammad Uzair Awan ◽  
Muhammad Zakria Javed ◽  
Michael Th. Rassias ◽  
Muhammad Aslam Noor ◽  
Khalida Inayat Noor
Keyword(s):  
Quadrature Formula ◽  
Convex Functions ◽  
Integral Identity ◽  
Higher Order ◽  
Auxiliary Result ◽  
First Order ◽  
New Class ◽  
Differentiable Functions

AbstractA new generalized integral identity involving first order differentiable functions is obtained. Using this identity as an auxiliary result, we then obtain some new refinements of Simpson type inequalities using a new class called as strongly (s, m)-convex functions of higher order of $$\sigma >0$$ σ > 0 . We also discuss some interesting applications of the obtained results in the theory of means. In last we present applications of the obtained results in obtaining Simpson-like quadrature formula.

Sign in / Sign up

Export Citation Format

Share Document