An explanatory framework for human theorem proving

2005 ◽  
pp. 55-66 ◽  
Author(s):  
Xiaorong Huang
Keyword(s):  
Theorem Proving ◽  
Explanatory Framework

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

1982 ◽  
Vol 2 (4) ◽  
pp. 459-464
Author(s):  
Xianchang Zeng
Keyword(s):  
Theorem Proving

Distinguishing The Cognitive Processes Of Mindfulness: Developing A Standardised Mindfulness Technique For Use In Longitudinal Randomised Control Trials

2019 ◽  
Author(s):  
Ben Isbel ◽  
Mathew J Summers
Keyword(s):  
Cognitive Processes ◽  
Mindfulness Training ◽  
Mindfulness Practice ◽  
Explanatory Framework ◽  
Cognitive Faculty ◽  
Metacognitive Processes ◽  
Capacity Model ◽  
Developmental Progression ◽  
Open Monitoring ◽  
Randomised Control Trials

A capacity model of mindfulness is adopted to differentiate the cognitive faculty of mindfulness from the metacognitive processes required to cultivate this faculty in mindfulness training. The model provides an explanatory framework incorporating both the developmental progression from focussed attention to open monitoring styles of mindfulness practice, along with the development of equanimity and insight. A standardised technique for activating these processes without the addition of secondary components is then introduced. Mindfulness-based interventions currently available for use in randomised control trials introduce components ancillary to the cognitive processes of mindfulness, limiting their ability to draw clear causative inferences. The standardised technique presented here does not introduce such ancillary factors, rendering it a valuable tool with which to investigate the processes activated in this practice.

Modal Theorem Proving,

1986 ◽  
Author(s):  
Martin Abadi ◽  
Zohar Manna
Keyword(s):  
Theorem Proving

Toward a Nonidealist Evolutionary Synthesis

2017 ◽  
Author(s):  
Stuart A. Newman
Keyword(s):  
Evolutionary Theory ◽  
Raw Material ◽  
Evolutionary Synthesis ◽  
Living Systems ◽  
Evolution Of Development ◽  
Search Process ◽  
Physical Processes ◽  
Explanatory Framework ◽  
Material Systems ◽  
Modern Physics

The received model of evolution sees all inherited features resulting from deterministic networks of interacting genes, implying that living systems are reducible to information in genetic programs. The model requires these programs and their associated phenotypes to have evolved by an isotropic search process occurring in gradual steps with no preferred morphological outcomes. The alternative is to recognize that clusters and aggregates of cells, the raw material of evolution, constitute middle-scale material systems. This implies the necessity of bringing the modern physics of mesoscale matter into the explanatory framework for the evolution of development. The relevant, often nonlinear, physical processes were mobilized at the inception of the phyla when their signature morphological outcomes first appeared and remain as efficient causes, albeit transformed, in present-day embryos. This physicogenetic perspective reengages with concepts of saltation, orthogenesis, and environment-induced plasticity long excluded from evolutionary theory.

The 10th IJCAR automated theorem proving system competition – CASC-J10

2021 ◽  
pp. 1-15
Author(s):  
Geoff Sutcliffe
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Automated Theorem Proving ◽  
Fully Automatic

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs

1993 ◽  
Vol 19 (3-4) ◽  
pp. 275-301
Author(s):  
Andrzej Biela
Keyword(s):  
Theorem Proving ◽  
Dynamic Process ◽  
Functional Equations ◽  
Automated Theorem Proving ◽  
Retrieval System ◽  
Formal System ◽  
Dynamic Algorithm ◽  
Algorithmic Logic ◽  
Correctness Of Programs

In this paper we shall introduce a formal system of algorithmic logic which enables us to formulate some problems connected with a retrieval system which provides a comprehensive tool in automated theorem proving of theorems consisting of programs, procedures and functions. The procedures and functions may occur in considered theorems while the program of the above mentioned system is being executed. We can get an answer whether some relations defined by programs hold and we can prove functional equations in a dynamic way by looking for a special set of axioms /assumptions/ during the execution of system. We formulate RS-algorithm which enables us to construct the set of axioms for proving some properties of functions and relations defined by programs. By RS-algorithm we get the dynamic process of proving functional equations and we can answer the question whether some relations defined by programs hold. It enables us to solve some problems concerning the correctness of programs. This system can be used for giving an expert appraisement. We shall provide the major structures and a sketch of an implementation of the above formal system.

scholarly journals Postcolonial theory and Canada’s health care professions: bridging the gap

2021 ◽  
Author(s):  
Stephen Wilmot
Keyword(s):  
Health Care ◽  
Indigenous People ◽  
Indigenous Peoples ◽  
Postcolonial Theory ◽  
Professional Knowledge ◽  
Healthcare Personnel ◽  
Positive Outcomes ◽  
Training Context ◽  
Explanatory Framework ◽  
Health Care Professions

AbstractIn recent years there have been several calls in professional and academic journals for healthcare personnel in Canada to raise the profile of postcolonial theory as a theoretical and explanatory framework for their practice with Indigenous people. In this paper I explore some of the challenges that are likely to confront those healthcare personnel in engaging with postcolonial theory in a training context. I consider these challenges in relation to three areas of conflict. First I consider conflicts around paradigms of knowledge, wherein postcolonial theory operates from a different base from most professional knowledge in health care. Second I consider conflicts of ideology, wherein postcolonial theory is largely at odds with Canada’s political and popular cultures. And finally I consider issues around the question of Canada’s legitimacy, which postcolonial theory puts in doubt. I suggest ways in which these conflicts might be addressed and managed in the training context, and also identify potential positive outcomes that would be enabling for healthcare personnel, and might also contribute to an improvement in Canada’s relationship with its indigenous peoples.

Sign in / Sign up

Export Citation Format

Share Document