Usually in logic, proof systems are defined having in mind proving properties like validity and semantic consequence. It seems worthwhile to address the problem of having proof systems where satisfiability is a primitive notion in the sense that a formal derivation means that a finite set of formulas is satisfiable. Moreover, it would be useful to cover within the same framework as many logics as possible. We consider Kripke semantics where the properties of the constructors are provided by valuation constraints (...) as the common ground of those logics. This includes for instance intuitionistic logic, paraconsistent Nelson’s logic ${\textsf{N4}}$, paraconsistent logic ${\textsf{imbC}}$ and modal logics among others. After specifying a logic by those valuation constraints, we show how to induce automatically and from scratch an existential proof system for that logic. The rules of the proof system are shown to be invertible. General results of soundness and completeness are proved and then applied to the logics at hand. (shrink)

The modern view of logical reasoning as modeled by a consequence operator has allowed for huge developments in the study of logic as an abstract discipline. Still, it is unable to explain why it is often the case that the same designation is used, in an ambiguous way, to describe several distinct modes of reasoning over the same logical language. A paradigmatic example of such a situation is ‘modal logic’, a terminology which can encompass reasoning over Kripke frames, but also (...) over Kripke models, and in any case either locally or globally . Herein, we adopt a novel abstract notion of logic presented as a lattice-structured hierarchy of consequence operators, and explore some common proof-theoretic and model-theoretic ways of presenting such hierarchies through a collection of meaningful examples. In order to illustrate the usefulness of the notion of hierarchical consequence operators we address a few questions in the theory of combined logics, where a suitable abstract presentation of the logics being combined is absolutely essential. We show how to define the operation, in general, and we achieve a number of interesting preservation results for fibring within the context of 2-hierarchies. (shrink)

Mediante un examen crítico de los ensayos publicados en Ideas y Valores acerca de la filosofía de Ludwig Wittgenstein, el escrito busca establecer qué tan rica es nuestra asimilación del pensamiento de uno de los grandes filósofos de la historia, si tal trabajo muestra una evolución a lo largo del devenir de la revista y si el examen que hago aquí puede darnos algún indicio acerca de nuestro desarrollo filosófico. Finalmente, se hacen algunas breves consideraciones acerca de lo que significa (...) hacer filosofía desde la periferia y algunas posibles ventajas que eso tiene, así como señalar la necesidad de realizar una labor más colectiva. (shrink)

We show how to obtain a probabilistic semantics and calculus for a logic presented by a valuation specification. By identifying general forms of valuation constraints we are able to accommodate a wide class of propositional based logics encompassing multi-valued logics like Łukasiewicz 3-valued logic and the Belnap–Dunn four-valued logic as well as paraconsistent logics like $${\textsf{mbC}}$$ and $${\textsf{LFI1}}$$. The probabilistic calculus is automatically generated from the valuation specification. Although not having explicit probability constructors in the language, the rules of the (...) calculus reflect the valuation constraints in a probabilistic way. Indeed the probability of the premises of each rule coincides with the probability of the conclusions. Moreover, a failed exhaustive attempt of proving a formula in this calculus means non-derivability. Nevertheless when the non-derived formula is consistent then it is possible to extract a satisfying valuation from the failed exhaustive attempt. Soundness and completeness of the calculi are established with respect to the probabilistic semantics consisting of probability spaces also induced by the valuation specification. Furthermore we prove the equivalence between the probabilistic and the valuation semantics. (shrink)

The essential structure of proofs is proposed as the basis for a measure of complexity of formulas in FOL. The motivating idea was the recognition that distinct theorems can have the same derivation modulo some non essential details. Hence the difficulty in proving them is identical and so their complexity should be the same. We propose a notion of complexity of formulas capturing this property. With this purpose, we introduce the notions of schema calculus, schema derivation and description complexity of (...) a schema formula. Based on these concepts we prove general robustness results that relate the complexity of introducing a logical constructor with the complexity of the component schema formulas as well as the complexity of a schema formula across different schema calculi. (shrink)

The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...) DTL. To this end, we propose a notion of distributed transition system that will be used to specify the system to be verified. The properties that the system should meet are specified in DTL. In order to capture the models of these properties, we propose the notions of generalized distributed Büchi automaton and of distributed Büchi automaton. With these concepts, we are able to adapt results from automata-theoretic approaches to model checking in LTL to the distributed case. (shrink)

El bioderecho es un neologismo que trata las reglas jurídicas de comportamiento en el contexto de cuestiones bioéticas; se ocupa también del hombre, su dignidad, vida e identidad. El presente estudio descriptivo busca atribuir significado al concepto de dignidad en dos modelos de bioderecho, que develan el estatuto jurídico reconocido por estos a los adultos mayores. Se aplica el método de análisis elaborado por Laura Palazzani. Los resultados evidencian diferencias en el contenido del concepto de dignidad y, por ende, en (...) el estatuto jurídico reconocido a las personas mayores. (shrink)

. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For (...) illustration, we revisit the example of combining intuitionistic and classical propositional logics. (shrink)

This study aims to test the theoretical model of career adaptability of refugees to investigate the dynamics of successful resettlement. The theoretical model is grounded on career construction and social network theory. We employ quantitative and qualitative methodologies to test the model in a sample of Venezuelans living and working in Colombia. The quantitative results provide partial support for Campion’s model. However, we test an alternative model and find that career adaptability has a direct relationship with subjective resettlement. In addition, (...) cultural identification plays a buffering role on the harmful effects of discrimination on subjective resettlement. Qualitative results from eight in-depth interviews shed light on the process of refugee resettlement, thus revealing the role of social networks. Our study contributes to previous research on refugees by testing, adapting, and expanding a novel model of work resettlement and focusing on a group of refugees transitioning from one emerging country to another emerging country. (shrink)

El libro E-physicalism - A Physicalist Theory of PhenomenalConsciousness presenta una teoría en el área de la metafísica de laconciencia fenomenal. Está basada en las convicciones de que la experienciasubjetiva -en el sentido de Nagel - es un fenómeno real,y de que alguna variante del fisicalismo debe ser verdadera.

El presente artículo pone en diálogo dos teorías sobre la justicia frente al fenómeno migratorio, específicamente, aquel que corresponde a la movilización masiva de ciudadanos venezolanos a Colombia desde el caso particular de la ciudad de Bucaramanga. Lo anterior tiene por objetivo proponer alternativas frente a los principales conflictos que han surgido con el choque cultural, político y económico que conlleva una movilización de esta envergadura en un país poco capacitado. Para conseguir esta meta, se proponen tres momentos; primero, se (...) exponen en conjunto tanto la teoría de Jürgen Habermas como la de Jacques Derrida, el primero de estos al respecto de la relación justicia-tolerancia, mientras que el segundo lo hace desde la dupla justicia-hospitalidad. Seguidamente, se exponen algunos puntos principales para ser analizados sobre la ola migratoria en Colombia, de modo que, finalmente, se pueda hacer una lectura desde el aparato conceptual de ambos autores a la problemática migratoria en la ciudad de Bucaramanga. (shrink)

O intuito do presente trabalho é discutir o uso do termo desinformação pelo campo da Ciência da Informação (CI). A palavra, desinformação, passou a ser utilizada nos últimos anos – mais notadamente após a eleição de Donald Trump a presidência dos Estados Unidos da América, cargo que ocupou entre os anos de 2016 a 2020 - para caracterizar um comportamento pautado no compartilhamento de notícias falsas via redes sociais digitais, majoritariamente, e, por meio de técnicas de comunicação que almejam fazer (...) usuários de determinada ferramenta de comunicação, acreditar em uma notícia falsa. No entanto, julgamos que o emprego do termo não consegue explicar de forma clara como ocorre ou, se é possível, determinarmos via estudos do campo da CI (informação como dimensão física, informação como dimensão cognitiva, informação como dimensão intersubjetiva social) que exista um fenômeno ou um processo que desinforme sujeitos expostos a determinada informação. Julgamos haver uma contradição no termo, que pode contribuir para uma tábula rasa explicativa sobre como se processa a validação de determinados conteúdos informativos, ou seja, sob quais fundamentos éticos, marcos regulatório e práticas consuetudinárias os sujeitos nesta arena digital produzem, se apropriam e disseminam informação. (shrink)

Resumen En el marco de un estudio mayor, cuyo principal objetivo es postular la existencia de diferencias entonativas entre zonas lingüísticas de Chile en la emisión de oraciones subordinadas sustantivas objetivas, en este trabajo se expone una caracterización de tres tipos de pausas halladas al interior de las estructuras oracionales indicadas anteriormente, emitidas por hablantes profesionales provenientes de Iquique y de Punta Arenas. El propósito principal del estudio consistió en determinar si se manifestaban diferencias en los tipos de pausas (...) observadas en relación con la complejidad oracional analizada, el género de los informantes y su procedencia geográfica. Para ello se analizaron 100 enunciados extraídos de entrevistas realizadas a 37 profesionales nacidos en ambas ciudades. Los resultados indicaron que hubo diferencias en las pausas observadas, en relación con los tipos de oraciones analizadas, la procedencia geográfica y el género de los informantes.As part of a larger study, whose main objective is to postulate the existence of intonation differences between linguistic regions of Chile in the issuance of subordinate clauses substantive objective, this work exposes a characterization of three types of pauses found inside the sentence structures listed above, issued by professional speakers from Iquique and Punta Arenas. The main purpose of the study was to determine the existence of differences in the types of pauses observed in relation to the sentence complexity analyzed, the gender of the informants and their geographical origin. For this, a total of 100 statements taken from interviews of 37 professionals born in both cities were analyzed. The results indicated that there were differences in the observed pauses, in relation to the types of sentences analyzed, the geographic origin and gender of the informants. (shrink)

A atual dinâmica da sociedade, principalmente por meio do desenvolvimento da tecnologia, fez pensar uma mudança no modelo de Estado, ou de outra maneira, uma nova forma de governança. Assim sobrepõe a importância da função regulatória como essencial ao desenvolvimento da sociedade. Neste sentido, fala-se de uma mudança de paradigma do estado positivo ao estado regulador, dentro do surgimento deste Estado regulador, acende-se o debate se algumas matérias seriam exclusivas do agente regulador com modelo de governança regulatória. O presente estudo (...) científico faz-se necessário ao trazer à arena o debate sobre a possibilidade de se falar ou não de reserva de regulação no âmbito das terapias gênicas, já que a matéria que seriam submetidas a essa reserva técnica não seriam taxativamente delimitadas pela Constituição, devendo ser discutida caso a caso, dentro deste novo ramo do direito chamado direito da regulação. Para consecução e atingimento do objetivo desejado, a metodologia de pesquisa utilizada foi a de revisão da bibliografia sobre a matéria, bem como da legislação correlata. (shrink)

Despite the centrality of the topic for the debate on sustainability, future generations have largely been ignored by business ethics. This neglect is in part due to the enormous philosophical challenges posed by the concepts of future generations and intergenerational duties. This article reviews some of these difficulties and defends that much clarity would be gained from making a distinction between future generations and the next generations. It also argues that the concept of next generations offers a better starting point (...) for business ethics to incorporate the topic in its research agenda. We then suggest four potential pathways to explore this territory. The four approaches build on the notion of organizations as communities with memory and vision, on the narrative shape of organizational life, on the affinity of stakeholders with the next generation, and on systems of indirect reciprocity. These first two approaches are connected to communitarian approaches to business ethics, and the last two engage in a dialog with contractarian views and stakeholder theory. The article ends with some implications for theory and practice. (shrink)

O artigo retoma a presença de Diotima, inserida no contexto do Banquete de Platão, por meio do discurso rememorativo de Sócrates, dos ensinamentos recebidos da mulher de Mantineia, quando era ainda muito jovem. O jogo cênico de um discurso masculino que faz alusão aos ecos de fala de uma figura feminina, cujo conteúdo resguarda valores masculinos, me instiga a pensar o estatuto do feminino e do masculino, sob a perspectiva da relação entre o parto no corpo e o parto na (...) alma. Ao longo da análise, pretendo cotejar algumas representações da natureza feminina nos diálogos platônicos, observando o tratamento diferenciado como Platão pensa a questão do feminino, sob perspectivas variadas, como a tese da natureza similar de mulheres e homens, e a polêmica comunidade de mulheres e crianças, contidas, respectivamente, na primeira e na segunda ondas em República V; ou a tese da diferença de gêneros do Timeu. O viés interpretativo consiste em revisitar o contexto da considerada “questão de gênero” em Platão, a partir das metáforas do parto e da maternidade. Palavras-chave: Parto; Maternidade; Masculino, Feminino; Imortalidade. The feminine and masculine in Diotima's metaphor of childbirth Abstract: This article revisits the presence of Diotima within the context of Plato’s Symposium through Socrates’ recollective discourse on the teachings he received from the woman of Mantineia when he was still very young. The theatrical interplay of a masculine discourse that alludes to the echoes of a female figure’s speech, whose content embodies masculine values, prompts me to consider the status of the feminine and the masculine from the perspective of the relationship between physical childbirth and spiritual childbirth. Throughout the analysis, I intend to compare some representations of feminine nature in the Platonic dialogues, noting the differential treatment in how Plato addresses the question of the feminine from various perspectives. This includes the thesis of the similar nature of women and men and the controversial community of women and children, contained respectively in the first and second waves in Republic V; or the thesis of gender differences in the Timaeus. The interpretative approach consists of revisiting the context of the so-called “gender question” in Plato through the metaphors of childbirth and motherhood. Keywords: Birth; Motherhood; Masculine; Feminine; Immortality. Le féminin et le masculin dans la métaphore de l'accouchement de Diotime Résumé: L'article reprend la présence de Diotime, insérée dans le contexte du Banquet de Platon, à travers le discours remémoratif de Socrate, des enseignements reçus de la femme de Mantinée, quand elle était encore très jeune. Le jeu scénique d’un discours masculin qui fait allusion aux échos des paroles d’une figure féminine, dont le contenu préserve les valeurs masculines, m'incite à réfléchir sur le statut du féminin et du masculin, sous l'angle du rapport entre l'accouchement dans le corps et l'accouchement dans l'âme. Tout au long de l'analyse, j'entends comparer certaines représentations de la nature féminine dans les dialogues platoniciens, en observant le traitement différencié dans lequel Platon réfléchit à la question du féminin, à partir de différentes perspectives, comme la thèse de la nature similaire des femmes et des hommes et la controversée communauté des femmes et des enfants, contenues respectivement dans la première et la deuxième vagues de la République V ; ou la thèse de la différence entre les genres du Timée. Le biais interprétatif consiste à revisiter le contexte de ce qui est considéré comme la « question du genre » chez Platon, à partir des métaphores de l’accouchement et de la maternité. Mots-clés: Accouchement; Maternité; Masculin; Féminin; Immortalité. Data de registro: 02/08/2024 Data de aceite: 25/09/2024. (shrink)

Collaborative Governance Organizations (CGOs) are commonly established to manage Socio-Ecological Systems (SESs). Collaborative processes are designed to gather information relevant to SESs from a diverse set of actors and to foster shared learning in the face of ecological adversity. Little is known, however, about how CGOs develop attention to emerging ecological adversity, which is critical for providing effective and timely responses that enhance SES resilience. The biophysical mechanisms driving emerging ecological adversity cut across a wide range of spatial and temporal (...) scales. Developing attention to these mechanisms requires identifying cross-scale interdependencies and allocating limited attentional resources between local vs. global concerns, and short-term vs. long-term issues. This study explores the process of developing organizational attention to climate change in French river basins. We propose a model in which CGOs’ systemic attention develops through key interactions with the State, scientific councils, and their biophysical environment. (shrink)

Spirituality in Palliative Care Aimed at the ElderlyEspiritualidade no contexto de cuidados paliativos oncológicos a idososIn the last decade, spirituality has been studied in oncological palliative care for the elderly from quantitative, qualitative, and mixed perspectives. The study seeks to reveal the meaning of spirituality in this context. It reviews indexed literature from the MEDLINE database through PubMed between 2009 and 2019, which was accessed online, in full text, anonymously, and in English and Spanish. Revista Medicina Paliativa was manually searched. (...) The results include 50 subject-relevant articles and four categories. It is concluded that there are challenges related to the meaning of spirituality and quality of life, education, and research perspectives.Para citar este artículo / To reference this article / Para citar este artigoArenas-Massa A, Nocetti-de la Barra A, Fraile-Ducviq CG. La espiritualidad en contexto de cuidados paliativos oncológicos dirigidos a personas mayores. Pers Bioet. 2020;24:136-150. DOI: https://doi.org/10.5294/pebi.2020.24.2.2Recibido: 05/07/2020Aceptado: 01/09/2020Publicado: 27/11/2020. (shrink)

Fichte réserve à l’esthétique un lieu privilégié au sein de son système, non pas qu’il lui consacre un large développement, mais parce qu’il se sert d’elle pour éclairer la nature de l’activité philosophique, après l’instauration kantienne de l’idéalisme transcendantal. En accordant à l’art une place dans la genèse de la spéculation philosophique, Fichte nous offre en même temps l’ébauche d’une esthétique originale, se démarquant de celles de Kant et de Schiller.

POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating political belief systems; (2) the development of a tentative theory of intentional goal conflicts and counterplanning. Secondary goals of the POLITICS project include developing a representation for belief systems, investigating (...) cognitive processes such as goal‐directed inferencing, and the integration of several types of knowledge representations into a functional system. (shrink)

This article argues that considering cross-sector collaborations through the lens of indigenous-corporate engagements yields a more comprehensive understanding of the range of cross-sector engagement types, emphasizes the importance of cross-cultural bridge building which has received little attention in the literature :849–873, 2005), and highlights the potential for innovation via collaborations with fringe stakeholders. The study offers a more overarching typology of cross-sector collaborations and, building on an ethical approach to sustainable development with indigenous peoples, proposes a theoretical framework for cross-cultural (...) bridge building between businesses and fringe stakeholders. By incorporating this framework into the literature on value creation in cross-sector collaborations, we suggest a model for value creation in cross-sector collaborations with fringe stakeholders. Finally, using case studies to illustrate the article’s theoretical arguments, we demonstrate the model’s usefulness for the analysis and development of indigenous-corporate collaborations. (shrink)

Background: Nursing students on clinical placements as part of their professional training are routinely faced with situations involving ethical conflicts. The initial act of perceiving a situation as causing an ethical dilemma is the result of both the students’ personal values, drawn from their culture and families, and of the professional knowledge and values that they have acquired through training and experience. Objectives: Nursing students’ experiences on clinical placements in primary care settings were investigated in order to identify situations that (...) they perceived as involving ethical conflict and describe the elements they took into consideration during their decision-making processes in these situations. Methods: The research design was qualitative descriptive case study. Around 50 students from three different intakes to a nursing degree answered a questionnaire and discussed it in focus groups. Ethical considerations: The study was designed in accordance with the principles guiding research with human beings and was approved by the Human Research Ethics Committee. Results: Synthesised into two principal axes: (a) ethical conflicts in primary care, linked with the domains of working processes, professional nursing ethics and human and social rights and (b) students’ decision-making processes – realisation, reflection and intervention. Conclusion: The student nurses saw themselves both as actors and spectators in situations involving ethical problems and demanding moral deliberation, demonstrating the ability to base their arguments soundly. They tended to emphasise the possibilities offered by dialogue and that different ethical values must be respected to find fair solutions to ethical problems. (shrink)

To sustainably govern a Social-Ecological System (SES), both the academic literature and practitioners recommend involving a broad range of actors—public or private—from the territory in question. Nonetheless, the presence of actors in collaborative SES governance processes is not a given. Since this presence requires time and energy without direct personal reward, it depends on the actors’ likelihood to embrace a stewardship role, which in turn depends on their relationship with their biophysical and social contexts. This paper studies the role played (...) by actors’ places of residence in their stewardship behavior in collaborative SES governance. To this end, we analyze the attendance patterns of over 600 members of a French River Basin Committee over 26 years, to shed light on the biophysical determinants. We find that individuals’ biophysical experience plays a critical role in motivating ‘place stewardship’ behavior—especially for key groups of actors such as farmers. We discuss the challenges that place stewardship poses for SESs and outline measures for fostering broader SES stewardship. (shrink)

El cristianismo es analizado en los días de hoy como un argumento de que pertenece al campo mitológico. Joseph Ratzinger contesta a esto análisis una tesis de Agustín que clasifica el cristianismo como parte de la teología natural, de acuerdo con la clasificación de las tres teologías de Marcus Terentius Varro. La tesis de Agustín confiere al cristianismo la base natural y no mítica, de acuerdo con las otras religiones de la Antigüedad. Esta es una de las razones por las (...) cuales aún hoy se puede tener certeza de que el cristianismo es esencial para la humanidad. (shrink)

El objetivo del presente artículo consiste en exponer el modo en el cual Lacan y Deleuze pueden contribuir a delinear una hipótesis sobre el estatuto de la afirmación. Pese a que tradicionalmente se ha tratado de mantener una separación estricta entre ambos pensamientos, mostraremos que existe la posibilidad de exponer una afirmación radicalizada, que pondría a ambos en la pista de un pluralismo abierto a las diferencias singulares no reducibles a una identidad dominante. En ambos casos, ello supondría una puesta (...) en entredicho y una reformulación de la negación. La lectura desarrollada por Lacan a partir del comentario hegeliano de la Verneinung, llevada a cabo por Jean Hyppolite, permite entender cómo la negatividad abre más bien cierto tipo de afirmación, que quizá anticipa la formulación de una ontología de la diferencia, como la que Deleuze advierte en Hyppolite contra Hegel. Intentaremos mostrar que dicha afirmación se produce conceptualmente al momento de elaborar cierta destitución del problema de la negatividad. En su mutuo refuerzo, advertiremos que se puede pensar una potencia de afirmación de la diferencia, apoyada en esta alianza entre una teoría elaborada desde preocupaciones clínicas y un pensamiento obstinado en sustraer a la diferencia de la negatividad. (shrink)

En este artículo se sitúa el tema de la muerte en el contexto de la antropología filosófica de Julián Marías: así, se estudian los aspectos que conciernen al hombre, sus peligros, los elementos del morir, las interpretaciones en torno a la muerte y por último la razonabilidad de la esperanza en la vida futura.