Intellectual Humility and Incentivized Belief

2018 ◽  
Vol 46 (4) ◽  
pp. 268-278
Author(s):  
Kent Dunnington
Keyword(s):  
Higher Order ◽  
Test Case ◽  
Religious Institutions ◽  
Intellectual Humility ◽  
Broad Agreement ◽  
Social Rewards ◽  
Epistemic Attitudes ◽  
Doxastic Attitudes

Despite disagreement about what is fundamental or necessary to intellectual humility, there is broad agreement that intellectual humility will bear on the higher-order epistemic attitudes one takes towards one’s beliefs (and other doxastic attitudes). Intellectually humble people tend not to under- or overstate the epistemic strength of their doxastic attitudes. This article shows how incentivized beliefs—beliefs that are held partly for pragmatic reasons—present a test case for intellectual humility. Intellectually humble persons will adopt ambivalent higher-order epistemic attitudes towards their incentivized beliefs. This is important for institutions that incentivize belief with material or social rewards, such as religious institutions that require orthodoxy for membership. The article argues that such institutions cannot simultaneously incentivize orthodox belief and enjoin conviction about such beliefs, unless they are willing to reject intellectual humility as a virtue.

scholarly journals HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITY

Episteme ◽  
2012 ◽  
Vol 9 (3) ◽  
pp. 205-223 ◽  
Author(s):  
Allan Hazlett
Keyword(s):  
Higher Order ◽  
Epistemic Status ◽  
Doxastic Attitude ◽  
Epistemology Of Disagreement ◽  
Intellectual Humility ◽  
Alternative Approach ◽  
Epistemic Attitudes ◽  
Doxastic Attitudes ◽  
Necessary Connections ◽  
Proper Response

AbstractThis paper concerns would-be necessary connections between doxastic attitudes about the epistemic statuses of your doxastic attitudes, or ‘higher-order epistemic attitudes’, and the epistemic statuses of those doxastic attitudes. I will argue that, in some situations, it can be reasonable for a person to believe p and to suspend judgment about whether believing p is reasonable for her. This will set the stage for an account of the virtue of intellectual humility, on which humility is a matter of your higher-order epistemic attitudes. Recent discussions in the epistemology of disagreement have assumed that the question of the proper response to disagreement about p concerns whether you ought to change your doxastic attitude towards p. My conclusion here suggests an alternative approach, on which the question of the proper response to disagreement about p concerns the proper doxastic attitude to adopt concerning the epistemic status of your doxastic attitude towards p.

scholarly journals Higher order symbolic execution for contract verification and refutation

2016 ◽  
Vol 27 ◽  
Author(s):  
PHÚC C. NGUYÊN ◽  
SAM TOBIN-HOCHSTADT ◽  
DAVID VAN HORN
Keyword(s):  
Symbolic Execution ◽  
Type Systems ◽  
Higher Order ◽  
Control Flow ◽  
Test Case ◽  
Modular Verification ◽  
Automated Test Case Generation ◽  
Behavioral Contracts ◽  
Virtuous Cycle ◽  
And Control

AbstractWe present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. To validate our approach, we use it to develop and evaluate a system for verifying and refuting behavioral software contracts of components in a functional language, which we call soft contract verification. In doing so, we discover a mutually beneficial relation between behavioral contracts and higher-order symbolic execution. Contracts aid symbolic execution by providing a rich language of specifications serving as a basis of symbolic higher-order values; the theory of blame enables modular verification and leads to the theorem that verified components can't be blamed; and the run-time monitoring of contracts enables soft verification whereby verified and unverified components can safely interact. Conversely, symbolic execution aids contracts by providing compile-time verification and automated test case generation from counter-examples to verification. This relation between symbolic exuection and contracts engenders a virtuous cycle encouraging the gradual use of contracts.Our approach is able to analyze first-class contracts, recursive data structures, unknown functions, and control-flow-sensitive refinements of values, which are all idiomatic in dynamic languages. It makes effective use of off-the-shelf solvers to decide problems without heavy encodings. Counterexample search is sound and relatively complete with respect to a first-order solver for base type values and counter-examples are reported as concrete values, including functions. Therefore, it can form the basis of automated verification and bug-finding tools for higher-order programs. The approach is competitive with a range of existing tools—including type systems, flow analyzers, and model checkers—on their own benchmarks. We have built a prototype to analyze programs written in Racket and report on its effectiveness in verifying and refuting contracts.

Nested Games: The Cohesion of French Electoral Coalitions

1988 ◽  
Vol 18 (2) ◽  
pp. 145-170 ◽  
Author(s):  
George Tsebelis
Keyword(s):  
Relative Size ◽  
Higher Order ◽  
Class Conflict ◽  
Test Case ◽  
Empirical Results ◽  
Electoral Coalitions ◽  
The Way

This article introduces a theory of Nested Games which accounts for the cohesion of coalitions. The parties in a coalition are considered to be playing a game with variable payoffs. The payoffs depend on a higher-order game between the coalition and its opponents. Several political situations approximate to this conceptualization, such as Government and Opposition coalitions, factions inside parties, international coalitions, class conflict. The theory of Nested Games predicts the cohesion of coalitions as a function of the relative size of both the coalitions and the partners within each coalition.The test case of the theory is the cohesion of French electoral coalitions in 1978. Empirical results corroborate the theory. All parties behave according to its predictions. Moreover, a difference in the way parties behave, according to whether the game is visible (by the electorate) or invisible, is discovered and explained.

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.

Quantitative EPMA of nitrogen : A tricky element in the electron-probe microanalyzer

1992 ◽  
Vol 50 (2) ◽  
pp. 1622-1623
Author(s):  
G.F. Bastin ◽  
H.J.M. Heijligers
Keyword(s):  
Background Subtraction ◽  
Electron Probe ◽  
Detection System ◽  
Higher Order ◽  
Light Elements ◽  
Strong Suppression ◽  
Electron Probe Microanalyzer ◽  
Quantitative Epma ◽  
Peak Count ◽  
Lead Stearate

Among the ultra-light elements B, C, N, and O nitrogen is the most difficult element to deal with in the electron probe microanalyzer. This is mainly caused by the severe absorption that N-Kα radiation suffers in carbon which is abundantly present in the detection system (lead-stearate crystal, carbonaceous counter window). As a result the peak-to-background ratios for N-Kα measured with a conventional lead-stearate crystal can attain values well below unity in many binary nitrides . An additional complication can be caused by the presence of interfering higher-order reflections from the metal partner in the nitride specimen; notorious examples are elements such as Zr and Nb. In nitrides containing these elements is is virtually impossible to carry out an accurate background subtraction which becomes increasingly important with lower and lower peak-to-background ratios. The use of a synthetic multilayer crystal such as W/Si (2d-spacing 59.8 Å) can bring significant improvements in terms of both higher peak count rates as well as a strong suppression of higher-order reflections.

Effects of Higher-Order Laue Zone reflections on structure images

1993 ◽  
Vol 51 ◽  
pp. 450-451
Author(s):  
H. S. Kim ◽  
S. S. Sheinin
Keyword(s):  
Wave Vector ◽  
Theoretical Calculations ◽  
Reciprocal Lattice ◽  
Image Plane ◽  
Bloch Wave ◽  
Dynamical Theory ◽  
Higher Order ◽  
Lattice Image ◽  
Lattice Vector ◽  
Image Position

The importance of image simulation in interpreting experimental lattice images is well established. Normally, in carrying out the required theoretical calculations, only zero order Laue zone reflections are taken into account. In this paper we assess the conditions for which this procedure is valid and indicate circumstances in which higher order Laue zone reflections may be important. Our work is based on an analysis of the requirements for obtaining structure images i.e. images directly related to the projected potential. In the considerations to follow, the Bloch wave formulation of the dynamical theory has been used.The intensity in a lattice image can be obtained from the total wave function at the image plane is given by: where ϕg(z) is the diffracted beam amplitide given by In these equations,the z direction is perpendicular to the entrance surface, g is a reciprocal lattice vector, the Cg(i) are Fourier coefficients in the expression for a Bloch wave, b(i), X(i) is the Bloch wave excitation coefficient, ϒ(i)=k(i)-K, k(i) is a Bloch wave vector, K is the electron wave vector after correction for the mean inner potential of the crystal, T(q) and D(q) are the transfer function and damping function respectively, q is a scattering vector and the summation is over i=l,N where N is the number of beams taken into account.

Models of higher order structure—foldamers and beyond

2001 ◽  
Vol 0 (0) ◽  
pp. 0
Author(s):  
M Cubberley
Keyword(s):  
Higher Order

Higher Order Logic and Hardware Verification

1993 ◽  
Author(s):  
T. F. Melham
Keyword(s):  
Higher Order ◽  
Order Logic ◽  
Hardware Verification ◽  
Higher Order Logic

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.

Sign in / Sign up

Export Citation Format

Share Document