A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

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.

Theories of Mathematics Education : Seeking New Frontiers

This inaugural book in the new series Advances in Mathematics Education is the most up to date, comprehensive and avant garde treatment of Theories of Mathematics Education which use two highly acclaimed ZDM special issues on theories of mathematics education (issue 6/2005 and issue 1/2006), as a point of departure. Historically grounded in the Theories of Mathematics Education (TME group) revived by the book editors at the 29th Annual PME meeting in Melbourne and using the unique style of preface-chapter-commentary, this volume consist of contributions from leading thinkers in mathematics education who have worked on theory building. This book is as much summative and synthetic as well as forward-looking by highlighting theories from psychology, philosophy and social sciences that continue to influence theory building. In addition a significant portion of the book includes newer developments in areas within mathematics education such as complexity theory, neurosciences, modeling, critical theory, feminist theory, social justice theory and networking theories. The 19 parts, 17 prefaces and 23 commentaries synergize the efforts of over 50 contributing authors scattered across the globe that are active in the ongoing work on theory development in mathematics education.

The theories of reasoned action and planned behaviour applied to business decision : a selective annotated bibliography

Purpose: This paper provides a selective annotated bibliography that summarises journal articles which have employed either the theory of reasoned action or the theory of planned behaviour to circumstances which are relevant to business activities. Design/methodology/approach: Searches were conducted on the EBSCO Host and ProQuest databases to identify papers that had used either the theory of reasoned action or theory of planned behaviour in their methodology. The bibliography was separated into three categories- financial decision making, strategic decision making, and professional decision making. Implications: The information presented in this paper is intended to assist and facilitate further research by broadening the awareness of the literature and providing examples of the application of the theory as it has been employed in prior research.

The effects of truth in the hinterlands and abused [in Portugese] Os efeitos de verdade em os sertões e abusado

O presente livro propõe-se a refletir sobre a construção dos efeitos de verdade em dois modos de produção de ordem discursiva: Os sertões, romance de Euclides da Cunha, e Abusado: o dono do morro Dona Marta, romance-reportagem do jornalista Caco Barcellos. A autora apresenta a fragilidade do discurso jornalístico em legitimar-se como o discurso do verdadeiro, em dura oposição ao discurso da literatura, lugar da ficção, expressão dos sentimentos, imaginário, da não-verdade. [Portugese]

Theories of learning mathematics

According to Karl Popper, widely regarded as one of the greatest philosophers of science in the 20th century, falsifiability is the primary characteristic that distinguishes scientific theories from ideologies – or dogma. For example, for people who argue that schools should treat creationism as a scientific theory, comparable to modern theories of evolution, advocates of creationism would need to become engaged in the generation of falsifiable hypothesis, and would need to abandon the practice of discouraging questioning and inquiry. Ironically, scientific theories themselves are accepted or rejected based on a principle that might be called survival of the fittest. So, for healthy theories on development to occur, four Darwinian functions should function: (a) variation – avoid orthodoxy and encourage divergent thinking, (b) selection – submit all assumptions and innovations to rigorous testing, (c) diffusion – encourage the shareability of new and/or viable ways of thinking, and (d) accumulation – encourage the reuseability of viable aspects of productive innovations.

Six theories of Neoliberalism

This paper takes as its starting point the observation that neoliberalism is a concept that is ‘oft-invoked but ill-defined’ (Mudge 2008: 703). It provides a taxonomy of uses of the term neoliberalism to include: (1) an all-purpose denunciatory category; (2) ‘the way things are’; (3) a particular institutional framework characterizing Anglo-American forms of national capitalism; (4) a dominant ideology of global capitalism; (5) a form of governmentality and hegemony; and (6) a variant within the broad framework of liberalism as both theory and policy discourse. It is argued that this sprawling set of definitions are not mutually compatible, and that uses of the term need to be dramatically narrowed from its current association with anything and everything that a particular author may find objectionable. In particular, it is argued that the uses of the term by Michel Foucault in his 1978-79 lectures, found in The Birth of Biopolitics (Foucault, 2008) are not particularly compatible with its more recent status as a variant of dominant ideology or hegemony theories.