Berikut ini diperkenalkan tiga buku yang ditulis oleh para dosen Sekolah Tinggi Filsafat dan Teologi Widya Sasana di Malang tentang bagaimana Gereja Katolik perlu menempatkan diri dalam ruang publik Indonesia. Fokus buku pertama, tulisan Prof. Dr. Armada Riyanto (2014), adalah ajaran sosial Gereja Katolik, jadi ajaran mengenai bagaimana Gereja Katolik memahami panggilannya dalam masyarakat yang sekaligus menjadi ruang publiknya. Sepintas alur buku ini dapat mem- bingungkan karena penulis suka melancong ke pelbagai bidang sam- pingan, apalagi ia tidak menjelaskan susunan bukunya. (...) Namun kekaya- an buku ini justru terletak dalam luasnya acuan, penjelasan pelbagai latar belakang, serta perhatian pada konteks-konteks ajaran sosial Gereja yang diangkat penulis. Dengan demikian pembaca dibantu dalam mencari bagaimana umat Katolik Indonesia dapat memberikan sum- bangannya bagi bangsanya dalam segala pergulatannya. Bagian kedua, mulai dari bab ke-10, memasuki situasi umat Katolik Indonesia sebagai minoritas yang sepertinya masih “kurang memiliki” (187). Bertolak dari catatan bahwa waktu Congregatio Missionis (Romo-romo CM) mengam-bil alih wilayah Jawa Timur dari romo-romo Yesuit hanya ada 40 umat Katolik Jawa tercatat (hal. 203), bab 11 menjelaskan kesulitan yang dialami Gereja Katolik sejak dari permulaan abad ke-19 dalam bergiat di Hindia Belanda. Namun kemudian dijelaskan bagaimana orang Katolik Jawa, di antara- nya Pak Kasimo, sebelum Kemerdekaan sudah berjuang sebagai nasionalis Indonesia tulen. Bagian ketiga, dimulai dari bab 12, membahas sifat dialogal ajaran sosial Gereja dalam pelbagai dimensi. Bahwa iman dan teologi Gereja secara hakiki bersifat dialogal merupakan kesadaran teologis (dan sosiologis) baru. Daripada hanya berpegang teguh pada suatu ajaran yang sudah membatu menjadi tradisi, lalu dibawa begitu saja ke dalam dunia, Gereja menyadari bahwa iman maupun teologinya selalu bergerak dalam medan masyarakat di mana Gereja berhadapan dengan segala macam pemikiran dan tanta-ngan. Dengan sifat dialogal dimaksud bahwa iman dan teologi Gereja mau tak mau terwujud dalam menghadapi tantangan-tantangan itu. Kekuatan buku Prof. Armada ini adalah bahwa ia menempatkan ajaran sosial Gereja yang pokok-pokoknya sudah sering diuraikan ke dalam pelbagai konteks, dengan implikasi-implikasi dan acuan pada pelbagai pengalaman Gereja. Pembaca menemukan banyak petunjuk bagaimana ajaran sosial Gereja Katolik dapat menjadi inspirasi bagi umat Katolik Indonesia. Ada juga beberapa kelemahan. Tidak ada daftar nama. Dan barangkali cakupan uraiannya terlalu luas. Misalnya uraian panjang lebar tentang paham Platon dan Aristoteles tentang keadilan sebenarnya kurang relevan, begitu pula uraian tentang perkembangan pemikiran filosofis tentang demokrasi. Padahal pertanyaan sangat relevan, yang muncul di banyak negara, bagaimana sebuah minoritas berpartisipasi dalam sistem demokrasi tidak didiskusilan. Mengapa fungsi suatu Partai Katolik di Indonesia tidak diangkat, padahal seku- rang-kurangnya sudah tiga kali menjadi debat besar dan panas dalam umat Katolik Indonesia: 1960 di zaman demokrasi terpimpin, 1971 sesudah pemilihan umum pertama di bawah presiden Suharto, dan 1999 di masa reformasi. Betul, persepsi “kemiskinan struktural” dibuka dengan Rerum Novarum (h. 24), tetapi istilah itu sendiri tidak ditemukan di dalamnya, melainkan berasal dari teologi pembebasan. Karena penulis menganggap “pluralisme” tak punya arti di luar “pluralitas,” penulis tidak masuk ke dalam kontroversi tajam tentang pluralisme di Indone- sia. Fatwa MUI tentang pluralisme tidak didiskusi-kan. Uraian panjang tentang pendidikan Katolik yang sangat optimis tinggal normatif. Padahal dalam kenyataan Gereja Katolik, juga di Indonesia, biasanya justru mempertahankan pegangan eksklusif atas pendidikan. Dalam kaitan ini seharusnya penolakan UU Sisdiknas — dengan keharusan memberikan pelajaran agama kepada para siswa sesuai dengan agama mereka — oleh sebagian besar penanggap Katolik didiskusikan. Namun kekurangan-kekurangan ini tidak menghilangkan bahwa buku ini amat memperkaya pustaka Katolik berbahasa Indonesia tentang panggilan Gereja, juga panggilan Gereja Indonesia, dalam masyarakat (Franz Magnis-Suseno, Guru Besar Ilmu Filsafat Emeritus, Sekolah Tinggi Filsafat Driyarkara, Jakarta). (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)

In a recent paper, Berger and Nanay consider, and reject, three ways of addressing the phenomenon of unconscious perception within a naïve realist framework. Since these three approaches seem to exhaust the options open to naïve realists, and since there is said to be excellent evidence that perception of the same fundamental kind can occur, both consciously and unconsciously, this is seen to present a problem for the view. We take this opportunity to show that all three approaches considered remain (...) perfectly plausible ways of addressing unconscious perception within a naïve realist framework. So far from undermining the credibility of naïve realism, Berger and Nanay simply draw our attention to an important question to be considered by naïve realists in future work. Namely, which of the approaches considered is most likely to provide an accurate account of unconscious perception in each of its purported incarnations? (shrink)

It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...) to truthmaker maximalism. In this article, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)

How could physicalism be true of a world in which there are no fundamental physical phenomena? A familiar answer, due to Barbara Gail Montero and others, is that physicalism could be true of such a world if that world does not contain an infinite descent of mentality. Christopher Devlin Brown has produced a counterexample to that solution. We show how to modify the solution to accommodate Brown’s example: physicalism could be true of a world without fundamental physical phenomena if that (...) world does not contain an infinite descent of mentally constituted mentality. This solution is independently plausible and is available to physicalists of virtually all significant varieties. (shrink)

According to Russellian monism, phenomenal consciousness is constituted by inscrutables: intrinsic properties that categorically ground dispositional properties described by fundamental physics. On Russellian physicalism, those inscrutables are construed as protophenomenal properties: non-structural properties that both categorically ground dispositional properties and, perhaps when appropriately structured, collectively constitute phenomenal properties. Morris and Brown argue that protophenomenal properties cannot serve this purpose, given assumptions Russellian monists typically make about the modal profile of such properties. Those assumptions, it is argued, entail that protophenomenal properties (...) are ‘experience specific’, that is, they are individuated by their potential to constitute phenomenal properties, and are thus not genuinely physical. However, we argue, that reasoning assumes that physical inscrutables must be individuated in terms of their grounding roles. Not only is that assumption questionable: it is antithetical to Russellian monism. (shrink)

Recent discussion of the problem of negative existentials for truthmaker theory suggests a modest solution to the problem: fully general negative truths like do not require truthmakers, whereas partially general negative truths like do. This modest solution provides a third alternative to the two standard solutions to the problem of negative existentials: the endorsement of truthmaker gaps, and the appeal to contentious ontological posits. We argue that this modest, middle-ground position is inconsistent with certain plausible general principles for truthmaking. The (...) only stable positions are to treat all negative truths as requiring truthmakers, or admit that no negative truths require truthmakers. Along the way, we explore some previously unaddressed questions for nonmaximalist truthmaker theory. (shrink)

Background: Both the Council for International Organization of Medical Sciences and the Helsinki Declaration emphasize that the potential benefits of research should outweigh potential harms; consequently, some work has been conducted on participants' perception of benefits in therapeutic research. However, there appears to be very little work conducted with participants who have joined non-therapeutic research. This work was done to evaluate participants' perception of benefits in a genetic epidemiological study by examining their perception of the potential benefits of enrollment.Methods: In-depth (...) interviews lasting between 45 and 60 minutes were conducted with a convenient sample of 25 ill patients and 25 healthy accompanying relatives enrolled in a genetic epidemiological study of tuberculosis. Recorded interviews were transcribed and analyzed using content analysis.Results: Participants perceived that research was beneficial and some of the benefits included the generation of new knowledge, finding the cause of diseases, as well as the control, eradication and prevention of disease. Some thought that research was risky whilst others thought that the benefits outweighed the risks.Conclusion: Participants perceived research to be beneficial and most of them thought that, though it was risky, the benefits outweighed the risks. It is our view that researchers need to give serious consideration to participant's perception of benefits in designing their consent forms, to see to the fulfillment of achievable goals. (shrink)

Two important questions arise concerning the properties that constitute the phenomenal characters of our experiences: first, where these properties exist, and, second, whether they are tied to our consciousness of them. Such properties can either exist externally to the perceiving subject, or internally to her. This article argues that phenomenal characters, and specifically the phenomenal characters of colours, may exist independently of consciousness and that they are internal to the subject. We defend this combination of claims against a recent criticism (...) according to which the unconscious phenomenal character of colours exists externally to the subject. We defend internalism about (potentially unconscious) phenomenal character by appealing to recent neuroscientific and behavioural evidence, and by rejecting the claim that externalism about phenomenal character is dialectically in a better position than internalism. In addition, we briefly present certain difficulties for externalist views of phenomenal character. These concern cases where the perceptual relation fails, but a perceptual experience still results. These points suffice to defuse the externalist critique of our view, and support the internalist variant of the consciousness-independence claim as the most plausible account of the unconscious phenomenal character of colours. (shrink)

The tendency for individuals to interpret ambiguous information in a threatening way is theorised to maintain anxiety disorders. Recent findings suggest that positive and negative interpretation bi...

This article reveals the outcome of a study on the perceptions of elders, family members, and healthcare professionals and administration providing care in a range of different long-term care facilities in Hong Kong with primary focus on the concepts of autonomy and dignity of elders, quality and location of care, decision making, and financing of long term care. It was found that aging in place and family care were considered the best approaches to long term care insofar as procuring and (...) balancing the values of dignity, autonomy, family integrity and social sustainability were concerned. An elder having the final say was generally accepted. The results also initiated the importance of sharing of financial responsibility among elders, children and government albeit the emphasis was placed on individuals. Furthermore, dignity of elders was not considered purely a synonym of autonomy, but it had also to do with respect, family and social connections. (shrink)

Journal of International Political Theory, Ahead of Print. This article examines the intersection of biopolitics with diplomacy and engages its dynamic re-envisioning as biodiplomacy. It revisits Michel Foucault’s peripheral attention to diplomacy and his framing of the concept in his writings on raison d’état and the government of the living. The article suggests that biodiplomacy can help us understand better the complexity of global biopolitical projects, moving us beyond governmentality and sensitizing us about the continuous negotiation of the meaning and (...) materiality of particular ways of living vis-à-vis other ways of being. Specifically, the article addresses modes of existence peculiar to the postcolony or encompassing antithetical value systems and argues that biodiplomacy opens up a wider field of ethical and cosmopolitical possibilities by making visible the interconnected plurality of human and non-human forces. (shrink)

This article examines the intersection of biopolitics with diplomacy and engages its dynamic re-envisioning as biodiplomacy. It revisits Michel Foucault’s peripheral attention to diplomacy and his framing of the concept in his writings on raison d’état and the government of the living. The article suggests that biodiplomacy can help us understand better the complexity of global biopolitical projects, moving us beyond governmentality and sensitizing us about the continuous negotiation of the meaning and materiality of particular ways of living vis-à-vis other (...) ways of being. Specifically, the article addresses modes of existence peculiar to the postcolony or encompassing antithetical value systems and argues that biodiplomacy opens up a wider field of ethical and cosmopolitical possibilities by making visible the interconnected plurality of human and non-human forces. (shrink)

This article identifies the two currents that have divided the Left over the Zimbabwe question. It argues that in the course of the radicalisation of the Zimbabwean state, 'Two Lefts' emerged, the so-called 'internationalist' and the 'nationalist', to take up opposite positions over a series of political questions, most notably the agrarian question and the national question. The article defends the nationalist Left and offers a critique of the 'internationalist' Left through a discussion of contemporary imperialism, the neocolonial state, and (...) civil society. (shrink)

The explorer Albert Grünwedel’s Tibetan maps of Shambhala are a controversial and contested part of the history of the exploration of the Silk Routes. In the early 1900s Albert Grünwedel collected material related to archaeological sites at Kucha and Turfan including several Tibetan maps of the region, which he published in 1920 in the book Alt-Kutscha. Soon after publication, doubts were raised about the authenticity of the maps, which presented Kucha and Qocho in terms of the mythical realm of Shambhala, (...) and they are still widely considered to be either fabrications or delusions. Judging from internal references to historical figures of the late twelfth century, the maps may derive from sources as early as the thirteenth century, and can be linked to an increasing interest in the Kālacakra tantra and the realm of Shambhala described therein. I conclude that the Alt-Kutscha maps should not be regarded as fakes, nor as historically descriptive maps, but as guides for pilgrims that reimagined these sites in terms of the sacred geography of tantric Buddhism, with particular reference to the mythology of Shambhala. (shrink)

Many prominent critiques of philosophical methods proceed by suggesting that some method is unreliable, especially in comparison to some alternative method. In light of this, it may seem natural to conclude that these (comparatively) unreliable methods should be abandoned. Drawing upon work on the division of cognitive labour in science, we argue things are not so straightforward. Rather, whether an unreliable method should be abandoned depends heavily on the crucial question of how we should divide philosophers’ time and effort between (...) different methods, in order to maximise our prospects of achieving epistemic success. We show that, in a range of cases, even a (comparatively) unreliable method deserves to be allocated some of these resources. (shrink)

Inquiry aims at knowledge. Your inquiry into a question succeeds just in case you come to know the answer. However, combined with a common picture on which misleading evidence can lead knowledge to be lost, this view threatens to recommend a novel form of dogmatism. At least in some cases, individuals who know the answer to a question appear required to avoid evidence bearing on it. In this paper, we’ll aim to do two things. First, we’ll present an argument for (...) this novel form of dogmatism and show that it presents a substantive challenge. Second, we’ll consider a way those who take knowledge to be the aim of inquiry can mount a response. In the course of doing so, we’ll try to get clearer on the normative connections between inquiry, knowledge and evidence gathering. (shrink)

The author presents a varied menu of ideas and experiences in many areas - in research, in diagnosis, and in psychotherapy, each using art media with patients of all ages. She integrates art, phenomenology and gestalt psychology, describing specific techniques and findings. Part I of the book lays out the theoretical foundations and the techniques; Part II addresses the formal components used in art therapy - line, shape and colour in their interrelated dynamics and discusses other aspects and modes of (...) symbolic expression found in clients' work. Part III looks at symbolic expression through the scribble, offering a system of classification, diagnostic possibilities and case studies of work with eating disorders. Part IV focuses on art expression for art therapy diagnostics, including a method for qualitative diagnostics, and a first full diagnostic battery for adolescents. Part V is devoted to Holocaust children's art expressions, highlighting the power of art expression in children under ultimate stress, the intensity of their inner experience, and its visualization in the structure of the pictures. The book is for art therapists and advanced students. It can be used as a textbook on phenomenological art therapy; for therapeutically-oriented art teachers, educators and social workers; and for practicing psychotherapists, to see that art is a source of expression demonstrating how a person is. (shrink)

Bestselling author Sam Harris dismantles the most common justification for religious faith-that a moral system cannot be based on science.

Sam Harris dismantles the most common justification for religious faith--that a moral system cannot be based on science.

Introduction : time, film, and the ethical vision of Emmanuel Levinas. American transcendence : Levinas and a short history of an American idea in film -- Frank Capra and James Stewart : time, transcendence, and the other -- The changing face of American redemption : Henry Fonda, Marilyn Monroe, Paul Newman, and Denzel Washington -- Sex, art, and Oedipus : The unbearable lightness of being -- Fellini and La dolce vita : documentary, decadence, and desire -- Antonioni and L'avventura : (...) transcendence, the body, and the feminine. (shrink)

In this enlightening book, Sam Harris argues that free will is an illusion but that this truth should not undermine morality or diminish the importance of social and political freedom; indeed, this truth can and should change the way we think about some of the most important questions in life.

Philosophy for Children (P4C) is a movement that teaches reasoning and argumentative skills to children of all ages. This book looks at the progress that P4C has made in the UK in addressing issues of literacy, critical thinking, PSHE, education for sustainable development and wider issues such as bullying. Chapters identify the different theories and practices that have emerged and discuss the necessity for a reflective approach that P4C brings to education. The book highlights how this movement can fit into (...) the early years, primary and secondary curriculum and the challenges and rewards that come with it. Chapters include: The Evolution of Philosophy for Children in the UK Pedagogical Judgement Negotiating meaning in classrooms: P4C as an exemplar of dialogic pedagogy The impact of P4C on teacher educators Being and becoming a philosophical teacher This will be an invaluable guide for all those interested in P4C and studying courses on Early Childhood Studies, Education Studies and Initial Teacher Training courses. (shrink)

ABSTRACT This contribution examines the implementation of the ‘British’ values agenda within Early Childhood Care and Education settings in England, as introduced by the Prevent Duty. It begins by tracing the rise of the ECEC setting as the primary place of education of the young child, as this has shifted from the home environment. It examines the place of values education, culminating in the Government directive on the promotion of ‘British’ values, and how these values must be seen as integral (...) to effective ECEC provision. Using a case study of two focus groups and subsequent in-depth semi-structured interviews, the implications of the introduction of this strategy are identified, focusing in particular on the relationships between the ECEC leaders and parents. This presents clear evidence of the potential for a negative impact on interpersonal professional relationships. (shrink)

Inquiry aims at knowledge. Your inquiry into a question succeeds just in case you come to know the answer. However, combined with a common picture on which misleading evidence can lead knowledge to be lost, this view threatens to recommend a novel form of dogmatism. At least in some cases, individuals who know the answer to a question appear required to avoid evidence bearing on it. In this paper, we’ll aim to do two things. First, we’ll present an argument for (...) this novel form of dogmatism and show that it presents a substantive challenge. Second, we’ll consider a way those who take knowledge to be the aim of inquiry can mount a response. In the course of doing so, we’ll try to get clearer on the normative connections between inquiry, knowledge and evidence gathering. (shrink)

Suppositional theories of conditionals take apparent similarities between supposition and conditionals as a starting point, appealing to features of the former to provide an account of the latter. This paper develops a novel form of suppositional theory, one which characterizes the relationship at the level of semantics rather than at the level of speech acts. In the course of doing so, it considers a range of novel data which shed additional light on how conditionals and supposition interact.

We develop a new version of the causal theory of spacetime. Whereas traditional versions of the theory seek to identify spatiotemporal relations with causal relations, the version we develop takes causal relations to be the grounds for spatiotemporal relations. Causation is thus distinct from, and more basic than, spacetime. We argue that this non-identity theory, suitably developed, avoids the challenges facing the traditional identity theory.

Sam Gillespie's The Mathematics of Novelty presents a new account of Alain Badiou and Gilles Deleuze, identifying conceptual impasses in their philosophical ...

Papers presented at a workshop held during 17th-18th, January, 2008 at Technische Universit'at Berlin.

Facing challenges in your relationships, career, health or well-being? Worried important life goals seem to be slipping away? Whether you're faced with day-to-day irritations or facing a larger setback, sometimes life can test your strength and endurance. But there is a simple and effective way to building your resilience in the face of adversity, making sure that you can bounce back from them stronger than ever before and go on to achieve your goals and lead a happier, more fulfilled life. (...) This step-by-step guide takes you through how to build your everyday resilience. From powerful lessons on the effects of our thoughts, emotions, relationships and self-care, to tips on setting goals that genuinely motivate and turning challenges on their heads, it makes the road to success and happiness easy and - best of all - enjoyable. (shrink)

The curriculum design, faculty characteristics, and experience of implementing masters' level international research ethics training programs supported by the Fogarty International Center was investigated. Multiple pedagogical approaches were employed to adapt to the learning needs of the trainees. While no generally agreed set of core competencies exists for advanced research ethics training, more than 75% of the curricula examined included international issues in research ethics, responsible conduct of research, human rights, philosophical foundations of research ethics, and research regulation and ethical (...) review process. Common skills taught included critical thinking, research methodology and statistics, writing, and presentation proficiency. Curricula also addressed the cultural, social, and religious context of the trainees related to research ethics. Programs surveyed noted trainee interest in Western concepts of research ethics and the value of the transnational exchange of ideas. Similar faculty expertise profiles existed in all programs. Approximately 40% of faculty were female. Collaboration between faculty from low- and middleincome countries (LMICs) and high-income countries (HICs) occurred in most programs and at least 50% of HIC faculty had previous LMIC experience. This paper is part of a collection of papers analyzing the Fogarty International Research Ethics Education and Curriculum Development program. (shrink)

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised (...) by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist–nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract–concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, _Entities_ is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities. (shrink)

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

An important open problem in Reverse Mathematics is the reduction of the first-order strength of the base theory from IΣ1IΣ1 to IΔ0+expIΔ0+exp. The system ERNA, a version of Nonstandard Analysis based on the system IΔ0+expIΔ0+exp, provides a partial solution to this problem. Indeed, weak Königʼs lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA, while preserving the equivalences, but at the price of replacing equality with ‘≈’, i.e. infinitesimal proximity . The logical principle (...) corresponding to weak Königʼs lemma is the universal transfer principle from Nonstandard Analysis. Here, we consider the intermediate and mean value theorem and their uniform generalizations. We show that ERNAʼs Reverse Mathematics mirrors the situation in classical Reverse Mathematics. This further supports our claim from Sanders [19] that the Reverse Mathematics of ERNA plus universal transfer is a copy up to infinitesimals of that of WKL0. We discuss some of the philosophical implications of our results. (shrink)