Philosophers have talked to each other about moral issues concerning technology, but few of them have talked about issues of technology and the good life, and even fewer have talked about technology and the good life with the public in the form of recommendation. In effect, recommendations for various technologies are often left to technologists and gurus. Given the potential benefits of informing the public on their impacts on the good life, however, this is a curious state of affairs. In (...) the present paper, I will examine why philosophers are seemingly reluctant to offer recommendations to the public. While there are many reasons for philosophers to refrain from offering recommendations, I shall focus on a specific normative reason. More specifically, it appears that, according to a particular definition, offering recommendations can be viewed as paternalistic, and therefore is prima facie wrong to do so. I will provide an argument to show that the worry about paternalism is unfounded, because a form of paternalism engendered by technology is inevitable. Given the inevitability of paternalism, I note that philosophers should accept the duty to offer recommendations to the public. I will then briefly turn to design ethics, which has reconceptualised the role of philosophers and, in my mind, fitted well with the inevitability of paternalism. Finally, I shall argue that design ethics has to be supplemented by the practice of recommendation if it is to sustain its objective. (shrink)

Algorithms can now identify patterns and correlations in the (big) datasets, and predict outcomes based on those identified patterns and correlations with the use of machine learning techniques and big data, decisions can then be made by algorithms themselves in accordance with the predicted outcomes. Yet, algorithms can inherit questionable values from the datasets and acquire biases in the course of (machine) learning, and automated algorithmic decision-making makes it more difficult for people to see algorithms as biased. While researchers have (...) taken the problem of algorithmic bias seriously, but the current discussion on algorithmic fairness tends to conceptualize ‘fairness’ in algorithmic fairness primarily as a technical issue and attempts to implement pre-existing ideas of ‘fairness’ into algorithms. In this paper, I show that such a view of algorithmic fairness as technical issue is unsatisfactory for the type of problem algorithmic fairness presents. Since decisions on fairness measure and the related techniques for algorithms essentially involve choices between competing values, ‘fairness’ in algorithmic fairness should be conceptualized first and foremost as a political issue, and it should be (re)solved by democratic communication. The aim of this paper, therefore, is to explicitly reconceptualize algorithmic fairness as a political question and suggest the current discussion of algorithmic fairness can be strengthened by adopting the accountability for reasonableness framework. (shrink)

It is generally recognised that the potential positive and negative impacts of geoengineering will be distributed unevenly both geographically and temporally. The question of distributive justice in geoengineering thus is one of the major ethical issues associated with geoengineering. Currently, the question of distributive justice in geoengineering is framed in terms of who gets what (potential) benefits and harms from geoengineering, i.e. it is about the distribution of the outcomes of geoengineering. In this paper, I argue that the discussions on (...) distributive justice in geoengineering should not be outcome-based. Instead, it should be risk-based. I identify two problems for framing the question of distributive justice in geoengineering in terms of the distribution of its outcomes, i.e. the ‘if and then’ syndrome and the limited applicability of distributive principles in geoengineering policy, and suggest risk is a more proper object of distribution in the case of geoengineering. Following Hayenhjelm, I argue that the object of distribution in the case of fair distribution of risk should be (i) sources of risks and (ii) precautionary measures. I shall then demonstrate how it can be applied to the question of distributive justice in geoengineering. Finally, I end this paper by exploring the possible responses to the question of distributive justice in geoengineering by three major accounts of distributive justice, i.e. egalitarianism, prioritarianism, and sufficientarianism. (shrink)

This paper aims to address the lack of critique of the linear model in geoengineering governance discourse, and to illustrate different considerations for a geoengineering governance framework that is not based on a linear model of technology innovation. Finally, we set to explore a particular approach to geoengineering governance based on Peter-Paul Verbeek’s notion of ‘technology accompaniment’.

The aim of Intercultural Information Ethics (IIE), as Ess aptly puts, is to “(a) address both local and global issues evoked by ICTs / CMC, etc., (b) in a ways that both sustain local traditions / values / preference, etc. and (c) provide shared, (quasi-) universal responses to central ethical problems” (Ess 2007a, 102). This formulation of the aim of IIE, however, is not unambiguous. In this paper, I will discuss two different understandings of the aim of IIE, one of (...) which advocates “shared norms, different interpretations” and another proposes “shared norms, different justifications”. I shall argue that the first understanding is untenable, and the second understanding is acceptable only with qualification. Finally, I shall briefly suggest an alternative way to understand the aim of IIE. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

In Information and Computer Ethics (ICE), and, in fact, in normative and evaluative research of Information Technology (IT) in general, researchers have paid few attentions to the prudential values of IT. Hence, analyses of the prudential values of IT are mostly found in popular discourse. Yet, the analyses of the prudential values of IT are important for answering normative questions about people’s well-being. In this chapter, the author urges researchers in ICE to take the analyses of the prudential values of (...) IT seriously. A serious study of the analyses, he argues, will enrich the research of ICE. But, what are the analyses? The author will distinguish the analyses of the prudential values of IT, i.e. the prudential analysis, from other types of normative and evaluative analysis of IT. Then, the author will explain why prudential analyses are not taken seriously by the researchers in ICE, and argue why they deserve more attentions. After that, he will outline a framework to analyse and evaluate prudential analyses, and he will apply the framework to an actual prudential analysis. Finally, he will briefly conclude this chapter by highlighting the limits of the proposed framework and identifying the directions for future research. (shrink)

A closer look at the theories and questions in philosophy of technology and ethics of technology shows the absence and marginality of non-Western philosophical traditions in the discussions. Although, increasingly, some philosophers have sought to introduce non-Western philosophical traditions into the debates, there are few systematic attempts to construct and articulate general accounts of ethics and technology based on other philosophical traditions. This situation is understandable, for the questions of modern sciences and technologies appear to be originated from the West; (...) at the same time, the situation is undesirable. The overall aim of this paper, therefore, is to introduce an alternative account of ethics of technology based on the Confucian tradition. In doing so, it is hoped that the current paper can initiate a relatively uncharted field in philosophy of technology and ethics of technology. (shrink)

The burgeoning literature on the ethical issues raised by climate engineering has explored various normative questions associated with the research and deployment of climate engineering, and has examined a number of responses to them. While researchers have noted the ethical issues from climate engineering are global in nature, much of the discussion proceeds predominately with ethical framework in the Anglo-American and European traditions, which presume particular normative standpoints and understandings of human–nature relationship. The current discussion on the ethical issues, therefore, (...) is far from being a genuine global dialogue. The aim of this article is to address the lack of intercultural exchange by exploring the ethics of climate engineering from a perspective of Confucian environmental ethics. Drawing from the existing discussion on Confucian environmental ethics and Confucian ethics of technology, I discuss what Confucian ethics can contribute to the ethical debate on climate engineering. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

Researchers have explored questions concerning public participation and consent in geoengineering governance. Yet, the notion of consent has received little attention from researchers, and it is rarely discussed explicitly, despite being prescribed as a normative requirement for geoengineering research and being used in rejecting some geoengineering options. As it is noted in the leading geoengineering governance principles, i.e. the Oxford Principles, there are different conceptions of consent; the idea of consent ought to be unpacked more carefully if, and when, we (...) invoke it in the discussion. This article offers a theoretical reflection on different conceptions of consent and their place in geoengineering governance. More specifically, I discuss three models of consent, i.e. explicit consent, implied consent and hypothetical consent, and assess their applicability to geoengineering governance. Although there are different models of consent, much discussion of geoengineering governance has committed only to explicit consent. I note that such a commitment springs from a specific ideal political order. Accordingly, we should be wary of any naïve commitment to it so long as the political order we hope for remains open to debate. Finally, I illustrate two approaches to introduce consent into a geoengineering governance framework. (shrink)

It is hard to disagree with the idea of responsible innovation (henceforth, RI), as it enables policy-makers, scientists, technology developers, and the public to better understand and respond to the social, ethical, and policy challenges raised by new and emerging technologies. RI has gained prominence in policy agenda in Europe and the United States over the last few years. And, along with its rising importance in policy-making, there is also a burgeoning research literature on the topic. Given the historical context (...) of which RI emerges, it should not be surprising that the current discourse on RI is predominantly based on liberal democratic values. Yet, the bias towards liberal democratic values will inevitably limit the discussion of RI, especially in the cases where liberal democratic values are not taken for granted. As such, there is an urgent need to return to the normative foundation of RI, and to explore the notion of ‘responsible innovation’ from nonliberal democratic perspectives. Against this background, this paper seeks to demonstrate the problematic consequences of RI solely grounded on or justified by liberal democratic values. This paper will cast the argument in the form of a dilemma to be labelled as The Decent Nonliberal Peoples’ Dilemma and use it to illustrate the problems of the Western bias. (shrink)

In response to the Royal Society report’s claim that “the acceptability of geo­engineering will be determined as much by social, legal, and political issues as by scientific and technical factors” (Geoengineering the Climate: Science, Governance and Uncertainty [London: Royal Society, 2009], ix), a number of authors have suggested the key to this challenge is to engage the public in geoengineering decision-making. In effect, some have argued that inclusion of the public in geoengineering decision-making is necessary for any geoengineering project to (...) be morally permissible. Yet, while public engagement on geoengineering comes in various forms, the discussion in geoengineering governance and the ethics of geoengineering have too often conceptualized it exclusively in terms of public participation in decision-making, and supported it by various liberal democratic values. However, if the predominant understanding of public engagement on—or, the role of the public in—geoengineering decision-making is indeed only grounded on liberal democratic values, then its normative relevance could be challenged by and in other ethical-political traditions that do not share those values. In this paper, I shall explore these questions from a Confucian perspective. I argue that the liberal democratic values invoked in support of the normative importance of public participation are, at least, foreign to Confucian political philosophy. This presents a prima facie challenge to view public participation in geoengineering decision-making as a universal moral requirement, and invites us to reconsider the normative significance of this form of public engagement in Confucian societies. Yet, I contend that the role of the public remains normatively significant in geoengineering governance and the ethics of geoengineering from a Confucian perspective. Drawing from recent work on Confucian political philosophy, I illustrate the potential normative foundation for public engagement on geoengineering decision-making. (shrink)

International observers and critics often attack China's Internet policy on the basis of liberal values. If China's Internet is designed and built on Confucian values that are distinct from, and sometimes incompatible to, liberal values, then the liberalist critique ought to be reconsidered. In this respect, Mary Bockover's “Confucian Values and the Internet: A Potential Conflict” appears to be the most direct attempt to address this issue. Yet, in light of developments since its publication in 2003, it is time to (...) re-examine this issue. In this paper, I revisit Bockover’s argument and show why it fails. Using social media as an example, I offer an alternative argument to show why the Internet remains largely incompatible with Confucian values. I end this paper by suggesting how to recontextualise the Confucian way of life and to redesign social media in accordance to Confucian values in the information society. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

There are a number of recent attempts to introduce Confucian values to the ethical analysis of technology. These works, however, have not attended sufficiently to one central aspect of Confucianism, namely Ritual (‘Li’). Li is central to Confucian ethics, and it has been suggested that the emphasis on Li in Confucian ethics is what distinguishes it from other ethical traditions. Any discussion of Confucian ethics for technology, therefore, remains incomplete without accounting for Li. This chapter aims to elaborate on the (...) concept of Confucian Li and discuss its relevance to ethics of technology. Particularly, by referring to Li’s communicative, formative, and aesthetic function, I formulate an approach to ethics of technology with an emphasis on community, performance, and the aesthetic and demonstrate how this approach proceeds with the ethical analysis of technology. In doing so, I attempt to answer the question: why Confucianism matters in ethics of technology. (shrink)

The ethics of geoengineering has gained momentum in recent academic debate. The current debates, however, is typically framed in terms of (i) the first-order question about the moral permissibility of geoengineering, and (ii) the second-order question about the distributive and compensatory issues associated with geoengineering. Both (i) and (ii) are central to decision-making about geoengineering, but they have not cover all ethical issues related to geoengineering. I argue that a preoccupation with (i) and (ii) may lead to an oversight of (...) post-implementation scenarios (PISs), which introduce different ethical issues relevant to decision-making on geoengineering. More specifically, I use the requirement of maintenance for geoengineering as an example to draw attention to PISs, and to illustrate the limit of the existing discussion in the ethics of geoengineering. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

Current research in Intercultural Information Ethics is preoccupied, almost exclusively, by moral and political issues concerning the right and the just These issues are undeniably important, and with the continuing development and diffusion of ICTs, we can only be sure more moral and political problems of similar kinds are going to emerge in the future. Yet, as important as those problems are, I want to argue that researchers' preoccupation with the right and the just are undesirable. I shall argue that (...) IIE has thus far overlooked the issues pertaining to the good life . IIE, I claim, should also take into account these issues. Hence, I want to propose a new agenda for IIE, i.e. the good life, in the current paper. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

PurposeThe purpose of this paper is to introduce an interpretive approach to examining the relation between information and communication technologies (ICTs) and the good life, based on Michael Walzer's view of (connected) social criticism.Design/methodology/approachThrough a discussion of Michael Walzer's view of social criticism, an interpretive approach to normative analysis of ICTs and the good life is introduced. The paper also offers an additional argument for the indispensability of prudential appraisals of ICTs in normative analysis of ICTs and the good life, (...) which in turn strengthens the basis for the Walzerian approach proposed in the paper.FindingsIt is argued that an interpretive approach to normative analysis of ICTs and the good life, i.e. the Walzerian approach, is as viable as – if not superior to – a theory‐driven approach. It is also argued that actual appraisals of ICTs and the good life must be taken into account in the normative analysis.Originality/valueIt is only recently that “the good life” has become more visible in normative analysis of ICTs. This paper continues this relatively new line of research and proposes an alternative approach – as opposed to a theory‐driven approach – to this research programme. (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

Nearly a decade ago, Rafael Capurro has gradually shifted his attention towards the ideas of message and of messenger. In lieu of ‘information’, he proposes and develops a new direction of research he calls Angeletics that aims to examine the nature of message and messenger, both of which are inherently social. Coincidently, at about the same time, we witnessed the rise of social epistemology in Angelo-American analytic philosophy. This coincidence is interesting, because both Capurro’s Angeletics and social epistemology indicated a (...) departure from individualistic-orientedness in hermeneutics and traditional epistemology respectively. While social epistemology has earned its place and status in academia, especially in North America and Europe, Capurro’s Angeletics has yet to receive similar attention to which it deserves. Part of the reason for this, I think, is because of its formulation and terminology is relatively unfamiliar to those who do not share the same philosophical tradition. Hence, one remedy to this situation is to attempt to translate Angeletics in terms of social epistemology, and this – is the objective of the current paper. (shrink)

Consumer society engenders a peculiar set of existential conditions, but it is often neglected in analyses of technology. The aim of this chapter is to demonstrate a way to examine technology through the set of existential conditions in consumer society, and, at the same time, argue for its importance in normative analyses of technology. Particularly, this chapter argues against a specific pattern of argument against technology to be inadequate in isolation of an analysis of consumer society. In this respect, philosophers (...) and other researchers interested in normative issues on technology in consumer society can benefit enormously from social theory of consumption. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

While geoengineering may counteract negative effects of anthropogenic climate change, it is clear that most geoengineering options could also have some harmful effects. Moreover, it is predicted that the benefits and harms of geoengineering will be distributed unevenly in different parts of the world and to future generations, which raises serious questions of justice. It has been suggested that a compensation scheme to redress geoengineering harms is needed for geoengineering to be ethically and politically acceptable. Discussions of compensation for geoengineering (...) harms, however, sometimes presume geoengineering has presented new and unique challenges to compensation that cannot be readily accommodated by existing compensation practices. The most explicit formulation of this view was recently presented by Toby Svoboda and Peter J. Irvine, who argued that two forms of uncertainty in geoengineering — namely, ethical uncertainty and scientific uncertainty — make it immensely difficult to devise an ethically and politically satisfactory compensation scheme for geoengineering harms. -/- In this paper, we argue against the view that geoengineering presents new and unique challenges relating to compensation. More specifically, we show that placing these challenges within the broader context of anthropogenic climate change reveals them to be less serious and less specific to geoengineering than some appear to believe. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

There is never a shortage of celebratory and condemnatory popular discourse on digital media even in its early days. This, of course, is also true of the advent of Web 2.0. In this article, I shall argue that normative analyses of digital media should not take lightly the popular discourse, as it can deepen our understanding of the normative and axiological foundation(s) of our judgements towards digital media. Looking at some of the most representative examples available, I examine the latest (...) wave of popular discourse on digital media, focusing on the (new) worries and doubts voiced by the alarmists and the (new) hopes and dreams portrayed by the enthusiasts. I shall illustrate that various stances in the popular discourse on Web 2.0 are ultimately rested on different notions of the self. This conclusion entails an important lesson for our practice of critiques of digital media, as it entails that our critiques of digital media cannot be done without referring to a notion of the self. Hence, a normative enquiry of digital media should not only be about the moral and/or prudential goodness or badness per se; it should be about who we should be online, or which notion(s) of the self we should strive for. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Digital media has become an integral part of people’s lives, and its ubiquity and pervasiveness in our everyday lives raise new ethical, social, cultural, political, economic and legal issues. Many of these issues have primarily been dealt with in terms of what is ‘right’ or ‘just’ with digital media and digitally-mediated practices, and questions about the relations between digital media and the good life are often left in the background. In short, what is often missing is an explicit discussion of (...) the relations between digital media and the good life. Under the label of ‘Net recommendation’, the present study aims to offer a balanced and constructive normative analysis of digital media, focusing on the relations between digital media and the good life. The project of Net recommendation aims to (re)assert the importance of actual discourses in our normative analysis of the relations between digital media and the good life. I pursue this project with a Walzerian approach to digital media and the good life that takes seriously (and, ideally, also interacts with) actual discourses. This approach allows us to have a better understanding of our normative judgements on the impacts of digital media has (or will have) on the good life and, at the same time, allows us to answer the question of ‘how should we live with digital media?’ more adequately. Moreover, the Walzerian approach is useful in both an intra-cultural and an inter¬cultural context. Using China’s Internet as a case study, I show that the relations between digital media and the good life in each culture should be examined in its own right. Together, I hope, this study provides an adequate illustration and defence of the project of Net recommendation that does not start with the assumption of digital media being a source of moral problem and strives to recommending specific ways to reform and/or transform digital media and digitally-mediated practices that allow us to have better relations with digital media and enable us to live better lives with them. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Background Analysis of aphasic narratives can be a challenge for clinicians. Previous studies have mainly employed measures that categorized speech samples at the word level. They included quantification of the use and misuse of different word classes, presence and absence of narrative contents and errors, paraphasias, and perseverations, as well as morphological structures and errors within a narrative. In other words, a great amount of research has been conducted in the aphasiology literature focusing on micro-linguistic structures of oral narratives. Aspects (...) of macro- linguistic structures, such as the analysis of content information by a speaker, consistency of using cohesive devices to present information within a narrative, and order of presenting information necessary to form a coherent discourse, have not been extensively investigated. The current investigation proposes a clinical analytic system to target three aspects of macro-linguistic structures in narratives among speakers with aphasia. Specifically, (1) the presence of search events (i.e., the mentioning of key events that allow the listener to understand; Capilouto, Wright, &Wagovich, 2006) within a narrative, (2) the sequence of the mentioned events, and (3) the informativeness (i.e., the fulfillment of lexical items that allow the user to understand what the event is detailing) of the event contents, were focused in the proposed framework. Method Ten controls transcripts from were selected from the AphasiaBank (MacWhinney, Fromm, Forbes, & Holland, 2011). Three narrative tasks, including sequential picture description of ‘Refused Umbrella’, procedural narrative of making a ‘Peanut Butter and Jelly Sandwich’, and telling of ‘Cinderella’ story, were used to establish normative data for the basis of analysis. Specifically, the Search Events (e) and Informative Words (i) used by at least 70% of the speakers were listed for each genre. The sequential order of mentioning the Search Events, i.e., common order of events in 90% of the speakers, (s.total) was determined. Twelve speakers with aphasia (nine fluent and three non-fluent) were recruited and administered the Western Aphasia Battery and Object and Action Naming Battery. Their performance in the above three discourse tasks were orthographically transcribed and analyzed using the following measures: e.total, e.matched with norm, e.missed, e.irrlevant, e.extra, s.total, i.pb&j, i.umbr, i.cind, and i.total. Three samples were randomly chosen to be re-analyzed for inter- and intra-rater reliability. Results Results of an independent t-test suggested significant differences between the fluent and non-fluent subjects in sequential order of Search Events for all genres (s.total) and i.total, suggesting sensitivity of this framework to differentiate between the two fluency groups. Results of Pearson product-moment correlations revealed significant relation between Informative Words and WAB spontaneous speech scores, AQ, as well as OAB scores, for both aphasic groups. The mean value of coefficients for intra-rater reliability (0.992), with significant correlations on e.match, e.miss, and e.extra, was higher than that of inter-rater reliability (0.897). Discussion Based on our preliminary results, this objective framework allowed clinical evaluation of impairment in macro-linguistic structures present in aphasic discourse. Further extension should involve more subjects encompassing a wider range of severity with different types of aphasia. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...) sector. Respective governments have made significant strides in ensuring reliable and universal access to electricity throughout Ghana, yet such efforts have been accompanied by different levels of challenges. The study uses a qualitative and exploratory research approach to trace the activities that helped, in many other ways to the creation of a sustainable electric power provision to household and industry in Ghana, particularly in two of Ghana’s cities; Accra and Kumasi, within the period 1900 to the1960s. The work focused mainly on archival sources in its quest to arrive at how indigenous Ghanaians provided power for industrial activities and for household purposes. Results from the study show that local and cottage industries relied predominantly on wood, fuel, and biomass for their operations even before the introduction of the more sophisticated means of power generation. Also, the study revealed that in finding solutions to the challenges of electricity production, policymakers have focused more on current issues with little or no effort to trace the historical foundation of electricity production. This notwithstanding, the little efforts that have been made examined the history of energy production, with a limited focus on the immediate post-independence era. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Women have always been central concerning the provision of healthcare. The transitions into the modern world have been very slow for women because of how societies classify women. Starting from lay care, women provided healthcare for their family and sometimes to the members of the community in which they lived. With no formal education, women served as midwives and served in other specialised fields in medicine. They usually treated their fellow women because they saw ‘women’s medicine’ as women’s business. They (...) were discriminated against by the opposite sex and by the church, which regarded it as a taboo to allow women to practice medicine. This study points to a Ghanaian context on how the charismas of women have made them excel in their efforts to provide healthcare for their people. The study also focused on the role of indigenous practitioners who are mostly found in the rural areas and modern practitioners who are mostly found in the peri-urban, urban areas and larger cities in Ghana. (shrink)