This paper deals with certain ethical problems inherent in psychological research based on internet communication as stored information. Section 1 contains an analysis of research on Internet debates. In particular, it takes into account a famous example of deception for psychology research purposes. In section 2, the focus is on research on personal data in texts published on the Internet. Section 3 includes an attempt to formulate some ethical principles and guidelines, which should be regarded as fundamental in research on (...) stored information. (shrink)

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates for (...) belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)

Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...) show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warm-up stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both ‘cc’ and ‘bcc’ lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene’s theorem on finite automata, as well as new Ehrenfeucht games of model comparison. (shrink)

Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...) actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical ?utility update'. (shrink)

Epistemic peer disagreement raises interesting questions, both in epistemology and in philosophy of science. When is it reasonable to defer to the opinion of others, and when should we hold fast to our original beliefs? What can we learn from the fact that an epistemic peer disagrees with us? A question that has received relatively little attention in these debates is the value of epistemic peer disagreement—can it help us to further epistemic goals, and, if so, how? We investigate this (...) through a recent case in paleoanthropology: the debate on the taxonomic status of Homo floresiensis remains unresolved, with some authors arguing the fossils represent a novel hominin species, and others claiming that they are Homo sapiens with congenital growth disorders. Our examination of this case in the recent history of science provides insights into the value of peer disagreement, indicating that it is especially valuable if one does not straightaway defer to a peer’s conclusions, but nevertheless remains open to a peer’s evidence and arguments. (shrink)

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...) models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall , No Miracles , and Bisimulation Invariance . We then focus on new issues of completeness . One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL. (shrink)

Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.

We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level’, we present suitable notions of game equivalence, plus some (...) simple representation results. (shrink)

Following the example of the many organizations in the United States which have a code of ethics, an increasing interest on the part of companies, trade organizations, (semi-)governmental organizations and professions in the Netherlands to develop codes of ethics can be witnessed. We have been able to escort a variety of organizations in this process. The process that organizations must go through in order to attain a code involves a variety of difficult decisions. In this article we will, based on (...) our experiences, describe twelve dilemmas which will have to be solved during the development of such a code. When one or more of these dilemmas is ignored or an ungrounded choice is made, the effectiveness of the code will be negatively affected. Furthermore, the twelve dilemmas could be used as twelve dimensions to exemplify organizational codes of ethics. In this article we will also discuss a method to organize ethics within the organization. This will serve as a guide as to how, with respect to the dilemmas described, adequate considerations can be made. The article will be concluded with a description of our experiences at the Dutch Schiphol Airport. This case demonstrates how the aforementioned reasoning can be applied in practice. (shrink)

Some propositional attitude verbs require that the complement contain some “subjective predicate”. In terms of the theory proposed by Lasersohn, these verbs would seem to identify the “judge” of the embedded proposition with the matrix subject, and there have been suggestions in this direction. I show that it is possible to analyze these verbs as setting the judge and doing nothing more; then according to whether a judge index or a judge argument is assumed, unless the complement contains a subjective (...) predicate, the whole matrix is redundant or there is a type conflict. I further show that certain clear facts argue for assuming a judge argument which can be filled by a contextually salient entity–or by the subject of a subjective attitude verb. (shrink)

Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...) which change game models. Thus, strategic equilibrium gets linked to fixed-points of operations of repeated announcement of suitable epistemic statements. This dynamic stance provides a new look at the current interface of games, logic, and computation. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

Preference is a basic notion in human behaviour, underlying such varied phenomena as individual rationality in the philosophy of action and game theory, obligations in deontic logic (we should aim for the best of all possible worlds), or collective decisions in social choice theory. Also, in a more abstract sense, preference orderings are used in conditional logic or non-monotonic reasoning as a way of arranging worlds into more or less plausible ones. The field of preference logic (cf. Hansson [10]) studies (...) formal systems that can express and analyze notions of preference between various sorts of entities: worlds, actions, or propositions. The art is of course to design a language that combines perspicuity and low complexity with reasonable expressive power. In this paper, we take a particularly simple approach. As preferences are binary relations between worlds, they naturally support standard unary modalities. In particular, our key modality ♦ϕ will just say that is ϕ true in some world which is at least as good as the current one. Of course, this notion can also be indexed to separate agents. The essence of this language is already in [4], but our semantics is more general, and so are our applications and later language extensions. Our modal language can express a variety of preference notions between propositions. Moreover, as already suggested in [9], it can “deconstruct” standard conditionals, providing an embedding of conditional logic into more standard modal logics. Next, we take the language to the analysis of games, where some sort of preference logic is evidently needed ([23] has a binary modal analysis different from ours). We show how a qualitative unary preference modality suffices for defining Nash Equilibrium in strategic games, and also the Backward Induction solution for finite extensive games. Finally, from a technical perspective, our treatment adds a new twist. Each application considered in this paper suggests the need for some additional access to worlds before the preference modality can unfold its true power.. (shrink)

This paper takes a cognitive perspective to assess the significance of some Late Palaeolithic artefacts (sculptures and engraved objects) for philosophicalconcepts of art. We examine cognitive capacities that are necessary to produceand recognize objects that are denoted as art. These include the ability toattribute and infer design (design stance), the ability to distinguish between themateriality of an object and its meaning (symbol-mindedness), and an aesthetic sensitivity to some perceptual stimuli. We investigate to what extent thesecognitive processes played a role in (...) the production and appreciation of somerecently discovered Palaeolithic artefacts. (shrink)

Where should we meet? This may seem like a trivial decision, mostly focused on convenience. However, location can represent integral values, attitudes, and priorities. Especially when the meeting i...

Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information.

According to an increasingly popular view known as non-doxasticism, religious faith need not include belief, but only some cognitively weaker attitude. This view comes with great promises, as it offers a way for the agnostic to partake in religion. My concern is how such a non-doxastic faith might be understood as a rational attitude. I offer three desiderata for any account of rational, non-doxastic faith. These desiderata are based on general considerations regarding epistemic rationality and on major themes from current (...) literature on the closely related notions of trust and hope. The first desideratum states that faith must be able to meet the demands of reason. The second requires, perhaps surprisingly, that faith should not imply trust. The third requires that faith should imply hope while excluding despair. I show how several prominent accounts of non-doxastic faith, by Lara Buchak, Daniel Howard-Snyder and Daniel McKaughan, all fail to meet at least one of these desiderata. I also suggest that the desiderata should make us prefer a reconstructive methodology. (shrink)

Psychological evidence suggests that laypeople understand the world around them in terms of intuitive ontologies which describe broad categories of objects in the world, such as ‘person’, ‘artefact’ and ‘animal’. However, because intuitive ontologies are the result of natural selection, they only need to be adaptive; this does not guarantee that the knowledge they provide is a genuine reflection of causal mechanisms in the world. As a result, science has parted ways with intuitive ontologies. Nevertheless, since the brain is evolved (...) to understand objects in the world according to these categories, we can expect that they continue to play a role in scientific understanding. Taking the case of human evolution, we explore relationships between intuitive ontological and scientific understanding. We show that intuitive ontologies not only shape intuitions on human evolution, but also guide the direction and topics of interest in its research programmes. Elucidating the relationships between intuitive ontologies and science may help us gain a clearer insight into scientific understanding. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Rational agents base their actions on information from observation, inference, introspection, or other sources. But this information comes in different kinds, and it is usually handled by different logical mechanisms. We discuss how to integrate external ‘updating information’ and internal ‘elucidating information’ into one system of dynamic epistemic logic, by distinguishing two basic informational actions: ‘bare seeing’ versus ‘conscious realization’.

The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective affords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.

Dov Gabbay is a prolific logician just by himself. But beyond that, he is quite good at making other people investigate the many further things he cares about. As a result, King's College London has become a powerful attractor in our field worldwide. Thus, it is a great pleasure to be an organizer for one of its flagship events: the Augustus de Morgan Workshop of 2005. Benedikt Loewe and I proposed the topic of 'interactive logic' for this occasion, with an (...) emphasis on social software – the logical analysis and design of social procedures – and on games, arguably the formal interactive setting par excellence. This choice reflects current research interests in our logic community at ILLC Amsterdam and beyond. In this broad area of interfaces between logic, computer science, and game theory, this paper is my own attempt at playing Dov. I am, perhaps not telling, but at least asking other people to find out for me what I myself cannot. (shrink)

The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.

We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.

Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation (...) of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic. (shrink)

It is common in the literature to claim that legitimacy is the right to rule and that, accordingly, Hohfeldian rights analysis can be used to understand the concept. However, we argue that authors in the legitimacy literature have not generally realised the full potential of Hohfeldian analysis. We discuss extant approaches in the literature that conceptually identify legitimacy with one particular Hohfeldian incident, or, more rarely, a determinate set of incidents. Against these views, and building on parallel debates in property (...) theory, we suggest that Hohfeldian analysis pushes one towards the claim that legitimacy possesses no determinate essence. We provide a rationale for this novel view and disarm a series of objections. (shrink)

This paper is a brief history of natural logic at the interface of logic, linguistics, and nowadays also other disciplines. It merely summarizes some facts that deserve to be common knowledge.

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to this (...) general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary first-order logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents, based on semantic information. The latter is produced by acts of observation or communication, that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference – and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and (...) hence we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we extend earlier epistemic “awareness models” into a dynamic system that includes acts of public observation, but also adding and dropping formulas from the currently ‘entertained’ set, we give a completeness theorem, and we show how this dynamics updates explicit knowledge. Similar ideas have been proposed before, but they were restricted to update with factual propositions; our new dynamic system applies to arbitrary formulas. We also extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of modal formalisms. To show that the equational view of processes from process algebra is closely related (...) to modal logic, we consider various ways of looking at the relation between the calculus of basic process algebra and propositional dynamic logic. More concretely, the paper contains preservation results for various bisimulation notions, a result on the expressive power of propositional dynamic logic, and a de nition of bisimulation which is the proper notion of invariance for concurrent propositional dynamic logic. (shrink)

Understanding human behaviour involves "why"'s as well as "how"'s. Rational people have good reasons for acting, but it can be hard to find out what these were and how they worked. In this Note, we discuss a few ways in which actions, preferences, and expectations are intermingled. This mixture is especially clear with the well-known solution procedure for extensive games called 'Backward Induction'. In particular, we discuss three scenarios for analyzing behaviour in a game. One can rationalize given moves as (...) revealing agents' preferences, one can also rationalize them as revealing agents' beliefs about others, but one can also change a predicted pattern of behaviour by making promises. All three scenarios transform given games to new ones, and we prove some results about their scope. A more general view of relevant game transformations would involve dynamic and epistemic game logics. Finally, our analysis describes and disentangles matters: but it will not tell you what to do! (shrink)

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

Humans have a tendency to reason teleologically. This tendency is more pronounced under time pressure, in people with little formal schooling and in patients with Alzheimer’s. This has led some cognitive scientists of religion, notably Kelemen, to call intuitive teleological reasoning promiscuous, by which they mean teleology is applied to domains where it is unwarranted. We examine these claims using Kant’s idea of the transcendental illusion in the first Critique and his views on the regulative function of teleological reasoning in (...) the third Critique. We examine whether a Kantian framework can help resolve the tension between the apparent promiscuity of intuitive teleology and its role in human reasoning about biological organisms and natural kinds. (shrink)

The present article focuses on American and European personalism during the early part of the twentieth century . The immediate predecessor of the personalist movement as such was the philosopher Rudolf Hermann Lotze who inspired two of his students, Methodist Borden Parker Bowne and Rudolf Eucken. In France, in the meantime, Charles Renouvier published his Le personnalisme in 1903, while Emmanuel Mounier later presented personalism as a new political philosophy under the influence Alexandre Marc’s comments on Nicolai Hartmann’s Ethik. Mounier’s (...) Manifeste au service du personnalisme develops a dialectical critique on both liberal bourgeois individualism and all forms of collectivism, all, in his opinion, ‘inverted theocracies’ with shared dehumanizing tendencies. As alternative, it was necessary for personalism to become the leading spiritual and philosophical guide in order to Refaire la Renaissance . As a matter of fact, Jacques Maritain’s Humanisme intégral might justly be considered a first attempt to describe the nature of a new civilization in any detail. Maritain is more explicit on the Christian face of this new humanism, while refuting any kind of mancentred humanism. Mounier’s and Maritain’s personalist ideas together with Max Scheler’s non-formal ethics of value and his Aktlehre had a considerable influence on Louis Janssens. In Personne et société he not only criticizes several contemporary European ideologies in line with Mounier, but he also accepts that persons can only be really known by co-operation, in line with Scheler’s idea of inter-subjectivity and Aquinas’ idea of the social nature of the human being. Following Maritain, Janssens distinguishes between the human being as individual and the human person. Individuality contains a material component, characterized by its concrete position in space and time, while the person and his/her spiritual component facilitate a movement away from the self towards others in freedom and love. The person is not only understood as the highest value, he/she is able to control the hierarchy of values by his/her ordo amoris, a flexible undertaking influenced by the love of others in which love opens each person for growth towards higher values. (shrink)

Argument & Computation, Volume 3, Issue 2-3, Page 83-86, June–September 2012.

Humans have cognitive mechanisms that allow them to keep track of time, represent past events, and simulate the future, but these capacities have intrinsic constraints. Here, we explore the role of material culture as an extension of internal time representations through anthropological and archeological case studies, focusing on Upper Paleolithic material culture. We argue that calendars complement and extend internal time representations, because they enable humans to project past events into the future more accurately than is possible with episodic memory (...) alone, making them one of the factors that significantly improved foraging success during the Upper Paleolithic. We discuss the implications of the epistemic use of material culture for our understanding of the causes of shifts in human behavior during the Upper Paleolithic. (shrink)

According to cognitive science of religion (CSR) people naturally veer toward beliefs that are quite divergent from Anselmian monotheism or Christian theism. Some authors have taken this view as a starting point for a debunking argument against religion, while others have tried to vindicate Christian theism by appeal to the noetic effects of sin or the Fall. In this paper, we ask what theologians can learn from CSR about the nature of the divine, by looking at the CSR literature and (...) what it identifies as commonalities across religions. We use a pluralist, non-confessional approach to outline properties of the divine. We connect our approach to Hick’s religious pluralism, Ramakrishna’s realization of God through multiple spiritual paths, and Gellman’s inexhaustible plenitude. (shrink)

This project explores vaccine hesitancy through an artist–scientist collaboration. It aims to create better understanding of vaccine hesitant parents’ health beliefs and how these influence their vaccine-critical decisions. The project interviews vaccine-hesitant parents in the Netherlands and Finland and develops experimental visual-narrative means to analyse the interview data. Vaccine-hesitant parents’ health beliefs are, in this study, expressed through stories, and they are paralleled with so-called illness narratives. The study explores the following four main health beliefs originating from the parents’ interviews: (...) perceived benefits of illness, belief in the body’s intelligence and self-healing capacity, beliefs about the “inside–outside” flow of substances in the body, and view of death as a natural part of life. These beliefs are interpreted through arts-based diagrammatic representations. These diagrams, merging multiple aspects of the parents’ narratives, are subsequently used in a collaborative meaning-making dialogue between the artist and the scientist. The resulting dialogue contrasts the health beliefs behind vaccine hesitancy with scientific knowledge, as well as the authors’ personal, and differing, attitudes toward these. (shrink)

In this chapter, we focus on animism and how it is studied in the cognitive science of religion and cultural anthropology. We argue that philosophers of religion still use (outdated) normative notions from early scientific studies of religion that go back at least a century and that have since been abandoned in other disciplines. Our argument is programmatic: we call for an expansion of philosophy of religion in order to include traditions that are currently underrepresented. The failure of philosophy of (...) religion to discuss and accommodate different perspectives means a large part of human religious beliefs, practices, and experiences remains outside its purview. As a point of focus, we examine animism in two cultures as a way to think about what sorts of questions and ideas an expansion of philosophy of religion into lesser-explored traditions could offer. (shrink)

This article is intended to contribute to the discussion on the meaning of volunteering by investigating voluntary work from the viewpoint of volunteers active in Swedish civil society organizations.Meaning refers both to the cognitive meaning of concepts and to the perceived meaning in life. The aim to uncover the predicates that people attribute to the concept is an attempt to anatomize volunteering as a social construct. Five predicates emerged and they make up the phenomenological structure of volunteering. By contextualizing this (...) structure in contemporary Swedish society, it is demonstrated that the conceptual meaning of volunteering has significance for its existential meaning. The volunteers say that their authenticity is confirmed through the voluntary work since they are making themselves manifest in public. Following Hannah Arendt, the reasons for this is that authenticity demands that the volunteers conduct their actions in a public realm where their actions acquire an intrinsic value as neither coerced nor instrumental. (shrink)

Exact philosophy consists of various disciplines scattered and separated. Formal semantics and philosophy of science are good examples of two such disciplines. The aim of this paper is to show that there is possible to find some integrating bridge topics between the two fields, and to show how insights from the one are illuminating and suggestive in the other.