X.R.S: Explicit reduction systems — A first-order calculus for higher-order calculi

1998 ◽  
pp. 72-87 ◽  
Author(s):  
Bruno Pagano
Keyword(s):  
Higher Order ◽  
First Order

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.

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.

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.

scholarly journals Reputations for Resolve and Higher-Order Beliefs in Crisis Bargaining

2021 ◽  
pp. 002200272199554
Author(s):  
Allan Dafoe ◽  
Remco Zwetsloot ◽  
Matthew Cebul
Keyword(s):  
Belief Change ◽  
Higher Order ◽  
Future Research ◽  
Order Effects ◽  
Survey Experiment ◽  
Experimental Setting ◽  
Crisis Bargaining ◽  
First Order ◽  
Qualitative Evidence ◽  
Higher Order Effects

Reputations for resolve are said to be one of the few things worth fighting for, yet they remain inadequately understood. Discussions of reputation focus almost exclusively on first-order belief change— A stands firm, B updates its beliefs about A’s resolve. Such first-order reputational effects are important, but they are not the whole story. Higher-order beliefs—what A believes about B’s beliefs, and so on—matter a great deal as well. When A comes to believe that B is more resolved, this may decrease A’s resolve, and this in turn may increase B’s resolve, and so on. In other words, resolve is interdependent. We offer a framework for estimating higher-order effects, and find evidence of such reasoning in a survey experiment on quasi-elites. Our findings indicate both that states and leaders can develop potent reputations for resolve, and that higher-order beliefs are often responsible for a large proportion of these effects (40 percent to 70 percent in our experimental setting). We conclude by complementing the survey with qualitative evidence and laying the groundwork for future research.

Properties of Classes of Random Graphs

1994 ◽  
Vol 3 (4) ◽  
pp. 435-454 ◽  
Author(s):  
Neal Brand ◽  
Steve Jackson
Keyword(s):  
Random Graphs ◽  
Higher Order ◽  
Order Property ◽  
First Order ◽  
New Class ◽  
Vertex Transitive ◽  
Vertex Transitive Graphs ◽  
Almost All ◽  
Transitive Graphs

In [11] it is shown that the theory of almost all graphs is first-order complete. Furthermore, in [3] a collection of first-order axioms are given from which any first-order property or its negation can be deduced. Here we show that almost all Steinhaus graphs satisfy the axioms of almost all graphs and conclude that a first-order property is true for almost all graphs if and only if it is true for almost all Steinhaus graphs. We also show that certain classes of subgraphs of vertex transitive graphs are first-order complete. Finally, we give a new class of higher-order axioms from which it follows that large subgraphs of specified type exist in almost all graphs.

scholarly journals Higher-Order Illative Combinatory Logic

2013 ◽  
Vol 78 (3) ◽  
pp. 837-872 ◽  
Author(s):  
Łukasz Czajka
Keyword(s):  
Strong Consistency ◽  
Predicate Logic ◽  
Higher Order ◽  
Second Order ◽  
Model Construction ◽  
Partial Answer ◽  
Combinatory Logic ◽  
First Order ◽  
Propositional Quantifiers

AbstractWe show a model construction for a system of higher-order illative combinatory logic thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.

First order connections of the visual sector of the thalamic reticular nucleus in marmoset monkeys (Callithrix jacchus)

2007 ◽  
Vol 24 (6) ◽  
pp. 857-874 ◽  
Author(s):  
THOMAS FITZGIBBON ◽  
BRETT A. SZMAJDA ◽  
PAUL R. MARTIN
Keyword(s):  
Visual Field ◽  
Callithrix Jacchus ◽  
Higher Order ◽  
Dorsal Lateral Geniculate Nucleus ◽  
Thalamic Reticular Nucleus ◽  
Reticular Nucleus ◽  
Lower Visual Field ◽  
First Order ◽  
Cortical Areas ◽  
Visual Areas

The thalamic reticular nucleus (TRN) supplies an important inhibitory input to the dorsal thalamus. Previous studies in non-primate mammals have suggested that the visual sector of the TRN has a lateral division, which has connections with first-order (primary) sensory thalamic and cortical areas, and a medial division, which has connections with higher-order (association) thalamic and cortical areas. However, the question whether the primate TRN is segregated in the same manner is controversial. Here, we investigated the connections of the TRN in a New World primate, the marmoset (Callithrix jacchus). The topography of labeled cells and terminals was analyzed following iontophoretic injections of tracers into the primary visual cortex (V1) or the dorsal lateral geniculate nucleus (LGNd). The results show that rostroventral TRN, adjacent to the LGNd, is primarily connected with primary visual areas, while the most caudal parts of the TRN are associated with higher order visual thalamic areas. A small region of the TRN near the caudal pole of the LGNd (foveal representation) contains connections where first (lateral TRN) and higher order visual areas (medial TRN) overlap. Reciprocal connections between LGNd and TRN are topographically organized, so that a series of rostrocaudal injections within the LGNd labeled cells and terminals in the TRN in a pattern shaped like rostrocaudal overlapping “fish scales.” We propose that the dorsal areas of the TRN, adjacent to the top of the LGNd, represent the lower visual field (connected with medial LGNd), and the more ventral parts of the TRN contain a map representing the upper visual field (connected with lateral LGNd).

Sign in / Sign up

Export Citation Format

Share Document