This posthumous publication attempts to answer the question of what moral code is the most reasonable. Philosophers often turn to consequentialism or deontological ethics to address this issue. As the author points out, each has valid arguments but each is unable to get the other side to agree. To rectify this, he proposes a third way. Inside, readers will discover a theory that tries to do justice to both sides. The author first details consequentialism and deontological ethics. He also explains (...) their fundamental conflict. One holds the view that you should do what has the best consequences. The other believes that there are actions which are wrong to do even if they have the best consequences. Next, the volume considers various ways to solve this conflict. Would rejecting one theory work? Or, is it possible to somehow reconcile them. The author shows why these solutions fail. He then goes on to present his own. The resulting contractual theory brings together the two opposing ethical convictions. It proposes that what is right and wrong depends on what norms people would agree to. Throughout, coverage explores the psychological, sociological, and historical background of the moral theories discussed. The reason is that moral theories are embedded in social and psychological contexts. They are better understood when the contexts are explicit. This key feature distinguishes the volume from other works in moral philosophy. At the time of his death in July 2011, Jan Österberg was close to completing this manuscript. It was taken up and fully completed by Erik Carlson and Ryszard Sliwinski, both of Uppsala University. (shrink)

19 It may be suggested that, in order to justify /4's treating himself differently from others, it does not have to be the case that A necessarily has some property which everyone else necessarily lacks, i.e., that there must be a property F such that, ...

What distinguishes preference utilitarianism from other utilitarian positions is the axiological component: the view concerning what is intrinsically valuable. According to PU, intrinsic value is based on preferences. Intrinsically valuable states are connected to our preferences being satisfied.

Jan Österberg is one of the pioneers in the field of population ethics. He started thinking about this issue already in the late 60s and he has developed one of the most original and interesting population axiologies.1 I’ve discussed the problems and drawbacks of Österberg’s theory elsewhere, and I don’t think that this is the place and time to discuss them again.2 Rather, I shall show that Österberg’s theory has a feature in common with the population axiologies of such luminaries (...) like Plato, Aristotle, Kant, Nietzsche, Wittgenstein and Heidegger, had they developed such a theory: None of these theories simultaneously satisfy five weak adequacy conditions. We shall show this by proving that no population axiology satisfies these five conditions. As a fringe benefit, this theorem also shows that the on-going project of constructing an acceptable population axiology has very gloomy prospects. 3. (shrink)

Jan Österberg (Self and Others, 1988) argues that the most defensible form of egoism should not only tell each of us what to do but also tell us what we ought to do. He also claims that collective norms should take precedence over individual ones. An individual ought to do one's part in an action pattern that is prescribed for the group - provided that other members of the group do their part. question This paper questions Österberg's claim that Collective (...) Egoism, unlike other forms of egoism, avoids violations of the principles which he takes to be analytical adequacy criteria for ethical theories: the principles of "deontic consequence" and "joint satisfiability". Furthermore, it questions his argument that Collective Egoism yields the "right" prescriptions in its main test-case: Prisoners' Dilemma. The improved version of Collective Egoism is able to deal with the two-person Prisoners' Dilemma, but it still misbehaves when we move to the many-persons cases. A certain type of "free rider"-problems proves to be especially troublesome. (shrink)

In Section 1, I rehearse some arguments for the claim that morality should be ``action-guiding'', and try to state the conditions under which a moral theory is in fact action-guiding. I conclude that only agents who are cognitively and conatively ``ideal'' are in general able to use a moral theory as a guide to action. In Sections 2 and 3, I discuss whether moral ``actualism'' implies that morality cannot be action-guiding even for ideal agents. If actualism is true, an ideal (...) agent will know about her own future actions. Since such foreknowledge is often thought to be incompatible with deliberation, and since action-guidance presupposes the possibility of deliberation, there is an apparent difficulty in combining actualism with the requirement of action-guidance. In opposition to an argument by Jan Österberg, I try to show that actualism and action-guidance are in fact compatible. (shrink)

This guide accompanies the following article: ‘Logic and Divine Simplicity’. Philosophy Compass 6/4 : pp. 282–294, doi: Author’s IntroductionFirst‐order formalizations of classical theistic doctrines are increasingly used in contemporary work in philosophy of religion and philosophical theology, as a means for clarifying the conceptual structure of the doctrines and their role in inferential procedures. But there are a variety of different ways in which such doctrines have been formalized, each representing the doctrines as having different conceptual structures. Moreover, the adequacy (...) of such formalizations as such has, at least with respect to some classes of doctrines, been disputed. One reason for disputing their adequacy derives from the conceptual impact of classical theism’s doctrine of divine simplicity.Author RecommendsFrege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. The preface contains interesting remarks about the purpose of formalization as understood by the chief pioneer of modern formal logic. These remarks are also connected by Frege to his views on the relation between thought and language more generally.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press.The preface and first section of the long introduction contain remarks on the purpose and advantages of formalization. Chapter 1 of the introduction contains what is probably one of the first formalizations ever of a theistic doctrine, and is given in terms of a definite description analysis.Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Clear and concise discussion of some of the advantages of formalization in philosophical inquiry, written by a prominent contemporary American philosopher‐logician.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9.A valuable paper that narrates, among other things, the programme of formalizing theistic doctrines that emerged in Poland in the 1920s under the influence of the Lvov‐Warsaw School. Various examples of formalizations are also given.Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press.In Section 27 of this classic study, Quine offers a formalization of theistic doctrines which seeks to avoid the difficulties of earlier formalizations by means of a subtle extensional singleton set analysis. The proposal has not won many adherents, but is worthy of careful study nonetheless.Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.A concise but lucid survey of some attempts to formalize theistic doctrines and some problems besetting these attempts. Woleński also proposes his own method of formalization, which could be described as a simplified version of Quine’s method in Mathematical Logic.Bocheński, Joseph The Logic of Religion. New York: New York University Press.The first book‐length treatment of the relation between modern logic and theism. It covers much ground, and remains very readable.Alston, William P. ‘Religious Language and Verificationism,’ in The Rationality of Theism, eds. Paul Moser and Paul Copan. London: Routledge, pp. 17–34.Identifies some problems with attempts at articulating theistic doctrines by means of subject‐predicate language. Highly relevant to formalizations of theistic doctrines, even though this topic is not dealt with explicitly.Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass.Offers a survey of three main methods of formalizing theistic doctrines, and of some variants of these methods. Argues that certain formalizations of theistic doctrines are bound to be rejected as conceptually inadequate by all who understand the doctrines at hand within the framework provided by the traditional doctrine of divine simplicity.Sample Syllabus Week I: The Idea of Formalization and the Project of Formalizing Theistic Doctrines Reading:Frege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9. Week II: Formalizing Theistic Doctrines: Three Alternative Methods Reading:Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press. Week III: Arguments for and Against Some Formalizations of Theistic Doctrines Reading:Bocheński, Joseph The Logic of Religion. New York: New York University Press. Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass, Vol. 6, No. 4, pp. 282–94.Focus Questions1 What do Frege, Russell and Whitehead, and Suppes understand the purpose or purposes of logical formalization to be, and why do they think formalization can achieve these purposes?2 Woleński sketches some simple ways of formalizing theistic doctrines such as ‘God exists’ or ‘God is almighty’ in terms of 1‐place predicates which he subsequently abandons in favour of other methods. What reasons lead him to abandon these more simple methods of formalization?3 What are the advantages of the definite description formalization of theistic doctrines offered by Russell and Whitehead?4 Quine offers a subtle formalization of the theistic doctrine ‘God exists’ in terms of singleton sets. What problems are Quine’s formalization intended to accommodate, and how does it seek to accommodate them?5 Which relative merits or demerits are there in Bocheński’s and Kraal’s respective arguments for and against the adequacy of certain formalizations of theistic doctrines? (shrink)

As the theory of the atom, quantum mechanics is perhaps the most successful theory in the history of science. It enables physicists, chemists, and technicians to calculate and predict the outcome of a vast number of experiments and to create new and advanced technology based on the insight into the behavior of atomic objects. But it is also a theory that challenges our imagination. It seems to violate some fundamental principles of classical physics, principles that eventually have become a part (...) of western common sense since the rise of the modern worldview in the Renaissance. So the aim of any metaphysical interpretation of quantum mechanics is to account for these violations. (shrink)

Cancers often express hundreds of genes otherwise specific to germ cells, the germline/cancer (GC) genes. Here, we present and discuss the hypothesis that activation of a “germline program” promotes cancer cell malignancy. We do so by proposing four hallmark processes of the germline: meiosis, epigenetic plasticity, migration, and metabolic plasticity. Together, these hallmarks enable replicative immortality of germ cells as well as cancer cells. Especially meiotic genes are frequently expressed in cancer, implying that genes unique to meiosis may play a (...) role in oncogenesis. Because GC genes are not expressed in healthy somatic tissues, they form an appealing source of specific treatment targets with limited side effects besides infertility. Although it is still unclear why germ cell specific genes are so abundantly expressed in cancer, from our hypothesis it follows that the germline's reproductive program is intrinsic to cancer development. (shrink)

Sometimes also called retro causation. A common feature of our world seems to be that in all cases of causation, the cause and the effect are placed in time so that the cause precedes its effect temporally. Our normal understanding of causation assumes this feature to such a degree that we intuitively have great difficulty imagining things differently. The notion of backward causation, however, stands for the idea that the temporal order of cause and effect is a mere contingent feature (...) and that there may be cases where the cause is causally prior to its effect but where the temporal order of the cause and effect is reversed with respect to normal causation, i.e. there may be cases where the effect temporally, but not causally, precedes its cause. (shrink)

This study aims to corroborate Merleau-Ponty’s interpretations of fundamental ideas from Saussure’s linguistics by linking them to works that were independently elaborated by Jan Mukařovský, Czech structuralist aesthetician and literary theorist. I provide a comparative analysis of the two authors’ theories of language and their interpretations of thought as fundamentally determined by language. On this basis, I investigate how they conceive linguistic innovation and its translation into changes in the constituted language and other social codes and institutions. I explain how (...) they elaborate on Saussure’s idea of language as a system of oppositions by interpreting cultural innovation as a systematic variation of pre-established social norms and, similarly, linguistic innovation as gesturing within language. Connectedly, I show how Mukařovský’s works help clarify Merleau-Ponty’s focus on the gestural dimension of language. By discussing the two thinkers’ arguments in favour of linguistic innovation, I explore what could be called phenomenological limits of structuralism. (shrink)

Interpretation in science has gained little attention in the past because philosophers of science believed that interpretation belongs to the context of discovery or must be associated with meaning. But scientists often speak about interpretation when they report their findings. Elsewhere I have argue in favour of a pragmatic-rhetorical theory of explanation, and it is in light of this theory that I suggest we can understand interpretation in the natural sciences.

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical truth (...) in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

This paper reports some attempts undertaken in Poland in the 1930s to modernize Thomism by means of modern logic. In particular, it concerns J.M. Bocheski and J. Salamucha, the leading members of the CracowCircle. They attempted to give precise logical form to the Five Ways of Thomas Aquinas. Other works concerned the concept of transcendentals, the levels of abstraction, and the concept of essence.

Due to the intense selection pressure against inbreeding, humans are expected to possess psychological adaptations that regulate mate choice and avoid inbreeding. From a gene’s-eye perspective, there is little difference in the evolutionary costs between situations where an individual him/herself is participating in inbreeding and inbreeding among other close relatives. The difference is merely quantitative, as fitness can be compromised via both routes. The question is whether humans are sensitive to the direct as well as indirect costs of inbreeding. Using (...) responses from a large population-based sample (27,364 responses from 2,353 participants), we found that human motivations to avoid inbreeding closely track the theoretical costs of inbreeding as predicted by inclusive-fitness theory. Participants were asked to select in a forced choice paradigm, which of two acts of inbreeding with actual family members they would want to avoid most. We found that the estimated fitness costs explained 83.6% of participant choices. Importantly, fitness costs explained choices also when the self was not involved. We conclude that humans intuit the indirect fitness costs of mating decisions made by close family members and that psychological inbreeding avoidance mechanisms extend beyond self-regulation. (shrink)

De Finetti's representation theorem is a special case of the ergodic decomposition of stationary probability measures. The problems of the interpretation of probabilities centred around de Finetti's theorem are extended to this more general situation. The ergodic decomposition theorem has a physical background in the ergodic theory of dynamical systems. Thereby the interpretations of probabilities in the cases of de Finetti's theorem and its generalization and in ergodic theory are systematically connected to each other.

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others (...) analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner. (shrink)

A serious difficulty for theories of consciousness is to go beyond mere correlation between physical processes and experience. Currently, neural workspace and sensorimotor contingency theories are two of the most promising approaches to make any headway here. This paper explores the relation between these two sets of theories. Workspace theories build on large-scale activity within the brain. Sensorimotor theories include external processes in their explanations, stressing the sensorimotor contingencies that arise from our interaction with the environment. Despite the basic differences, (...) we argue that workspace- and sensorimotor theories are complementary rather than competitive. By combining these theories, a number of problems that hamper them individually may be overcome and their strengths combined: Workspace theories have more to offer for explaining how there can be consciousness in the first place, while sensorimotor theories are strong in making sense of the specific phenomenal character of experiences. (shrink)

Wprowadzenie -- Roman ingarden -- Antoni kępiński -- Karol wojtyła -- Władysław stróżewski -- Józef tischner.

In a nutshell, this dissertation builds a bridge between an informal psychological model of emotions on the one hand, and implementation of emotions in robots and virtual characters on the other hand. This is done by formalizing a psychological model of emotions. With that we1 mean translating the concepts used in the psy- chological model to a logical language with unambiguous semantics. The resulting formalization of emotions will give rise to theorems that can be proved to be true. These theorems (...) are properties of the formal model and can be checked against the original psychological model of emotions. If they match, this will mean that the formalization is truthful with respect to the psychological model. The description of the model of emotions in this formal language can then be used as a foundation for implementing emotions in robots and virtual characters. (shrink)

Book reviewed: Carr, Wilfred, For Education: Towards Critical Educational Inquiry.

This paper argues that there is no possible structural way of drawing a distinction between objects of different types, such as individuals and properties of different adicities and orders. We show first that purely combinatorial information (information about how objects combine to form states of affairs) is not sufficient for doing this. We show that for any set of such combinatorial data there is always more than one way of typing them – that is, there are always several ways of (...) classifying the different constituents of states of affairs as individuals and properties. Therefore, contrary to received ontological opinion, no object is essentially of any specific type. In the second part we argue that taking into account logical information does not help either, since logic presupposes the very distinction we are trying to draw. Furthermore, this distinction is not even essential for logic, since logic can function perfectly well without it. We conclude that certain distinctions which have been traditionally regarded as ontologically basic (such as that between individuals and properties) cannot be as fundamental as is often supposed. (shrink)

This paper analyses the logical structure of the balancing of conflicting normative arguments, and asks whether non-monotonic logic is adequate to represent this type of legal or practical reasoning. Norm conflicts are often regarded as a field of application for non-monotonic logics. This paper argues, however, that the balancing of normative arguments consists of an act of judgement, not a logical inference, and that models of deductive as well as of defeasible reasoning do not give an adequate account of its (...) structure. Moreover, it argues that as far as the argumentation consists in logical inferences, deductive logic suffices for reconstructing the argumentation from the internal point of view of someone making normative judgements. (shrink)

To date, much of the work on Responsible Innovation (RI) has focused on the ‘responsible’ part of RI. This has left the ‘innovation’ part in need of conceptual innovation of its own. If such conceptual innovation is to contribute to a coherent conception of RI, however, it is crucial to better understand the relation between responsibility and innovation first. This paper elucidates this relation by locating responsibility and innovation within Emmanuel Levinas’ phenomenology. It structures his work into three ‘stages’, each (...) described in terms of their leading experience and objectivation regime. This analysis identifies a need for constant innovation of political and technological systems, originating from and motivated by our responsibility to others. It also shows the relation between responsibility and innovation to be threefold: foundational, ethical and structural. These insights could help RI to avoid some pitfalls of ‘regular’ innovation, and provide moral grounding for important aspects of RI. (shrink)

This 1987 book brings together the series of papers Kalecki wrote, between 1940 and his death in 1970, on economic planning, that contain the germ of his theory of growth in a socialist economy. They also contain an intriguing analysis of economic planning in a socialist society. This analysis anticipates many of the tenets of the disequilibrium school of economists of the 1970s. In his introduction, Jan Toporowski argues that Kalecki's work on the theory of growth in a socialist economy (...) is incomplete and has often consequently been misrepresented without the analysis presented in these papers, which are in this edition. This book will be of interest to all those interested in Kaecki's work, the economics of planning, and economic policy-making. (shrink)

Here I develop the idea, which I have presented elsewhere, that time instants are abstract entities existing tenselessly and therefore that events and changes likewise may be said to exist tenselessly in virtue of their place at a certain space-time point.

Terrorism is a global phenomenon that constantly challenges human survival. Based on the social structure, human beings adopt different strategies to overcome its negative consequences on their mind and behavior. Coping strategies and those processes essential for adjustment and survival illustrate how individuals perceive, consider, deal with, and realize a stressful situation in the era of terrorism. The study focuses on exploring coping strategies and avoidance of terrorism impacts. This research study was qualitatively designed to explore the coping strategies adaptation (...) and their influence on the former FATA individuals during the wave of terrorism in the region. The study was undertaken in five districts of erstwhile FATA, including Dara Adam Khel, Orakzai Agency, Khyber Agency, and North and South Waziristan agency. A sample size of twenty-five (25) participants was purposively selected and interviewed, ten (10) focused group discussions (FGDs) were done from each district, and the other 50 participants were chosen for ten (10) FGDs. The collected data were analyzed via the thematic analysis technique. The findings revealed that coping strategies included four different phases: the welcome, resistance, acceptance, surrender, and flee phases for overcoming threats of terrorism. Furthermore, it was also found that fear of terrorism had strongly influenced the individuals’ physical, socio-economic, psychological, emotional stress and fear, education, and social integration. The study recommended that social integration and solidarity among the people, as well as their cooperation with the government, can eliminate the threat of terrorism. (shrink)

The semantic view on theories has been much in vogue over four decades as the successor of the syntactic view. In the present paper, I take issue with this approach by arguing that theories and models must be separated and that a theory should be considered to be a linguistic systems consisting of a vocabulary and a set of rules for the use of that vocabulary.