Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...) and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)

In this dissertation, I explore the work of Donald Davidson, reveal an inconsistency in it, and resolve that inconsistency in a way that complements a debate in philosophy of science. In Part One, I explicate Davidson's extensional account of meaning; though not defending Davidson from all objections, I nonetheless present his seemingly disparate views as a coherent whole. In Part Two, I explicate Davidson's views on the dualism between conceptual schemes and empirical content, isolating four seemingly different arguments that Davidson (...) makes against the dualism; I demonstrate that, though the arguments fail, each is ultimately meant to rely on his account of meaning. ;In Part Three, I show that Davidson's extensional account of meaning gives rise to the analytic-synthetic distinction, while simultaneously needing to reject it. I then propose a resolution to Davidson's dilemma. Rather than treating interpretation of meaning as continuous with the holistic enterprise of science, as Quine treats translation, one should treat it as conceptually prior to science, as Kant treats epistemology. Nonetheless I recognize four reasons why Davidson himself would reject doing so. I therefore propose a view called 'transcendental semantics', based on Davidson's, that accepts my resolution. Further, transcendental semantics, like Kant's own transcendental idealism, posits a single conceptual scheme; nonetheless Kant's is concerned with Newtonian physics, transcendental semantics' with interpretation. ;Finally, in Part Four, I show how positing such a scheme allows transcendental semantics to complement a promising neo-Carnapian account of theory confirmation in science proposed by Michael Friedman. Scientists are first and foremost interpreters, a fact that allows transcendental semantics to help Friedman establish the possibility of rational continuity through scientific revolutions. In fact, transcendental semantics, by complementing Friedman's project, reunites two of Carnap's own concerns, philosophy of language and philosophy of science. I conclude that philosophy of language without philosophy of science is empty , while philosophy of science without philosophy of language is blind. (shrink)

This is a work in Kantian conceptual geography. It explores issues in analytic epistemology, philosophy of language, and metaphysics by appealing to theses drawn from Immanuel Kant's Critique of Pure Reason.

The Jungian conflict between the persona ("the mask of the soul") and the shadow (a sort of "counter-persona") is, from a philosophical perspective, akin to the dialectic between appearance and essence or, in a more existential fashion, similar to the difference between falseness and authenticity. Starting from a suggestion made by V. Dem. Zamfirescu, one can compare Jung's persona with Sartre's bad faith and Heidegger's das Man. If the persona were a mask mediating between the Ego and the external world, (...) the shadow would be an interface between the Self and the Ego. Remembering that Nietzsche (not only Freud and Schopenhauer) deeply influenced Jung in the constitution of the shadow, one can evaluate it in comparison with one of the key terms of Nietzschean nihilism, the last human being. (shrink)

This volum includes 37 papers of mathematics or applied mathematics written by the author alone or in collaboration with the following co-authors: Cătălin Barbu, Mihály Bencze, Octavian Cira, Marian Niţu, Ion Pătraşcu, Mircea E. Şelariu, Rajan Alex, Xingsen Li, Tudor Păroiu, Luige Vlădăreanu, Victor Vlădăreanu, Ştefan Vlăduţescu, Yingjie Tian, Mohd Anasri, Lucian Căpitanu, Valeri Kroumov, Kimihiro Okuyama, Gabriela Tonţ, A. A. Adewara, Manoj K. Chaudhary, Mukesh Kumar, Sachin Malik, Alka Mittal, Neetish Sharma, Rakesh K. Shukla, Ashish K. Singh, Jayant Singh, (...) Rajesh Singh, V.V. Singh, Hansraj Yadav, Amit Bhaghel, Dipti Chauhan, V. Christianto, Priti Singh, and Dmitri Rabounski. (shrink)

This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, (...) Mamouni Dhar, Christopher Dyer, Nur Ain Ebas, Mohamed Eisa, Ahmed K. Essa, Faruk Karaaslan, João Alcione Sganderla Figueiredo, Jorge Fernando Goyes García, N. Ramila Gandhi, Sudipta Gayen, Gustavo Alvarez Gómez, Sharon Dinarza Álvarez Gómez, Haitham A. El-Ghareeb, Hamiden Abd El-Wahed Khalifa, Masooma Raza Hashmi, Ibrahim M. Hezam, German Acurio Hidalgo, Le Hoang Son, R. Jahir Hussain, S. Satham Hussain, Ali Hussein Mahmood Al-Obaidi, Hays Hatem Imran, Nabeela Ishfaq, Saeid Jafari, R. Jansi, V. Jeyanthi, M. Jeyaraman, Sripati Jha, Jun Ye, W.B. Vasantha Kandasamy, Abdullah Kargın, J. Kavikumar, Kawther Fawzi Hamza Alhasan, Huda E. Khalid, Neha Andalleb Khalid, Mohsin Khalid, Madad Khan, D. Koley, Valeri Kroumov, Manoranjan Kumar Singh, Pavan Kumar, Prem Kumar Singh, Ranjan Kumar, Malayalan Lathamaheswari, A.N. Mangayarkkarasi, Carlos Rosero Martínez, Marvelio Alfaro Matos, Mai Mohamed, Nivetha Martin, Mohamed Abdel-Basset, Mohamed Talea, K. Mohana, Muhammad Irfan Ahamad, Rana Muhammad Zulqarnain, Muhammad Riaz, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Muhammad Zeeshan, Anjan Mukherjee, Mumtaz Ali, Deivanayagampillai Nagarajan, Iqra Nawaz, Munazza Naz, Roan Thi Ngan, Necati Olgun, Rodolfo González Ortega, P. Pandiammal, I. Pradeepa, R. Princy, Marcos David Oviedo Rodríguez, Jesús Estupiñán Ricardo, A. Rohini, Sabu Sebastian, Abhijit Saha, Mehmet Șahin, Said Broumi, Saima Anis, A.A. Salama, Ganeshsree Selvachandran, Seyed Ahmad Edalatpanah, Sajana Shaik, Soufiane Idbrahim, S. Sowndrarajan, Mohamed Talea, Ruipu Tan, Chalapathi Tekuri, Selçuk Topal, S. P. Tiwari, Vakkas Uluçay, Maikel Leyva Vázquez, Chinnadurai Veerappan, M. Venkatachalam, Luige Vlădăreanu, Ştefan Vlăduţescu, Young Bae Jun, Wadei F. Al-Omeri, Xiao Long Xin.‬‬‬‬‬‬. (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)

What would happen if lightning struck a tree in a swamp and transformed it into The Swampman, or if saving billions of lives required sacrificing millions first? The first is a philosophical thought experiment devised by Donald Davidson, the second a theme from a comic written by Alan Moore. I argue that that comics can be read as containing thought experiments and that such philosophical devises should be shared with students of all ages.

This paper is an essay published under the title A Critical Praxis from the Americas: Thinking about the Zapatistas in Chiapas with Herbert Marcuse, Bolívar Echeverría, and Adolfo Sánchez Vázquez, in Lamas, A. T .; Wolfson, T. & Funke, P. N. (Eds.). (2017). The Great Refusal: Herbert Marcuse and Contemporary Social Movements (pp. 329-342). Philadelphia: Temple University Press. The author kindly authorized the publication in Spanish version by Jhoan Sebastian David Giraldo and Cristian Leandro Sánchez Marín.

I believe that the sort of disagreements we encounter in philosophy—disagreements that often take the form that I have elsewhere called system- atic peer disagreements—make it unreasonable to think that there is any knowledge, or even justified belief, when the disagreements themselves are systematic. I readily acknowledge that this skeptical view is quite controversial; I suspect many are unconvinced. However, I will not be defending it here. Rather, I will be exploring a worry, or set of worries, that arise on (...) the assumption that this view is correct. For if it is unreasonable to think that there is justified belief in contexts of systematic philosophical disagreements, by what right do we continue to advance philosophical claims in such contexts? Indeed, by what right do we believe the philosophical claims we advance? And if we don’t believe them, why do we advance them in the first place? An inability to respond to these worries would leave us with the dis- tinct impression that the practice or activity of philosophy is quite suspect: what sort of practice or activity would have us believe unreasonably, assert unwarrantedly, and perhaps exhibit insincerity to boot? (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

The topic of this thesis is axiological uncertainty – the question of how you should evaluate your options if you are uncertain about which axiology is true. As an answer, I defend Expected Value Maximisation (EVM), the view that one option is better than another if and only if it has the greater expected value across axiologies. More precisely, I explore the axiomatic foundations of this view. I employ results from state-dependent utility theory, extend them in various ways and interpret (...) them accordingly, and thus provide axiomatisations of EVM as a theory of axiological uncertainty. (shrink)

The normative mechanics of promising seem complex. The strength and content of promissory obligations, and the residual duties they entail upon being violated, have various prima facie surprising features. We give an account to explain these features. Promises have a point. The point of a promise to φ is a promise-independent reason to φ for the promisee’s sake. A promise turns this reason into a duty. This explains the mechanics of promises. And it grounds a nuanced picture of immoral promises, (...) an argument against promissory bare wrongings, and a constraint on theories of why we have promissory obligations at all. (shrink)

How ought you to evaluate your options if you're uncertain about what's fundamentally valuable? A prominent response is Expected Value Maximisation (EVM)—the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected value across axiologies. But the expected value of an option depends on quantitative probability and value facts, and in particular on value comparisons across axiologies. We need to explain what it is for such facts to hold. Also, EVM (...) is by no means self-evident. We need an argument to defend that it’s true. This book introduces an axiomatic approach to answer these worries. It provides an explication of what EVM means by use of representation theorems: intertheoretic comparisons can be understood in terms of facts about which options are better than which, and mutatis mutandis for intratheoretic comparisons and axiological probabilities. And it provides a systematic argument to the effect that EVM is true: the theory can be vindicated through simple axioms. The result is a formally cogent and philosophically compelling extension of standard decision theory, and original take on the problem of axiological or normative uncertainty. (shrink)

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

Considerable variation exists not only in the kinds of transposable elements (TEs) occurring within the genomes of different species, but also in their abundance and distribution. Noting a similarity to the assortment of organisms among ecosystems, some researchers have called for an ecological approach to the study of transposon dynamics. However, there are several ways to adopt such an approach, and it is sometimes unclear what an ecological perspective will add to the existing co-evolutionary framework for explaining transposon-host interactions. This (...) review aims to clarify the conceptual foundations of transposon ecology in order to evaluate its explanatory prospects. We begin by identifying three unanswered questions regarding the abundance and distribution of TEs that potentially call for an ecological explanation. We then offer an operational distinction between evolutionary and ecological approaches to these questions. By determining the amount of variance in transposon abundance and distribution that is explained by ecological and evolutionary factors, respectively, it is possible empirically to assess the prospects for each of these explanatory frameworks. To illustrate how this methodology applies to a concrete example, we analyzed whole-genome data for one set of distantly related mammals and another more closely related group of arthropods. Our expectation was that ecological factors are most informative for explaining differences among individual TE lineages, rather than TE families, and for explaining their distribution among closely related as opposed to distantly related host genomes. We found that, in these data sets, ecological factors do in fact explain most of the variation in TE abundance and distribution among TE lineages across less distantly related host organisms. Evolutionary factors were not significant at these levels. However, the explanatory roles of evolution and ecology become inverted at the level of TE families or among more distantly related genomes. Not only does this example demonstrate the utility of our distinction between ecological and evolutionary perspectives, it further suggests an appropriate explanatory domain for the burgeoning discipline of transposon ecology. The fact that ecological processes appear to be impacting TE lineages over relatively short time scales further raises the possibility that transposons might serve as useful model systems for testing more general hypotheses in ecology. (shrink)

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

In this essay, I shall briefly present Epistemic Contextualism (EC), Invariantism and Interest- Relative Invariantism (IRI) (section 2). Then I will discuss three theses of Jason Stanley’s Knowledge and Practical Interests (Oxford 2005). I argue that Stanley’s case against Contextualism is based on a misconception of its semantic nature, that there is a disadvantage for Interest-Relative Invariantism in terms of the sceptical paradox and that Stanley’s explanation of intuitions can be interpreted in favour of Contextualism (sections 3.1. - 3.3.).

According to the standard account of forgiveness, you forgive your wrongdoer by overcoming your resentment towards them. But how exactly must you do so? And when is such overcoming fitting? The aim of this paper is to introduce a novel version of the standard account to answer these questions. Its core idea is that the reactive attitudes are a fitting response not just to someone’s blameworthiness, but to their blameworthiness being significant for you, or worthy of your caring, in virtue (...) of your relationship to it. Someone’s blameworthiness is significant for you to the extent you’re bound up with what grounds it––e.g. with the wrongdoer’s being a participant in human relationships, with their attitudes, or with the victim’s being a source of demands. So you may fittingly not care about someone’s blameworthiness if it’s sufficiently insignificant for you in this manner––e.g. if their wrong happened far off in place and time. And forgiveness revolves around this. You forgive your wrongdoer if and only if, partly out of goodwill towards them, you cease to care about their blameworthiness––a bit as if their wrong had happened far off. If I’m right, this agent-relativity-based account can resolve the apparent ‘paradoxy of forgiveness’, satisfies a number of desiderata, and is plausible on an intuitive level. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

For many years there has been a debate about the role of the parietal lobe in the generation of behavior. Does it generate movement plans (intention) or choose objects in the environment for further processing? To answer this, we focus on the lateral intraparietal area (LIP), an area that has been shown to play independent roles in target selection for saccades and the generation of visual attention. Based on results from a variety of tasks, we propose that LIP acts as (...) a priority map in which objects are represented by activity proportional to their behavioral priority. We present evidence to show that the priority map combines bottom-up inputs like a rapid visual response with an array of top-down signals like a saccade plan. The spatial location representing the peak of the map is used by the oculomotor system to target saccades and by the visual system to guide visual attention. (shrink)

Recenzio Kiraly V. Istvan Death and History c. konyverol.

“Existential risks” are risks that threaten the destruction of humanity’s long-term potential: risks of nuclear wars, pandemics, supervolcano eruptions, and so on. On standard utilitarianism, it seems, the reduction of such risks should be a key global priority today. Many effective altruists agree with this verdict. But how should the importance of these risks be assessed on a Christian moral theory? In this paper, I begin to answer this question – taking Thomas Aquinas as a reference, and the risks of (...) anthropogenic extinction as an example. I’ll suggest that on a Thomist framework, driving ourselves extinct would constitute a complete failure to fulfil our God-given nature, a radical form of hubris, and a loss of cosmological significance. So the reduction of such risks seems vital for Thomists, or Christians more broadly. Indeed, I end with the thought that these considerations are not parochially Christian, or indeed specifically religious: everyone with a similar view of mankind – as immensely valuable yet fallen and fragile – should agree that existential risks are a pressing moral concern. (shrink)

How do we find what is clinically significant in the swarms of data being generated by today’s diagnostic technologies? As electronic records become ever more prevalent – and digital imaging and genomic, proteomic, salivaomics, metabalomics, pharmacogenomics, phenomics and transcriptomics techniques become commonplace – fdifferent clinical and biological disciplines are facing up to the need to put their data houses in order to avoid the consequences of an uncontrolled explosion of different ways of describing information. We describe a new strategy to (...) advance the consistency of data in the dental research community. The strategy is based on the idea that existing systems for data collection in dental research will continue to be used, but proposes a methodology in which past, present and future data will be described using a consensus-based controlled structured vocabulary called the Ontology for Dental Research (ODR). (shrink)

Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive Russellian theory primarily (...) in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle as an argument against the Naive Russellian theory. Schiffer’s argument proceeds in two steps. In step one, Schiffer argues that the Naive Russellian theory is committed to two principles regarding de re belief; the special-case consequence and Frege’s constraint. Then, in step two, Schiffer argues that the special-case consequence is not consistent with Frege’s constraint. Salmon and Braun reply to Schiffer’s argument that although the Naive Russellian theory is committed to Frege’s constraint, it is not committed to the special-case consequence. However, in this paper, I will argue with a new Schiffer-case that even if the Naive Russellian theory is not committed to the special-case consequence, it is still not consistent with Frege’s constraint. Concluding, I will discuss the possibility to reject Frege’s constraint within the Naive Russellian theory. (shrink)

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

Landgrebe and Smith provide an argument for the impossibility of Artificial General Intelligence based on the limits of simulating complex systems. However, their argument presupposes a very contemporary vision of artificial intelligence as a model trained on data to produce an algorithm executable in a modern digital computing system. The present contribution explores what it means to be artificial. Current artificial intelligence approaches on modern computing systems are not the only conceivable way in which artificial intelligence technology might be created. (...) If there are conceivable routes by which an artificial intelligence might be developed that are not constrained in the same way as the current generation of artificial neural networks, then these might be plausible routes towards the engineered generation of artificial general intelligence that are not precluded by the Landgrebe and Smith argument against the possibility of artificial general intelligence. (shrink)

According to an increasingly popular view among philosophers of science, both causal and non-causal explanations can be accounted for by a single theory: the counterfactual theory of explanation. A kind of non-causal explanation that has gained much attention recently but that this theory seems unable to account for are grounding explanations. Reutlinger :239-256, 2017) has argued that, despite these appearances to the contrary, such explanations are covered by his version of the counterfactual theory. His idea is supported by recent work (...) on grounding by Schaffer and Wilson who claim there to be a tight connection between grounding and counterfactual dependence. The present paper evaluates the prospects of the idea. We show that there is only a weak sense in which grounding explanations convey information about counterfactual dependencies, and that this fact cannot plausibly be taken to reveal a distinctive feature that grounding explanations share with other kinds of explanations. (shrink)

In order to at least begin addressing the extensive the problem of moral clarity in aiding the deprived to some degree, I first argue that the duty to aid the deprived is not merely a charitable one, dependent on the discretion, or the arbitrary will, of the giver (1). Then, before further analysing the individual duty to aid, I critically examine whether deprivation is better alleviated or remedied through the duties of corrective justice. I argue that the perspective of corrective (...) justice is important, but not sufficient when it comes to dealing with deprivation (2). I then argue that non-domination cannot serve as a first-order principle of justice. It is too minimalistic, since it would not require duties of justice where deprivation exists, but dominating relations and institutions do not. (3). Going back to the individual duty to help, I argue that the duties to aid the needy must be assessed according to the situation at hand (4). In order to avoid meaninglessness and morality’s excessive demands, one should be able to identify the responsible agents by constructing a shared and, in the last resort, institution-based duty to help (5). The institutional approach in this paper argues that we should create and reform institutions in order to realize the pre-existing requirement to alleviate global deprivation. This is a form of “global political justice” that does not start with politics, but ends with global political institutions. (shrink)

There are several conceptions of man in the history of philosophy. However, two considerable tendencies are recurring throughout modern history. A human being can be perceived as a complex mechanism or as a living organism. The response to the query has essential consequences in different areas. The article aims to provide a view of humankind that builds upon an organic conception of life, nature, and human beings, especially as elaborated by A. N. Whitehead and some of his followers. The article (...) also briefly examines the emergence and development of a mechanistic view. The historical overview exposes the close relationship between the worldview of a given era and the understanding of man. Finally, the article argues that the organic conceptions of life developed in the first half of the 20th century provide an essential alternative to mechanistic views and could help us to deal with several problems we are currently encountering. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

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

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

In this chapter we deal with the challenge to the existence of free will and moral responsibility that is raised by the threat of determinism from a Wittgensteinian perspective. Our argument starts by briefly recapitulating Wittgenstein’s analysis of the practice of doubt in On Certainty. We subsequently turn to the problem of free will. We argue that the existence of free will is a basic certainty and that the thesis of determinism fails to cast doubt on it. We thereby make (...) use of – but also try to go beyond – Wittgenstein’s own remarks in his “Lectures on Freedom of the Will”. In the final section we focus more explicitly on moral responsibility. Inspired by P.F. Strawson’s work on free will and moral responsibility, which we take to be deeply Wittgensteinian, we argue that our practices of holding each other responsible manifest basic human certainties which cannot be meaningfully challenged by invoking the thesis of determinism. (shrink)

The analysis of moral subject in consequentialist ethics (as a kind of nonutilitaristic consequentialism) aims to show, that moral subject is of basie importance for it - regardeless to the fact, that its analysis focuses predominantly on action and its concequences. It is the moral subject, which enables the action and its consequences to be performed. So understanding the conditions of moral subjecťs action means understanding the moral subject itself. This understanding draws upon the typology of moral subjects that makes (...) the prediction of certain kinds of action as well as oftheir consequencies possible. (shrink)

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

Propomos uma tipologia dos artefatos de representação para as áreas de saúde e ciências biológicas, e a associação dessa tipologia com diferentes tipos de ontologia formal e lógica, chegando a conclusões quanto aos pontos fortes e limitações da ontologia de diferentes tipos de recursos lógicos, enquanto mantemos o foco na lógica descritiva. Consideramos quatro tipos de representação de área: (i) representação léxico-semântica, (ii) representação de tipos de entidades, (iii) representação de conhecimento prévio, e (iv) representação de indivíduos. Defendemos uma clara (...) distinção entre os quatro tipos de representação, de forma a oferecer uma base mais racional para o uso das ontologias e artefatos relacionados no avanço da integração de dados e interoperabilidade de sistemas de raciocínio associados. Destacamos que apenas uma pequena porção de fatos cientificamente relevantes em áreas como a biomedicina pode ser adequadamente representada por ontologias formais, quando estas últimas são concebidas como representações de tipos de entidades. Particularmente, a tentativa de codificar conhecimento padrão ou probabilístico pela utilização de ontologias assim concebidas é fadada à produção de modelos não intencionais e errôneos. (shrink)

In the following paper we provide a personal definition of the existential philosophy and the existential subject. Before that we explore other historical definitions of existentialism. We were mainly interested in the relation between existentialism and nihilism, the focus of existential philosophy on the individual and the situation of the studied philosophical trend on the 1950's zeitgeist. The definition of existentialism as a form of trans-rationalism and its capacity to become a practical alternative to contemporary academic philosophy were also emphasized.

In this paper I would like to suggest that we should distinguish between three levels of education in schools: basic education for all, the cultivation of individual talents and capacities; and the selection for higher education and the job market. On each level egalitarians should in my view demand a different kind of equality and a different kind of metric. Since for the selection for higher education and the job market equality of opportunity seems the approriate metric of justice in (...) education, I turn to an analysis of four different conceptions of equality of opportunity. (shrink)

This article develops an objection to Kant’s proof of freedom from the Critique of Practical Reason. In his proof — the fact of reason argument — Kant deduces the reality of freedom, understood as the ability to act independently of all inclinations, from our consciousness of the unconditional validity of morality. He calls this consciousness the "fact of reason". After a systematic reconstruction of the argument, I develop an objection that relies on three points: (i) the cultural embeddedness of human (...) beings ("fact of culture"), (ii) an "external" perspective on human deliberative processes, and (iii) an alternative interpretation of the unconditional validity of morality that appears in practical deliberation. Contrary to Kant’s claims, I argue that the reality of freedom cannot be deductively derived from the fact of reason. I then discuss two objections to my argument. The first objection claims that my considerations regarding the "external" perspective misunderstand Kant's methodology. The second objection states that, based on my considerations, the fact of reason ultimately turns out to be an illusion. I discuss both objections and refute them. My ultimate conclusion is that Kant's fact of reason argument is not convincing. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

The standard argument for longtermism assumes that we should care as much about far future people as about our contemporaries. I challenge this assumption. I first consider existing interpretations of ‘temporal discounting’, and argue that such discounting seems either unwarranted or insufficient to block the argument. I then offer two alternative reasons to care less about far future people: caring as much about them as about our contemporaries would make our lives less authentic and less meaningful. If I’m right, this (...) undermines at least the strongest versions of longtermism. Plausibly, we should do much more for the far future than we’re currently doing. Still, we often ought to act for contemporaries’ sakes, even if longtermist actions would expectably do more good. (shrink)

The mind's basic task is to organize adaptive behaviour. I argue that necessary conditions to achieve this are acquiring a 'body-self', a differentiated perception, motor intuition, and motor control. The latter three can be learnied implicitly by crosswise comparing the perceived actual situation, the desired situation, the perceived result and the anticipated result.

In this paper, I propose a solution to a challenge formulated by Judith Jarvis Thomson: We have to explain why the moral asymmetry between doing and allowing harm is a deep feature of our moral thinking. In a nutshell, my solution is this: It could not be otherwise. Accepting the asymmetry is indispensable for the construction and maintenance of stable moral communities. -/- My argument centrally involves mental resource management. Moral communities depend on their members’ commitment to moral norms. And, (...) I argue, community members can only be committed to these norms in the required ways without overextending their mental resources if morality contains the doing/allowing asymmetry. -/- This has two noteworthy implications. Firstly, we can and should stop discussing the asymmetry in normative ethics and, instead, regard it as “moral axiom” we cannot but accept. Secondly, even consequentialists have to accept the asymmetry but, by doing so, their view loses part of its intuitive appeal. Lastly, I turn to an objection. One might think that my indispensability argument confuses issues in moral psychology with issues in normative ethics. I reject the objection on broadly pragmatist grounds. (shrink)