Despite the importance of human blood to clinical practice and research, hematology and blood transfusion data remain scattered throughout a range of disparate sources. This lack of systematization concerning the use and definition of terms poses problems for physicians and biomedical professionals. We are introducing here the Blood Ontology, an ongoing initiative designed to serve as a controlled vocabulary for use in organizing information about blood. The paper describes the scope of the Blood Ontology, its stage of development and some (...) of its anticipated uses. (shrink)

During the first months of 1887, while completing the drafts of his Mitteilungen zur Lehre vom Transfiniten, Georg Cantor maintained a continuous correspondence with Benno Kerry. Their exchange essentially concerned two main topics in the philosophy of mathematics, namely, (a) the concept of natural number and (b) the infinitesimals. Cantor's and Kerry's positions turned out to be irreconcilable, mostly because of Kerry's irremediably psychologistic outlook, according to Cantor at least. In this study, I will examine and reconstruct the main points (...) in the discussion around (a) and (b) and stress some interesting aspects of the philosophical and mathematical thought of Benno Kerry. (shrink)

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, which (...) has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable ; The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; abundance preserves some important features of classical logic when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (shrink)

Princípios lakatosianos e a abordagem de problemas matemáticos na perspectiva do PBL: possíveis contribuições Resumo: Imre Lakatos foi um importante filósofo do século XX que abordou conhecimentos relacionados à ciência e à Matemática. Esta última é fortemente explorada na obra Provas e Refutações e é tratada neste artigo como base essencial para se explorar princípios lakatosianos relacionados à abordagem de problemas matemáticos. Tal perspectiva é abordada aqui sob o enfoque do Problem-Based Learning (PBL). O objetivo é explorar possíveis relações entre (...) determinadas contribuições filosóficas de Lakatos e uma abordagem em torno de problemas. Este artigo estrutura-se em bases de uma pesquisa qualitativa, de caráter exploratório e bibliográfico. Pretende-se contribuir com a ampliação de estudos e reflexões envolvendo o campo da Filosofia e da Educação Matemática. Palavras-chave: Lakatos; Filosofia da Matemática; Provas e Refutações; Problemas matemáticos; PBL. Lakatosian principles and the approach of mathematical problems from the perspective of the pbl: possible contributions Abstract: Imre Lakatos was an important philosopher of the twentieth century who addressed knowledge related to science and mathematics. The latter is strongly explored in the work Proof and Refutation and is treated in this article as an essential basis for exploring Lakatosian principles related to the approach to mathematical problems. Such perspective is approached here under the Problem-Based Learning (PBL) approach. The aim is to explore possible relationships between certain philosophical contributions by Lakatos and an approach to problems. This article is structured on the basis of a qualitative, exploratory and bibliographic research. It is intended to contribute to the expansion of studies and reflections involving the field of philosophy and mathematical education. Key-words: Lakatos; Philosophy of mathematics; Proof and Refutation; Mathematical problems; PBL. Principios lakatosianos y el enfoque de los problemas matemáticos desde la perspectiva del pbl: posibles contribuciones Résumé: Imre Lakatos fue un importante filósofo del siglo XX que abordó los conocimientos relacionados con las ciencias y las Matemáticas. Este último está fuertemente explorado en el trabajo Pruebas y Refutación y se trata en este artículo como una base esencial para explorar los principios lakatosianos relacionados con el enfoque de problemas matemáticos. Esta perspectiva se aborda aquí bajo el enfoque de aprendizaje basado en problemas (ABP). El objetivo es explorar las posibles relaciones entre determinadas aportaciones filosóficas de Lakatos y una aproximación a los problemas. Este artículo se estructura a partir de una investigación cualitativa, exploratoria y bibliográfica. Se pretende contribuir a la expansión de estudios y reflexiones que involucren el campo de la filosofía y la educación Matemática. Mots-clés: Lakatos ; Filosofía de las Matemáticas ; Pruebas y Refutación ; Problemas matemáticos ; PBL. Financiamento de Pesquisa: CAPES Data de registro: 06/03/2021 Data de aceite: 18/08/2021. (shrink)

A Aprendizagem Baseada em Problemas é uma das metodologias de ensino que vem sendo adotada em diferentes níveis educacionais. O objetivo deste artigo é promover reflexões sobre a utilização dessa prática na educação básica do Brasil, em particular no campo da educação matemática. Este trabalho é um ensaio teórico que engloba pesquisas teóricos e práticas na área. A partir de inspirações da análise de conteúdo são evidenciados alguns resultados que parecem favorecer tanto a prática docente quanto as aprendizagens dos estudantes.

Discute-se, neste trabalho, o surgimento e a articulação de modelos de psicoterapia de casal, emergentes no final do século XX e início do século XXI. Para tanto foram utilizados artigos de revisão sobre psicoterapia de casal publicados e indexados ao Psiclit, de 1980 até agosto de 2006, sob as pala..

Nous nous sommes proposés d’étudier, dans ce travail, les conceptions et les expériences vécues dans des relations amoureuses d’adolescents appartenant aux couches dites « populaires » de la ville de Rio de Janeiro.Au moyen d’entretiens semi-structurés, nous avons interrogé dix adolescents, cinq du sexe féminin et cinq du sexe masculin, âgés de 13 à 17 ans, sur le rôle que ces relations tiennent dans leur vie. Nous pouvons en conclure que nos sujets ne semblent rien désirer de bien différent de (...) ce à quoi aspiraient les générations antérieures, car leurs paramètres et leurs aspirations sont demeurés pour la plupart les mêmes, si ce n’est qu’ils utilisent des moyens nouveaux et encore tout récents. (shrink)

Ética e subjetividade no Budismo chinês contemporâneo Resumo: O presente artigo procura pensar as questões da ética e da subjetividade no contexto do pensamento budista na China contemporânea. Ele parte de uma genealogia do conceito de subjetividade conforme desenvolvido através do debate entre a escola Yogacãra do Budismo indiano e o Novo Confucionismo. Ao mesmo tempo, aponta para as possíveis implicações deste conceito de subjetividade em sua relação com as questões éticas presentes na China contemporânea. Palavras-chave: Ética. Subjetividade. Escola Yogacãra (...) do Budismo indiano. Novo Confucionismo. Ethics and subjectivity in contemporary Chinese Buddhism: This article tries to think the matters of ethics and subjectivity in the context of Buddhist thought in contemporary China. It has its starting point in an analysis of the concept of subjectivity as developed in the debate between the Yogacãra school of indian Buddhism and the New Confucianism. At the same time, it points to the possible implications of this concept of subjectivity for the ethical matters in contemporary chinese society. Keywords: Ethics. Subjectivity. Yogacãra school of indian Buddhism. New Confucianism. Ética y subjetividad en el budismo chino contemporáneo Resumen: Este artículo busca reflexionar sobre cuestiones de ética y subjetividad en el contexto del pensamiento budista en la China contemporánea. Comienza con una genealogía del concepto de subjetividad desarrollado a través del debate entre la escuela Yogacara del budismo indio y el nuevo confucianismo. Al mismo tiempo, señala las posibles implicaciones de este concepto de subjetividad en su relación con los problemas éticos presentes en la China contemporánea. Palabras clave: Ética. Subjetividad. Escuela de yogacara del budismo indio. Nuevo confucianismo. Data de registro: 29/07/2020 Data de aceite: 21/10/2020. (shrink)

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The interest of (...) our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, De Vidi and Solomon's proposal of formulating the verification thesis as Φ → ¬¬KΦ. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models. (shrink)

A group is in a state of pluralistic ignorance (PI) if, roughly speaking, every member of the group thinks that his or her belief or desire is different from the beliefs or desires of the other members of the group. PI has been invoked to explain many otherwise puzzling phenomena in social psychology. The main purpose of this article is to shed light on the nature of PI states – their structure, internal consistency and opacity – using the formal apparatus (...) of Dynamic Doxastic Logic, and also to study the sense in which such states are “fragile”, i.e. to identify plausible conditions under which a PI state cascades into a state of shared belief as the result of announcement. (shrink)

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, (...) which has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable (though both φ and ¬φ may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (shrink)

The problem of future contingents is one of the most ancient and debated puzzles in Western philosophy, and Supervaluationism is, today, one of the most prominent solutions to the problem. Recently, John MacFarlane has carried a well-known criticism to Supervaluationism and put forward a new solution of the problem of future contingents, which is known as Double Time Reference Theory. Here, we compare DTRT with Supervaluationist semantics, and we show that the success of MacFarlane's criticism crucially depends on the expressivity (...) of the language adopted. Once a reasonable expressive power is granted, however, MacFarlane's criticism no longer applies. (shrink)

O ensaio visual pretende refletir sobre o processo de realização do documentário Do Outro Lado do Atlântico, com estudantes de Países Africanos de Língua Oficial Portuguesa no Brasil, a partir da ideia de um “encontro etnográfico” com os personagens do filme. Traz uma reflexão sobre a abordagem dos documentários de busca, e seus processos de subjetivação, ao mesmo tempo que busca reafirmar uma postura contra-colonial e antirracista, desconstruindo imaginários visuais de raça, subalternidade e estereótipos de África.

In this article, we will present the contrast between the epistemic aspects of an approach that we will conveniently call - and not from a rigorous historical pretension – “Aristotelian”, such as that of Alasdair MacIntyre, and epistemic aspects of an approach that we will also conveniently call “Kantian”, such as that of Onora O'Neill. Our hypothesis is that the presentation of these different perspectives, in terms of practical rationality for the formulation of poverty mitigation policies, would allow us to (...) verify that the Aristotelian approach is contextually efficient, while the Kantian approach is universally demanding. However, if we take into account that a certain international political and economic conjuncture makes poverty mitigation difficult, the addressing of this problem would need to occur in a globally efficient and universally demanding manner. In this sense a Kantian theory of obligation seems to provide epistemic requirements necessary for the formulation of efficient policies. (shrink)

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T × W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

A ampliação de políticas econômicas liberais desencadeará na democratização da China. Esse argumento repetido por artigos acadêmicos encontra suas expectativas frustradas diariamente por notícias de recrudescimento do poder do Partido Comunista da China sobre sua sociedade. O artigo analisa a construção da identidade nacional fundada na humilhação nacional como estratégia de difusão da legitimidade da elite política chinesa a partir de uma percepção do nacionalismo como essencial para manutenção da estabilidade do regime. Para isso estuda a formação da identidade nacional, (...) a constituição dos grupos dentro da elite política da China e a elaboração do conceito de Poder Nacional Compreensivo. (shrink)

We provide a brief introduction to this special issue on social dynamics and collective rationality, and summarize the gist of the papers collected therein.

The purpose of the present systematic and critical review was to assess the findings and to identify the gaps in the literature concerning gay and bisexual fathers. A comprehensive search of relevant literature using electronic databases and reference lists for articles published until December 2016 was conducted. A total of 63 studies, spanning from 1979 to 2016, were collected. More than half of the studies were published after 2011 and the overwhelming majority were conducted in the United States. Nine themes (...) were identified in the studies reviewed: (1) Pathways to fatherhood; (2) Motivations for fatherhood; (3) Parenting experiences and childrearing; (4) Family life and relationship quality; (5) Gender and father identities and gender-role orientation; (6) Disclosure of sexual identity; (7) Social climate; (8) Father’s psychosocial adjustment; and (9) Children’s psychosocial adjustment. It was found that research on gay fatherhood appears to be more heterogeneous than on lesbian motherhood, perhaps because of the variety of pathways to parenthood (via co-parenting, adoption, fostering, or surrogacy). Two-father families are becoming more visible in research on sexual minority parenting and gradually transforming the conceptualization of parenting in family research. (shrink)

Core principles of mereology have been questioned by appealing to time travel scenarios. This paper questions the methodology of employing time travel scenarios to argue against mereology. We show some time travel scenarios are structurally equivalent to more standard ones not involving time travel; and that the three main theories about persistence through time can each solve both the time travel scenario as well as the structurally similar classical scenario. Time travel scenarios that are not similar to more standard arguments (...) are instead problematic because they are open to different, incompatible interpretations. We conclude that compared to the classical arguments against mereological principles, time travel scenarios do not add anything new. (shrink)

This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a (...) multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication. (shrink)

The Compendium grammatices linguae hebraeae, one of Spinoza’s four unfinished works, was published in the Opera Posthuma of 1677. Three centuries later, there is still no critical edition and contributions towards the emendation of this work are very few and far between. This article offers a brief account of the nature, aims and chronology of Spinoza’s grammar. It also provides ample indications for a critical edition and advocates in great detail the need for numerous emendations to the text of the (...) Opera Posthuma. (shrink)

Group polarization occurs when an initial attitude or belief of individuals becomes more radical after group discussion. Polarization often leads subgroups towards opposite directions. Since the 1960s this effect has been observed and repeatedly confirmed in lab experiments by social psychologists. Persuasive Arguments Theory emerged as the most convincing explanation for this phenomenon. This paper is a first attempt to frame the PAT explanation more formally by means of Bipolar Argumentation Frameworks. In particular, I show that polarization may emerge in (...) a BAF by simple and rational belief updates by participants. (shrink)

The Peter Principle states that employees tend to be promoted until they reach their level of incompetence. In a sophisticated simulation study, Pluchino et al confirmed a version of the principle. However, they also noted that their model has the counterintuitive consequence that “the best ways for improving the efficiency of a given organization are either to promote each time an agent at random or to promote randomly the best and the worst members”. We argue that what promotion rule is (...) used can in general influence employee productivity. Accommodating this psychological aspect of promotion is noted as an open problem by Pluchino et al. Using an amended simulation model we verify that if the incentive induced by promoting the best is strong enough, then that strategy will be optimal. In a final simulation experiment we consider the effect on the efficiency of an organization of using “double standard” promotion strategies, i.e., strategies that depend on the official promotion rule being different from the de facto promotion rule. We show that double standard promotion strategies can be highly efficient, although we also note that in using such strategies the employer may take an unacceptable medium to long term risk. (shrink)

O artigo "Educação moral: a busca da excelência a partir de virtudes aristotélicas e a formação do educador" coloca em relevo a necessidade do cultivo de virtudes para a construção da excelência moral do homem. Discutimos a importância da compreensão do termo filosófico. Os resultados esperados consistem na possibilidade do educador de conseguir compreender, dentre os valores clássicos, em específico, o da justiça e o da amizade, como sendo a base para a discussão da educação moral. Se a educação moral (...) exerce algum papel na formação da personalidade humana, então, é preciso examinar quais virtudes são efetivamente necessárias para o desenvolvimento do caráter do homem. A educação moral, tal como temos concebido, possibilita a construção da autonomia do educando para que ele se torne um cidadão emancipado, independente, crítico e, antes, autocrítico. Com efeito, o problema desta investigação consiste na pergunta: quais são os desafios para a formação do educador no processo de conquista da excelência a partir de virtudes aristotélicas em se tratando de educação moral? Nesse sentido, o objetivo principal deste trabalho é compreender a excelência humana a partir do desenvolvimento de virtudes aristotélicas, especialmente a justiça e aamizade, com vistas aos desafios que se colocam aos educadores. Do ponto de vista do método, o trabalho é realizado a partir de revisão bibliográfica e procura problematizar, conceituar e argumentar características típicas do método de forma mais rigorosa, virtudes fundamentais para a formação do caráter do homem. (shrink)

Exchange of arguments in a discussion often makes individuals more radical about their initial opinion. This phenomenon is known as Group-induced Attitude Polarization. A byproduct of it are bipolarization effects, where the distance between the attitudes of two groups of individuals increases after the discussion. This paper is a first attempt to analyse the building blocks of information exchange and information update that induce polarization. I use Argumentation Frameworks as a tool for encoding the information of agents in a debate (...) relative to a given issue a. I then adapt a specific measure of the degree of acceptability of an opinion. Changes in the degree of acceptability of a, prior and posterior to information exchange, serve here as an indicator of polarization. I finally show that the way agents transmit and update information has a decisive impact on polarization and bipolarization. (shrink)

Nesta comunicação exploro aquele que deve ser o objecto e o âmbito de uma teoria de justiça. Da resposta a estas duas questões depende a possibilidade de definir princípios de justiça que concebam uma sociedade justa. Assim, tenho em consideração as propostas sobre o objecto e o âmbito da justiça presentes nas teorias de Nozick (libertária), de Rawls (igualitária) e de Walzer (comunitária) e avalio topicamente cada uma das posições. Concluo tentando responder à questão: qual deve ser o objecto e (...) o âmbito de uma teoria de justiça? (shrink)

What really makes the concepts of obligation or permission so important for practical philosophy? What if we could find a better concept, one that, despite the simplicity, could show itself as intuitive and rich as possible? Could justifications be used in common language and practice as a sign of ethical judgment and as a strong motive for action? In most scenarios, for example, it really doesn’t matter if a given action is obliged, permitted or forbidden, one may perform the action (...) as long as a justification for doing it is present. In this sense, the notion of justification seems to be more basic and powerful than other concepts used in the philosophical discourse. The existence of formal systems based on the epistemological side of justification, created by Artemov, led us primarily to think that justification could make the formal discourse much more accurate for ethics than the ones using deontological concepts. In the semantical and syntactical aspects, almost all of Artemov’s systems directly proved to be fruitful for ethical purposes. We also developed combinations between the standard deontic logic and logics of justification, resulting in what whe called the Logics of Normative Justification. These systems were able to change the object of the justification formulas and shed some light in ethics as a whole, normative and metaethics. Metaethics were a forgotten subject in formal ethics. We were also able to deal with some known problems in deontic logic, like the famous Ross’s paradox and the expressiveness of prima facie and all-things-considered obligations. (shrink)

Reformulation strategies for solving Fitch’s paradox of knowability date back to Edgington. Their core assumption is that the formula \, from which the paradox originates, does not correctly express the intended meaning of the verification thesis, which should concern possible knowledge of actual truths, and therefore the contradiction does not represent a logical refutation of verificationism. Supporters of these solutions claim that can be reformulated in a way that blocks the derivation of the paradox. Unfortunately, these reformulation proposals come with (...) other problems, on both the logical and the philosophical side. We claim that in order to make the reformulation idea consistent and adequate one should analyze the paradox from the point of view of a quantified modal language. An approach in this line was proposed by, among others, Kvanvig but was not fully developed in its technical details. Here we approach the paradox by means of a first order hybrid modal logic, a tool that strikes us as more adequate to express transworld reference and the rigidification needed to consistently express this idea. The outcome of our analysis is ambivalent. Given a first order formula we are able to express the fact that it is knowable in a way which is both consistent and adequate. However, one must give up the possibility of formulating as a substitution free schema of the kind \. We propose that one may instead formulate by means of a recursive translation of the initial formula, being aware that many alternative translations are possible. (shrink)