El modelo teórico metodológico para la acción creativa es una estructura que toma cuerpo desde la observación participante, entrevistas a profundidad y grupos focales realizados con estudiantes del curso de Pensamiento Creativo y que permitieron contrastar todo el marco teórico construido en la investigación. Se trata de un modelo tríadico que se soporta en el conocimiento sensible, el inteligible y el reflexivo para explorar desde el éthos creativo las oportunidades que tiene el sujeto contemporáneo para devenir y crear y que (...) se convierte en una nueva fórmula docente para la construcción de conocimiento en un mundo en metamorfosis. (shrink)

Parte 1. Metodologias empíricas aplicadas ao direito -- Parte 2. O trabalho cotidiano dos juristas -- Parte 3. Os usos políticos do direito -- Parte 4. As profissões jurídicas em movimento -- Parte 5. As transformações sociais e as instituições jurídicas.

Este dossiê representa a continuidade de um projecto centrado no património dos agentes ligados à produção, circulação e recepção do livro. A partir da história e dos espólios de empresas editoriais e de coleccionadores, bibliófilos e/ou divulgadores, a introdução problematizante e os depoimentos convocam a memória dos agentes e debatem as ameaças que pendem sobre essa herança cultural riquíssima e possíveis soluções. As boas práticas de vários países impõem uma reflexão inadiável para o contexto português: que vias de cooperação inter-institucional (...) concretas para garantir o depósito, tratamento e comunica­ção duma dimensão fulcral do património e da memória colectiva. A relevância desta ques­tão deve-se a estar inextricavelmente ligada a um reconhecimento sustentável do estatuto patrimonial e histórico dos acervos dos editores e doutros agentes ligados à edição e ao livro enquanto espaços vitais para a construção da cultura impressa e para a história do livro e da edição. Os depoimentos referidos são de Carlos da Veiga Ferreira, Fernando Paulouro Neves e Francisco Pedro Lyon de Castro. (shrink)

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...) solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs. (shrink)

We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...) separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and hence (...) we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ' awareness' set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ' dynamification' of existing awareness logics. (shrink)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...) highlighting their relationship and allowing a better understanding of how they interact together. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and hence we (...) also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ‘awareness’ set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ‘dynamification’ of existing awareness logics. (shrink)

As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...) logics. (shrink)

The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. Technically, the (...) logics presented are all simple refinements of the logic of public announcements. (shrink)

Starting from Proust’s distinction between the self-attributive and self-evaluative views on metacognition, this paper presents a third view: self-mindshaping. Based on the notion of mindshaping as the core of social cognition, the self-mindshaping view contends that mindshaping abilities can be turned on one’s own mind. Against the self-attributive view, metacognition is not a matter of accessing representations to metarepresent them but of giving shape to those representations themselves. Against the self-evaluative view, metacognition is not blind to content but relies heavily (...) on it. We characterize our view in terms of four issues that, according to Proust, distinguish the previous approaches, namely, whether metacognitive mechanisms are the same as those employed to access other minds, whether metacognitive control requires conceptual representation, whether metacognition is propositional, and whether metacognitive access is linked to mental action. After describing some of the mechanisms for self-mindshaping, we show how this view regards metacognition as grounded on social interaction mechanisms, conceptually driven, possibly, but not necessarily, propositional, and engaged in the practical regulation of mental states. Finally, we examine the prospects for the primacy of self-mindshaping as the primary metacognitive function. We argue that self-attributive processes typically subserve the practical goals emphasized by the mindshaping view, and that the evaluative role played by procedural metacognition can be grounded on social cues rather than on experiential feelings. Even if this is not enough to claim the primacy of self-mindshaping, it still appears as a third kind of metacognition, not reducible to the other two. (shrink)

This paper introduces and studies a notion of cautious distributed belief. Different from the standard distributed belief, the cautious distributed belief of a group is inconsistent only when all group members are individually inconsistent. The paper presents basic results about cautious distributed belief, investigates whether it preserves properties of individual belief, and compares it with standard distributed belief. Although both notions are equivalent in the class of reflexive models, this is not the case in general. While we argue that an (...) understanding of the concept of cautious distributed belief from first principles is important, cautious distributed belief can be expressed using standard distrbuted belief and we show that the propositional language extended only with cautious distributed belief is in fact strictly less expressive than the propositional language extended only with standard distributed belief. We, finally, identify a small extension of the language making the former as expressive as the latter. (shrink)

La presente obra reúne los temas imprescindibles de un curso de filosofía política, dirigido tanto a estudiantes como a lectores interesados en la historia, los fundamentos y las implicaciones actuales de esta disciplina. La primera parte trata de la tradición liberal, los socialismos, las dimensiones del nacionalismo, el feminismo como proyecto filosófico-político y la institución de la democracia. La segunda parte aborda en profundidad un amplio abanico de cuestiones, desde la globalización o los problemas de legitimación del poder, pasando por (...) las relaciones entre Estado y nación, los derechos humanos como legado de la Modernidad o la actualidad y perspectivas de la ciudadanía, hasta la multiculturalidad y la inmigración, los movimientos sociales, la ecología o la justicia social. (shrink)

ObjectiveThe presence of two or more chronic diseases results in worse clinical outcomes than expected by a simple combination of diseases. This synergistic effect is expected to be higher when combined with some conditions, depending on the number and severity of diseases. Multimorbidity is a relatively new term, with the first fundamental definitions appearing in 2015. Studies usually define it as the presence of at least two chronic medical illnesses. However, little is known regarding the relationship between mental disorders and (...) other non-psychiatric chronic diseases. This review aims at investigating the association between some mental disorders and non-psychiatric diseases, and their pattern of association.MethodsWe performed a systematic approach to selecting papers that studied relationships between chronic conditions that included one mental disorder from 2015 to 2021. These were processed using Covidence, including quality assessment.ResultsThis resulted in the inclusion of 26 papers in this study. It was found that there are strong associations between depression, psychosis, and multimorbidity, but recent studies that evaluated patterns of association of diseases had heterogeneous results. Quality assessment of the papers generally revealed low quality among the included studies.ConclusionsThere is evidence of an association between depressive disorders, anxiety disorders, and psychosis with multimorbidity. Studies that tried to examine the patterns of association between diseases did not find stable results.Systematic review registrationhttps://www.crd.york.ac.uk/prospero/display_record.php?ID=CRD42021216101, identifier: CRD42021216101. (shrink)

Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic definitions (...) of both an abductive problem in terms of an agent’s information and an abductive solution in terms of the actions that modify the agent’s information. We look at diverse kinds of agents, including not only omniscient ones but also those whose information is not closed under logical consequence and those whose reasoning abilities are not complete. In the second part, we look at an existing logical framework whose semantic model allows us to interpret the previously stated formulas, and we define two actions that represent forms of abductive reasoning. (shrink)

This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents ; then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold (...) strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates’ effects. (shrink)

The main focus of this article is to present the practical aspect of the code rules of variation and the search for a second set of genomic rules, including comparison of sequences to understand how to preserve compatible organisms in danger of extinction and how to generate biodiversity. Three new rules of variation are introduced: 1) homologous recombination, 2) a healthy fertile offspring, and 3) comparison of compatible genomes. The novel search in the natural world for fully compatible genomes capable (...) of homologous recombination is explored by using examples of human polymorphisms and by the production of fertile offspring by crossbreeding. By a rational control of: natural crossbreeding of organisms with compatible genomes (something already happening in nature), the current work focuses on the generation of new varieties after a careful plan. This study is presented within the context of biosemiotics, which studies the processing of information, signalling and signs by living systems. I define a group of organisms having compatible genomes as a single theme: the genomic species or population, able to speak the same molecular language through different accents, with each variety within a theme being a different version of the same book. These studies have a molecular, compatible genetics context. Population and ecosystem biosemiotics will be exemplified by a possible genetic damage capable of causing mutations by breaking the rules of variation through the coordinated patterns of atoms present in the 9/11 World Trade Center contaminated dust (U, Ba, La, Ce, Sr, Rb, K, Mn, Mg, etc.), combination that may be able to overload the molecular quality control mechanisms of the human body. I introduce here the balance of codons in the circular genetic code: 2[1(1)+1(3)+1(4)+4(2)]=2[2(2)+3(4)]. (shrink)

We investigate dynamic operations acting over a knowing how logic. Our approach makes use of a recently introduced semantics for the knowing how operator, based on an indistinguishability relation between plans. This semantics is arguably closer to the standard presentation of knowing that modalities in classic epistemic logic. Here, we discuss how the semantics enables us to define dynamic modalities representing different ways in which an agent can learn how to achieve a goal. In this regard, we study two types (...) of updates: ontic updates (for which we provide axiomatizations over a particular class of models), and epistemic updates (for which we investigate some semantic properties). (shrink)

Y aquí estoy yo, rescatando a las viñetas originales de La Feria de Arreola de 1963, incluyendo a las de su portada: Las veinte adulteraciones presentes en la edición de 1971 de Joaquín Mortiz, más una en la versión del FCE, también llamada “Obras” de Arreola, de 1995, al ser comparadas con las de los 60s de Joaquín Mortiz. Es decir, que las veintiún adulteraciones a las viñetas de La Feria de Arreola, dibujadas originalmente por Vicente Rojo, expresan quince cambios (...) con respecto a los iconos originales más cinco inversiones de los mismos y una clara alteración en la numeración visible en una de ellas: la última, alteración del FCE, es la del dominó en 2 – 1 que es cambiada a 1 – 1, apareciendo estos errores en las ediciones subsiguientes, hasta llegar al reemplazo de todas las viñetas mediante siete nuevos dibujos no relacionados, por parte de la “Editorial Planeta Mexicana” ; mi petición es que La Feria pueda ser restaurada a sus viñetas originales, incluyendo aquellas cinco que aparecieron en la portada de las ediciones y reimpresiones iniciales de los sesentas publicadas por Joaquín Mortiz. (shrink)

In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argument-based belief emerges in a straightforward way. We work against the background of Dung’s (...) abstract argumentation framework, extending it to a new setting in which we can study the formal properties of binary arguments as well as the larger structures they establish. This paper introduces a formal ‘two-dimensional’ language to talk about propositions and arguments, for which a sound and complete axiom system is provided. (shrink)

The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion of intervention (...) operates on the valuation of the variables in a causal model, and not on their functional dependencies. (shrink)

The global pesticide complex has transformed over the past two decades, but social science research has not kept pace. The rise of an enormous generics sector, shifts in geographies of pesticide production, and dynamics of agrarian change have led to more pesticide use, expanding to farm systems that hitherto used few such inputs. Declining effectiveness due to pesticide resistance and anemic institutional support for non-chemical alternatives also have driven intensification in conventional systems. As an inter-disciplinary network of pesticide scholars, we (...) seek to renew the social science research agenda on pesticides to better understand this suite of contemporary changes. To identify research priorities, challenges, and opportunities, we develop the pesticide complex as a heuristic device to highlight the reciprocal and iterative interactions among agricultural practice, the agrochemical industry, civil society-shaped regulatory actions, and contested knowledge of toxicity. Ultimately, collaborations among social scientists and across the social and biophysical sciences can illuminate recent transformations and their uneven socioecological effects. A reinvigorated critical scholarship that embraces the multifaceted nature of pesticides can identify the social and ecological constraints that drive pesticide use and support alternatives to chemically driven industrial agriculture. (shrink)

This manuscript presents a topological argumentation framework for modelling notions of evidence-based (i.e., justified) belief. Our framework relies on so-called topological evidence models to represent the pieces of evidence that an agent has at her disposal, and it uses abstract argumentation theory to select the pieces of evidence that the agent will use to define her beliefs. The tools from abstract argumentation theory allow us to model agents who make decisions in the presence of contradictory information. Thanks to this, it (...) is possible to define two new notions of beliefs, grounded beliefs and fully grounded beliefs. These notions are discussed in this paper, analysed and compared with the existing notion of topological justified belief. This comparison revolves around three main issues: closure under conjunction introduction, the level of consistency and their logical strength. (shrink)

Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs.