Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Assessing university students' prior knowledge

The aim of this dissertation was to explore how different types of prior knowledge influence student achievement and how different assessment methods influence the observed effect of prior knowledge. The project started by creating a model of prior knowledge which was tested in various science disciplines. Study I explored the contribution of different components of prior knowledge on student achievement in two different mathematics courses. The results showed that the procedural knowledge components which require higher-order cognitive skills predicted the final grades best and were also highly related to previous study success. The same pattern regarding the influence of prior knowledge was also seen in Study III which was a longitudinal study of the accumulation of prior knowledge in the context of pharmacy. The study analysed how prior knowledge from previous courses was related to student achievement in the target course. The results implied that students who possessed higher-level prior knowledge, that is, procedural knowledge, from previous courses also obtained higher grades in the more advanced target course. Study IV explored the impact of different types of prior knowledge on students’ readiness to drop out from the course, on the pace of completing the course and on the final grade. The study was conducted in the context of chemistry. The results revealed again that students who performed well in the procedural prior-knowledge tasks were also likely to complete the course in pre-scheduled time and get higher final grades. On the other hand, students whose performance was weak in the procedural prior-knowledge tasks were more likely to drop out or take a longer time to complete the course. Study II explored the issue of prior knowledge from another perspective. Study II aimed to analyse the interrelations between academic self-beliefs, prior knowledge and student achievement in the context of mathematics. The results revealed that prior knowledge was more predictive of student achievement than were other variables included in the study. Self-beliefs were also strongly related to student achievement, but the predictive power of prior knowledge overruled the influence of self-beliefs when they were included in the same model. There was also a strong correlation between academic self-beliefs and prior-knowledge performance. The results of all the four studies were consistent with each other indicating that the model of prior knowledge may be used as a potential tool for prior knowledge assessment. It is useful to make a distinction between different types of prior knowledge in assessment since the type of prior knowledge students possess appears to make a difference. The results implied that there indeed is variation between students’ prior knowledge and academic self-beliefs which influences student achievement. This should be taken into account in instruction.

Idealähtöistä koulualgebraa : IDEAA-opetusmallin kehittäminen algebran opetukseen peruskoulun 7. luokalla

This research is based on the problems in secondary school algebra I have noticed in my own work as a teacher of mathematics. Algebra does not touch the pupil, it remains knowledge that is not used or tested. Furthermore the performance level in algebra is quite low. This study presents a model for 7th grade algebra instruction in order to make algebra more natural and useful to students. I refer to the instruction model as the Idea-based Algebra (IDEAA). The basic ideas of this IDEAA model are 1) to combine children's own informal mathematics with scientific mathematics ("math math") and 2) to structure algebra content as a "map of big ideas", not as a traditional sequence of powers, polynomials, equations, and word problems. This research project is a kind of design process or design research. As such, this project has three, intertwined goals: research, design and pedagogical practice. I also assume three roles. As a researcher, I want to learn about learning and school algebra, its problems and possibilities. As a designer, I use research in the intervention to develop a shared artefact, the instruction model. In addition, I want to improve the practice through intervention and research. A design research like this is quite challenging. Its goals and means are intertwined and change in the research process. Theory emerges from the inquiry; it is not given a priori. The aim to improve instruction is normative, as one should take into account what "good" means in school algebra. An important part of my study is to work out these paradigmatic questions. The result of the study is threefold. The main result is the instruction model designed in the study. The second result is the theory that is developed of the teaching, learning and algebra. The third result is knowledge of the design process. The instruction model (IDEAA) is connected to four main features of good algebra education: 1) the situationality of learning, 2) learning as knowledge building, in which natural language and intuitive thinking work as "intermediaries", 3) the emergence and diversity of algebra, and 4) the development of high performance skills at any stage of instruction.

Becoming a teacher: emerging teacher identity in mathematics teacher education

This research examines three aspects of becoming a teacher, teacher identity formation in mathematics teacher education: the cognitive and affective aspect, the image of an ideal teacher directing the developmental process, and as an on-going process. The formation of emerging teacher identity was approached in a social psychological framework, in which individual development takes place in social interaction with the context through various experiences. Formation of teacher identity is seen as a dynamic, on-going developmental process, in which an individual intentionally aspires after the ideal image of being a teacher by developing his/her own competence as a teacher. The starting-point was that it is possible to examine formation of teacher identity through conceptualisation of observations that the individual and others have about teacher identity in different situations. The research uses the qualitative case study approach to formation of emerging teacher identity, the individual developmental process and the socially constructed image of an ideal mathematics teacher. Two student cases, John and Mary, and the collective case of teacher educators representing socially shared views of becoming and being a mathematics teacher are presented. The development of each student was examined based on three semi-structured interviews supplemented with written products. The data-gathering took place during the 2005 2006 academic year. The collective case about the ideal image provided during the programme was composed of separate case displays of each teacher educator, which were mainly based on semi-structured interviews in spring term 2006. The intentions and aims set for students were of special interest in the interviews with teacher educators. The interview data was analysed following the modified idea of analytic induction. The formation of teacher identity is elaborated through three themes emerging from theoretical considerations and the cases. First, the profile of one s present state as a teacher may be scrutinised through separate affective and cognitive aspects associated with the teaching profession. The differences between individuals arise through dif-ferent emphasis on these aspects. Similarly, the socially constructed image of an ideal teacher may be profiled through a combination of aspects associated with the teaching profession. Second, the ideal image directing the individual developmental process is the level at which individual and social processes meet. Third, formation of teacher identity is about becoming a teacher both in the eyes of the individual self as well as of others in the context. It is a challenge in academic mathematics teacher education to support the various cognitive and affective aspects associated with being a teacher in a way that being a professional and further development could have a coherent starting-point that an individual can internalise.

Visuaalis-spatiaalisten työmuistivalmiuksien yhteys (esi)matemaattisiin taitoihin ja merkitys osana matemaattisilta taidoiltaan heikkojen lasten ja nuorten kognitiivista profiilia

Tämän itsenäisistä osatutkimuksista koostuvan tutkimussarjan tavoitteena oli pyrkiä täydentämään kuvaa matemaattisilta taidoiltaan heikkojen lasten ja nuorten tiedonkäsittelyvalmiuksista selvittämällä, ovatko visuaalis-spatiaaliset työmuistivalmiudet yhteydessä matemaattiseen suoriutumiseen. Teoreettinen viitekehys rakentui Baddeleyn (1986, 1997) kolmikomponenttimallin ympärille. Työmuistikäsitys oli kuitenkin esikuvaansa laajempi sisällyttäen visuaalis-spatiaaliseen työmuistiin Cornoldin ja Vecchin (2003) termein sekä passiiviset varastotoiminnot että aktiiviset prosessointitoiminnot. Yhteyksiä työmuistin ja matemaattisten taitojen välillä tarkasteltiin viiden eri osatutkimuksen avulla. Kaksi ensimmäistä keskittyivät alle kouluikäisten lukukäsitteen hallinnan ja visuaalis-spatiaalisten työmuistivalmiuksen tutkimiseen ja kolme jälkimmäistä peruskoulun yhdeksäsluokkalaisten matemaattisten taitojen ja visuaalis-spatiaalisten työmuistitaitojen välisten yhteyksien selvittämiseen. Tutkimussarjan avulla pyrittiin selvittämään, ovatko visuaalis-spatiaaliset työmuistivalmiudet yhteydessä matemaattiseen suoriutumiseen sekä esi- että yläkouluiässä (osatutkimukset I, II, III, IV, V), onko yhteys spesifi rajoittuen tiettyjen visuaalis-spatiaalisten valmiuksien ja matemaattisen suoriutumisen välille vai onko se yleinen koskien matemaattisia taitoja ja koko visuaalis-spatiaalista työmuistia (osatutkimukset I, II, III, IV, V) tai työmuistia laajemmin (osatutkimukset II, III) sekä onko yhteys työmuistispesifi vai selitettävissä älykkyyden kaltaisella yleisellä päättelykapasiteetilla (osatutkimukset I, II, IV). Tutkimussarjan tulokset osoittavat, että kyky säilyttää ja käsitellä hetkellisesti visuaalis-spatiaalista informaatiota on yhteydessä matemaattiseen suoriutumiseen eikä yhteyttä voida selittää yksinomaan joustavalla älykkyydellä. Suoriutuminen visuaalis-spatiaalista työmuistia mittaavissa tehtävissä on yhteydessä sekä alle kouluikäisten esimatemaattisten taitojen hallintaan että peruskoulun yhdeksäsluokkalaisten matematiikan taitoihin. Matemaattisilta taidoiltaan heikkojen lasten ja nuorten visuaalis-spatiaalisten työmuistiresurssien heikkoudet vaikuttavat kuitenkin olevan sangen spesifejä rajoittuen tietyntyyppisissä muistitehtävissä vaadittaviin valmiuksiin; kaikissa visuaalis-spatiaalisen työmuistin valmiuksia mittaavissa tehtävissä suoriutuminen ei ole yhteydessä matemaattisiin taitoihin. Työmuistivalmiuksissa ilmenevät erot sekä alle kouluikäisten että kouluikäisten matemaattisilta taidoiltaan heikkojen ja normaalisuoriutujien välillä näyttävät olevan kuitenkin jossain määrin yhteydessä kielellisiin taitoihin viitaten vaikeuksien tietynlaiseen kasautumiseen; niillä matemaattisesti heikoilla, joilla on myös kielellisiä vaikeuksia, on keskimäärin laajemmat työmuistiheikkoudet. Osalla matematiikassa heikosti suoriutuvista on näin ollen selvästi keskimääräistä heikommat visuaalis-spatiaaliset työmuistivalmiudet, ja tämä heikkous saattaa olla yksi mahdollinen syy tai vaikeuksia lisäävä tekijä heikon matemaattisen suoriutumisen taustalla. Visuaalis-spatiaalisen työmuistin heikkous merkitsee konkreettisesti vähemmän mentaalista prosessointitilaa, joka rajoittaa oppimista ja suoritustilanteita. Tiedonkäsittelyvalmiuksien heikkous liittyy nimenomaan oppimisnopeuteen, ei asioiden opittavuuteen sinänsä. Mikäli oppimisympäristö ottaa huomioon valmiuksien rajallisuuden, työmuistiheikkoudet eivät todennäköisesti estä asioiden oppimista sinänsä. Avainsanat: Työmuisti, visuaalis-spatiaalinen työmuisti, matemaattiset taidot, lukukäsite, matematiikan oppimisvaikeudet

Aritmetiikasta algebraan : Muutoksia osaamisessa peruskoulun päättöluokalla 20 vuoden aikana

From Arithmetic to Algebra. Changes in the skills in comprehensive school over 20 years. In recent decades we have emphasized the understanding of calculation in mathematics teaching. Many studies have found that better understanding helps to apply skills in new conditions and that the ability to think on an abstract level increases the transfer to new contexts. In my research I take into consideration competence as a matrix where content is in a horizontal line and levels of thinking are in a vertical line. The know-how is intellectual and strategic flexibility and understanding. The resources and limitations of memory have their effects on learning in different ways in different phases. Therefore both flexible conceptual thinking and automatization must be considered in learning. The research questions that I examine are what kind of changes have occurred in mathematical skills in comprehensive school over the last 20 years and what kind of conceptual thinking is demonstrated by students in this decade. The study consists of two parts. The first part is a statistical analysis of the mathematical skills and their changes over the last 20 years in comprehensive school. In the test the pupils did not use calculators. The second part is a qualitative analysis of the conceptual thinking of pupils in comprehensive school in this decade. The study shows significant differences in algebra and in some parts of arithmetic. The largest differences were detected in the calculation skills of fractions. In the 1980s two out of three pupils were able to complete tasks with fractions, but in the 2000s only one out of three pupils were able to do the same tasks. Also remarkable is that out of the students who could complete the tasks with fractions, only one out of three pupils was on the conceptual level in his/her thinking. This means that about 10% of pupils are able to understand the algebraic expression, which has the same isomorphic structure as the arithmetical expression. This finding is important because the ability to think innovatively is created when learning the basic concepts. Keywords: arithmetic, algebra, competence

Yhdessä ajattelu ja osallistuminen : Interventiotutkimus yhteistoiminnallisen oppimisen kehittymisestä kahdessa alakoulun pienryhmässä

Participation and social modes of thinking - An intervention study on the development of collaborative learning in two primary school small groups This study explores the thinking together -intervention programme in three primary school classes. The object of the intervention was to teach pupils to use exploratory talk in small group collaboratory learning. Exploratory talk is a type of talk in which joint reasoning is made explicit. Research has shown that exploratory talk can improve mathematics and science learning, argumentative skills and competence in reasoning tests. The object of this study was to investigate the theory of social modes of thinking which the intervention program is based on. I tried to find out how the thinking together -intervention programme suits the Finnish context. Therefore my study is part of an international research project of interventions that have been implemented for example in Great-Britain and in Mexico. One essential drawback in former research made on thinking together -approach is that the nature of participation has not been studied properly. In this study I also examine how the nature of participation develops in small groups. In addition to that I aim to develope a theoretical framework which includes both the perspectives of the social modes of thinking and the nature of participation. The perspective of this study is sociocultural. The research material consists of video recordings of collaborative learning tasks of two small groups. In groups there were pupils of age groups 9 - 11. I study the nature of participation using both qualitative and quantitative methods. Quantitative methods include for example IR-analysis method and counting of turns at talk and words. I also use qualitative content analysis to analyze both the nature of participation and social modes of thinking. As a result of my study I found out that the interaction of the other group was leadership based and in the other group the interaction was without leadership relations. In both groups the participation was quantitatively more symmetrical in the end of the intervention. In the group in which the interaction was leadership based the participation of the pupils was more symmetrical. Exploratory talk was found more in the group without leadership relations, but in both groups the amount of exploratory talk was increased during the intervention. Leadership based interaction was further divided into interaction of alienating and inclusive leadership according to how symmetrical the participation was in the dialogue. Exploratory talk was found only when the leadership was inclusive or the interaction was without leadership relations. The main result of the study was that the exploratory talk was further divided into four subcategories according to the nature of participation. In open and inclusive exploratory talk all group members participated initiatively and their initiatives were responded by others. In closed and uneven exploratory talk some group members couldn't participate properly. Therefore it cannot be said that exploratory talk guarantees symmetrical participation. The nature of participation must be investigated separately.

Current Care Guidelines for Cardiopulmonary Resuscitation : Implementation, skills and attitudes

Background: The national resuscitation guidelines were published in Finland in 2002 and are based on international guidelines published in 2000. The main goal of the national guidelines, available on the Internet free of charge, is early defibrillation by nurses in an institutional setting. Aim: To study possible changes in cardiopulmonary resuscitation (CPR) practices, especially concerning early defibrillation, nurses and students attitudes of guideline implementation and nurses and students ability to implement the guideline recommendations in clinical practices after publication of the Current Care (CC) guidelines for CPR 2002. Material and methods: CPR practices in Finnish health centres; especially concerning rapid defibrillation programmes, as well as the implementation of CC guidelines for CPR was studied in a mail survey to chief physicians of every health centre in Finland (Study I). The CPR skills using an automated external defibrillator (AED) were compared in a study including Objective stuctured clinical examination (OSCE) of resuscitation skills of nurses and nursing students in Finnish and Swedish hospital and institution (Studies II, III). Attitudes towards CPR-D and CPR guidelines among medical and nursing students and secondary hospital nurses were studied in surveys (Studies IV, V). The nurses receiving different CPR training were compared in a randomized trial including OSCE of CPR skills of nurses in Finnish Hospital (Study VI). Results: Two years after the publication, 40.7% of Finnish health centres used national resuscitation guidelines. The proportion of health centres having at least one AED (66%) and principle of nurse-performed defibrillation without the presence of a physician (42%) had increased. The CPR-D training was estimated to be insufficient regarding basic life support and advanced life support in the majority of health centres (Study I). CPR-D skills of nurses and nursing students in two specific Swedish and Finnish hospitals and institutions (Study II and III) were generally inadequate. The nurses performed better than the students and the Swedish nurses surpassed the Finnish ones. Geriatric nurses receiving traditional CPR-D training performed better than those receiving an Internet-based course but both groups failed to defibrillate within 60 s. Thus, the performance was not satisfactory even two weeks after traditional training (Study VI). Unlike the medical students, the nursing students did not feel competent to perform procedures recommended in the cardiopulmonary resuscitation guidelines including the defibrillation. However, the majority of nursing students felt confident about their ability to perform basic life support. The perceived ability to defibrillate correlated significantly with a positive attitude towards nurse-performed defibrillation and negatively with fear of damaging the patient s heart by defibrillation (Study IV). After the educational intervention, the nurses found their level of CPR-D capability more sufficient than before and felt more confident about their ability to perform defibrillation themselves. A negative attitude toward defibrillation correlated with perceived negative organisational attitudes toward cardiopulmonary resuscitation guidelines. After CPR-D education in the hospital, the majority (64%) of nurses hesitated to perform defibrillation because of anxiety and 27 % hesitated because of fear of injuring the patient. Also a negative personal attitude towards guidelines increased markedly after education (Study V). Conclusions: Although a significant change had occurred in resuscitation practices in primary health care after publication of national cardiopulmonary resuscitation guidelines the participants CPR-D skills were not adequate according to the CPR guidelines. The current way of teaching is unlikely to result in participants being able to perform adequate and rapid CPR-D. More information and more frequent training are needed to diminish anxiety concerning defibrillation. Negative beliefs and attitudes toward defibrillation affect the nursing students and nurses attitudes toward cardiopulmonary resuscitation guidelines. CPR-D education increased the participants self-confidence concerning CPR-D skills but it did not reduce their anxiety. AEDs have replaced the manual defibrillators in most institutions, but in spite of the modern devices the anxiety still exists. Basic education does not provide nursing students with adequate CPR-D skills. Thus, frequent training in the workplace has vital importance. This multi-professional program supported by the administration might provide better CPR-D skills. Distance learning alone cannot substitute for traditional small-group learning, tutored hands-on training is needed to learn practical CPR-D skills. Standardized testing would probably help controlling the quality of learning. Training of group-working skills might improve CPR performance.

Future chemistry teachers use of knowledge dimensions and high-order cognitive skills in pre-laboratory concept maps

This poster describes a pilot case study, which aim is to study how future chemistry teachers use knowledge dimensions and high-order cognitive skills (HOCS) in their pre-laboratory concept maps to support chemistry laboratory work. The research data consisted of 168 pre-laboratory concept maps that 29 students constructed as a part of their chemistry laboratory studies. Concept maps were analyzed by using a theory based content analysis through Anderson & Krathwohls' learning taxonomy (2001). This study implicates that novice concept mapper students use all knowledge dimensions and applying, analyzing and evaluating HOCS to support the pre-laboratory work.