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)

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)

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)

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)

El presente documento intenta colocar diversas discusiones sobre la realidad latinoamericana, particularmente en la forma como diversos escenarios nacionales han asumido críticos periodos de violencia política en décadas recientes. Ello teniendo en cuenta que hay toda una serie de variantes y contextos políticos en la región, en donde se imponen por un lado, diferentes regímenes de gobierno y por otro, distintos posicionamientos políticos de los movimientos sociales. En ambos casos, estos se despliegan acorde al momento socioeconómico experimentado en una determinada (...) nación. El énfasis de esta propuesta, acentúa en abrir un debate respecto a cómo cada sociedad instaurada dentro de los marcos nacionales, ha enfrentado posterior o simultáneamente, críticos periodos de violación de los Derechos Humanos ocurridos en periodos de aguda confrontación política y social. Han sido momentos históricos donde se concentran las contradicciones sociales, ya sea bajo la forma de dictaduras o bajo la imposición de gobiernos autoritarios encubiertos en un sistema democrático. Son etapas pasadas y presentes que aún hoy dejan una huella profunda en la conciencia y vida de muchos activistas, de académicos, de organizaciones sociales y de víctimas del terrorismo de Estado. (shrink)

En el campo de la intervención clínica en psicología existen diversos modelos psicoterapéuticos, cada uno de los cuales está apoyado de manera particular en una cosmovisión y en una concepción antropológica del hombre. La concepción antropológica influye directamente en la manera como se realiza la invención terapéutica. En el caso de la Logoterapia considerada como uno de los modelos más representativos de la psicoterapia existencial, es posible identificar claramente que tanto su concepción antropológica como su intervención clínica se fundamentan en (...) principios éticos ampliamente reconocidos y sostenidos por la bioética, como son: el respeto por la vida y la dignidad de la persona, la importancia de la dimensión espiritual en el hombre o el sentido trascendente de la existencia humana, entre otros. (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)

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)

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)

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)

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)

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.

This chapter contains sections titled: Acosta, José de (1539–1600) Alberdi, Juan Bautista (1810–84) Bello, Andrés (1781–1865) Bilbao, Francisco (1823–65) Bolkvar, Simón (1783–1830) Casas, Bartolomé de las (1484–1566) Caso, Antonio (1883–1946) Cruz, Sor Juana Inés de la (1651–95) da Costa, Newton Carneiro Affonso (b. 1929) Dussel, Enrique (b. 1934) Frondizi, Risieri (1910–83) Gaos, José (1900–69) González Prada, Manuel (1848–1918) Gracia, Jorge J. E. (b. 1942) Haya de la Torre, Victor Raúl (1895–1979) Hostos, Eugenio Marka de (1839–1903) Ingenieros, José (1877–1925) Korn, Alejandro (...) (1860–1936) Lastarria, José Victorino (1817–88) Lemos, Miguel (1854–1917) Mariátegui, José Carlos (1895–1930) Martk, José (1853–95) Méndez Sierra, Justo (1848–1912) Mora, José Maria Luis (1794–1850) Miró Quesada, Francisco (b. 1918) Rabossi, Eduardo (1930–2005) Ramos, Samuel (1897–1959) Rodó, José Enrique (1872–1917) Romero, Francisco (1891–1962) Sahagún, Fray Bernardino de (1499–1590) Salazar Bondy, Augusto (1925–74) Sarmiento, Domingo Faustino (1811–88) Ofelia Schutte (b. 1945) Sepslveda, Juan Ginés de (ca. 1494–1573) Torretti, Roberto (b. 1930) Vasconcelos, José (1882–1959) Vaz Ferreira, Carlos (1872–1958) Villoro, Luis (b. 1922) Vitoria, Francisco de (ca. 1483–1546) Zea Aguilar, Leopoldo (1912–2004) Acknowledgment Further Reading. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 107 Heft: 3 Seiten: 485-495.

For thousands of years, people have used nature to justify their political, moral, and social judgments. Such appeals to the moral authority of nature are still very much with us today, as heated debates over genetically modified organisms and human cloning testify. _The Moral Authority of Nature_ offers a wide-ranging account of how people have used nature to think about what counts as good, beautiful, just, or valuable. The eighteen essays cover a diverse array of topics, including the connection of (...) cosmic and human orders in ancient Greece, medieval notions of sexual disorder, early modern contexts for categorizing individuals and judging acts as "against nature," race and the origin of humans, ecological economics, and radical feminism. The essays also range widely in time and place, from archaic Greece to early twentieth-century China, medieval Europe to contemporary America. Scholars from a wide variety of fields will welcome _The Moral Authority of Nature_, which provides the first sustained historical survey of its topic. Contributors: Danielle Allen, Joan Cadden, Lorraine Daston, Fa-ti Fan, Eckhardt Fuchs, Valentin Groebner, Abigail J. Lustig, Gregg Mitman, Michelle Murphy, Katharine Park, Matt Price, Robert N. Proctor, Helmut Puff, Robert J. Richards, Londa Schiebinger, Laura Slatkin, Julia Adeney Thomas, Fernando Vidal. (shrink)

RESUMEN En el prólogo a la segunda edición de la Crítica de la razón pura, ¿qué ha querido decir Kant con una “revolución del modo de pensar” que se debe aplicar a la metafísica para que tome el camino de la ciencia? Cabe distinguir dos significados: uno de carácter metodológico, que asume que el conocimiento rige a los objetos y tendría alcance. Aplicada a la metafísica, supone una transformación más profunda que permite hablar, en segundo lugar, de un significado metafísico (...) específico, que implica que el conocimiento constituye aquello mismo a lo que se llama el objeto de las representaciones. ABSTRACT What is Kant referring to when, in the Preface to the Second Edition of the Critique of Pure Reason, he speaks of the “revolution in the way of thinking” that is needed for metaphysics to enter the path of science? Two meanings are possible. The first is a methodological one, which assumes that knowledge governs objects and would, therefore, extend to metaphysics. Applied to the latter, a more profound transformation is needed, one that would make it possible to speak of a specific metaphysical meaning entailing that knowledge constitutes the object of representations. (shrink)

En el prólogo a la segunda edición de la Crítica de la razón pura, ¿qué ha querido decir Kant con una “revolución del modo de pensar” que se debe aplicar a la meta-física para que tome el camino de la ciencia? Cabe distinguir dos significados: uno de carácter metodológico, que asume que el conocimiento rige a los objetos y ten-dría alcance. Aplicada a la metafísica, supone una transformación más profunda que permite hablar, en segundo lugar, de un significado metafísico específico, (...) que implica que el conocimiento constituye aquello mismo a lo que se llama el objeto de las representaciones. (shrink)

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

When is humanitarian intervention legitimate and how should such interventions be conducted? This article sets out eight liberal principles that underlie humanitarian intervention, some of them abstract principles of international ethics and others more concrete principles that apply specifically to humanitarian intervention. It argues that whilst these principles do not determine the legitimacy of particular interventions, they should ?incline? our judgments towards approval or disapproval. The basic principles include the liberal idea that governments are the mere agents of the people, (...) that tyrannical governments forfeit their legal protections, that human rights entail obligations for governments, that justifiable intervention must intend the end of tyranny or anarchy, that the doctrine of double-effect should be respected, that intervention is only warranted in severe cases, that intervention be welcomed by those it is intended to save, and that ideally it is welcomed by the community of democratic states. (shrink)

This article analyzes the financial performance and managerial abilities of a sample of US and European socially responsible (SR) mutual funds. The period analyzed commences from January 1994 and concludes in January 2013 and yields 18 US and 89 European green funds. The results obtained for green fund managers are compared with those achieved for conventional and other forms of SR mutual fund managers. We control for the mutual fund investment objective (distinguishing between domestic and global portfolios) and for the (...) effect of crisis market periods. For US SR funds, partitioning the data into crisis and normal periods reveals that SR funds obtain statistically insignificant performance in crisis periods but underperform relative to the market in normal periods. Furthermore, the findings indicate that green funds do not perform worse than other forms of SR mutual funds. For European SR funds partitioning the data into crisis and normal periods reveals that SR funds obtain statistically insignificant performance irrespective of market conditions. Similar to the US findings, green Europe SR funds do not perform worse than other forms of SR mutual funds. Managerial abilities are not evident in the findings though unsuccessful timing of the market is revealed for both Europe and US global green funds. When analyzing managerial abilities in crisis and non-crisis market periods, US green fund managers achieve better results in crisis market periods and the opposite occurs for green fund managers in European market. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 106 Heft: 3 Seiten: 418-429.

This paper analyses the relatively neglected topic of hierarchy in the philosophical foundation of human rights. It develops a transcendental-discursive approach. This approach develops the idea that all human rights could be derived from a small set of fundamental rights that are interconnected and that incorporate all ulterior possible specific rights. This set is then applied to an analysis of human rights as they have been formulated in the Universal Declaration of Human Rights. The claim is that this prior set (...) of transcendental rights is discursively implied whenever we talk about human rights. Thinking about the hierarchy of rights pragmatically means thinking about prioritising their implementation. Some consequences for practical philosophy and politics concerning the role of states, enterprises and world citizenship are then discussed. (shrink)

Im Anhang zum zweiten Teil der Kritik der Urteilskraft, der Kritik der teleologischen Urteilskraft, setzt sich Kant mit der Frage nach dem Zweck der Schöpfung auseinander. Seine These ist hier eindeutig: „wir [erkennen] nun den Menschen […] als moralisches Wesen für den Zweck der Schöpfung [an…]“. Warum ist jedoch der Mensch als moralisches Wesen für den Zweck der Schöpfung zu halten? Diese Frage ist keineswegs unumstritten und soll in diesem Aufsatz erörtert werden. Um sie zu beantworten, werde ich den Zusammenhang (...) von drei bestehenden Elementen der kantischen Auffassung des Menschen als Zweck der Schöpfung erläutern: Die vernünftige Natur des Menschen, die Freiheit seines Willens, und das Sittengesetz. (shrink)

La oposición a Hegel mediante la cual con frecuencia la tradición presenta la filosofía schopenhaueriana se ha interpretado en ocasiones como una relación de dependencia, en la medida en que aquella habría surgido como una cierta reacción frente a la de Hegel. El artículo muestra que los documentos disponibles acerca de los comienzos de la relación de Schopenhauer con Hegel hacen insostenible tal supuesto, además de ofrecer un marco y diversas claves para comprender su posterior polémica con el hegelianismo.

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but (...) also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson's position. (shrink)

[Given, If, Then] attempts to conceive a possibility of reading, through a set of readings: reading being understood as the relation to an Other that occurs prior to any semantic or formal identification, and, therefore, prior to any attempt at assimilating, or appropriating, what is being read to the one who reads. As such, it is an encounter with an indeterminable Other, an Other who is other than other -- an unconditional relation, and thus a relation to no fixed object (...) of relation. The first reading by Jeremy Fernando, "Blind Reading," unfolds through an attempt to speak of reading as an event. Untheorisable in itself, it is a positing of reading as reading, through reading, where texts are read as a test site for reading itself. As such, it is a meditation on the finitude and exteriority in literature, philosophy, and knowledge; where blindness is both the condition and limit of reading itself. Folded into, or in between, this (re)reading are a selection of photographs from Jennifer Hope Davy's image archive. They are on the one hand simply a selection of 'impartial pictures' taken, and on the other hand that which allow for something singular and, therefore, always other to dis/appear -- crossing that borderless realm between 'some' and 'some-thing.' Eventually, there is a writing on images on writings by Julia Hölzl. A responding to the impossible response, a re-iteration, a re-reading of what could not have been written, a re-writing of what could not have been read; these poems, if one were to name them such, name them as such, answer (to) the impossibility of answering: answer to no call. (shrink)

Resumo: Trata-se de avaliar a justiça da leitura deleuzeana de Bergson, partindo de duas problemáticas principais: o monismo da duração, que Deleuze enxerga e defende em Bergson, e a ontologização do passado, a qual ele promove em sua apreciação da filosofia bergsoniana. Como procuraremos mostrar, se o primeiro ponto parece particularmente equivocado, o segundo ponto parece encontrar guarida em alguns trechos da obra de Bergson.: In this article we evaluate Deleuze's reading of Bergson, discussing two main problems: the monism of (...) duration that Deleuze sees and defends in Bergson, and the ontologization of the past that he finds in the Bergsonian philosophy. As we shall attempt to show, if the first point seems particularly misleading, the second point seems to find a basis in some passages of Bergson's work. (shrink)