Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Fingerprint identification: advances since the 2009 National Research Council report

"This paper will discuss the major developments in the area of fingerprint" "identification that followed the publication of the National Research Council (NRC, of the US National Academies of Sciences) report in 2009 entitled: Strengthening Forensic Science in the United States: A Path Forward. The report portrayed an image of a field of expertise used for decades without the necessary scientific research-based underpinning. The advances since the report and the needs in selected areas of fingerprinting will be detailed. It includes the measurement of the accuracy, reliability, repeatability and reproducibility of the conclusions offered by fingerprint experts. The paper will also pay attention to the development of statistical models allow- ing assessment of fingerprint comparisons. As a corollary of these developments, the next challenge is to reconcile a traditional practice domi- nated by deterministic conclusions with the probabilistic logic of any statistical model. There is a call for greater candour and fingerprint experts will need to communicate differently on the strengths and limitations of their findings. Their testimony will have to go beyond the blunt assertion" "of the uniqueness of fingerprints or the opinion delivered ispe dixit."

Behind and beyond of the cyborgs and robots ideas and realities: some techno-scientific and philosophical hints

We are progressively immersed in technology to such extend that in our everyday life we are and we do what technology allows us to be and to do. In this process, cyborgs and robots constitute elements that we analyze from a number of techno scientific and philosophical approaches. Additionally, we propose that a new concept: GEH (Genetic Engineered Human) as a new potential social imaginary element, which would be the human being improved by the broad-sense genetics engineer (that is, changing many genes by genetics engineer, modifications in the genome, cloning, and so on). If our aspirations as humans pass through technology and in particular for cyborgs, robots and GEH, the bidirectional links between these theoretical or real entities and our personal identities will be the more and more substantial in our society.

IN DUBIO PRO NATURA? A Philosophical Analysis of the Precautionary Principle in Environmental and Health Risk Governance

In this book, I apply a philosophical approach to study the precautionary principle in environmental (and health) risk decision-making. The principle says that unacceptable environmental and health risks should be anticipated, and they ought to be forestalled before the damage comes to fruition even if scientific understanding of the risks is inadequate. The study consists of introductory chapters, summary and seven original publications which aim at explicating the principle, critically analysing the debate on the principle, and constructing a basis for the well-founded use of the principle. Papers I-V present the main thesis of this research. In the two last papers, the discussion is widened to new directions. The starting question is how well the currently embraced precautionary principle stands up to critical philosophical scrutiny. The approach employed is analytical: mainly conceptual, argumentative and ethical. The study draws upon Anglo-American style philosophy on the one hand, and upon sources of law as well as concrete cases and decision-making practices at the European Union level and in its member countries on the other. The framework is environmental (and health) risk governance, including the related law and policy. The main thesis of this study is that the debate on the precautionary principle needs to be shifted from the question of whether the principle (or its weak or strong interpretation) is well-grounded in general to questions about the theoretical plausibility and ethical and socio-political justifiability of specific understandings of the principle. The real picture of the precautionary principle is more complex than that found (i.e. presumed) in much of the current academic, political and public debate surrounding it. While certain presumptions and interpretations of the principle are found to be sound, others are theoretically flawed or include serious practical problems. The analysis discloses conceptual and ethical presumptions and elementary understandings of the precautionary principle, critically assesses current practices invoked in the name of the precautionary principle and public participation, and seeks to build bridges between precaution, engagement and philosophical ethics. Hence, it is intended to provide a sound basis upon which subsequent academic scrutiny can build.

Tackling Societal Challenges Related to Ageing and Transport Transition: An Introduction to Philosophical Principles of Causation Adapted to the Biopsychosocial Model

In geriatrics, driving cessation is addressed within the biopsychosocial model. This has broadened the scope of practitioners, not only in terms of assessing fitness to drive, but also by helping to maintain social engagements and provide support for transport transition. Causes can be addressed at different levels by adapting medication, improving physical health, modifying behaviour, adapting lifestyle, or bringing changes to the environment. This transdisciplinary approach requires an understanding of how different disciplines are linked to each other. This article reviews the philosophical principles of causality between fields and provides a framework for understanding causality within the biopsychosocial model. Understanding interlevel constraints should help practitioners overcome their differences, and favor transversal approaches to driving cessation.

Self-deception as affective coping. An empirical perspective on philosophical issues.

In the philosophical literature, self-deception is mainly approached through the analysis of paradoxes. Yet, it is agreed that self-deception is motivated by protection from distress. In this paper, we argue, with the help of findings from cognitive neuroscience and psychology, that self-deception is a type of affective coping. First, we criticize the main solutions to the paradoxes of self-deception. We then present a new approach to self-deception. Self-deception, we argue, involves three appraisals of the distressing evidence: (a) appraisal of the strength of evidence as uncertain, (b) low coping potential and (c) negative anticipation along the lines of Damasio's somatic marker hypothesis. At the same time, desire impacts the treatment of flattering evidence via dopamine. Our main proposal is that self-deception involves emotional mechanisms provoking a preference for immediate reward despite possible long-term negative repercussions. In the last part, we use this emotional model to revisit the philosophical paradoxes.

The grammar of psychosis

This thesis is concerned with the philosophical grammar of certain psychiatric concepts, which play a central role in delineating the field of psychiatric work. The concepts studied are ‘psychosis’, ‘delusion’, ‘person’, ‘understanding’ and ‘incomprehensibility’. The purpose of this conceptual analysis is to provide a more perspicuous view of the logic of these concepts, how psychiatric work is constituted in relation to them, and what this tells us about the relationships between the conceptual and the empirical in psychiatric concepts. The method used in the thesis is indebted primarily to Ludwig Wittgenstein’s conception of philosophy, where we are urged to look at language uses in relation to practices in order to obtain a clearer overview of practices of interest; this will enable us to resolve the conceptual problems related to these practices. This questioning takes as its starting point the concept of psychosis, a central psychiatric concept during the twentieth century. The conceptual analysis of ‘psychosis’ shows that the concept is logically dependent on the concepts of ‘understanding’ and ‘person’. Following the lead found in this analysis, the logic of person-concepts in psychiatric discourse is analysed by a detailed textual analysis of a psychiatric journal article. The main finding is the ambiguous uses of ‘person’, enabling a specifically psychiatric form of concern in human affairs. The grammar of ‘understanding’ is then tackled from the opposite end, by exploring the logic of the concept of ‘incomprehensibility’. First, by studying the DSM-IV definition of delusion it is shown that its ambiguities boil down to the question of whether psychiatric practice is better accounted for in terms of the grammar of ‘incorrectness’ or ‘incomprehensibility’. Second, the grammar of ‘incomprehensibility’ is further focused on by introducing the distinction between positive and negative conceptions of ‘incomprehensibility’. The main finding is that this distinction has wide-ranging implications for our understanding of psychiatric concepts. Finally, some of the findings gained in these studies are ‘put into practice’ in studying the more practical question of the conceptual and ethical problems associated with the concept of ‘prodromal symptom of schizophrenia’ and the agenda of early detection and intervention in schizophrenia more generally.

Matematiikka

Matematiikan pääkokoelma sijaitsee pääkirjastossa (Linnassa), jossa painettu yleis- ja käsikirjastokokoelma koostuu noin 4700 nimekkeestä monografioita (painettujen monografiasarjojen osat mukaan lukien). Yleiskokoelmaa ei ole karsittu, mutta vanhoja peruskoulun, lukion jne. oppikirjoja on siirretty Hämeenlinnan yksikköön. Matematiikka-kokoelmasta kartoitettiin seitsemän osa-aluetta. Todennäköisyyslaskentaa, kombinatoriikkaa & sovellettua matematiikkaa käsitteli yli 1/3 kirjoista (34 % / 1586 nimekettä), joten se oli selvin painopisteala. Aritmetiikkaa, lukuteoriaa & algebraa käsitteli noin 19 % kirjoista (876 nimekettä) ja matemaattista analyysiä noin 18 % kirjoista (841 nimekettä). Matematiikan yleisteosten & filosofian (noin 10 % / 487 nimekettä), joukko-opin (noin 5 % / 218 nimekettä), geometrian & trigonometrian (noin 4 % / 179 nimekettä) ja topologian (noin 3 % / 121 nimekettä) osuudet kirjakokoelmasta olivat pienehköjä. Käsikirjaston 23 nimekkeen kokoelma sisälsi edelleen hyödyllisen 10-osaisen hakuteoksen Encyclopaedia of mathematics, sanakirjoja ja matemaattisia taulukoita sekä muutaman bibliografian 1970-luvulta. Painettuja lehtiä oli 3 nimekettä (American Mathematical Monthly, Journal of Mathematical Logic ja Mathematical Proceedings of the Cambridge Philosophical Society). Sähkökirjoja kokoelmassa oli 3 nimekettä NetLibrary-tietokannassa, 346 nimekettä Ebrary-tietokannassa sekä 10 nimekettä Taylor & Francis –tietokannassa. Verkkolehtiä kokoelmassa oli noin 470 nimekettä. Tietokantoja oli yksi, MathScinet.

DEVELOPMENT OF LOGIC IN INDIA: SIGNIFICANCE OF 'THE DUOLOGUE BETWEEN PĀYĀSI AND KASSAPA' ("LONG DISCOURSES")

ABSTRACT 'The Duologue of King/Governor Pāyāsi' ("Long Discourses") has long been recognised as a source for the proto-materialism current at the time of the Buddha. What needs to be stressed is the significance of the text as a pointer to the development of Logic in India. Perception (observation and experiment employing the joint method of agreement and difference), which is an accepted method of experimental enquiry, and reasoning from analogy, which can lead at best to a probable conclusion - these two are the only means employed to settle the dispute concerning the existence of the other-world. The Jain version of the same duologue-cum-parable, though varying in minor details regarding the name and identity of the monk refuting the king/governor, contains the same contrast, namely, perception versus analogical reasoning. There can be little doubt that the original parable was conceived with a view to asserting the existence of the other-world. In the Kaṭha Upaniṣad (sixth century BCE), an earlier Brahmanical text, however, instead of argument by analogy, verbal testimony (śabda) was invoked to settle the same point. Naciketas is assailed by doubt about the existence of a person after his or her death. The authority of Yama, the Pluto of Indian mythology, is invoked to convince him that the other-world does exist. Thus, the three parables taken together exhibit three means of knowledge in operation: verbal testimony and argument by analogy pitted against perception.

Lärande som text : en dramapedagogiskt förankrad läsning av det kroppsliga, rumsliga och retoriska i kunskapsbildande processer

My presupposition, that learning at some level deals with life praxis, is expressed in four metaphors: space, time, fable and figure. Relations between learning,knowledge building and meaning making are linked to the concept of personal knowledge. I present a two part study of learning as text in a drama pedagogical rooted reading where learning is framed as the ongoing event, and knowledge, as the product of previous processes, is framed as culturally formed utterances. A frame analysis model is constructed as a topological guide for relations between the two concepts learning and knowledge. It visualises an aesthetic understanding, rooted in drama pedagogical comprehension. Insight and perception are linked in an inner relationship that is neither external nor identical. This understanding expresses the movement "in between" connecting asymmetrical and nonlinear features of human endeavour and societal issues. The performability of bodily and oral participation in the learning event in a socio-cultural setting is analysed as a dialogised text. In an ethnographical case study I have gathered material with an interest for the particular. The empirical material is based on three problem based learning situations in a Polytechnic setting. The act of transformation in the polyphony of the event is considered as a turning point in the narrative employment. Negotiation and figuration in the situation form patterns of the space for improvisation (flow) and tensions at the boundaries (thresholds) which imply the logical structure of transformation. Learning as a dialogised text of "yes" and "no", of structure and play for the improvised, interrelate in that movement. It is related to both the syntagmic and the paradigmatic forms of thinking. In the philosophical study, forms of understanding are linked to the logical structure of transformation as a cultural issue. The classical rhetorical concepts of Logos, Pathos, Ethos and Mythos are connected to the multidimensional rationality of the human being. In the Aristotelian form of knowledge, phronesis,a logic structure of inquiry is recognised. The shifting of perspectives between approaches, the construction of knowledge as context and the human project of meaning making as a subtext, illuminates multiple layers of the learning text. In an argumentation that post-modern apprehension of knowledge, emphasising contextual and situational values, has an empowering impact on learning, I find pedagogical benefits. The dialogical perspective has opened lenses that manage to hold in aesthetic doubling the individual action of inquiry and the stage with its cultural tools in a three dimensional reading.

Remarks on an algebraic semantics for paraconsistent Nelson's logic

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.