One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics using non-normal worlds (...) of different kinds. (shrink)

In an editorial to a recent issue of Neurology, Richard Dees expresses the same criticism in an even more rigorous epistemic tone: Veikko Launis, Ph.D., is Professor of Medical Ethics and Adjunct Professor of Ethics and Social Philosophy at the University of Turku, Finland.FootnotesThis article is part of the Neuroethics of Brainreading research project, directed by myself and funded by the Academy of Finland. I am grateful to Olli Koistinen, Pekka Louhiala, Helena Siipi, and an anonymous referee for helpful (...) comments, criticism, and suggestions. (shrink)

The article investigates the validity of two different versions of the slippery slope argument construed in relation to human gene therapy: the empirical and the conceptual argument. The empirical version holds that our accepting somatic cell therapy will eventually cause our accepting eugenic medical goals. The conceptual version holds that we are logically committed to accepting such goals once we have accepted somatic cell therapy. It is argued that neither the empirical nor the conceptual version of the argument can provide (...) a conclusive moral reason for banning somatic cell therapy. According to a third interpretation, referred to as the arbitrary result argument, the many apparent similarities between somatic cell therapy and eugenic-based human genetic engineering drive us to make principled choices concerning what differences and similarities between the two practices should be regarded as morally (ir)relevant. Decisions of this kind are likely to have unpredictable moral consequences. Thus formulated, the slippery slope argument has much plausibility. One objects to somatic cell therapy not so much because of what is at the bottom of the slope on which it lies, but because it is on a slope of which one does not know what is at the bottom. While the arbitrary result argument does not provide a conclusive reason for prohibiting human gene therapy, it reminds of a very important thing: when making bioethical decisions, we should be as specific and as consistent as possible about our basic moral and medical concepts. (shrink)

Purpose – This paper aims to present an overview of the various ethical, societal and critical issues that micro- and nanotechnology-based small, energy self-sufficient sensor systems raise in different selected application fields. An ethical approach on the development of these technologies was taken in a very large international, multitechnological European project. The authors approach and methodology are presented in the paper and, based on this review, the authors propose general principles for this kind of work. Design/methodology/approach – The authors’ approach (...) is based on a great amount of experience working together in multi-disciplinary teams. Ethical issues have usually been handled in the authors’ work to some degree. In this project, the authors had the opportunity to emphasise the human view in technological development, utilise the authors’ experience from previous work and customise the authors’ approach to this particular case. In short, the authors created a wide set of application scenarios with technical and application field experts in the authors’ research project. The scenarios were evaluated with external application field experts, potential consumer users and ethics experts. Findings – Based on the authors’ experiences in this project and in previous work, the authors suggest a preliminary model for construction activity within technology development projects. The authors call this model the Human-Driven Design approach, and Ethics by Design as a more focussed sub-set of this approach. As all enabling technologies have both positive and negative usage possibilities, and so-called ethical assessment tends to focus on negative consequences, there are doubts from some stakeholders about including ethical perspectives in a technology development project. Research limitations/implications – The authors argue that the ethical perspective would be more influential if it were to provide a more positive and constructive contribution to the development of technology. The main findings related to the ethical challenges based on the actual work done in this project were the following: the main user concerns were in relation to access to information, digital division and the necessity of all the proposed measurements; the ethics experts highlighted the main ethical issues as privacy, autonomy, user control, freedom, medicalisation and human existence. Practical implications – Various technology assessment models and ethical approaches for technological development have been developed and performed for a long time, and recently, a new approach called Responsible Research and Innovation has been introduced. The authors’ intention is to give a concrete example for further development as a part of the development of this approach. Social implications – The authors’ study in this particular case covers various consumer application possibilities for small sensor systems. The application fields studied include health, well-being, safety, sustainability and empathic user interfaces. The authors believe that the ethical challenges identified are valuable to other researchers and practitioners who are studying and developing sensor-based solutions in similar fields. Originality/value – The authors’ study covers various consumer application possibilities of small sensor systems. The studied application fields include health, well-being, safety, sustainability and empathic user interfaces. The findings are valuable to other researchers and practitioners who are studying and developing sensor-based solutions to similar fields. (shrink)

This paper presents an enrichment of the Gabbay–Woods schema of Peirce’s 1903 logical form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources to model justified assertions. It analyses the enriched schema and puts it into the perspective of Peirce’s logic and philosophy.

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings. We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stands out as the three major threads (...) in his later writings. The other issue concerns the second stage of scientific inquiry, deduction. According to Peirce's later formulation, deduction is divided not only into two kinds but also into two sub-stages: logical analysis and mathematical reasoning, where the latter is either corollarial or theorematic. Save for the inductive stage, which we do not address here, these points cover the essentials of Peirce's latest thinking on the l.. (shrink)

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...) constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.

Most public discussion has focused on those effects of genetic research that are considered in some way unwanted or unpleasant. For example, there has been much debate concerning the risks and the ethical appropriateness of genetic screening, gene therapy, and agricultural applications based on genetic techniques. It often claimed that genetic research may cause new problems such as genetic discrimination, stigmatization, environmental risks, or mistreatment of animals.Genes and Morality: New Essays adopts a critical attitude toward genetic research, on both a (...) theoretical and a practical level. It presents some of the most important problems in the ethics of genetic engineering, including the questions of genetic health and disease, genetic testing, responsibility for health, patenting non-human and human life, and problems related to the disclosure of genetic information.The aim of the book is to focus on real ethical and conceptual issues. Consider, for instance, the concept of genetic disease. As one of the contributors, Ingmar Pörn, writes, "fear of genetic disease, or anxiety, is not itself a disease any more than fear of becoming unemployed is a disease. Alleviating such emotions is not a medical task to be discharged by drug therapy."The book also examines the philosophical foundations of these issues by discussing the most influential bioethical theories of today, including utilitarianism and principlism. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...) found indispensable in fulfilling the tasks –. (shrink)

The following two articles comprise two sets of Charles Peirce’s manuscripts, “Recent Developments of Existential Graphs and their Consequences for Logic” (MS 498, MS 499, MS 490 & S-36, 1906) and “Assurance through Reasoning” (MS 669 & MS 670, 1911), written for the National Academy of Sciences meetings in 1906 and 1911. The papers are deposited at Houghton Library, Harvard University. Only some parts of MS 470 have been published before, and in somewhat defective form. Although “Assurance” follows “Recent Developments” (...) chronologically, given the expository style of the former it is recommended to be read before “Recent Developments”. As the title indicates, in the latter Peirce goes on to describe his latest discoveries concerning the method and the logic of existential graphs. The transcription reproduces all significant deletions that appear in the original sheets. Editorial comments and additions are given in brackets. [Alt.:] means the beginning of an alternative sequence. [Del. (shrink)

This paper compares Peirce’s and Hintikka’s logical philosophies and identifies a cross-section of similarities in their thoughts in the areas of action-first epistemology, pragmaticist meaning, philosophy of science, and philosophy of logic and mathematics.

Clinical equipoise has been proposed as an ethical principle relating uncertainty and moral leeway in clinical research. Although CE has traditionally been indicated as a necessary condition for a morally justified introduction of a new RCT, questions related to the interpretation of this principle remain woefully open. Recent proposals to rehabilitate CE have divided the bioethical community on its ethical merits. This paper presents a new argument that brings out the epistemological difficulties we encounter in justifying CE as a principle (...) to connect uncertainty and moral leeway in clinical ethics. The argument proposes, first, that the methodology of hypothetical retrospection is applicable to the RCT design and that it can accommodate uncertainty. As currently understood, however, HR should give up its reliance on the assumption of uncertainty transduction, because the latter assumes the principle of indifference, which does not accommodate uncertainty in the right way. The same principle is then seen to distort also the received interpretations of CE. (shrink)

This paper examines the contemporary philosophical and cognitive relevance of Charles Peirce's diagrammatic logic of existential graphs (EGs), the ?moving pictures of thought?. The first part brings to the fore some hitherto unknown details about the reception of EGs in the early 1900s that took place amidst the emergence of modern conceptions of symbolic logic. In the second part, philosophical aspects of EGs and their contributions to contemporary logical theory are pointed out, including the relationship between iconic logic and images, (...) the problem of the meaning of logical constants, the cognitive economy of iconic logic, the failure of the Frege?Russell thesis, and the failure of the Language of Thought hypothesis. (shrink)

Charles Peirce's theory of proper names is intimately connected to a number of central topics in contemporary philosophy of language and logic. Several papers have appeared in the past in which Peirce's theory of names has been attested to be a precursor of the causal-historical theory of reference.2 The causal-historical theory in turn has customarily been pigeonholed as the 'new' theories of reference that have been emerging since the 1950s (Devitt 1981; Donellan 1966; Kripke 1980; Marcus 1950; Putnam 1973). Among (...) those who have seen Peirce as such a precursor of the new theory of reference are DiLeo (1997), Hilpinen (1995), Maddalena (2006), Pape (1987), and Thibaud (1987). Related recent publications on the .. (shrink)

It is well-known that by 1882, Peirce, influenced by Cayley’s, Clifford’s and Sylvester’s works on algebraic invariants and by the chemical analogy, had already achieved something like a diagrammatic treatment of quantificational logic of relatives. The details of that discovery and its implications to some wider issues in logical theory merit further investigation, however. This paper provides a reconstruction of the genesis of Peirce’s logical graphs from the early 1880s until 1896, covering the period of time during which he already (...) was acquainted with the works of his Johns Hopkins colleagues on the mathematical theory of graphs and was reaching the very first forms of his theory and method of... (shrink)

The logic of assertive graphs is a modification of Peirce’s logic of existential graphs, which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. We then compare (...) advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs. (shrink)

Are knowledge and belief pivotal in science, as contemporary epistemology and philosophy of science nearly universally take them to be? I defend the view that scientists are not primarily concerned with knowing and that the methods of arriving at scientific hypotheses, models and scenarios do not commit us having stable beliefs about them. Instead, what drives scientific discovery is ignorance that scientists can cleverly exploit. Not an absence or negation of knowledge, ignorance concerns fundamental uncertainty, and is brought out by (...) retroductive inferences, which are roughly characterised as reasoning from effects to causes. I argue that recent discoveries in sciences that coped with under-structured problem spaces testify the prevalence of retroductive logic in scientific discovery and its progress. This puts paid to the need of finding epistemic justification or confirmation to retroductive methodologies. A scientist, never frightened of unknown unknowns, strives to advance the forefront of uncertainty, not that of belief or knowledge. Far from rendering science irrational, I conclude that catering well for the right conditions in which to cultivate ignorance is a key to how fertile retroductive inferences arise. (shrink)

This paper explores the intertwining of uncertainty and values. We consider an important but underexplored field of fundamental uncertainty and values in decision-making. Some proposed methodologies to deal with fundamental uncertainty have included potential surprise theory, scenario planning and hypothetical retrospection. We focus on the principle of uncertainty transduction in hypothetical retrospection as an illustrative case of how values interact with fundamental uncertainty. We show that while uncertainty transduction appears intuitive in decision contexts it nevertheless fails in important ranges of (...) strategic game-theoretic cases. The methodological reasons behind the failure are then examined. (shrink)

A systematic attempt to understand cognitive characteristics of translation by bringing its logical, pragmatic, and hermeneutic features together and examining a number of scientific, logical (philosophical and formal),and philosophical applications. The notion of translation investigated here is called explanatory since it is not a translation in the standard, meaning-saving sense but aims to provide an explanation for the meaning change in exact terms.

Charles Peirce’s alpha system \ is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.

Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber (...) and Wilson’s Relevance Theory (RT) may be applied in the spirit of Peirce’s Pragmatic Maxim (PM): the weighing of information depends on (i) the practical consequences of accommodating the chosen piece of information introduced in communication, and (ii) what will ensue in actually using that piece in further cycles of discourse. Peirce’s unpublished papers suggest a relevance-like approach to meaning. Contextual features influenced his logic of Existential Graphs (EG). Arguments are presented pro and con the view in which EGs endorse non-compositionality of meaning. (shrink)

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...) the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)

A century ago, Charles S. Peirce proposed a logical approach to modalities that came close to possible-worlds semantics. This paper investigates his views on modalities through his diagrammatic logic of Existential Graphs (EGs). The contribution of the gamma part of EGs to the study of modalities is examined. Some ramifications of Peirce’s remarks are presented and placed into a contemporary perspective. An appendix is included that provides a transcription with commentary of Peirce’s unpublished manuscript on modality from 1901.

I argue that many of the pragmatic notions that are commonly attributed to 1-1. P. Grice, or are reported to be inspired by his work on pragmatics, such as assertion, conventional implicature, cooperation, common ground, common knowledge, presuppositions and conversational strategies, have their origins in C. S. Peirce's theory of signs and his pragmatic logic and philosophy. Both Grice and Peirce rooted their theories in normative rationality, anti-psychologism and the relevance of assertions. With respect to the post-Gricean era of pragmatics, (...) theories of relevance may be seen to have been geared, albeit unconsciously, upon Peirce's pragmatic agenda. (shrink)

BackgroundPsychiatric staff members have the power to decide the options that frame encounters with patients. Intentional as well as unintentional framing can have a crucial impact on patients’ opportunities to be heard and participate in the process. We identified three dominant ethical perspectives in the normative medical ethics literature concerning how doctors and other staff members should frame interactions in relation to patients; paternalism, autonomy and reciprocity. The aim of this study was to describe and analyse statements describing real work (...) situations and ethical reflections made by staff members in relation to three central perspectives in medical ethics; paternalism, autonomy and reciprocity.MethodsAll staff members involved with patients in seven adult psychiatric and six child and adolescent psychiatric clinics were given the opportunity to freely describe ethical considerations in their work by keeping an ethical diary over the course of one week and 173 persons handed in their diaries. Qualitative theory-guided content analysis was used to provide a description of staff encounters with patients and in what way these encounters were consistent with, or contrary to, the three perspectives.ResultsThe majority of the statements could be attributed to the perspective of paternalism and several to autonomy. Only a few statements could be attributed to reciprocity, most of which concerned staff members acting contrary to the perspective. The result is presented as three perspectives containing eight values.•Paternalism; 1) promoting and restoring the health of the patient, 2) providing good care and 3) assuming responsibility.•Autonomy; 1) respecting the patient’s right to self-determination and information, 2) respecting the patient’s integrity and 3) protecting human rights.•Reciprocity; 1) involving patients in the planning and implementation of their care and 2) building trust between staff and patients.ConclusionsPaternalism clearly appeared to be the dominant perspective among the participants, but there was also awareness of patients’ right to autonomy. Despite a normative trend towards reciprocity in psychiatry throughout the Western world, identifying it proved difficult in this study. This should be borne in mind by clinics when considering the need for ethical education, training and supervision. (shrink)

This introductory presentation reviews noteworthy topics and concepts in Peirce’s interrelated kingdoms of the theory of signs, their classification, categories, logic and semeiotic.

A century ago, Charles S. Peirce proposed a logical approach to modalities that came close to possible-worlds semantics. This paper investigates his views on modalities through his diagrammatic logic of Existential Graphs. The contribution of the GAMMA part of EGs to the study of modalities is examined. Some ramifications of Peirce's remarks are presented and placed into a contemporary perspective. An appendix is included that provides a transcription with commentary of Peirce's unpublished manuscript on modality from 1901.

This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries, exploring its uses as a technical andformal asset in logic and science versus an explanatory mechanism. Whilegames comprise a widely used method in a broad intellectual realm(including, but not limited to, philosophy, logic, mathematics,cognitive science, artificial intelligence, computation, linguistics,physics, economics), each discipline advocates its own methodology and aunified understanding is lacking. In the first part of this paper, anumber of game theories in formal studies are critically (...) surveyed. Inthe second part, the doctrine of games as explanations for logic isassessed, and the relevance of a conceptual analysis of games tocognition discussed. It is suggested that the notion of evolution playsa part in the game-theoretic concept of meaning. (shrink)