LOGICAL REASONING ANALYSIS BASED ON HIPPOCRATES PERSONALITY TYPES
نویسندگان
چکیده
منابع مشابه
Church’s Types in Logical Reasoning on Programming
In our paper [1] we have introduced the basic concepts and facts for scientific problem solving by help of mathematical machines, i.e. by logical reasoning about programming of these machines. These fundamental concepts were: category, cartesian closed category, diagram and limit, topos and elementary topos, but the most important was the concept of basic types. Basic types actually form the st...
متن کاملPartition-Based Logical Reasoning
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple knowledge bases that have overlap in content. Second, and more fundamentally, we are concerned with how to exploit structure inherent in a set of logical axioms to induce a partitioning of the axioms that will lead to...
متن کاملPersonality-Based Practical Reasoning
In virtual training scenarios, agent technology can be used to build a virtual tutor that assists a student during training. In a dialogue using argumentation schemes, the virtual tutor provides reasons to the students to explain why a particular action is the most sensible. The tutor determines the best action using practical reasoning. The justification of this action is selected based on the...
متن کاملEvolutionary considerations on logical reasoning
The logicians . . . are too much caught up in psychology . . . Logic is in no way a part of psychology. The Pythagorean theorem expresses the same thought for all men, while each person has its own representations, feelings and resolutions that are different from those of every other person. Thoughts are not psychic structures, and thinking is not an inner producing and forming, but an apprehen...
متن کاملLinear Logical Reasoning on Programming
In our paper we follow the development of our approach of regarding programming as logical reasoning in intuitionistic linear logic. We present basic notions of linear logic and its deduction system and we define categorical semantics of linear logic as a symmetric monoidal closed category. Then we construct linear type theory over linear Church’s types involving linear calculus with equational...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Aksioma
سال: 2020
ISSN: 2745-9241
DOI: 10.22487/aksioma.v9i2.219