A.N. Poddyakov, V.V. Dolgorukov, A.S. Bobrova are going to give a joint talk on the topic of "Normative and Descriptive Models of Reasoning-1: the Opinion of Solvers on the Causes of Erroneous and Correct Answers in Problems of Non-Transitivity of Superiority; Alternatives to Kripke Semantics and a Variety of Conditionals"
At 18:30, April 26, a meeting of the theoretical workshop "Formal Philosophy" will take place.
A.N. Poddyakov, V.V. Dolgorukov, A.S. Bobrova are going to give a joint talk on the topic of "Normative and Descriptive Models of Reasoning-1: the Opinion of Solvers on the Causes of Erroneous and Correct Answers in Problems of Non-Transitivity of Superiority; Alternatives to Kripke Semantics and a Variety of Conditionals"
Abstract
It is planned to discuss the intermediate results of the study of normative and descriptive models of reasoning conducted in the laboratory. The main result of the study will be reported by Prof. A.N. Poddyakov, who managed to develop a methodology and conduct a unique experiment. During the experiment participants (n=135) in addition to solving logical follow–up tasks in relation to situations of non-transitivity of superiority (A exceeds B, B exceeds C, C exceeds A), were given a task of reflection - about the causes of erroneous and correct solutions to these problems by other people. The situation of non-transitivity of superiority, presented in the problem with three teams of wrestlers defeating each other on the principle of "rock, scissors, paper", was considered possible by the overwhelming majority of participants. And the vast majority considered impossible the situation presented in another problem – about sets of pencils that vary in length, although it is also possible. The most common participants’ replies were about the causes of other people's mistakes in solving these problems: the problem about wrestlers is a problem about living, dynamic, interacting, and here a variety outcomes options are possible, unlike the problem of pencils – non-living, static, non-cooperative, where paradoxical outcomes are possible, For many people, the contradiction with some rules of mathematics and logic seems impossible.At the end of the workshop, an overview of the difficulties caused by the use of standard S. Kripke semantics for the analysis of a number of epistemic scenarios will be given and a method of alternative construction of epistemic logic will be proposed, which seeks to overcome these difficulties. Finally, the participants of the workshop will consider a simple task that demonstrates the complexity of systematization and unification of conditionals.Registration for the talk