The goal of this study was to determine if high school students learning computer programming would demonstrate improved reasoning skills. To test this, sixty 11 and 12 grade students were sampled from a high school population and half of these students were treated with one semester (75 hours) of computer programming instruction while the other half was not. After treatment, both groups were g...

Although the basis for deductive reasoning has been a traditional focus of philosophical discussion, the neural correlates and mechanisms that underlie deductive reasoning have only recently become the focus of scientific investigation. In syllogistic deductive reasoning information presented in two related sequential premises leads to a subsequent conclusion. While previous imaging studies hav...

In this paper we discuss how computers can be deployed to support teaching deductive reasoning at university level. These considerations led to the development of the interactive theorem proving assistant and learning environment WinKE. We start out by describing common difficulties in teaching logic and deductive reasoning and thereby justify the need for computer support in that field. We ide...

Deductive reasoning which includes generalizing, justifying, exemplifying, comparing, and classifying is the main feature of studying mathematics. This study aims to describe qualitatively deductive second-semester mathematics teacher candidates in number theory. Mathematics who have equal mathematical abilities are same sex, namely women as research subjects. The results showed that two subjec...

It is 4pm and I hear the school bus pull up to the house. Soon there is the taunting of a 13-year-old boy followed by the exaggerated screams of an 8-year-old girl. My kids are home from school. Exasperated, I say to my son, " If you want dinner tonight, you better stop tormenting your sister. " Given he doesn't want to go to bed hungry, he needs to draw the correct logical inference. Sure enou...

Three studies are reported, which examined individual differences in deductive reasoning as a function of intellectual ability and thinking style. Intellectual ability was a good predictor of logical performance on syllogisms, especially where there was a conflict between logic and believability. However, in the first two experiments there was no link between ability and performance on indicati...