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.

Politics, Power, PISA: a genealogy of mathematics education policy at second level in Ireland at the beginning of the 21st century

This thesis traces a genealogy of the discourse of mathematics education reform in Ireland at the beginning of the twenty first century at a time when the hegemonic political discourse is that of neoliberalism. It draws on the work of Michel Foucault to identify the network of power relations involved in the development of a single case of curriculum reform – in this case Project Maths. It identifies the construction of an apparatus within the fields of politics, economics and education, the elements of which include institutions like the OECD and the Government, the bureaucracy, expert groups and special interest groups, the media, the school, the State, state assessment and international assessment. Five major themes in educational reform emerge from the analysis: the arrival of neoliberal governance in Ireland; the triumph of human capital theory as the hegemonic educational philosophy here; the dominant role of OECD/PISA and its values in the mathematics education discourse in Ireland; the fetishisation of western scientific knowledge and knowledge as commodity; and the formation of a new kind of subjectivity, namely the subjectivity of the young person as a form of human-capital-to-be. In particular, it provides a critical analysis of the influence of OECD/PISA on the development of mathematics education policy here – especially on Project Maths curriculum, assessment and pedagogy. It unpacks the arguments in favour of curriculum change and lays bare their ideological foundations. This discourse contextualises educational change as occurring within a rapidly changing economic environment where the concept of the State’s economic aspirations and developments in science, technology and communications are reshaping both the focus of business and the demands being put on education. Within this discourse, education is to be repurposed and its consequences measured against the paradigm of the Knowledge Economy – usually characterised as the inevitable or necessary future of a carefully defined present.

Structuralism and the Applicability of Mathematics

In this paper I argue for the view that structuralism offers the best perspective for an acceptable account of the applicability of mathematics in the empirical sciences. Structuralism, as I understand it, is the view that mathematics is not the science of a particular type of objects, but of structural properties of arbitrary domains of entities, regardless of whether they are actually existing, merely presupposed or only intentionally intended.

Pedagogical practices carried out during an in-service teachers education project: approaching history and philosophy of science to physics teaching

We report here part of a research project developed by the Science Education Research Group, titled: "Teachers’ Pedagogical Practices and formative processes in Science and Mathematics Education" which main goal is the development of coordinated research that can generate a set of subsidies for a reflection on the processes of teacher training in Sciences and Mathematics Education. One of the objectives was to develop continuing education activities with Physics teachers, using the History and Philosophy of Science as conductors of the discussions and focus of teaching experiences carried out by them in the classroom. From data collected through a survey among local Science, Physics, Chemistry, Biology and Mathematics teachers in Bauru, a São Paulo State city, we developed a continuing education proposal titled “The History and Philosophy of Science in the Physics teachers’ pedagogical practice”, lasting 40 hours of lessons. We followed the performance of five teachers who participated in activities during the 2008 first semester and were teaching Physics at High School level. They designed proposals for short courses, taking into consideration aspects of History and Philosophy of Science and students’ alternative conceptions. Short courses were applied in real classrooms situations and accompanied by reflection meetings. This is a qualitative research, and treatment of data collected was based on content analysis, according to Bardin [1].

The philosophy of arithmetic as developed from the three fundamental processes of synthesis, analysis and comparison, containing also a history of arithmetic.

Mode of access: Internet.

Getting skilled for education, training and employment : Indigenous Cultural Knowledges and mainstream knowledges of mathematics

This abstract is a preliminary discussion of the importance of blending of Indigenous cultural knowledges with mainstream knowledges of mathematics for supporting Indigenous young people. This import is emphasised in the documents Preparing the Ground for Partnership (Priest, 2005), The Indigenous Education Strategic Directions 2008–2011 (Department of Education, Training and the Arts, 2007) and the National Goals for Indigenous Education (Department of Education, Employment and Work Relations, 2008). These documents highlight the contextualising of literacy and numeracy to students’ community and culture (see Priest, 2005). Here, Community describes “a culture that is oriented primarily towards the needs of the group. Martin Nakata (2007) describes contextualising to culture as about that which already exists, that is, Torres Strait Islander community, cultural context and home languages (Nakata, 2007, p. 2). Continuing, Ezeife (2002) cites Hollins (1996) in stating that Indigenous people belong to “high-context culture groups” (p. 185). That is, “high-context cultures are characterized by a holistic (top-down) approach to information processing in which meaning is “extracted” from the environment and the situation. Low-context cultures use a linear, sequential building block (bottom-up) approach to information processing in which meaning is constructed” (p.185). In this regard, students who use holistic thought processing are more likely to be disadvantaged in mainstream mathematics classrooms. This is because Westernised mathematics is presented as broken into parts with limited connections made between concepts and with the students’ culture. It potentially conflicts with how they learn. If this is to change the curriculum needs to be made more culture-sensitive and community orientated so that students know and understand what they are learning and for what purposes.

The ADHD debate and the philosophy of truth

There is ongoing and wide-ranging dispute over the proliferation of childhood behaviour disorders. In particular, the veracity of the category Attention Deficit Hyperactivity Disorder (ADHD), has been the subject of considerable scepticism. With no end to the debate in sight, it will be argued here that the problem might effectively be approached, not by addressing the specific features of ADHD itself, but rather by a philosophical analysis of one of the terms around which this entire problem revolves: that is, the notion of truth. If we state: “It is true that ADHD is a real disorder”, what exactly do we mean? Do we mean that it is an objective fact of nature? Do we mean that it fits seamlessly with other sets of ideas and explanations? Or do we simply mean that it works as an idea in a practical sense? This paper will examine the relationship between some of the dominant models of truth, and the assertions made by those in the field of ADHD. Specifically, the paper will contrast the claim that ADHD is a real disorder, with the claim that ADHD is a product of social governance. The intention is, first, to place some significant qualifications upon the validity of the truth-claims made by ADHD advocates, and second, to re-emphasise the potential and promise of philosophical investigation in providing productive new ways of thinking about some obstinate and seemingly intractable educational problems.

Insights from ecological psychology and dynamical systems theory can underpin a philosophy of coaching

The aim of this paper is to show how principles of ecological psychology and dynamical systems theory can underpin a philosophy of coaching practice in a nonlinear pedagogy. Nonlinear pedagogy is based on a view of the human movement system as a nonlinear dynamical system. We demonstrate how this perspective of the human movement system can aid understanding of skill acquisition processes and underpin practice for sports coaches. We provide a description of nonlinear pedagogy followed by a consideration of some of the fundamental principles of ecological psychology and dynamical systems theory that underpin it as a coaching philosophy. We illustrate how each principle impacts on nonlinear pedagogical coaching practice, demonstrating how each principle can substantiate a framework for the coaching process.

Students' perceptions of the relevance of mathematics in engineering

In this paper, we report on the findings of an exploratory study into the experience of students as they learn first year engineering mathematics. Here we define engineering as the application of mathematics and sciences to the building and design of projects for the use of society (Kirschenman and Brenner 2010)d. Qualitative and quantitative data on students' views of the relevance of their mathematics study to their engineering studies and future careers in engineering was collected. The students described using a range of mathematics techniques (mathematics skills developed, mathematics concepts applied to engineering and skills developed relevant for engineering) for various usages (as a subject of study, a tool for other subjects or a tool for real world problems). We found a number of themes relating to the design of mathematics engineering curriculum emerged from the data. These included the relevance of mathematics within different engineering majors, the relevance of mathematics to future studies, the relevance of learning mathematical rigour, and the effectiveness of problem solving tasks in conveying the relevance of mathematics more effectively than other forms of assessment. We make recommendations for the design of engineering mathematics curriculum based on our findings.