In the article ‘How to be absolutely fair, Part I: the Fairness formula’, we presented the first theory of comparative and absolute fairness. Here, we relate the implications of our Fairness formula to economic theories of fair division. Our analysis makes contributions to both philosophy and economics: to the philosophical literature, we add an axiomatic discussion of proportionality and fairness. To the economic literature, we add an appealing normative theory of absolute and comparative fairness that can be used to evaluate (...) axioms and division rules. Also, we provide a novel definition and characterization of the absolute priority rule. (shrink)

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars with (...) Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

The philosophy of Scottish Enlightenment became popular in Poland at the turn of 18th and 19th centuries due to its conciliatory nature characteristic for the mentality of our philosophers of that epoch. Th e central for that philosophy category of common sense was not identical with the French bon sens opposed both to fi deism of theologians and to metaphysical subtleties of the 17th century philosophical systems. In the period of breakthrough between the Polish Enlightenment and Romanticism the category of (...) common sense, popular sense based upon common experience and intuition acquired an unusual popularity, since it reconciled two intellectual formations – the disappearing one and the succeeding one.The initiators in spreading Scottish philosophy in Poland were the brothers Czartoryski and the following, associated with them thinkers: Karol Sienkiewicz who propagated pre-romantic Ossianism; Krystyn Lach-Szyrma who propagated the ideas of D. Stewart; Michał Wiszniewski, who was a pupil of Th. Reid, this one considered to be a founder of the Scottish school of common sense philosophy; Jan Śniadecki, who declaring himself for the “Scottish School” criticized both Kant and the French materialists. (shrink)

The paper contains some general information on use a computer in philosopher's work. The main Internet resources in philosophy, including Polish sites, have been presented, too.

In this paper I try to elucidate the differences between theoretical and practical endeavors in philosophy, and then to show that in a sense philosophy has to be theoretical, but— if it claims to be viable—it must be practical as well. First I consider the meaning of the terms theoretical, practical, abstract, and concrete. Then, with the help of Whitehead’s ideas on this topic, I briefly reflect on the method, aims and role of philosophy. I hold that a properly established (...) philosophical approach should have its roots in concrete experience and should include concrete applications. Thus, abstract ideas can be (and indeed often are) transformed into our daily life practices, being applied to solve real problems—personal, social, environmental, etc. The ideas are conveyed from the sphere of philosophy to that of ordinary life. In the next stage I demonstrate this principle using a concrete example, Whitehead’s philosophical system and how it can be fruitfully applied to the sphere of deep ecology. There are many other examples that could be mentioned, but giving a proper demonstration of this application principle requires more space and so I concentrate only on one of these examples. (shrink)

We present the first comprehensive theory of fairness that conceives of fairness as having two dimensions: a comparative and an absolute one. The comparative dimension of fairness has traditionally been the main interest of Broomean fairness theories. It has been analysed as satisfying competing individual claims in proportion to their respective strengths. And yet, many key contributors to Broomean fairness agree that ‘absolute’ fairness is important as well. We make this concern precise by introducing the Fairness formula and the absolute (...) priority rule and analyse their implications for comparative fairness. (shrink)

This paper discusses counterexamples to the thesis that the probabilities of conditionals are conditional probabilities. It is argued that the discrepancy is systematic and predictable, and that conditional probabilities are crucially involved in the apparently deviant interpretations. Furthermore, the examples suggest that such conditionals have a less prominent reading on which their probability is in fact the conditional probability, and that the two readings are related by a simple step of abductive inference. Central to the proposal is a distinction between (...) causal and purely stochastic dependence between variables. (shrink)

ABSTRACT How do non-experts single out numbers for reference? Linnebo has argued that they do so using a criterion of identity based on the ordinal properties of numerals. Neo-logicists, on the other hand, claim that cardinal properties are the basis of individuation, when they invoke Hume’s Principle. I discuss empirical data from cognitive science and linguistics to answer how non-experts individuate numbers better in practice. I use those findings to develop an alternative account that mixes ordinal and cardinal properties to (...) provide a detailed answer to the question: how do we in fact semantically individuate numbers? (shrink)

By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...) logics. We first study the members of our class semantically, after which we present a uniform sequent calculus that is sound and complete with respect to all of them. Two further sequent calculi and \ calculus) will be considered, which serve the same purpose and which are obtained by applying general methods to construct sequent calculi for many-valued logics. Rules and proofs in the SK calculus are much simpler and shorter than those of the \ and the \ calculus, which is one of the reasons to prefer the SK calculus over the latter two. Besides favourably comparing the SK calculus to both the \ and the \ calculus, we also hint at its philosophical significance. (shrink)

Most accounts of our knowledge of the successor axiom claim that this is based on the procedure of adding one. While they usually don’t claim to provide an account of how children actually acquire this knowledge, one may well think that this is how they get that knowledge. I argue that when we look at children’s responses in interviews, the time when they learn the successor axiom and the intermediate learning stages they find themselves in, that there is an empirically (...) viable alternative. I argue that they could also learn it on the basis of a method that has to do with the structure of the numeral system. Specifically, that they (1) use the syntactic structure of the numeral system and (2) attend to the leftmost digits, the one with the highest place-value. Children can learn that this is a reliable method of forming larger numbers by combining two elements. First, a grasp of the syntactic structure of the numeral system. That way they know that the leftmost digit receives the highest value. Second, an interpretation of numerals as designating cardinal values, so that they also realise that increasing or adding digits on the lefthand side of a numeral produces a larger number. There are thus two, currently equally well-supported, ways in which children might learn that there are infinitely many natural numbers. (shrink)

Bostrom rejects Nietzsche as an ancestor of the transhumanist movement, as he claims that there were merely some “surface-level similarities with the Nietzschean vision” (Bostrom 2005a, 4). In contrast to Bostrom, I think that significant similarities between the posthuman and the overhuman can be found on a fundamental level. In addition, it seems to me that Nietzsche explained the relevance of the overhuman by referring to a dimension which seems to be lacking in transhumanism. In order to explain my position, (...) I will progress as follows. First, I will compare the concept of the posthuman to that of Nietzsche’s overhuman, focusing more on their similarities than their differences. Second, I will contextualise the overhuman in Nietzsche’s general vision, so that I can point out which dimension seems to me to be lacking in transhumanist thought. (shrink)

The culture of honour hypothesis offers a compelling example of how human psychology differentially adapts to pastoral and horticultural environments. However, there is disagreement over whether this pattern is best explained by a memetic, evolutionary psychological, dual inheritance, or niche construction model. I argue that this disagreement stems from two shortcomings: lack of clarity about the theoretical commitments of these models and inadequate comparative data for testing them. To resolve the first problem, I offer a theoretical framework for deriving competing (...) predictions from each of the four models. In particular, this involves a novel interpretation of the difference between dual inheritance theory and cultural niche construction. I then illustrate a strategy for testing their predictions using data from the Human Relations Area File. Empirical results suggest that the aggressive psychological phenotype typically associated with honour culture is more common among pastoral societies than among horticultural societies. Theoretical considerations suggest that this pattern is best explained as a case of cultural niche construction. (shrink)

Was Marxism a variety of German Idealist self-actualization in economic form? A deeply flawed blueprint for social engineering? A catechism for post-colonial insurgencies? the intellectual foundations of modern social democracy? In this wide ranging summation, Sullivan tackles the multi-tentacled reach of Marx's legacy, and explores both the limits and the lasting significance of his ideas. Structured around three obstacles to freedom - poverty, corruption and banality - the work engages both Marx and his critics in addressing unresolved issues of the (...) current social and political order. As such, the work, after two introductory chapters, leaves behind Marxology and its familiar cast of characters (Bernstein, Kautsky, Adorno, Lukacs, Fanon, Horkheimer, Marcuse, etc.) to address both neo-Marxist and non-Marxist interpretations of these obstacles. These include growth-led poverty alleviation, human capital theory, current debates on rent-seeking and public choice theory, weaknesses in Frankfurt School approaches to mass culture, and emerging trends in cyberspace and leisure consumption. Marx for a Post-Communist Era is credited as a foundational theoretical source in a wide range of contemporary studies. Some examples include a government-sponsored anti-corruption report in Peru, a study of neoliberalism and education reform in the UK, and an urban planning essay on museum spaces and the public good. (shrink)

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (as measured) results in a higher likelihood that the witnesses are reliable. Recently, it has been proved that several coherence measures proposed in the literature are reliability conducive in a restricted scenario (Olsson and Schubert 2007, Synthese 157:297–308). My aim is to investigate which coherence measures turn out to be reliability conducive in the more general scenario where it is any finite (...) number of witnesses that give equivalent reports. It is shown that only the so-called Shogenji measure is reliability conducive in this scenario. I take that to be an argument for the Shogenji measure being a fruitful explication of coherence. (shrink)

I propose to show that any direct moral bioenhancement procedures that could be realized within a relatively short period of time are not realistic options. This does not have to worry us; however; because alternative options for promoting morality are available. Consequently; moral bioenhancement is not an option for dealing successfully with the increased potential destructiveness of contemporary technologies within a short-term framework; i.e. within this century. In what follows; I will explain why this is the case; and why; contrary (...) to Ingmar Persson and Julian Savulescu; I think this need not worry us too much. In section 1.; I will critically analyze moral bioenhancement by means of citalopram; aimed at reducing the tendency to harm others directly. I give this prominence because it could be a practical option for altering human emotions and dispositions – to my mind; it seems the most promising practical option in this field. In later sections; I will consider other means of realizing moral bioenhancement; since the first option does not do the job it is supposed to; and because Persson and Savulescu are concerned with alternative approaches. (shrink)

As false information may spread rapidly on social media, a profound understanding of how it can be debunked is required. This study offers empirical insights into the development of rumors after they are debunked, the various user groups who are involved in the process, and their network structures. As crisis situations are highly sensitive to the spread of rumors, Twitter posts from during the 2017 G20 summit are examined. Tweets regarding five rumors that were debunked during this event were manually (...) coded into the following categories: rumor, debunking message, uncertainty about rumor, uncertainty about debunking message, and others. Our findings show that rumors which are debunked early and vehemently by official sources are the most likely to be stopped. When individuals participate in the process, they typically do so by sharing uncommented media content, as opposed to contributing user-generated content. Depending on the conditions in which a rumor arises, different network structures can be found. Since some rumors are easier for individuals to verify than others, our results have implications for the priorities of journalists and official sources. (shrink)

We investigate the issue of aggregativity in fair division problems from the perspective of cooperative game theory and Broomean theories of fairness. Paseau and Saunders proved that no non-trivial theory of fairness can be aggregative and conclude that theories of fairness are therefore problematic, or at least incomplete. We observe that there are theories of fairness, particularly those that are based on cooperative game theory, that do not face the problem of non-aggregativity. We use this observation to argue that the (...) universal claim that no non-trivial theory of fairness can guarantee aggregativity is false. Paseau and Saunders’s mistaken assertion can be understood as arising from a neglect of the games approach to fair division. Our treatment has two further pay-offs: for one, we give an accessible introduction to the games approach to fair division, whose significance has hitherto not been appreciated by philosophers working on fairness. For another, our discussion explores the issue of aggregativity in fair division problems in a comprehensive fashion. (shrink)

The article takes on a less developed aspect of the sociology of the stranger: the normalized non-relations people in urban settings establish in their effort to stay strangers for one another. How is their “civil inattention”accomplished in practice? What is the social orderliness of “asocial” relations? In order to answer these questions the article uses the elevator as a sociological research instrument allowing for a highly detailed investigation in structural problems of public encounters: bodily navigation, contact avoidance, feigned preoccupation, and (...) the blocking of the automatism by which co-present bodies start interactions. The setting used for the investigation also raises questions about how the artifact and the bodies present are integrated into the interaction order. The “heteromobile” of the elevator offers specific sociotechnical scripts for interaction. While the human actors work hard at doing nothing, their bodies seem to take over their agency. The specific challenge of elevator riding for the enactment of indifference is the vanishing of actors: undoing presence. (shrink)

In a recent article, Emanuel Rutten has presented a novel argument for the existence of God, defined as a personal being that is the first cause of reality. An interesting feature of the argument, which caused quite a stir, is that it does not fall within any of the traditional categories of arguments for God’s existence. Rutten calls his argument a modal-epistemic one, which reflects the fact that the first premise of his argument states that all possible truths are knowable. (...) The main purpose of this article is a simple one: to point out that Rutten’s modal-epistemic argument is flawed. (shrink)

In a recent article, Emanuel Rutten defends his Modal-Epistemic Argument (MEA) for the existence of God against various objections that I raised against it. In this article, I observe that Rutten’s defence fails for various reasons. Most notably though, the defence is self-undermining: the very claims that Rutten argues for in his defence yield novel counterexamples to the first premise of the MEA.

One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. This challenge is the point on which all philosophies of mathematics are judged, and clarifying how we might acquire mathematical knowledge is one of the main occupations of philosophers of mathematics. In this thesis I argue that this discussion has overlooked an important part of mathematics, namely mathematics (...) as it is exercised by ordinary people. I do so by looking at the different theories that have been put forward in the recent debate, and showing for each of these that they are unable to account for the mathematical practices of ordinary people. In order to show that these practices do need to be accounted for, I also argue that ordinary people are doing mathematics, i.e. that they engage in properly mathematical practices. Because these practices are properly mathematical, they should be accounted for by any philosophy of mathematics. The conclusion of my thesis, then, is that current theories fail to do something that they should do, while remaining neutral on how well they perform when it comes to accounting for the practices of professional mathematicians. (shrink)

I compare Sellars’s criticism of the ‘myth of the given’ with Quine’s criticism of the ‘two dogmas’ of empiricism, that is, the analytic–synthetic distinction and reductionism. In Sections I to III, I present Quine’s and Sellars’s views. In IV to X, I discuss similarities and differences in their views. In XI to XII, I show that Sellars’s arguments against the ‘myth of the given’ are incompatible with Quine’s rejection of the analytic–synthetic distinction.

A common objection to adaptationist accounts of human emotions is that they ignore the influence of culture. If complex emotions like guilt, shame and romantic jealousy are largely culturally determined, how could they be biological adaptations? Dual inheritance models of gene/culture coevolution provide a potential answer to this question. If complex emotions are developmentally ‘scaffolded' by norms that are transmitted from parent to offspring with reasonably high fidelity, then these emotions can evolve to promote individual reproductive interests. This paper draws (...) on case studies of emotional development to illustrate how complex emotions satisfy these conditions. Many of the norms and parenting strategies influencing emotional development are absorbed during the early stages of life when a child is in primary contact with its parents and before the onset of complex cognition. These conditions make it likely that emotion-governing norms are transmitted vertically and with relatively little cognitive ‘contamination'. ‡Thanks to Mark Colyvan, Paul Griffiths, Alexander Rosenberg, and John Wilkins for helpful comments on previous drafts. †To contact the author, please write to: Department of Philosophy, University of Queensland, Brisbane, Queensland 4072, Australia; e-mail: [email protected]. (shrink)

Topic of the paper is Q-logic - a logic of agency in its temporal and modal context. Q-logic may be considered as a basal logic of agency since the most important stitoperators discussed in the literature can be defined or axiomatized easily within its semantical and syntactical framework. Its basic agent dependent operator, the Q-operator (also known as Δ- or cstit-operator), which has been discussed independently by E v. Kutschera and B. E Chellas, is investigated here in respect of its (...) relation to other temporal and modal operators. The main result of the paper, then, is a completeness result for a calculus of Q-logic with respect to a semantics defined on the tree-approach to agency as introduced and developed by, among others, E v. Kutschera and N. D. Belnap. (shrink)

In Unfit for the Future, Ingmar Persson and Julian Savulescu present a challenging argument in favour of biomedical moral enhancement. In light of the existential threats of climate change, insufficient moral capacities of the human species seem to require a cautiously shaped programme of biomedical moral enhancement. The story of the tragedy of the commons creates the impression that climate catastrophe is unavoidable and consequently gives strength to the argument. The present paper analyses to what extent a policy in favour (...) of biomedical moral enhancement can thereby be justified and puts special emphasis on the political context. By reconstructing the theoretical assumptions of the argument and by taking them seriously, it is revealed that the argument is self-defeating. The tragedy of the commons may make moral enhancement appear necessary, but when it comes to its implementation, a second-order collective action-problem emerges and impedes the execution of the idea. The paper examines several modifications of the argument and shows how it can be based on easier enforceability of BME. While this implies enforcement, it is not an obstacle for the justification of BME. Rather, enforceability might be the decisive advantage of BME over other means. To take account of the global character of climate change, the paper closes with an inquiry of possible justifications of enforced BME on a global level. The upshot of the entire line of argumentation is that Unfit for the Future cannot justify BME because it ignores the nature of the problem of climate protection and political prerequisites of any solution. (shrink)

Argues that content-independent reasons are intentions. Relies on Grice's distinction between natural and non-natural meaning. Rejects previous accounts, and argues that his account can understand the force of such reasons appropriately, through the conept of enabling-conditions. Illustrates through several paridigmatic types of content-independent reasons.

Recent findings indicate that the constituting digits of multi-digit numbers are processed, decomposed into units, tens, and so on, rather than integrated into one entity. This is suggested by interfering effects of unit digit processing on two-digit number comparison. In the present study, we extended the computational model for two-digit number magnitude comparison of Moeller, Huber, Nuerk, and Willmes (2011a) to the case of three-digit number comparison (e.g., 371_826). In a second step, we evaluated how hundred-decade and hundred-unit compatibility effects (...) were moderated by varying the percentage of within-hundred (e.g., 539_582) and within-hundred-and-decade filler items (e.g., 483_489). From the results we predict that numerical distance as well as compatibility effects should indeed be modulated by the relevance of tens and units in three-digit number magnitude comparison: While in particular the hundred distance effect should decrease, we predict hundred-decade and hundred-unit compatibility effects to increase with the relevance of tens and units. (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)

According to recent scientific reports, certain climatic tipping points can be understood as “points of no return,” in which, for instance, anthropogenic interference changes global temperatures irreversibly. Such an outcome presents a situation unlike any considered before by risk theorists, for it introduces an element of radical uncertainty into the very value (considered ethically, culturally, and politically) of taking action on climate change. In the following I argue that ethical bases for action that rely on traditional concepts of risk (such (...) as the dominant precautionary principle) are vastly ill equipped to make sense of the catastrophes of the scale predicted by most climatologists today. Instead we need to understand the possibilities of political action beyond thresholds assumed by tipping-point calculations. This in turn means investigating action as a form of risktaking and as operating against the conservative connotations of environmental precaution. It also implies acting against the calculative assumption that one’s actions are meaningless “unless this happens by this time,” a sentiment propelled, perhaps, by the repetition in mainstream media of reference to the finality of points of no return. (shrink)

Scientific collaboration between Northern and Southern researchers and development programs for research capacity-building have received new attention of practitioners and scholars during the last decades. This essay review takes four recent publications on North-South research cooperation and development politics as a starting point to ask for possible links between macro-, meso-, and micro-levels of social analysis that has found renewed interest in the sociology of science literature. The approach has the advantage to heuristically systematize the anthropological, sociological and policy-driven approaches (...) chosen by the editors and authors of the books under review. Moreover, the focus on links between the three levels adds to the conceptual interaction of sociology of science and the science policy fields to estimate the effects of science governance in international and especially in asymmetrical relations with different access to resources. (shrink)