This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

University of Turku, Finland In this article, relationalist approaches to social sciences are analyzed in terms of a conceptual distinction between "philosophizing sociology" and "sociologizing philosophy." These mark two different attitudes toward philosophical metaphysics and ontological commitments. The authors’ own pragmatist methodological relationalism of Deweyan origin is compared with ontologically committed realist approaches, as well as with Bourdieuan methodological relationalism. It is argued that pragmatist philosophy of social sciences is an appropriate tool for assisting social scientists in their methodological work, (...) especially as regards problem-driven case studies. Key Words: metaphysics • pragmatism • realism • relationalism. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

In his 1958 seminal paper “Saints and Heroes”, J. O. Urmson argued that the then dominant tripartite deontic scheme of classifying actions as being exclusively either obligatory, or optional in the sense of being morally indifferent, or wrong, ought to be expanded to include the category of the supererogatory. Colloquially, this category includes actions that are “beyond the call of duty” (beyond what is obligatory) and hence actions that one has no duty or obligation to perform. But it is a (...) controversial category. Some have argued that the concept of supererogation is paradoxical because on one hand, supererogatory actions are (by definition) supposed to be morally good, indeed morally best, actions. But then if they are morally best, why aren't they morally required, contrary to the assumption that they are morally optional? In short: how can an action that is morally best to perform fail to be what one is morally required to do? The source of this alleged paradox has been dubbed the ‘good-ought tie-up’. In our article, we address this alleged paradox by first making a phenomenological case for the reality of instances of genuine supererogatory actions, and then, by reflecting on the relevant phenomenology, explaining why there is no genuine paradox. Our explanation appeals to the idea that moral reasons can play what we call amerit conferring role. The basic idea is that moral reasons that favor supererogatory actions function to confer merit on the actions they favor—they play a merit conferring role—and can do without also requiring the actions in question. Hence, supererogatory actions can be both good and morally meritorious to perform yet still be morally optional. Recognition of a merit conferring role unties the good-ought tie up, and (as we further argue) there are good reasons, independent of helping to resolve the alleged paradox, for recognizing this sort of role that moral reasons may play. (shrink)

Logos, generally regarded as the basic principle of the operating world, seems to be closely tied up with development of human being. With the evolutionary history of human, logos evolves into three different dimensional expressions, namely reason, rationality, and reasonableness. In different historical periods, each expression of logos has their own glory days respectively. In the age of ancient Greek sages, reason referred to the whole range of subjects from geometry argumentation to rhetoric. Later on, there emerged a superiority on (...) theoretical abstraction and logical deduction, which was called the dictatorship of rationality. Yet it was found that the bureaucratization of learning had created as many problems as it solved. In recent decades, the years had seen a revived interest in substantial arguments in medical ethics, ecology, and other practical fields. However, we are not inclined to regard reasonableness as a way that it can cure once and for all the crisis of our times. Based on the imperfection of each variant and indeterminacy of the topic, we attempt to track back to logos in a more comprehensive perspective, corresponding to diversity of human activities and modern social production way of life. (shrink)

ABSTRACT:Moral realism entails that there are metaphysically necessary moral principles of the form ‘all actions of nonmoral kind Z are morally good’; being discoverable a priori, these must be logically necessary. This article seeks to justify this apparently puzzling consequence. A sentence expresses a logically necessary proposition iff its negation entails a contradiction. The method of reflective equilibrium assumes that the simplest account of the apparently correct use of sentences of some type in paradigm examples is probably logically necessary. An (...) account is simple insofar as it uses few predicates designating properties easily recognizable in many different kinds of paradigm examples. I illustrate how reflective equilibrium uses these criteria to discover logically necessary nonmoral propositions such as ‘if S remembers doing X, S believes that he did X’ and ‘if it is scarlet, it is red’. I then illustrate how exactly the same procedures can lead us from paradigm examples of apparently true sentences asserting that actions of some kind are good to discovering moral principles. I advance the contingent hypothesis that most contemporary humans, although they initially disagree about moral issues, have derived from different paradigm examples the same concept of moral goodness, which will ensure that the use of reflective equilibrium will lead to eventual agreement about moral issues. That strongly suggests that the moral principles eventually reached by reflective equilibrium are logically necessary ones. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

This paper divides the sophisms and paradoxes put forth by Chinese thinkers of the pre-Qin period of China into six groups: paradoxes of motion and infinity, paradoxes of class membership, semantic paradoxes, epistemic paradoxes, paradoxes of relativization, other logical contradictions. It focuses on the comparison between the Chinese items and the counterparts of ancient Greek and even of contemporary Western philosophy, and concludes that there turn out to be many similar elements of philosophy and logic at the beginnings of Chinese (...) and Greek civilizations. (shrink)

AI research is being challenged with ensuring that autonomous agents learn to behave ethically, namely in alignment with moral values. Here, we propose a novel way of tackling the value alignment problem as a two-step process. The first step consists on formalising moral values and value aligned behaviour based on philosophical foundations. Our formalisation is compatible with the framework of (Multi-Objective) Reinforcement Learning, to ease the handling of an agent’s individual and ethical objectives. The second step consists in designing an (...) environment wherein an agent learns to behave ethically while pursuing its individual objective. We leverage on our theoretical results to introduce an algorithm that automates our two-step approach. In the cases where value-aligned behaviour is possible, our algorithm produces a learning environment for the agent wherein it will learn a value-aligned behaviour. (shrink)

Pragmatism is often thought to be incompatible with realism, the view that there are knowable mind-independent facts, objects, or properties. In this article, I show that there are, in fact, realist versions of pragmatism and argue that a realist pragmatism of the right sort can make important contributions to such fields as religious ethics and philosophy of religion. Using William James's pragmatism as my primary example, I show (1) that James defended realist and pluralist views in metaphysics, epistemology, ethics, and (...) philosophy of religion, and (2) that these views not only cohere with his pragmatism but indeed are basic to it. After arguing that James's pragmatism provides a credible and useful approach to a number of basic philosophical and religious issues, I conclude by reflecting on some ways in which we can apply and potentially improve James's views in the study of religion. (shrink)

This paper examines the conceptions of logic from Leibniz, Hume, Kant, Frege, Wittgenstein and Ayer, and regards the six philosophers as the representatives of logical exceptionalism. From their standpoints, this paper refines the tenets of logical exceptionalism as follows: logic is exceptional to all other sciences because of four reasons: (i) logic is formal, neutral to any domain and any entities, and general; (ii) logical truths are made true by the meanings of logical constants they contain or by logicians' rational (...) insight to consequence relations; (iii) logical truths are analytical, a prior and necessary, so not‐revisable; and (iv) logical laws are normative for how to correctly think. However, logical exceptionalism has encountered difficult open problems: What are logical constants? How to justify basic laws of logic? How are logical laws accessible to us? How to explain the reasonability of rival logics and select from them? How to explain the universal applicability of logical laws? How to explain the normativity of logical laws for correct thinking? This paper concludes that logical anti‐exceptionalism is more hopeful to successfully answer these questions than logical exceptionalism. (shrink)

Norms have been widely enacted in human and agent societies to regulate individuals’ actions. However, although legislators may have ethics in mind when establishing norms, moral values are only sometimes explicitly considered. This paper advances the state of the art by providing a method for selecting the norms to enact within a society that best aligns with the moral values of such a society. Our approach to aligning norms and values is grounded in the ethics literature. Specifically, from the literature’s (...) study of the relations between norms, actions, and values, we formally define how actions and values relate through the so-called value judgment function and how norms and values relate through the so-called norm promotion function. We show that both functions provide the means to compute value alignment for a set of norms. Moreover, we detail how to cast our decision-making problem as an optimisation problem: finding the norms that maximise value alignment. We also show how to solve our problem using off-the-shelf optimisation tools. Finally, we illustrate our approach with a specific case study on the European Value Study. (shrink)

What is required for one thing to be a reason for another? Must the reason, more precisely, be or involve a principle? In this essay I target the idea that justification via reasons of one's beliefs (e.g., epistemic or moral) requires that the 'justifying reasons' be or involve (substantive and significant) principles. I identify and explore some potential sources of a principles requirement, and conclude that none of them (i.e., the normative function of reasons, the abstract structure of reasons, the (...) universalizability constraint on [moral] reasons, and even the pragmatic considerations that attenuate 'real-world' reason-giving) mandate that reasons be principles. I then explore implications of this conclusion, and note especially the resultant and paradoxical permissibility of justifying reasons that manage to be lawlike (a sine qua non for justifying reasons) even while consisting of highly-detailed and situation-specific proposition sets, e.g., novel-length narratives. (shrink)

A pesar de que la alusión es ampliamente usada por poetas, escritores y filósofos así como en el lenguaje cotidiano, sus características y alcance como instrumento cognitivo se han estudiado escasamente. Esto es cierto hasta el extremo de que el sustantivo alusión no es merecedor de una humilde entrada en diccionarios y enciclopedias especializados, no solamente de filosofía, sino tampoco de lingüística. Teniendo en cuenta este status quaestionis, este trabajo intenta conseguir los siguientes objetivos, a saber: 1) mostrar que la (...) alusión es un instrumento cognitivo; 2) delimitar la alusión con respecto a la cita, el plagio y el eco; 3) considerar la alusión como un caso de implicatura; y 4) analizar las principales características de la alusión. Todos estos puntos se estudian mediante el recurso a textos poéticos y filosóficos serios, así como a textos y proferencias humorísticos y del lenguaje cotidiano. (shrink)

The aim of this article is to explore the complex forms of knowledge involved in diagnostic and interventional decision making by comparing the processes in medicine and nursing, including nurse practitioners. Many authors assert that the practice of clinical decision making involves the application of theoretical knowledge (acquired in the classroom and textbooks) as well as research evidence, upon concrete particular cases. This approach draws on various universal principles and algorithms to facilitate the task. On the other hand, others argue (...) that this involves an intuitive form of judgement that is difficult to teach, one that is acquired principally through experience. In an exploration of these issues, this article consists of three sections. A clarification of terms commonly used when discussing decision making is provided in the first section. In the second section, an epistemological analysis of decision making is presented by examining several perspectives and comparing them for their use in the nursing and medical literature. Bunge's epistemological framework for decision making (based on scientific realism) is explored for its fit with the aims of medicine and nursing. The final section presents a discussion of knowledge utilization and decision making as it relates to the implications for the education and ongoing development of nurse practitioners. It is concluded that Donald Schön's conception of reflective practice best characterizes the skilful conduct of clinical decision making. (shrink)

Through its social and political activism goals, postcolonial feminist theoretical approaches not only focus on individual issues that affect health but encompass the examination of the complex interplay between neocolonialism, neoliberalism, and globalization, in mediating the health of non-Western immigrants and refugees. Postcolonial feminism holds the promise to influence nursing research and practice in the 21st century where health remains a goal to achieve and a commitment for humanity. This is especially relevant for nurses, who act as global citizens and (...) as voices for the voiceless. The commitment of nursing to social justice must be further strengthened by relying on postcolonial theories to address issues of health inequities that arise from marginalization and racialization. In using postcolonial feminist theories, nurse researchers locate the inquiry process within a Gramscian philosophy of praxis that represents knowledge in action. (shrink)