Symposium on Christopher Bennet's The Apology Ritual. A Philosophical Theory of Punishment [Cambridge University Press, 2008].

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

The Glagolitic alphabet was intended as a political and religious tool for the Slavs in the ninth century. This paper argues that despite its quick suppression, Glagolitic – arguably composed by Constantine The Philosopher (a brother of Methodius) from Thessaloniki – could have been a mystical tool. The relevant historical context and hagiographical material are explored to establish the alphabet’s origins. Uspenskij’s distinction regarding the palaeographic and ideographic origins of scripts is then followed. A short survey of the most (...) relevant graphic features of some letters, their arrangement in the alphabet, their names, and their possible origins is accompanied by a more in-depth discussion of some key graphemes and their mystical potential. Tschernochvostoff’s theory of Glagolitic being woven upon three basic Christian symbols is elaborated on and expanded. Finally, the stunning (acrophonic) naming of the letters is shown as coding comprehensible Christian, and arguably mystical, messages in Proto-Slavic. (shrink)

'People travelled for numerous reasons,' so J.W. Drijvers submits at the beginning of his piece on travel and pilgrimage literature. Be it ‘commerce, government affairs, religion, education, military business or migration,’ people ‘made use of the elaborate system of roads and modes of transport such as wagons, horses and boats’ to traverse the far-reaching stretches of the Roman Empire. And for 4th century Christians in particular, participating in religious festivals as well as interaction with holy sites, sacred artifacts and clergymen (...) had become greater a reason to travel still. Motivation to travel, in other words, was aplenty. But what exactly allowed for Christian religious travel in the 4th century AD to develop as quickly as it did? (shrink)

In this thirteenth book of scilogs – one may find topics on Neutrosophy, Plithogeny, Physics, Mathematics, Philosophy – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. It presents new types of soft sets and new types of topologies. -/- Exchanging ideas with Mohammad Abobala, Ishfaq Ahmad, Ibrahim M. Almanjahie, Fatimah Alshahrani, Nizar Altounji, Muhammad Aslam, Said Broumi, Victor Christianto, R. Diksh, Feng Liu, Frank Julian Gelli, Erick Gonzalez Caballero, (...) Riad Hamido, Yaser Al-Hasan, Ahmed Hatip, Yasin Karmouta, Nivetha Martin, Preda Mihăilescu, V. Lakshmana Gomathi Nayagam, Ze Carlos Tiago de Oliveira, Alexey Platonov, Andrei Pogany, Shakti Prasad, Ranulfo Paiva Barbosa (Sobrinho), Dmitri Rabounski, Ackbar Rezaei, Constantin Sandu, A. Saraswathi, Usman Shahzad, Gocho V. Sharlanov, Stefan Spaarmann, Michael Voskoglou, Vinay Kumar Yadav, Tomasz Witczak, William H. Woodall, Mircea Zărnescu, Mohamed Bisher Zeina (in order of reference in the book). (shrink)

There can be no doubt that discrimination based on sex, race, ethnicity, religion or beliefs should not be tolerated in academia. Surprisingly, however, in recent years, policies of Diversity, Inclusion and Equity(DIE), officially introduced to counteract discrimination, have increasingly led to quite the opposite result: the exclusion of individuals who do not share a radical 'woke' ideology on identity politics (feminism, other gender activisms, critical race theory, etc.), and to the suppression of the academic freedom to discuss such dogmas. This (...) subversion of academia ― disguised Trojan-horse style as universal human rights advocacy ― is unacceptable because academia must be politically neutral and protect freedom of speech, a cornerstone of professional scholarly activity without which universities as we know them will slowly but surely suffocate. -/- Our purpose here is to put together some particularly illustrative cases of such repression in a single book, testifying to a ubiquitous trend within western culture, irreducible to a few isolated complaints. The essays contained here illustrate the abuse of power, censorship and witch-hunts at many universities and research centres in the name of DIE. -/- List of coauthors in alphabetical order: Dorian Abbot, Tomonori Agoh, Gerhard Amendt, Ivar Arpi, David Benatar, Peter Boghossian, Civitas Research Team, David Díaz Pardo de Vera, Pedro Domingos, Janice Fiamengo, Étienne Forest, Jorge Gibert Galassi, Norman Goldstuck, José L. González Quirós, Lawrence M. Krauss, Patrick LaBelle, Martín López Corredoira, Heather Mac Donald, Martin Malmgren, Erik. J. Olsson, Jordan Peterson, Constantin Polychronakos, Philip C. Salzman, Alessandro Strumia, Tom Todd, Andrei Yafaev. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Multicellular organisms contain numerous symbiotic microorganisms, collectively called microbiomes. Recently, microbiomic research has shown that these microorganisms are responsible for the proper functioning of many of the systems (digestive, immune, nervous, etc.) of multicellular organisms. This has inclined some scholars to argue that it is about time to reconceptualise the organism and to develop a concept that would place the greatest emphasis on the vital role of microorganisms in the life of plants and animals. We believe that, unfortunately, there is (...) a problem with this suggestion, since there is no such thing as a universal concept of the organism which could constitute a basis for all biological sciences. Rather, the opposite is true: numerous alternative definitions exist. Therefore, comprehending how microbiomics is changing our understanding of organisms may be a very complex matter. In this paper we will demonstrate that this pluralism proves that claims about a change in our understanding of organisms can be treated as both true and untrue. Mainly, we assert that the existing concepts differ substantially, and that only some of them have to be reconsidered in order to incorporate the discoveries of microbiomics, while others are already flexible enough to do so. Taking into account the plurality of conceptualisations within different branches of modern biology, we will conduct our discussion using the developmental and the cooperation–conflict concepts of the organism. Then we will explain our results by referring to the recent philosophical debate on the nature of the concept of the organism within biology. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. At (...) stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

The article studies the impact of Fintech on entrepreneurship in Arabic region by using Crowdfunding platforms as the field of study. The article focuses on Arabic Crowdfunding platforms. The population of (12) platforms consist of: individuals, entrepreneurs, investors, employees at Crowdfunding platforms. Descriptive and quantitative approach used in this article, and a questionnaire used as a tool to collect primary data. The results indicate an impact for Fintech on entrepreneurship in general and obvious obstacles to use it widely in Arabic (...) region cause of legislations or e-payments. The article recommended more awareness for innovative products and services such as Fintech, Crowdfunding and adopting the culture of e-business models. Also the article promoting the process of developing regulations that organize e-business models, especially Fintech and Crowdfunding, the use of modern communication technology to serve the development of society, more interest to innovation and creativity as a key factor for entrepreneurial success. (shrink)

Software piracy is older than the PC and has been the subject of several studies, which have found it to be a widespread phenomenon in general, and among university students in particular. An earlier study by Cohen and Cornwell from a decade ago is replicated, adding questions about downloading music from the Internet. The survey includes responses from 224 students in entry-level courses at two schools, a nondenominational suburban university and a Catholic urban college with similar student profiles. The study (...) found that there has been few if any changes in student opinions regarding the unauthorized duplication of copy- righted materials. Students generally felt that copying commercial software and downloading music from the Internet was acceptable and found that there was no significant correlation between student attitudes and their school’s religious affiliation or lack thereof. Additionally, the study found that a small but significant percentage of respondents considered the other questionable behaviors as ethically acceptable. Finally, the reasons for these attitudes are discussed as well as what colleges can do to correct the situation. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my appropriating insights about (...) indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

For centuries it has been a mainstay of European and American moral thought that keeping promises—and the allied activity of upholding contracts—is one of the most important requirements of morality. On some historically powerful views the obligation to uphold promises or contracts not only regulates private relationships, but also provides the moral foundation for our duty to support and obey legitimate governments. Some theorists believe that the concept of keeping promises has gradually moved to center stage in European moral thought. (...) They see this movement as part of an historical shift from a moral conception in which an individual’s duties are mainly externally imposed and unalterable, to a conception in which duties are largely chosen by the individual. (shrink)

In 2035 global egg demand will have risen 50% from 1985. Because we are not able to tell in the egg whether it will become a male or female chick, billons of one day-old male chicks will be killed. International research initiatives are underway in this area, and governments encourage the development of an alternative with the goal of eliminating the culling of day-old male chicks. The Netherlands holds an exceptional position in the European egg trade, but is also the (...) only country in the European Union where the downside of the egg sector, the practice of killing day-old male chicks, is a recurrent subject of societal debate. ‘Preventing the killing of young animals’ and ‘in ovo sex determination’ are the two alternative approaches available to solve this problem. It is clear that both approaches solve the problem of killing day-old male chicks, either by keeping them alive or by preventing them from living, but they also raise a lot of new animal welfare-related dilemmas. A thorough analysis was undertaken of these dilemmas and the results are presented in this article. The analysis resulted in an ethical framework based on the two main approaches in bioethics: a consequentialist approach and a deontological approach. This ethical framework was used to develop an online survey administered to ascertain Dutch public opinion about these alternative approaches. The results show that neither alternative will be fully accepted, or accepted by more than half of Dutch society. However, the survey does provide an insight into the motives that are important for people’s choice: food safety and a good treatment of animals. Irrespective of the approach chosen, these values should be safeguarded and communicated clearly. (shrink)

This work introduces the framework for selecting architecture in 5G networks, considering various technological, performance, economic, and operational factors. With the emergence of 5G technology, the architecture selection process has become pivotal in meeting diverse requirements for ultra-high-speed connectivity, low latency, scalability, and diverse service demands. The evaluation comprehensively analyses different architecture options, including centralized, distributed, cloud-based, and virtualized architectures. Factors such as network performance, scalability, cost-effectiveness, security, and compatibility are considered within a multi-criteria decision-making framework. Findings reveal each architecture (...) option's diverse strengths and limitations, emphasizing the importance of aligning architectural choices with specific use cases, deployment scenarios, and business objectives. We used the concept of multi-criteria decision-making (MCDM) methodology to control the various criteria. We used the single-valued neutrosophic set (SVNS) to deal with vague and inconsistent data. The SVNS is integrated with the hyperSoft set. The proposed methodology uses a single-valued neutrosophic hyperSoft set (SVNHSS) to select the best 5G architecture. We used the VIKOR method as an MCDM method to rank the alternatives. The proposed framework provides stakeholders with a structured methodology to evaluate and prioritize architecture options, facilitating informed decision-making in the complex landscape of 5G network deployments. (shrink)

Diabetic ketoacidosis is a serious, medical emergency that can be fatal but treatable, we aimed to evaluate the clinical profile of patients admitted with diabetic ketoacidosis. This case series study enrolled 213 non-pregnant adult and adolescent patients admitted with diabetic ketoacidosis at Tripoli Diabetes Hospital from January to September 2023. Demographic data, clinical characteristics, laboratory findings, precipitating factors, and patient outcomes were extracted from medical records and analyzed. Type 1 diabetes mellitus was present in 187 (87.8%) of patients, the age (...) range 11-84 years, (30.26±13.28), with 130 patients ≤30 years old (61.0%), females accounting for 110 of the patients (51.6%), 109 had a diabetes duration of less than 10 years (51.2%). The most common precipitating factor was insulin omission 92 (43.2%) in patients with known diabetes mellitus, whereas, diabetic ketoacidosis as the first presentation of diabetes mellitus in 24 patients (11.7%), systolic blood pressure ranged 50-160 mmHg (112.82±16.19), diastolic blood pressure varied 30-100 mmHg (70.24±11.32). Plasma glucose at presentation ranged 183-1494 mg/dl (462.92±169.85), with Eu-glycemic diabetic ketoacidosis 100-249 mg/dl were in nine patients (4.2%), whereas most of cases (135 patients, 63.4%) present with plasma glucose 250-500 mg/dl, while hyperosmolar status (≥701 mg/dl) were present in 13 patients (6.1%). Venous pH varied from 6.7-7.42 (7.13±0.14), 132 (62.0%) patients presented with pH <7.24, while severe acidosis was pH < 7 in 32 of patients (14.6%), serum bicarbonate with 10.93±4.95, severe (<5 mmol) in 91 patients (42.7%) and moderate (5-10 mmol) were in 79 patients (37.08%). The mean length of hospital stay was 3.33 days, with an average of 2.11 days spent in the high-dependent unit. Serum potassium varied from 2.4-6.7 meq/L with 3.66± 0.63, most common complications of diabetic ketoacidosis treatment were hypokalemia observed in 82 (35.7%) of cases, and hypoglycemia was detected in 41 patients (19.2%). 170 patients were discharged in good condition (79.8%), and 17.8% of patients were transferred to another hospital to receive further management for co-morbid diseases with diabetes after controlling their hyperglycemic crises. The majority of patients presented with the critical status of diabetic ketoacidosis. The findings emphasize the importance of patient education about prevention measures prompt presentation to the hospital, and clinicians' awareness for early and aggressive treatment of hyperglycemic crises. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

Van Inwagen proposes that besides simples only living organisms exist as composite objects. This paper suggests expanding van Inwagen’s ontology by also accepting composite objects in the case that physical bonding occurs (plus some extra conditions). Such objects are not living organ-isms but rather physical bodies. They include (approximately) the complete realm of inanimate ordinary objects, like rocks and tables, as well as inanimate scientific objects, like atoms and mol-ecules, the latter filling the ontological gap between simples and organisms in (...) van Inwagen’s origi-nal picture. We thus propose a compositional pluralism claiming that composition arises if and on-ly if bonding or life occurs. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Here I outline the argument in Kim Sterelny’s book The Evolved Apprentice. I present some worries for Sterelny from the perspective of modelers in behavioral ecology. I go on to discuss Sterelny’s approach to moral psychology and finally introduce some potential new applications for his evolved apprentice view.

A moral code consists of principles that assign moral status to individual actions – principles that evaluate acts as right or wrong, prohibited or obligatory, permissible or supererogatory. Many theorists have held that such principles must serve two distinct functions. On the one hand, they serve a theoretical function, insofar as they specify the characteristics in virtue of which acts possess their moral status. On the other hand, they serve a practical function, insofar as they provide an action-guide: a standard (...) by reference to which a person can choose which acts to perform and which not. Although the theoretical and practical functions of moral principles are closely linked, it is not at all obvious that what enables a principle to fill one of these roles automatically equips it to fill the other. In this paper I shall briefly examine some of the reasons why a moral principle might fail to fill its practical role, i.e., be incapable of guiding decisions. I shall then sketch three common responses to this kind of failure, and examine in some detail the adequacy of one of the most popular of these responses. (shrink)

Alasia Nuti’s important recent book, Injustice and the Reproduction of History: Structural Inequalities, Gender and Redress, makes many persuasive interventions. Nuti shows how structural injustice theory is enriched by being explicitly historical; in theorizing historical-structural injustice, she lays bare the mechanisms of how the injustices of history reproduce themselves. For Nuti, historical-structural patterns are not only shaped by habitual behaviors that are or appear to be morally permissible, but also by individual wrongdoing and wrongdoing by powerful group agents like states. (...) In this article, I extend Nuti’s rich analysis, focusing on two questions that arise from her theory of historical-structural injustice: Beyond being blameworthy for wrongful acts themselves, are culpable wrongdoers blameworthy for contributing to structural injustice? Does historical moral ignorance mitigate moral responsibility for past injustice? Regarding, I distinguish between the local and societal structural effects of wrongdoing. Though I think this distinction is well-founded, it ultimately leads to tensions with structural injustice theory’s idea of ordinary individuals being blameless for reproducing unjust structures. Regarding, I argue that even though it is natural for the question of historical moral ignorance to arise in considering past wrongdoing, at least in the case of powerful group agents, we should not overlook forms of cruelty which present-day moral concepts are not needed to condemn. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Because we must often make decisions in light of imperfect information about our prospective actions, the standard principles of objective obligation must be supplemented with principles of subjective obligation (which evaluate actions in light of what the agent believes about their circumstances and consequences). The point of principles of subjective obligation is to guide agents in making decisions. But should these principles be stated in terms of what the agent actually believes or what it would be reasonable for her to (...) believe about her prospective actions? I show that there are many decisions for which “reasonable belief” principles can’t be used by the decision-maker, especially in cases in which whether (or how) the agent investigates or deliberates affects the nature of the prospective action itself. I conclude that subjective rightness depends on what the agent actually believes, not what it would be reasonable for her to believe. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

The precautionary principle (PP) aims to anticipate and minimize potentially serious or irreversible risks under conditions of scientific uncertainty. Thus it preserves the potential for future developments. It has been incorporated into many international treaties and pieces of national legislation for environmental protection and sustainable development. In this article, we outline an interpretation of the PP as a framework of orientation for a sustainable information society. Since the risks induced by future information and communication technologies (ICT) are social risks for (...) the most part, we propose to extend the PP from mainly environmental to social subjects of protection. From an ethical point of view, the PP and sustainability share the principle of intergenerational justice, which can be used as an argument to preserve free space for the decisions of future generations. Applied to technical innovation and to ICT issues in particular, the extended PP can serve as a framework of orientation to avoid socio-economically irreversible developments. We conclude that the PP is a useful approach for: (i) policy makers to reconcile information society and sustainability policies and (ii) ICT companies to formulate sustainability strategies. (shrink)

This paper presents a preliminary analysis of the first participatory budgeting experiment in the United States, in Chicago's 49th Ward. There are two avenues of inquiry: First, does participatory budgeting result in different budgetary priorities than standard practices? Second, do projects meet normative social justice outcomes? It is clear that allowing citizens to determine municipal budget projects results in very different outcomes than standard procedures. Importantly, citizens in the 49th Ward consistently choose projects that the research literature classifies as low (...) priority. The results are mixed, however, when it comes to social justice outcomes. While there is no clear pattern in which projects are located only in affluent sections of the ward, there is evidence of geographic clustering. Select areas are awarded projects like community gardens, dog parks, and playgrounds, while others are limited to street resurfacing, sidewalk repairs, bike racks, and bike lanes. Based on our findings, we offer suggestions for future programmatic changes. (shrink)

John Searle’s The Construction of Social Reality and Hernando de Soto’s The Mystery of Capital shifted the focus of current thought on capital and economic development to the cultural and conceptual ideas that underpin market economies and that are taken for granted in developed nations. This collection of essays assembles 21 philosophers, economists, and political scientists to help readers understand these exciting new theories.

Growing awareness of the ethical implications of neuroscience in the early years of the 21st century led to the emergence of the new academic field of “neuroethics,” which studies the ethical implications of developments in the neurosciences. However, despite the acceleration and evolution of neuroscience research on nonhuman animals, the unique ethical issues connected with neuroscience research involving nonhuman animals remain underdiscussed. This is a significant oversight given the central place of animal models in neuroscience. To respond to these concerns, (...) the Center for Neuroscience and Society and the Center for the Interaction of Animals and Society at the University of Pennsylvania hosted a workshop on the “Neuroethics of Animal Research” in Philadelphia, Pennsylvania. At the workshop, expert speakers and attendees discussed ethical issues arising from neuroscience research involving nonhuman animals, including the use of animal models in the study of pain and psychiatric conditions, animal brain-machine interfaces, animal–animal chimeras, cerebral organoids, and the relevance of neuroscience to debates about personhood. This paper highlights important emerging ethical issues based on the discussions at the workshop. This paper includes recommendations for research in the United States from the authors based on the discussions at the workshop, loosely following the format of the 2 Gray Matters reports on neuroethics published by the Presidential Commission for the Study of Bioethical Issues. (shrink)

In these replies, I shall respond to criticisms offered by Kaczor and Rodger to my article titled “Ectogestation and the Problem of Abortion.” In the process, I shall also try to bring into focus why the possibility of ectogestation will radically alter the shape of the abortion debate.

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

Rainer Forst and others claim that normative moral and political claims depend for their justification on meeting a requirement of reciprocal and general acceptability (RGA). I focus on a core component of RGA, namely, the idea of reciprocity of reasons, distinguish between two readings of RGA, and argue that if reciprocity of reasons is understood in Forst’s terms, then RGA, even on the most promising reading, may not serve as a requirement of moral or political justification at all. The discussion (...) concludes with constructive observations on a path forward for theorists who nevertheless are inclined to hold on to RGA. (shrink)