We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

This article is a critical and interpretive examination of moral and ethical issues that have emerged as the Internet and other digital information forms have evolved. It considers individual expectations of privacy for one's cyberspace communications against the greater public good for unencumbered access, by government and other organizations, to information that may be harmful to others. I argue for the need to find a reasonable balance between the individual's "right" not to disclose information that might be self-incriminating, as codified (...) in the Miranda Rules, and the open communication principles advocated by professional journalists that are essential to a democratic society. (shrink)

Background There has been considerable investment and strategic planning to introduce genomic testing into Australia’s public health system. As more patients’ genomic data is being held by the public health system, there will be increased requests from researchers to access this data. It is important that public policy reflects public expectations for how genomic data that is generated from clinical tests is used. To inform public policy and discussions around genomic data sharing, we sought public opinions on using genomic data (...) contained in medical records for research purposes in the Australian state of Queensland. Methods A total of 1494 participants completed an online questionnaire between February and May 2019. Participants were adults living in Australia. The questionnaire explored participant preferences for sharing genomic data or biological samples with researchers, and concerns about genomic data sharing. Results Most participants wanted to be given the choice to have their genomic data from medical records used in research. Their expectations on whether and how often they needed to be approached for permission on using their genomic data, depended on whether the data was identifiable or anonymous. Their willingness to sharing data for research purposes depended on the type of information being shared, what type of research would be undertaken and who would be doing the research. Participants were most concerned with genomics data sharing that could lead to discrimination, data being used for marketing, data security, or commercial use. Conclusions Most participants were willing to share their genomic data from medical records with researchers, as long as permission for use was sought. However, the existing policies related to this process in Queensland do not reflect participant expectations for how this is achieved, particularly with anonymous genomics data. This inconsistency may be addressed by process changes, such as inclusion of research in addition to clinical consent or general research data consent programs. (shrink)

This Chapter provides a short undergraduate introduction to ethical and philosophical complexities surrounding the law’s attempt (or lack thereof) to regulate artificial intelligence. -/- Swedish philosopher Nick Bostrom proposed a simple thought experiment known as the paperclip maximizer. What would happen if a machine (the “PCM”) were given the sole goal of manufacturing as many paperclips as possible? It might learn how to transact money, source metal, or even build factories. The machine might also eventually realize that humans pose a (...) threat. Humans could turn the machine off at any point, and then it wouldn’t be able to make as many paperclips as possible! Taken to the logical extreme, the result is quite grim—the PCM might even start using humans as raw material for paperclips. -/- The predicament only deepens once we realize that Bostrom’s thought experiment overlooks a key player. The PCM and algorithms like it do not arise spontaneously (at least, not yet). Most likely, some corporation—say, Office Corp.—designed, owns, and runs the PCM. The more paperclips the PCM manufactures, the more profits Office Corp. makes, even if that entails converting some humans (but preferably not customers!) into raw materials. Less dramatically, Office Corp. may also make more money when PCM engages in other socially sub-optimal behaviors that would otherwise violate the law, like money laundering, sourcing materials from endangered habitats, manipulating the market for steel, or colluding with competitors over prices. The consequences are predictable and dire. If Office Corp. isn’t held responsible, it will not stop with the PCM. Office Corp. would have every incentive to develop more maximizers—say for papers, pencils, and protractors. -/- This chapter issues a challenge for tech ethicists, social ontologists, and legal theorists: How can the law help mitigate algorithmic harms without overly compromising the potential that AI has to make us all healthier, wealthier, and wiser? The answer is far from straightforward. (shrink)

La presente investigación tiene como objetivo comprender el proceso sociocultural que enfrentan las parteras tradicionales de San Felipe del Progreso, en el que estructuras y prácticas distintas entre sí —como son el sistema tradicional y el moderno de salud— se encuentran y permiten la aparición de nuevas interpretaciones, prácticas y objetos en la atención del embarazo, el parto y el puerperio. Para ello resulta necesario dividir la investigación en diferentes apartados. En un primer momento, se ahonda en el concepto de (...) modernidad y cómo es vista en Latinoamérica; de igual forma se menciona la manera en que se manifiesta en México, comprendida como la sucesión de diversos procesos de modernización suscitados en el ámbito económico, social, político y cultural. Una vez comprendido lo anterior, es posible discutir el concepto de lo híbrido, retomando la premisa de que dichos procesos de modernización se establecen en un espacio que contaba con formas distintas de mirar y construir la realidad, visión que se refleja en los procesos salud/enfermedad/atención. En un segundo momento, se observa el fenómeno en una comunidad concreta, a saber, San Felipe del Progreso, que da cuenta, desde su contexto, del encuentro entre estas dos formas de mirar el proceso salud-enfermedad-atención, que por un lado están caracterizados por los modelos, llamémosles, más tradicionales de cuidado, en comunicación con los procesos modernizadores. Partiendo de tal planteamiento, la presente investigación retoma, temporalmente, eventos que influyen en la configuración de dichos procesos modernizadores desde 1808 hasta 2016, pero la atención se centra en la observación de tal encuentro en el presente. En el tercer apartado, se retoma la categoría de lo híbrido como una herramienta de análisis o recurso de explicación. A partir de los fragmentos de las historias de vida obtenidos vía las parteras, descritas en el cuarto apartado, es posible reconocer los procesos de comunicación y práctica “híbrida” utilizados por estos especialistas médicos. En el quinto apartado, se exponen los resultados de la investigación, haciendo énfasis en lo híbrido visto desde la formación y capacitación de las parteras, y los conocimientos adquiridos, así como los materiales y las técnicas de apoyo. Concluimos la presente investigación generando una serie de argumentos que nos permiten sostener por qué lo híbrido puede ser un medio de explicación para el encuentro entre formas de atención del embarazo, el parto y el puerperio, vía las parteras de la comunidad. (shrink)

Analisa a representação de informações referentes à identidade e a religião islâmica no esquema de classificação bibli-ográfica mais utilizado do mundo. Investiga a existência de desvios na representação de assuntos referentes a culturas não alinhadas à cultura ocidental na 23ª edição da Classificação Decimal de Dewey (CDD23). Conceitua Organização do Conhecimento em sentido restrito como organização das informações em registros bibliográficos e, em sentido amplo, como a organização social do trabalho mental. Define Sistemas de Organização do Conhecimento, enquanto sistemas conceituais (...) atuantes como tipos de representação do conhecimento sendo frutos da organização do conhe-cimento. Aborda a construção do conceito de Islamismo no Ocidente considerando as transformações de sentido mo-duladas pelo contexto sociocultural, conferindo ao Islã a imagem da violência. Define Religião segundo Durkheim como sistema unificado de crenças e de práticas relativo a coisas sagradas; e segundo Hans Mol como a identidade sacralizada. Aponta que a parcialidade na organização do conhecimento permite que documentos relativos à cultura e à identidade de grupos sociais não alinhados jamais sejam recuperados. Objetiva identificar como os assuntos referen-tes a culturas não alinhadas com o ocidente estão organizados; verificar a influência do contexto sociocultural na representação e recuperação da informação em bases de dados de culturas diversas; analisar o Islamismo e suas rela-ções conceituais na CDD. Para alcançar os objetivos propostos realizamos estudosna CDD23 segundo a metodologia de Miranda (2009), pesquisa bibliografica em bases de dados de diferentes culturas com ênfase nas influências do contexto sociocultural na produção cientifica pertinente a cultura Islâmica. Os resultados do estudo da representação do Islamismo na CDD23 demonstaram a existência de desvios (biases) de representação históricas da CDD, evidenci-ados tanto na seleção terminológica quanto em sua estrutura conceitual. Os resultados do levantamento bibliográfico nas bases de dados demonstram uma produção cientifica sobre assuntos referentes a cultura e identidade muçulmana numerosa e diversificada nas bases de dados de natureza global (DOAJ) e não ocidental (AJOL) e uma baixa produção na base de dados ocidental (Scielo). Reitera a necessidade da conduta ética por parte do profissional na classificação de assuntos não alinhadas a cultura ocidental. (shrink)

O objetivo deste texto é examinar aspectos da filosofia de Merleau-Ponty considerando-a distante tanto de um subjetivismo fenomenológico, quanto de um objetivismo estruturalista, posições descritas por Michel Foucault como determinantes do debate filosófico francês dos anos 1950. Um caminho possível para descrever sua posição é investigar a maneira como trabalha o tema da linguagem, tanto a partir de sua apropriação da linguística de Saussure, quanto em interlocução com as reflexões de Bergson - ponto pouco explorado entre os intérpretes. Também em (...) relação a Bergson, discutirei a concepção de temporalidade presente em Merleau-Ponty, distanciando-a, ao mesmo tempo, da maneira como Sartre a compreende. Ao final desse trajeto, penso que se tornará mais clara a proposta merleau-pontyana de uma fenomenologia alargada e dialógica. (shrink)

Com muita frequência encontramos comentadores da obra de Søren Kierkegaard que procuram ultrapassar a diversidade e a heterogeneidade interna da produção kierkegaardiana mediante processos de redução à unidade, em particular transformando o filósofo dinamarquês exclusivamente num pensador religioso. A título de exemplo, o presente artigo começa por abordar a leitura que Jean Starobinski oferece desse tipo de redução. Subsequentemente o artigo procura caracterizar em pormenor a diversidade e a heterogeneidade kierkegaardianas e encontrar para elas um tipo de resposta baseado em (...) pressupostos de natureza hermenêutica, designadamente numa teoria da singularidade e da universalidade da experiência que consiga ultrapassar os extremos de uma dicotomia radical entre unidade a todo o custo e multiplicidade inoperante. A última parte deste trabalho trata de exemplificar a aplicabilidade dos conceitos de singularidade e de universalidade numa sequência de casos concretos da produção de Kierkegaard, concluindo pela integração de tais conceitos numa compreensão da construção da subjectividade existencial do leitor dessa produção. (shrink)

El currículo de Geografía e Historia en Secundaria.

RESUMO Tendo em vista a importância que o conceito de modelização, advindo da Cibernética, possui para o pensamento de Iuri Lotman, este artigo visa discutir a maneira pela qual o raciocínio inerente ao procedimento modelizador se encontra presente numa das suas principais formulações, relativa à “invariante intelectual”, que elucida a ação exercida pelo mecanismo inteligente da cultura, capaz de assegurar a sua perenidade e, ao mesmo tempo, incitar a criação de novos textos. Para proceder a essa discussão, primeiramente serão retomados (...) os fundamentos do processo de modelização e sua relação com o fazer científico, com o intuito de indicar o que vem a ser o “modelo” e o tipo de inteligibilidade que ele é capaz de produzir. Ao explorar a centralidade que o procedimento modelizador possui nas formulações de Lotman, espera-se igualmente elucidar de que modo, para o autor, é possível construir uma compreensão semiótica muito singular acerca da linguagem e da cultura. ABSTRACT Considering the importance of the modelling concept from Cybernetics to Yuri Lotman’s thinking, this article aims to discuss how the inherent reasoning for the modeling procedure is found in one of its main formulations, related to “intellectual invariant,” which elucidates the action on the intelligent mechanism of the culture, capable of ensuring its perenniality while inciting the creation of new texts. In order to continue this discussion, the fundamentals of the modelling process and its relationship with the scientific doing will be firstly resumed to indicate the “model” and the type of intelligibility they are capable of producing. When exploring the centrality that the modeler procedure has in Lotman’s formulation, the author is equally expected to elucidate how it is possible to build a very singular semiotic understanding of language and culture. (shrink)

Há, hoje, em andamento, um importante trabalho de difusão e acesso ao pensamento italiano contemporâneo no Brasil. Resultado de uma parceria entre o trabalho dos pesquisadores Íris Fátima da Silva Uribe e Luis Uribe Miranda e a editoraPaco editorial, a coleção de filosofia italiana já conta com os seguintes títulos: A experiência da Verdade, de Gaetano Chiurazzi, O quiasmo da tradução, de Carla Canullo e Ontologia e estética em Luigi Pareyson, de Íris Fátima da Silva Uribe. Soma-se a esse (...) conjunto, agora, a recém traduzida para o português Compreensão, História, Contingência, obra que apresenta uma interpretação cuidadosa da filosofia de Heidegger, a qual põe em evidência tanto aspectos espinhosos quanto outros ainda pouco analisados pelos intérpretes deste autor. (shrink)

E. Dussel builds an ethics involved in the liberation of the victims of a world-system increasingly global. In this paper the contributions that this ethics of liberation does to the necessary project of an intercultural dialogue are studied. This dialogue must begin with a critic of modern reason, which is eurocentric and violent, and it has to be based on a «transmodern» rationality, whose starting point is the afirmation and the recognition of the reason of the Other (the excluded human (...) being). (shrink)

O conceito de linguagem é parte indispensável no complexo trabalho com a língua. Aqui, tem-se como referencial teórico a Teoria Histórico-Cultural para estruturação dialética ensino-aprendizagem, por considerar a relação existente entre a história, a sociedade e a cultura na constituição dos conteúdos e dos sujeitos no seu contato com esses conteúdos, inseridos nesse contexto sócio-histórico-cultural. Então, tem-se a concepção sociointeracionista da linguagem, como processo de interação e mediação na relação semiótica entre o mundo e o homem, e da língua, um (...) construto histórico-cultural como uma interface da sociedade que dela faz uso e que com ela se desenvolve, para o trabalho com o processo Ensino-Aprendizagem da língua portuguesa. Portanto, trabalha-se, aqui, com a língua em sua dinâmica discursiva nos vários contextos sociais em contraposição ao trabalho prescritivo/normativo, tendo como ponto de partida e de chegada a produção da leitura e a produção textual nos seus diversos tipos e gêneros. (shrink)

As reflexões apresentadas neste artigo foram produzidas a partir das etnocompreensões dos candomblecistas sobre o que pensam sobre identidades, pertencimentos e memória na cibercultura dialogando com o Orunkò e as identidades que formam o povo nagô no Facebook. O digital em rede é utilizado para manter os laços familiares como estratégia de conexão e reconfiguração do estar longe, mas não estar sozinho, porque nós estamos com vocês. Esse é o sentimento produzido pelos pertencentes do candomblé que utilizam o Facebook e (...) o Whatsapp dentrofora do terreiro. As relações são ressignificadas, utilizando os dispositivos móveis como celulares e tablets com acesso à internet, na convergência das culturas e na reinvenção da tradição das religiões Afrobrasileiras. A partir de uma perspectiva teórica engajada e crítica com a posição de etnopesquisadora que vive a pesquisa e luta por uma epistemologia do pertencimento, trago as minhas etnocompreensões do que compreendi das lutas que constituem o povo preto de axé nas redes educativas: Facebook e terreiros, a partir da etnopesquisa e etnografia virtual realizada em suas páginas no Facebook, e análise das narrativas digitais: comentários, imagens, vídeos e fotografias, apresentando questões como religiosidade afrobrasileira, afetividade e epistemologia do pertencimento. (shrink)

Resumo Tencionamos, nestas reflexões, analisar os conceitos spinozianos de Deus, do homem e da razão, para, a partir do caráter necessário que os permeia, interrogarmos se existiria também a possibilidade de uma liberdade humana no pensamento do autor da Ética. Se tal liberdade existe, ela estaria situada no próprio plano racional, o que, por sua vez, levantaria ingentes problemas. A mesma questão - a da possibilidade de uma liberdade, em Freud - estaria colocada na margem de ação que, até certo (...) ponto, ele assinala ao eu, por intermédio de sua nova divisão do aparelho psíquico, em Além do princípio de prazer e O eu e o isso. Avancemos desde já que, se a ênfase de Spinoza, no que diz respeito à liberdade, recai sobre a razão, em Freud o acento é colocado sobretudo na simbolização e na significação que a tensão do desejo pode acarretar. Portanto, o nosso objetivo não é o de mostrar, ou provar, qualquer vínculo de dependência de Freud vis-à-vis de Spinoza. A nossa intenção é, antes, fazer ressaltar as diferenças que os separam, no que concerne à questão da necessidade e da liberdade.This article begins with an analysis of the Spinozian concepts of God, man, and reason, as well as the necessary character that permeates them. Based on that, we will ask if there exists the possibility of human freedom in the thought of the author of Ethics. If such a freedom does really exist, it would be situated on the rational level, which would raise huge problems. The same question in Freud - that of the possibility of freedom - would be related to the action that, to a certain extent, he attributes to the ego in the context of his new division of the psychical apparatus in Beyond the Pleasure Principle and The Ego and the Id. But if Spinoza’s emphasis with respect to freedom is placed upon reason, in Freud the emphasis is placed principally on the symbolization and signification that desire can bring about. Our goal is not to show that there is any dependence of Freud on Spinoza. We rather intend to underscore the differences that separate them with reference to the question of necessity and freedom. (shrink)

O presente artigo é um estudo do significado histórico que Voltaire atribuiu ao reinado de Luís XIV. O tema oferece a oportunidade de analisar as ligações do pensamento ilustrado com a concepção de vida civilizada elaborada pelas sociedades de corte européias dos séculos XVII e XVIII. Possibilita também uma reflexão a respeito do projeto social da Ilustração francesa. No caso de Voltaire, esse projeto articula-se com a idéia de progresso histórico, problema abordado ao longo do artigo.

In this paper, we illustrate some important concepts of philosophy of science through the exposure of two macroeconomic models fairly simple, classical and Keynesian, presented in introductory macroeconomic courses. Concepts worked in philosophy of science as the hypothetical-deductive model, the symmetry thesis, the idea of Kuhnian paradigm, Lakatosian scientific research program, as well as those proposed by Lawson in the field of critical realism, are sought and identified in these macroeconomic models as a way to show that the study of (...) methodology is fundamental to the understanding of the scientific theories — the raw material of social science. (shrink)

Partindo do conceito hamanniano do dialógico e das respectivas relações com o filosofema da produção de mais-sentido, a presente conferência explora a categoria de alteridade enquanto nódulo conceptual central na ética. A partir desta abertura, procuraremos estabelecer uma analítica de alguns processos que conectam a questão do Outro e a questão da linguagem humana: interrogação, repetição, analogia, parataxe e substituição metafórica. Estes processos revelam-se cruciais na constituição de uma ética da descoberta, ou seja, uma ética que se articule a partir (...) da ideia de abertura ao Outro apoiada na desmontagem da cristalização do já-dito e do já-sabido da linguagem e dos relacionamentos humanos. (shrink)

A formal neuron has been studied mathematically. The spiking behaviour of a single neuron has been considered and the influence of the other neurons has been replaced by an average activity level. Four different kinds of spiking behaviour are predicted by the model: B (bursts), C (continuous), P (periodic) and S (silent) neurons and several real neurons can be classified within these four categories. Some properties of the spiking neuron are calculated: 1) the time between spikes, 2) the spike train (...) length and 3) the silent time. Because these magnitudes can be measured in the laboratory, an experimental validation of the model is proposed. (shrink)

Este estudo tem como objetivo apreender as representações sociais de mulheres sobre a violência obstétrica. Trata-se de um estudo exploratório, de natureza qualitativa fundamentado no aporte teórico-metodológico da Teoria das Representações Sociais. As participantes do estudo foram 30 mulheres. A coleta de dados ocorreu por meio de entrevista semiestruturada oportunizada por plataformas virtuais. Para o tratamento dos dados utilizou-se o software IRaMuTeQ. O corpus textual foi submetido ao processamento de análise de similitude e nuvem de palavras. A partir do estudo (...) detalhado da árvore de similitude e da nuvem de palavras, foi possível organizar os resultados a partir de três temas e um subtema, a saber: 1 – Processo parturitivo: vivências e cuidados; 1.1 – A violência obstétrica como uma violação do ser mulher; 2 – A dor do parto: do fisiológico às intervenções desnecessárias e; 3 – O desejo de ser respeitada como pessoa. As representações sociais sobre a violência obstétrica para as participantes desse estudo estão centradas nos termos “parto”, “dor” e “querer”. As mulheres compreendem que tal violência é uma ação que desrespeita a autonomia da mulher e o poder de decisão sobre o seu corpo. (shrink)

El artículo repasa algunas de las principales fuentes antiguas y las características más salientes del tópico del _hortus conclusus_ para indagar el modo en que se resuelve en la literatura medieval la tensión existente entre una representación altamente regulada desde el punto de vista retórico con la expresión de una experiencia que involucra todos los sentidos y promueve las más variadas emociones en el lector. El trabajo toma en cuenta los planteamientos de la historia sensorial para comprender y extender el (...) estudio de los sentidos y las emociones que se plasman en tres obras del siglo XIII, habida cuenta de que en el período altomedieval se constata un predominio del tema en la elección de los autores. Junto con los aspectos simbólicos, se subraya la relevancia del mundo animal y vegetal en la configuración de un paisaje sensorial que, al expresar emociones mediante los sentidos, principalmente el gusto, el olfato y el oído, promueven una afectividad positiva que busca la trascendencia concebida como ideal antropológico. (shrink)

This essay discusses postpartum abortion from the perspective of E. Lévinas' concepts of alterity and responsibility. It presents a notion of postpartum abortion to then verify if the ethical impasses presented by the theme can be answered in the light of Lévinas.

Vous éprouvez souvent l'embarras du choix? Que sera la liberté au XXIe siècle? Depuis l'invention des machines et des computeurs, notre quotidien semble avoir gagné du temps. Mais en contrepartie, il paraît de plus en plus codé, soumis aux automatismes. Depuis Leibniz jusqu'à la puce biométrique, l'auteur raconte une histoire alternative de l'ère informatique. Il démontre que le " numérisme ", le principe ordinateur, est une vertu humaine ancestrale et nécessaire. Mais insuffisante. Après le sauve-qui-peut du postmodernisme, un nouveau paradigme (...) est en train de naître, le " créalisme " : le monde est notre création commune incessante. L'horizon de notre liberté politique et existentielle, c'est la Terre comme oeuvre d'art. Construit comme une odyssée philosophique curieuse et empreinte d'humour, voici un traité de cocréativité pour une époque aux forces actives éclatées. Où l'on découvre que l'ordre et l'aventure ne sont pas incompatibles. (shrink)

Trata-se de uma reflexão sobre as ameaças aos direitos humanos, sobretudo à dignidade e à liberdade, e à essência humana geradas pelo avanço da biotecnologia. O foco de alerta e resgate da noção de cuidado de si perpassa a perspectiva de futuro de M. Foucault e usa como complemento e desfecho a noção de responsabilidade de H. Jonas para a manutenção da vida e para a realização do sentido do humano e das novas gerações – papel ético por excelência. O (...) texto divide-se em duas partes: a primeira é inspirada em Foucault e a segunda, em Jonas. O leitor é convidado a refletir dentro de uma dupla consideração do tema. PALAVRAS-CHAVE – Dignidade. Direitos humanos. Cuidado de si. Responsabilidade. Futuro. M. Foucault. H. Jonas. (shrink)