This paper presents the contributions of Alcindo Flores Cabral, professor of Chemistry at the Faculdade de Agronomia Eliseu Maciel, nowadays part of the Universidade Federal de Pelotas, to chemistry teaching. It is a contribution almost unknown to the Brazilian chemical community, although recognized as valuable by several renowned chemists abroad, like W. Hückel, G. Charlot, F. Strong, E. Fessenden and others. Cabral’s innovative helical representation is presented in connection not only with contemporary representations, but also an incursion is made into (...) the first helical systems proposed, those of Hinrichs and of Baumhauer. Some comments are made not only on Cabral’s Classificação Natural dos Elementos, published in 1946, but also about other texts he wrote for an efficient chemistry teaching. (shrink)

Este artigo apresenta a contribuição de Alcindo Flores Cabral (1907-1982) - professor de química da Faculdade de Agronomia Eliseu Maciel, hoje incorporada à Universidade Federal de Pelotas - ao ensino de química, uma contribuição quase desconhecida pela própria comunidade química brasileira, embora reconhecida como relevante por diversos químicos estrangeiros importantes, como W. Hückel, G. Charlot, F. Strong, E. Fessenden e outros. A inovadora representação helicoidal de Cabral é apresentada não só em conexão com representações contemporâneas, mas também inclui-se uma incursão (...) pelos primeiros sistemas helicoidais propostos, os de Hinrichs e de Baumhauer. Apresentam-se alguns comentários não somente sobre a Classificação natural dos elementos, publicada em 1946, mas também sobre outros textos escritos para tornar mais eficaz o ensino de química. (shrink)

O presente trabalho examina os aspectos históricos da extração do óleo de canela-sassafrás (Ocotea pretiosa Mez), rico em safrol, no Alto e Médio Vale do Itajaí, a partir de 1940, por iniciativa de Otto Grimm, no município de Rio do Sul. Apresenta-se o tema no contexto da memória química em Santa Catarina, e discutem-se os procedimentos utilizados, e principalmente os motivos que levaram tal indústria incipiente a não se converter em uma indústria de química fina. Para tanto, são apresentados alguns (...) dados pertinentes à química do safrol, indicando que tal indústria poderia ter evoluído, bem como os aspectos econômicos e sociais que, ao lado da proibição do corte da canela-sassafrás, levaram em 1990 à extinção definitiva dessa "química fina que poderia ter sido". (shrink)

Dos diferentes fatores associados a uma mudança de paradigma e, portanto, a uma revolução química, o menos discutido é o que envolve os assim chamados experimentos exemplares, mudanças radicais na metodologia de trabalho e nos procedimentos empíricos da química, mudanças e modificações estas que, no caso de uma ciência natural empírica, podem ter como consequência dados experimentais antes inacessíveis, levando, por fim, a uma nova abordagem de conceitos, hipóteses e teorias e desencadeando uma "revolução" química, um novo paradigma. Muito mais (...) do que uma revolução química, dever-se-ia optar por uma gradativa evolução química. Escolhemos três dessas situações como "exemplares": a modificação no procedimento empírico da química pneumática, com o uso da cuba pneumática contendo mercúrio; a introdução de novos métodos de extração de compostos orgânicos naturais, com a substituição do método pirogênico pelo de extração com solventes; um novo entendimento de "análise química", com a substituição da comparação de amostras tidas como autênticas pela decomposição do analito. (shrink)

The chemist Max von Pettenkofer studied with Justus von Liebig, and after leaving Giessen in 1844 did not immediately find an academic position. During the period 1844/1845 he wrote a cycle of 16 Chemical Sonnets, but published them only in 1886. The Sonnets have with few exceptions a historiographical character. We present a translation of the Sonette into Portuguese as well as commentaries about their content and their philosophical significance. We also comment rather briefly on Pettenkofer’s career as an empirical (...) chemist and later as a somewhat heterodox hygienist. (shrink)

In this essay, we aim to provide an overview of the periodic table’s origins and history, and of the elements which conspired to make it chemistry’s most recognisable icon. We pay attention to Mendeleev’s role in the development of a system for organising the elements and chemical knowledge while facilitating the teaching of chemistry. We look at how the reception of the table in different chemical communities was dependent on the local scientific, cultural and political context, but argue that its (...) eventual universal acceptance is due to its unique ability to accommodate possessed knowledge while enabling novel predictions. Furthermore, we argue that its capacity to unify apparently disconnected phenomena under a simple framework facilitates our understanding of periodicity, making the table an icon of aesthetic value, and an object of philosophical inquiry. Finally, we briefly explore the table’s iconicity throughout its representations in pop art and science fiction. (shrink)

Examines the diverse cultural influences which have shaped the basic philosophical traditions of India "Indian philosophy was at the heart of Zimmer's interest..

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Philosophical discussions on causal inference in medicine are stuck in dyadic camps, each defending one kind of evidence or method rather than another as best support for causal hypotheses. Whereas Evidence Based Medicine advocates the use of Randomised Controlled Trials and systematic reviews of RCTs as gold standard, philosophers of science emphasise the importance of mechanisms and their distinctive informational contribution to causal inference and assessment. Some have suggested the adoption of a pluralistic approach to causal inference, and an inductive (...) rather than hypothetico-deductive inferential paradigm. However, these proposals deliver no clear guidelines about how such plurality of evidence sources should jointly justify hypotheses of causal associations. We here develop such guidelines by first giving a philosophical analysis of the underpinnings of Hill’s viewpoints on causality. We then put forward an evidence-amalgamation framework adopting a Bayesian net approach to model causal inference in pharmacology for the assessment of harms. Our framework accommodates a number of intuitions already expressed in the literature concerning the EBM vs. pluralist debate on causal inference, evidence hierarchies, causal holism, relevance, and reliability. (shrink)

This article sketches an idealized strategy for the identification of neural correlates of consciousness. The proposed strategy is based on a state space approach originating from the analysis of dynamical systems. The article then focuses on one constituent of consciousness, phenomenal awareness. Several rudimentary requirements for the identification of neural correlates of phenomenal awareness are suggested. These requirements are related to empirical data on selective attention, on completely intrinsic selection and on globally unconscious states. As an example, neuroscientific findings on (...) synchronized γ activity are categorized according to these requirements. (shrink)

Narrative allegory is distinguished from mythology as reality from symbol; it is, in short, the proper intermedium between person and personification. Where it is too strongly individualized, it ceases to be allegory […]. In the community of scholars of intermedia research, the above quoted citation is commonly regarded as Coleridge’s coining of the term “intermedium” or “intermediality”. However, a short glance at the discursive strategy of his argument emphasizes that his notion of “intermedium” must be closely linked to the poetics (...) and aesthetics of 19th-century romanticism. For the romantic poet, the term of “intermedium” does not point to media relations or intermedia processes but to.. (shrink)

According to the objective Bayesian approach to inductive logic, premisses inductively entail a conclusion just when every probability function with maximal entropy, from all those that satisfy the premisses, satisfies the conclusion. When premisses and conclusion are constraints on probabilities of sentences of a first-order predicate language, however, it is by no means obvious how to determine these maximal entropy functions. This paper makes progress on the problem in the following ways. Firstly, we introduce the concept of a limit in (...) entropy and show that, if the set of probability functions satisfying the premisses contains a limit in entropy, then this limit point is unique and is the maximal entropy probability function. Next, we turn to the special case in which the premisses are categorical sentences of the logical language. We show that if the uniform probability function gives the premisses positive probability, then the maximal entropy function can be found by simply conditionalising this uniform prior on the premisses. We generalise our results to demonstrate agreement between the maximal entropy approach and Jeffrey conditionalisation in the case in which there is a single premiss that specifies the probability of a sentence of the language. We show that, after learning such a premiss, certain inferences are preserved, namely inferences to inductive tautologies. Finally, we consider potential pathologies of the approach: we explore the extent to which the maximal entropy approach is invariant under permutations of the constants of the language, and we discuss some cases in which there is no maximal entropy probability function. (shrink)

We study questionnaire responses to situations in which sacrificing one life may save many other lives. We demonstrate gender differences in moral judgments: males are more supportive of the sacrifice than females. We investigate a source of the endorsement of the sacrifice: antisocial preferences. First, we measure individual proneness to spiteful behavior, using an experimental game with monetary stakes. We demonstrate that spitefulness can be sizable—a fifth of our participants behave spitefully—but it is not associated with gender. Second, we find (...) that gender is consistently associated with responses even when we account for individual differences in the propensity to spitefulness. (shrink)

As digital media becomes more central to the lives of adolescents, it also becomes increasingly relevant for their sexual communication. Sexting as an important image-based digital medium provides opportunities for self-determined digital communication, but also carries specific risks for boundary violations. Accordingly, sexting is understood either as an everyday, or as risky and deviant behavior among adolescents. In the affectedness of boundary violations gender plays an important role. However, it is still unclear to what extent digital sexual communication restores stereotypical (...) gender roles and restrictive sexuality norms or, alternatively, enables new spaces of possibility. In this sense, current research points to a desideratum regarding adolescents’ orientations toward sexting as a practice between spaces of possibility and boundary violations. This paper discusses the possibilities, but also the risks, of intimate digital communication among adolescents. The main question is, how adolescents themselves perceive sexting practices and how they position themselves between both spaces for possibility and for the exchange of unwanted sexual content. For this purpose, orientations toward normalities and gender of students are reconstructed. To answer these questions, twelve single-sex, group discussions were carried out with students aged 16 and 17 at five different secondary schools in northern Germany. A total of 20 boys and 22 girls took part. The group discussions were structured by a narrative generating guideline. The analysis draws its methodology from the Documentary Method, regarding implicit and explicit forms of knowledge and discourse. It results in a typology of three types with different orientations. The study shows, that most of the students consider sexting to be a risky practice; only one type shows normality in the use of sexting. At the same time, some of the young people are interested in experimenting with image-based intimate digital communication. Further, gender differences in use and affectedness are also documented. In this way, orientations toward gender stereotypes “favor” both the attribution of responsibility to girls, and overlook the responsibility of students who perpetrated the boundary violation. The orientations of adolescents should be taken more into account in research as well as in educational programs for the prevention of sexual violence. (shrink)

Augmented Reality (AR) is commonly defined as a digital layer of information viewed on top of the physical world through a smartphone, tablet or eyewear. Increasingly, this understanding of AR is shifting to a dynamic framework of ‘smart things’, including wearable technology, sensors and artificial intelligence (AI), with the ability to intercede in key moments and to deliver contextual and meaningful experiences. The things that come into context are the logical next steps in an evolutionary development towards computers that are (...) better able to show empathy in relation to people: even more human-oriented, anticipative and ubiquitous. Thus, this outsourcing of meaning to empathic technologies points to one of the fundamental questions concerning the relation of human and technology – the nature of the trust that users place in technology. (shrink)

Epistemic scoring rules are the en vogue tool for justifications of the probability norm and further norms of rational belief formation. They are different in kind and application from statistical scoring rules from which they arose. In the first part of the paper I argue that statistical scoring rules, properly understood, are in principle better suited to justify the probability norm than their epistemic brethren. Furthermore, I give a justification of the probability norm applying statistical scoring rules. In the second (...) part of the paper I give a variety of justifications of norms for rational belief formation employing statistical scoring rules. Furthermore, general properties of statistical scoring rules are investigated. Epistemic scoring rules feature as a useful technical tool for constructing statistical scoring rules. (shrink)

Pars 1. Contemplativa -- Pars 2. Activa.

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...) The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

Over the past few years, the Virtual Organization (VO) paradigm has been emerging as an ideal solution to support collaboration among globally distributed entities (individuals and/or organizations). However, due to rapid technological and societal changes, there has also been an astonishing growth in technologies and services for mobile users. This has opened up new collaborative scenarios where the same participant can access the VO from different locations and mobility becomes a key issue for users and services. The nomadicity and mobility (...) introduces additional challenges for managing collaboration in VO environments. This paper focuses on the Identity Management challenge in a Mobile Dynamic VO environment, which is a VO that takes into account nomadicity and seamless mobility aspects as elaborated within the EU funded project Akogrimo (Access to Knowledge through the Grid in a mobile world). The resulting work is the design of the Akogrimo Identity Management system supporting the authentication and authorization process across the different administrative domains of the Mobile Dynamic VO. This design follows the service oriented approach and integrates the different perspectives: that of the network, that of the user and that of the service provider. Such an integration requires facing challenges; both from the architectural and technological viewpoints because different ‘worlds’ (i.e. network and service level) leverage different (and sometimes conflicting) approaches when addressing Identity Management. (shrink)

Counterfactual thought experiments in history have become increasingly popular in the last two decades, and a new and controversial branch of history has originated from their use: counterfactual history, also known as virtual history. Despite its popularity amongst the general public, most academic historians consider historical counterfactuals as having little epistemic value. This paper investigates three alleged uses of counterfactual thinking in historical explanations: the claim that counterfactual thinking gives historians useful insights; that it is a useful tool to evaluate (...) an event’s causal significance; that it shows much of history to be essentially ‘chaotic’. I argue that only convincingly justifies the use of counterfactual thought experiments in history, as it allows historians to illustrate how they perceive events’ degrees of sensitivity to changes to their causal history, being an important part of providing a causal explanation. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination of Graham Priest’s (...) minimally inconsistent Logic of Paradox with q-entailment as introduced by Grzegorz Malinowski. (shrink)

Originally published in 1973. The volume is divided into four sections: The introduction places the position of the Buddhist Tantras within Mahayana Buddhism and recalls their early literary history, especially the Guhyasamahatantra; the section also covers Buddhist Genesis and the Tantric tradition. The foundations of the Buddhist Tantras are discussed and the Tantric presentation of divinity; the preparation of disciples and the meaning of initiation; symbolism of the mandala-palace Tantric ritual and the twilight language. This section explores the Tantric teachings (...) of the inner Zodiac and the fivefold ritual symbolism of passion. The bibliographical research contains an analysis of the Tantric section of the Kanjur exegesis and a selected Western Bibliography of the Buddhist Tantras with comments. (shrink)

In this paper we will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...) multiple sequent arrows satisfying some specific conditions, which we will lay out in this paper. We will unfold our ideas with the help of a case study in logical tetralateralism and present an extension of Almukdad and Nelson’s propositional constructive four-valued logic by unary operations of meaningfulness and nonsensicality. We will argue that in sequent calculi with multiple sequent arrows it is possible to maintain certain features that are desirable if we assume an understanding of the meaning of connectives in the spirit of proof-theoretic semantics. The use of multiple sequent arrows will be justified by the presence of congruentiality-breaking unary connectives. (shrink)

In a recent article, Mario Günther presented a conditional that is claimed to be connexive. The aim of this short discussion note is to show that Günther’s claim is not without problems.

In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.