In this particularly well written volume Graeme Hirst presents a theoretically motivated foundation for semantic interpretation (conceptual analysis) by computer, and shows how this framework facilitates the resolution of both lexical and syntactic ambiguities.

Introduction The publication in of a collection of papers under the title The Study of Education, edited by Professor JW Tibble, inaugurated a new era in ...

Philosophy and curriculum planning.--The nature and structure of curriculum objectives.--Liberal education and the nature of knowledge.--Realms of meaning and forms of knowledge.--Language and thought.--The forms of knowledge re-visited.--What is teaching?--The logical and psychological aspects of teaching a subject.--Curriculum integration.--Literature and the fine arts as a unique form of knowledge.--The two-cultures, science and moral education.--Morals, religion and the maintained school.

This volume critically and constructively discusses philosophical questions which have particular bearing on the formulation of educational aims. The book is divided into three major parts: the first deals with the nature of education, and discusses the various general aims, such as 'mental health', 'socialization' and 'creativity' which have been thought to characterize it; the second section is concerned with the nature of reason and its relationship to feeling, will and action; finally the development of different aspects of reason in (...) an educational context is considered. (shrink)

Drawing on cognitive moral development and moral identity theories, this study empirically examines the moral antecedents and consequences of authentic leadership. Machiavellianism, an individual difference variable relating to the use of the ‘end justifies the means’ principle, is predicted to affect the link between morality and leadership. Analyses of multi-source, multi-method data comprised case studies, simulations, role-playing exercises, and survey questionnaires were completed by 70 managers in a large public agency, and provide support for our hypotheses. Our findings reveal that (...) Machiavellianism offsets the positive relationship between moral reasoning and authentic leadership. Specifically, we show that when Machiavellianism is high, both the positive relationship between moral reasoning and authentic leadership, and the positive relationship between authentic leadership and moral actions, are reversed. This study offers new insights on the underlying processes contributing to the emergence of leaders’ authentic behavior and moral action. Implications for the moral development of leaders, and directions for improved leadership training are provided. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

This symposium begins with a critique by Paul Hirst of Wilfred Carr's ‘Philosophy and Education’(Journal of Philosophy of Education, 2004, 38.1), where Carr argues that philosophy of education should be concerned with ‘practical philosophy’ rather than ‘theoretical philosophy’. Hirst argues that the philosophy of education is best understood as a distinctive area of academic philosophy, in which the exercise of theoretical reason contributes critically to the development of rational educational practices and their discourse. While he acknowledges that these practices and (...) their discourse must of their nature be directly developed in the exercise of practical reason, or phronesis, the notion of ‘practical philosophy’ is rejected as ultimately incoherent and illusory. In his reply to Hirst's critique, Carr identifies three central claims in Hirst's argument and takes issue with each of these. He reaffirms the need to draw upon the resources afforded by the Aristotelian tradition of practical philosophy in order to identify inadequacies in our present understanding of how philosophy is related to education. He suggests that it is only through bringing their own ‘prejudices’ into critical confrontation with this tradition that philosophers of education will be able to assess whether practical philosophy is incoherent and illusory, as Hirst claims, or whether it is indispensable to the future development of their discipline. In a rejoinder to Carr, Hirst, defends the claim that philosophy of education is a social practice concerned with developing justifiable propositional accounts of the conceptual relations, justificatory procedures and presuppositions of educational practices. He rejects the argument that this ‘theoretical philosophy’ approach must be replaced by that of a new ‘practical philosophy’. (shrink)

Simpson has claimed that “ATR0 is the weakest set of axioms which permits the development of a decent theory of countable ordinals” [8]. This paper provides empirical support for Simpson's claim. In particular, Cantor's Normal Form Theorem and Sherman's Inequality for countable well-orderings are both equivalent to ATR0. The proofs of these results require a substantial development of ordinal exponentiation and a strengthening of the comparability result in [3].

Two countable well orderings are weakly comparable if there is an order preserving injection of one into the other. We say the well orderings are strongly comparable if the injection is an isomorphism between one ordering and an initial segment of the other. In [5], Friedman announced that the statement “any two countable well orderings are strongly comparable” is equivalent to ATR 0 . Simpson provides a detailed proof of this result in Chapter 5 of [13]. More recently, Friedman has (...) proved that the statement “any two countable well orderings are weakly comparable” is equivalent to ATR 0 . The main goal of this paper is to give a detailed exposition of this result. (shrink)

This collection of essays by philosophers and educationalists of international reputation, all published here for the first time, celebrates Paul Hirst's professional career. The introductory essay by Robin Barrow and Patricia White outlines Paul Hirst's career and maps the shifts in his thought about education, showing how his views on teacher education, the curriculum and educational aims are interrelated. Contributions from leading names in British and American philosophy of education cover themes ranging from the nature of good teaching to Wittgensteinian (...) aesthetics. The collection concludes with a paper in which Paul Hirst sets out his latest views on the nature of education and its aims. The book also includes a complete bibliography of works by Hirst and a substantial set of references to his writing. (shrink)

We develop and test a trickle-down model of how authentic leadership at the department level flows down the organizational hierarchy to encourage team leader authentic leadership and consequently, promotes team and individual-level supervisor-directed helping behavior. Analyses of multi-level and multi-source data collected from a total of 487 employees comprising 122 teams, 47 departments, and 4 different working areas of a major public sector organization in Taiwan show that team leaders’ authentic leadership mediates the relationship between departmental authentic leadership and individual-level (...) leader–member exchange. We also found that intra-team trust completely mediates the influence of team authentic leadership on both team helping behavior and individual-level supervisor-directed helping behavior. Finally, the results reveal that self-concordance mediates the influence of team authentic leadership on individual-level supervisor helping behavior as well as the influence of individual-level LMX on individual-level supervisor-directed helping behavior. Theoretical and practical implications of these findings are discussed. (shrink)

We study the effective and proof-theoretic content of the polarized Ramsey’s theorem, a variant of Ramsey’s theorem obtained by relaxing the definition of homogeneous set. Our investigation yields a new characterization of Ramsey’s theorem in all exponents, and produces several combinatorial principles which, modulo bounding for ${\Sigma^0_2}$ formulas, lie (possibly not strictly) between Ramsey’s theorem for pairs and the stable Ramsey’s theorem for pairs.

We examine the reverse mathematics and computability theory of a form of Ramsey's theorem in which the linear n-tuples of a binary tree are colored.

This set presents some of the most innovative and important work in this area, including work influenced by feminist theory, Marxism, critical theory, phenomenology and other approaches that continue to shape the field.

We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$ sentence of a certain form is provable using E-HA ${}^\omega$ along with the axiom of choice and an independence of premise principle, the sequential form of the statement is provable in the classical system RCA. We obtain this and similar results using applications of modified realizability and the Dialectica interpretation. (...) These results allow us to use techniques of classical reverse mathematics to demonstrate the unprovability of several mathematical principles in subsystems of constructive analysis. (shrink)

We show that a statement HIL, which is motivated by a lemma of Hilbert and close in formulation to Hindman’s theorem, is actually much weaker than Hindman’s theorem. In particular, HIL is finitistically reducible in the sense of Hilbert’s program, while Hindman’s theorem is not.

Paul H Hirst; Forms of Knowledge—A reply to Elizabeth Hindess, Journal of Philosophy of Education, Volume 7, Issue 2, 30 May 2006, Pages 260–271, https://doi.or.

We show that \\) cannot be proved with one typical application of \\) in an intuitionistic extension of \ to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach’s axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.

In this empirical paper, Jay, Stone, Meksin, Merck, Gordon and Hirst examine whether jury deliberations, in which individuals collaboratively recall and discuss evidence of a trial, shape the jurors’ memories. In doing so, Jay and colleagues provide a highly ecologically valid baseline for future investigation into why, how and when selective recall either facilitates remembering or leads to forgetting during jury deliberations. In particular, Jay et al. explore the specific social and cognitive mechanisms that might lead to either memory facilitation (...) (RIFA – Retrieval Induced Facilitation) and forgetting (RIF ‐ Retrieval Induced Forgetting) during jury deliberation. (shrink)

Ethics in Journalism examines journalism ethics in practice. It examines the social context of the newsroom, the economics of the news industry and cultural expectations of what constitutes news. Covering ethical issues in the multimedia journalism environment of the 21st Century, Ethics in Journalism updates theory and history through a discussion of contemporary and recent case studies that are aligned with the underlying principles of various codes of ethics and charters of editorial practice. The book provides contextualized case studies and (...) discussion questions for classroom use, covering ethical issues in a logical manner, beginning with broad principles before focusing on specific examples. (shrink)

Samkara has been regarded by many as the most authoritative Hindu thinker of all time. A great Indian Vedantin brahmin, Samkara was primarily a commentator on the sacred texts of the Vedas and a teacher in the Advaitin teaching line. This book serves as an introduction to Samkara's thought which takes this as a central theme. The author develops an innovative approach based on Samkara's ways of interpreting sacred texts and creatively examines the profound interrelationship between sacred text, content and (...) method in Samkara's thought. The main focus of the book is on Samkara's teaching method. This method is, for Samkara, based on the Upanishads' own; it is to be employed by Advaitin teachers to draw pupils skilfully towards that realisation which is beyond all words. Consequently, this book will be of interest not only to students and scholars of Indian philosophy, but to all those interested in the relation between language and that which is held to transcend it. (shrink)

Based on anthropological fieldwork conducted in the Eastern Cape, the paper explores the interconnections between dreams (amathongo, amaphupha) and medicines (amayeza, imithi, amachiza) as aspects of the Xhosa diviner’s culture, knowledge and experience. Background information is provided in the introduction, inter alia, on the Xhosa patrilineal clan (isiduko), divination (imvumisa, evumiso) and religious and cultural change. The ability to dream, inter alia of the ancestors and medicines, is central to the diviner’s intuition and professional stock-in-trade, which are part and parcel (...) of a religious healing tradition. Examples of dreams involving the ancestors (iminyanya), diviners, clients and medicinal plants are presented and analysed in relation to relevant case material. The ritual significance of dreams is explored in some detail. The distinctions between diviner (igqirha lokuvumisa) and herbalist (ixhwele), and between medicines and charms (amakhubalo), receive attention in the section on medicines. The underlying purpose of traditional Xhosa religious ideology is discussed in the conclusion. (shrink)

We prove that the statement “there is aksuch that for everyfthere is ak-bounded diagonally nonrecursive function relative tof” does not imply weak König’s lemma over${\rm{RC}}{{\rm{A}}_0} + {\rm{B\Sigma }}_2^0$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that everyk-bounded diagonally nonrecursive function computes a 2-bounded diagonally nonrecursive function may fail in the absence of${\rm{I\Sigma }}_2^0$.

If α and β are ordinals, α ≤ β, and $\beta \nleq \alpha$ , then α + 1 ≤ β. The first result of this paper shows that the restriction of this statement to countable well orderings is provably equivalent to ACA 0 , a subsystem of second order arithmetic introduced by Friedman. The proof of the equivalence is reminiscent of Dekker's construction of a hypersimple set. An application of the theorem yields the equivalence of the set comprehension scheme ACA (...) 0 and an arithmetical transfinite induction scheme. (shrink)

We analyze the logical strength of theorems on marriage problems with unique solutions using the techniques of reverse mathematics, restricting our attention to problems in which each boy knows only finitely many girls. In general, these marriage theorems assert that if a marriage problem has a unique solution then there is a way to enumerate the boys so that for every m, the first m boys know exactly m girls. The strength of each theorem depends on whether the underlying marriage (...) problem is finite, infinite, or bounded. (shrink)

We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths.