A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and (...) semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic. (shrink)

Robotic systems consisting of a neuron culture grown on a multielectrode array which is connected to a virtual or mechanical robot have been studied for approximately 15 years. It is hoped that these MEA-based robots will be able to address the problem that robots based on conventional computer technology are not very good at adapting to surprising or unusual situations, at least not when compared to biological organisms. It is also hoped that insights gained from MEA-based robotics can have applications (...) within human enhancement and medicine. In this paper, I argue that researchers within this field risk overstating their results by not paying enough attention to fundamental challenges within the field. In particular, I investigate three problems: the coding problem, the embodiment problem and the training problem. I argue that none of these problems have been solved and that they are not likely to be solved within the field. After that, I discuss whether MEA-based robotics should be considered pop science. Finally, I investigate the ethical aspects of this research. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of (...) his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (...) (x : B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (shrink)

Martin Luther King, Jr., has been widely studied as a preacher, an activist, and an orator, but rarely as an intellectual. This groundbreaking book situates King as one of the most important social and political philosophers of our time, arguing that King's systematic logic of nonviolence is at the same time radically new and deeply rooted in African American intellectual history. Presenting a comprehensive genealogy of King's thought, Moses traces the influence of key African American thinkers and shows how (...) King's concepts of equality, structure, direct action, love, and justice can be seen as strands of a coherent philosophical whole. [As of Feb. 2014 the author has secured reversion of copyright from the publisher.]. (shrink)

Martin Luther King, Jr. was born in the family home on Auburn Ave. in Atlanta, Georgia on January 15, 1929, as the second child of Alberta and Rev. M.L. King. Alberta’s husband had taken up the duties of her father as pastor of the nearby Ebenezer Baptist Church, and her second son was destined to assume leadership of the congregation and community that had nurtured the family life. -/- Along with his older sister, Christine, and his younger brother A.D., (...) the young Martin King enjoyed the kind of security and prestige that would come with life in one of the leading families of Atlanta. He wrote and spoke of a childhood that was experienced with love and fullness. . . . (shrink)

Moses Mendelssohn was the leading Jewish thinker of the German Enlightenment and the founder of modern Jewish philosophy. His writings, especially his attempt during the Pantheism Controversy to defend the philosophical legacies of Spinoza and Leibniz against F. H. Jacobi’s philosophy of faith, captured the attention of a young Leo Strauss and played a critical role in the development of his thought on one of the fundamental themes of his life’s work: the conflicting demands of reason and revelation. _ Leo (...) Strauss on Moses Mendelssohn_ is a superbly annotated translation of ten introductions written by Strauss to a multi-volume critical edition of Mendelssohn’s work. Commissioned in Weimar Germany in the 1920s, the project was suppressed and nearly destroyed during Nazi rule and was not revived until the 1960s. In addition to Strauss’s introductions, Martin D. Yaffe has translated Strauss’s editorial remarks on each of the passages he annotates in Mendelssohn’s texts and brings those together with the introductions themselves. Yaffe has also contributed an extensive interpretive essay that both analyzes the introductions on their own terms and discusses what Strauss writes elsewhere about the broader themes broached in his Mendelssohn studies. Strauss’s critique of Mendelssohn represents one of the largest bodies of work by the young Strauss on a single thinker to be made available in English. It illuminates not only a formerly obscure phase in the emergence of his thought but also a critical moment in the history of the German Enlightenment. (shrink)

As if anticipating the thesis that we live at the end of history, Martin Luther King, Jr., argued that we live in perpetual struggle against evil and injustice. In his last monograph, King outlined six challenges facing black Americans seeking justice. These six challenges may be generalized into a nonviolent theory of social struggle applicable to various contexts. King's six challenges are reviewed: somebodyness, group identity, existing freedoms, powerful action programs, continuing organization, and a revolution of values. In this (...) framework, we see how King understood civil rights activism in a complex context of liberation, not confined to "protest.". (shrink)

A recent trend in scholarship argues that certain features of affirmative action logic, such as group identification, quotas, and preferential treatments would be contradictory to principles of individual merit, nondiscrimination, and personal achievement that were once advocated by Martin Luther King, jr. On the contrary this paper will argue that King’s authority may be understood to clearly support the emergence of affirmative action principles. Furthermore, King offered an ethical framework that may prove helpful in resolving many of the problems (...) that arise within an affirmative action environment, with special consideration given to gender. (shrink)

This chapter explores how the dialectical approaches by Mao Zedong and Martin Luther King, Jr., may assist philosophical analysis of nonviolent social change applied to achievement of economic justice and positive peace in this life. “Martin and Mao” are both interested in the theoretical and practical problems of creating conditions for a world where economic justice and positive peace may be pursued from within dialectical processes that are, in Mao’s words, “non-antagonistic.” The dialectical logics of Mao and King (...) reveal a convergence upon the claim that contradictions with antagonistic aspects can and should be transformed into non-antagonistic ones. Both philosophers value unity as an end, and both argue that our conceptions of purpose must aim toward a world where practical conditions of unity are taken seriously. Therefore, we must aim toward economic justice and posisdtive peace. (shrink)

Martin Luther King, Jr. developed a philosophical logic of nonviolence in terms of equality, structure, nonviolent direct action, and love. Here we look at the way King's analysis makes use of each concept with a special view to the context of other Black activist intellectuals. This ebook is a slightly edited version of earlier print editions.

Contrary to common belief, Martin Luther King, Jr. does not refute the right to violence. Yet in situations where a right to violence would obtain, King chooses nonviolence. While King's renunciation is often articulated in terms of ideal obligations to transcendent principles, this study makes the case that nonviolence may be preferred for material effects. In fact, King often articulated the case for nonviolence in two modes: the better known transcendental mode and the lesser studied material mode, what is (...) here termed his pacifist materialism. (shrink)

To a world assaulted by private interests, this book argues that peace must be a public thing. Distinguished philosophers of peace have always worked publicly for public results. Opposing nuclear proliferation, organizing communities of the disinherited, challenging violence within status quo establishments, such are the legacies of truly engaged philosophers of peace. This volume remembers those legacies, reviews the promise of critical thinking for crises today, and expands the free range of thinking needed to create more mindful and peaceful relations. (...) With essays by committed peace philosophers, this volume shows how public engagement has been a significant feature of peace philosophers such as Camus, Sartre, Dewey, and Dorothy Day. Today we also confront historical opportunities to transform practices for immigration, police interrogation, and mental health, as we seek to sustain democracies of increasing multicultural diversity. In such cases our authors consider points of view developed by renowned thinkers such as Weil, Mouffe, Conway, and Martín-Baró. This volume also presents critical analysis of concepts for thinking about violence, reconsiders Plato’s philosophy of justice, and examines the role of ethical theory for liberation struggles such as Occupy! (shrink)

Moshe ben Maimon, or Moses Maimonides (1135-1204), remains one of the most celebrated rabbis in this history of Judaism; his numerous writings include philosophical and medical treatises in Arabic, two of history's most important works on Jewish law, and, most notably, efforts to reconcile Aristotelian philosophy with biblical teaching. The Complete Medical Works, edited by Gerrit Bos of the Martin-Buber-Institut fur Judaistik at the University of Cologne, collects the entirety of Maimonides's medical writings. Notwithstanding its title, On Asthma is (...) in fact a complete regimen of health, designed for the needs of a high-ranking patient whose identity is not stated. In true Galenic fashion, Maimonides stresses that a healthy lifestyle and diet are the most important preventative measures against chronic illness such as asthma. Good and bad foods are described in detail, and many recipes for beneficial dishes and drugs are included, with Maimonides adapting Galenic regimens to the needs of his Muslim patient. Volume Two offers Gerrit Bos’s critical editions of all three surviving medieval Hebrew translations of Maimonides’ work: one allegedly prepared by the fourteenth-century physician Samuel Benveniste, who served Don Manuel, brother of King Pedro IV of Aragon; a second by Joshua Shatibi from Játiva (Xátiva) between the years 1379 and 1390, for the referendary Fernán Díaz of Toledo at the court of King Juan II of Castile; and a third by an anonymous translator, perhaps in the thirteenth century. The volume also contains critical editions by Michael R. McVaugh of the two medieval Latin translations of Maimonides’ treatise, one probably made by Giovanni da Capua at Rome c. 1300 and the other begun by Armengaud Blaise in Montpellier in 1294 but completed eight years later. It concludes with a section of addenda and corrigenda to the first volume. (shrink)

Calling is a very important concept in Christianity. In the medieval era, calling was restricted to ecclesiastical work alone, a devotion to the life of contemplation. Ordinary work or physical labour was not considered qualified to be a calling. Martin Luther was the one who taught that the ordinary work of the ordinary people was also God’s calling and equally spiritual as the ecclesiastical work. However, Miroslav Volf, a Croatian theologian, criticised Luther that his view of calling was too (...) static and irrelevant to the modern context where people often choose to quit a job because of its negative effects and some people have to do multiple jobs in order to make ends meet. While recognising the validity of Volf’s critique, this article seeks to demonstrate that even in the modern context, calling is still a very important theological concept to reflect upon work. Luther’s vocational view of work could be retrieved in discussing the theology of work by putting it in dialogue with Calvin, Kuyper, and other theologians.Contribution: This article seeks to show that the concept of calling is indispensable in constructing a sound theology of work for the modern context. By understanding work as calling, Christian workers are enabled to see how they are participating in God’s redemptive work through their jobs. (shrink)

Preview: /Review: Tommy Shelby and Brandon M. Terry, eds. To Shape a New World: Essays on the Political Philosophy of Martin Luther King, Jr., 463 pages./ To mark the fiftieth anniversary of Martin Luther King, Jr.’s assassination, Harvard professors Tommie Shelby and Brandon M. Terry have produced a masterful reappraisal of King’s legacy, specifically as a political philosopher. More importantly, the book can be read as a mirror through which we can see King’s struggles and resistance, that led (...) him down a “dangerous road,” having strong parallels with the dangerous road we face with current political and social upheavals. Negative reactions against globalization have heightened the sentiments of fear, paranoia, and partisanship. Racial tensions are reaching a boiling-point in the U.S. after the 2017 Charlottesville protests and a pattern of discrimination and senseless killings from the privileged campus of Yale to the country roads of Minnesota or Georgia, by law enforcement and civilians alike. One of the tendencies growing in this distressing hour of world history entails the rise of personality and celebrity cults forming around “strong” leaders. A mobocracy mentality is forming the way we think about politicians, judges, or even health specialists like chief U.S. immunologist Anthony Fauci. Celebrity fetishizing has infected Americans’ sense of reality, including the ways in which politics are practiced and interpreted. Engulfed in the quagmires of identity politics, our attempts to legitimate who has the right to fight for social justice have been paralyzed by these performative gestures of social change and action. It could be argued that the aesthetic presentation and the skills of rebranding have, in a certain sense, replaced the philosophical and moral concerns explored in the sections on “Traditions,” “Ideals,” “Justice,” and “Conscience,” respectively. What King teaches us philosophically has, more often than not, been glossed over by a superficial publicity or aesthetics of infotainment destined for the tabloids. For this reason, King’s iconic image is both a blessing and curse. In order to appreciate the full thrust of King’s thinking, we have to go deeper morally and philosophically to supplement our aesthetic religious values and interests, and that is what these fifteen essays deliver. (shrink)

Jewish Messianism and the History of Philosophy contests the ancient opposition between Athens and Jerusalem by retrieving the concept of meontology - the doctrine of nonbeing - from the Jewish philosophical and theological tradition. For Emmanuel Levinas, as well as for Franz Rosenzweig, Hermann Cohen and Moses Maimonides, the Greek concept of nonbeing clarifies the meaning of Jewish life. These thinkers of 'Jerusalem' use 'Athens' for Jewish ends, justifying Jewish anticipation of a future messianic era as well as portraying the (...) subjects intellectual and ethical acts as central in accomplishing redemption. This book envisions Jewish thought as an expression of the intimate relationship between Athens and Jerusalem. It also offers new readings of important figures in contemporary Continental philosophy, critiquing previous arguments about the role of lived religion in the thought of Jacques Derrida, the role of Plato in the thought of Emmanuel Levinas and the centrality of ethics in the thought of Franz Rosenzweig. (shrink)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations between the (...) elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (shrink)

What does it mean to wonder in awe or terror about the world? How do you philosophically understand Judaism? In How to Measure a World?: A Philosophy of Judaism, Martin Shuster provides answers to these questions and more. Emmanuel Levinas suggested that Judaism is best understood as an anachronism. Shuster attempts to make sense of this claim by alternatively considering questions of the inscrutability of ultimate reality, of the pain and commonness of human suffering, and of the ways in (...) which Judaism is entangled with the world. Drawing on phenomenology and Jewish thought, Shuster offers novel readings of some of the classic figures of Jewish philosophy while inserting other voices into the tradition, from Moses Maimonides to Theodor W. Adorno to Walter Benjamin to Stanley Cavell. How to Measure a World? examines elements of the Jewish philosophical record to get at the full intellectual scope and range of Levinas's proposal. Shuster's view of anachronism thereby provokes an assessment of the world and our place in it. A particular understanding of Jewish philosophy emerges, not only through the traditions it encompasses, but also through an understanding of the relationship between humans and their world. In the end, Levinas's suggestion is examined theoretically as much as practically, revealing what's at stake for Judaism as much as for the world. (shrink)

"Filone di Alessandria, La filosofia mosaica: La creazione del mondo, secondo Mosè, trad, de C. Kraus Reggiani, Le allegorie delle Leggi, trad. di R.Radice; Prefazioni, apparati e commentari di R. Radice; Monografia introduttiva di G. Reale e R. Radice, Milano, 1987 (Rusconi, 580 páginas)." published on 30 Mar 1990 by Brill.

Perjumpaan Fransiskus Assisi dengan Sultan al-Kamil di tengah ko- baran perang salib akhir-akhir ini mendapat banyak perhatian dari pel- bagai macam peneliti (Hoeberichts 1997; Warren 2003, Tolan 2007, Moses 2009). Yang terakhir, Paul Moses—seorang Guru Besar Jurnalistik di Brooklyn College, New York— melakukan investigasinya sendiri dan menulis suatu buku yang sangat menarik dan aktual, seperti yang boleh diharapkan dari seorang pakar komunikasi. Landasan penting penelitian Moses adalah evaluasinya yang kritis terhadap sumber-sumber. Ia mengemukakan bahwa sumber-sumber tertua tentang peristiwa ini (Jacques (...) de Vitry, dan sebuah kronik yang anonim, keduanya saksi mata perang salib kelima itu) memberi gambaran lebih damai tentang perjumpaan ini ketimbang riwayat-riwayat hidup Fransiskus yang kemudian (Celano, Bonaventura, dll.) yang menggambarkannya sebagai misi yang konfrontatif, berusaha mempertobatkan Sultan untuk mencari kemartiran. Adalah Konsili Lateran IV (1215) dan Paus Innocentius III (1198-1216) serta penggantinya, Paus Honorius III, yang pada masa itu membangkitkan semangat untuk perang salib kelima guna merebut kembali Yerusalem yang belasan tahun sebelumnya direbut dari tangan penguasa Kristen oleh Salah ad-Din (Saladin), paman Sultan Malik al- Kamil. Kendati keluarga Sultan sudah memberitahukan bahwa Sultan bersedia menyerahkan kembali Yerusalem demi persetujuan damai, pihak Paus dan raja-raja Barat tetap mengobarkan semangat perang dan mengumpulkan pasukan. Menurut Moses, Fransiskus, dan saudara- saudaranya diharapkan oleh Gereja ikut mewartakan perang suci, tetapi ia memilih membawakan Injil ke seluruh Eropa, tidak terkecuali juga ke wilayah-wilayah Muslim. Serangan pasukan salib ke Kesultanan Mesir dimulai dari kota pela- buhan Damietta di delta Sungai Nil. Tawaran damai Malik al-Kamil, Sultan Mesir yang dikenal bijaksana dan juga moderat terhadap umat Kristiani di Mesir, kembali ditolak oleh Kardinal Pelagius, utusan Paus dalam perang salib kelima ini. Fransiskus datang ke camp crusaders pada Agustus 1219 dan memberi peringatan kepada para crusaders bahwa serangan mereka akan gagal, tetapi ia ditertawakan. Lalu pada September 1219 ia memutuskan untuk mencari jalan lain dengan menyeberangi lini permusuhan dan mendatangi Sultan al-Malik, tidak sebagai utusan tetapi hanya dengan pengetahuan Kardinal Pelagius menggambarkan Sultan al-Kamil sebagai binatang buas. Sebagai anak zamannya, Fransiskus ingin menciptakan damai dengan mewartakan Injil kepada Sultan. Hal itu tampaknya dilakukannya dengan cara yang khas, sebab dalam sumber tertua dikatakan bahwa Sultan mendengarkannya dengan penuh perhatian, dan memperlakukan Fransiskus sebagai tamu terhormat selama beberapa hari. Menurut Moses, Sultan mungkin terharu bahwa ada orang Kristiani yang berbeda dengan para agresor rakus yang ia kenal dari perang salib. Al-Kamil yang dikenal terbuka untuk Sufisme mungkin juga suka mendengarkan Fransiskus, karena Fransiskus terkesan mirip dengan seorang Sufi. Di lain pihak, Fransiskus juga terkesan dengan apa yang ia lihat, misalnya cara pasukan Muslim menjawab panggilan untuk berdoa............................................................... Kenyataan asli menurut Tolan ialah bahwa Fransiskus ingin menjalankan hidup rasuli sampai dengan mahkotanya, kemartiran, yang dapat ia peroleh dengan pergi mewartakan Injil kepada Sultan. Ini memang gam- baran yang jelas ada dalam biografi-biografi Celano dan Bonaventura, te- tapi tidak muncul dalam kronik-kronik lebih tua dan konteks hidup Fran- siskus sendiri. Kelemahan karya Tolan ialah bahwa ia kurang kembali kepada tulisan-tulisan Fransiskus sendiri dan riwayat hidupnya, seperti yang dilakukan secara mengesankan oleh Moses yang berhasil memper- lihatkan dalam konteks hidup Fransiskus suatu penolakan terhadap pe- rang, pewartaan damai, penghargaan terhadap praktik doa Islam, dan cara misi baru; yang semuanya harus dijadikan patokan untuk interpretasi per- jumpaan Fransiskus dengan Sultan. Tolan gagal melihat tema damai dalam riwayat hidup dan tulisan-tulisan Fransiskus itu, dan dengan demikian juga tidak mengakui adanya sesuatu yang inspiratif dalam peristiwa perjumpaan itu untuk hubungan Muslim–Kristiani masa sekarang. Sebaliknya, ia agak keras menolak interpretasi sejumlah peneliti dan gerakan damai sejak akhir abad ke-20 yang melihat misi Fransiskus sebagai misi damai dan menemukan dalam Fransiskus suatu model untuk menolak kekerasan perang dan mencari pendekatan baru, khususnya dalam hal ketegangan antaragama. Kelemahan karya Tolan ini sangat tampak justru dalam perbandingan dengan karya Moses, yang tidak mendiskusikan Tolan sebab terlambat menerimanya. Buku ketiga, St. Francis and the Conversion of the Muslims, karya Frank M. Rega, amat berbeda dengan kedua studi ilmiah di atas. Dengan tidak kritis sedikit pun, Rega menggabungkan semua yang bagus-bagus dalam pelbagai versi—dari kronik-kronik paling awal sampai ke legenda- legenda yang sangat kemudian—tentang perjumpaan Fransiskus dengan Sultan itu. Tanpa membedakan pelbagai versi dan bertanya tentang latarbelakang dan tujuan masing-masing, seperti dilakukan Tolan, Rega menciptakan suatu versi gabungan yang agaknya akan disukai oleh pembaca Katolik yang saleh dan konservatif (yang memang dilayani oleh penerbit Tan Books), tetapi tidak bernilai bagi seorang peneliti yang ingin menyingkapkan maksud Fransiskus sendiri dan sumber-sumber masing-masing; dan sangat mengecewakan pembaca kritis sekarang yang mencari ilham dalam adegan ini bagi masalah-masalah dunia sekarang. Cerita legendaris Rega yang penuh triumfantalisme yang hampir-hampir yakin bahwa Sultan bertobat dan dibaptis menjelang kematiannya, tentu lebih mengganggu hubungan Kristen dan Muslim sekarang daripada membantu menemukan suatu pendekatan baru. (Martin Harun, Program Studi Ilmu Teologi, Sekolah Tinggi Filsafat Driyarkara, Jakarta). (shrink)

This essay takes on the implicit claim in Taylor's A Secular Age, forecast in some of his earlier writings, that the desire for a meaningful life can never be satisfied in this life. As a result, A Secular Age is suffused with a tragic view of existence; its love of narratives of religious longing makes no sense otherwise. Yet there are other models of religion that lend meaning to existence, and in the majority of this essay, I take up one (...) model that Taylor ignores in A Secular Age, namely that of a God who is immanent in social life throughout religious law. Turning to Maimonides's account of divine law in the Guide of the Perplexed, I argue that a vision of the divine law that is divine because of its effects in society, namely the promotion of human welfare, can mend the relations between varying kinds of believers and unbelievers in a way that Taylor thinks is impossible. A God who commands laws is a God who inaugurates an “anthropocentric shift” long before current understandings of secularization see it beginning. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

[I]f you could know a priori that you are in a given mental state, and your being in that state conceptually or logically implies the existence of external objects, then you could know a priori that the external world exists. Since you obviously _can.

The Covid-19 pandemic creates an unprecedented threatening situation worldwide with an urgent need for critical reflection and new knowledge production, but also a need for imminent action despite prevailing knowledge gaps and multilevel uncertainty. With regard to the role of research ethics in these pandemic times some argue in favor of exceptionalism, others, including the authors of this paper, emphasize the urgent need to remain committed to core ethical principles and fundamental human rights obligations all reflected in research regulations and (...) guidelines carefully crafted over time. In this paper we disentangle some of the arguments put forward in the ongoing debate about Covid-19 human challenge studies and the concomitant role of health-related research ethics in pandemic times. We suggest it might be helpful to think through a lens differentiating between risk, strict uncertainty and ignorance. We provide some examples of lessons learned by harm done in the name of research in the past and discuss the relevance of this legacy in the current situation. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

Heidegger in America explores the surprising legacy of his life and thought in the United States of America. As a critic of modern life, Heidegger often lamented the growing global influence of all things American. However, it was precisely in America where his thought inspired the work of generations of thinkers – not only philosophers but also theologians, architects, novelists, and even pundits. As a result, the reception and dissemination of Heidegger's philosophical writings transformed the intellectual and cultural history of (...) the United States at a time when American influence was itself transforming the world. A case study in the complex and sometimes contradictory process of transnational exchange, Heidegger in America recasts the scope and methods of contemporary intellectual and cultural history in the age of globalization, challenging what we think we know about Heidegger and American ideas simultaneously. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

BackgroundHealth data-driven activities have become central in diverse fields (research, AI development, wearables, etc.), and new ethical challenges have arisen with regards to privacy, integrity, and appropriateness of use. To ensure the protection of individuals’ fundamental rights and freedoms in a changing environment, including their right to the protection of personal data, we aim to identify the ethical approaches adopted by scientists during intensive data exploitation when collecting, using, or sharing peoples’ health data.MethodsTwelve scientists who were collecting, using, or sharing (...) health data in different contexts in Sweden, were interviewed. We used systematic expert interviews to access these scientists’ specialist knowledge, and analysed the interviews with thematic analysis. Phrases, sentences, or paragraphs through which ethical values and norms were expressed, were identified and coded. Codes that reflected similar concepts were grouped, subcategories were formulated, and categories were connected to traditional ethical approaches.ResultsThrough several examples, the respondents expressed four different ethical approaches, which formed the main conceptual categories: consideration of consequences, respect for rights, procedural compliance, and being professional.ConclusionsTo a large extent, the scientists’ ethical approaches were consistent with ethical and legal principles. Data sharing was considered important and worth pursuing, even though it is difficult. An awareness of the complex issues involved in data sharing was reflected from different perspectives, and the respondents commonly perceived a general lack of practical procedures that would by default ensure ethical and legally compliant data collection and sharing. We suggest that it is an opportune time to move on from policy discussions to practical technological ethics-by-design solutions that integrate these principles into practice. (shrink)

The discussion of collective agency involves the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long restricted orthodox theories and made them face the tension between an irreducible concept of a collective and ontological reductionism. Heterodox theories as functionalism and interpretationism reinterpret the concept of agency and accept it as realized on the level of a collective. In order to adequately explain social phenomena that have relations as their essence, in this paper we propose a (...) relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)