We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model different domains and solve practical reasoning problems. We discuss some of the main differences with respect to reasoning in classical logic and we examine an ongoing research programme for the rational reconstruction of human knowledge that may be considered a successor to the (...) logical empiricists’ programme of the mid-twentieth century. (shrink)

Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied (...) Non-Classical Logics. The issue contains 13 scientific contributions by 32 authors, among them Luis’s colleagues, former students and friends. Preceding versions of these papers were presented at the international workshop ‘Logical Reasoning and Computation’ that was held at IRITInstitut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, on 3–4 March 2016. The present introduction contains a short scientific biography describing the many different areas of logic and computation where Luis contributed significant advances. (shrink)

This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.

In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining (...) an equivalent formula, modulo the original alphabet. (shrink)

1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...

Brian Cutter objected to the consequence argument due to its dependence on the principle that miracle workers are metaphysically impossible. A miracle worker is someone who has the ability to act in a way such that the laws of nature would be violated. While there is something to the thought that agents like us do not have this ability, Cutter claims that there is no compelling reason to regard miracle workers as metaphysically impossible. However, the paper contends that miracle workers (...) are indeed impossible according to well-known theories concerning the laws of nature. This result highlights the reliance of the consequence argument on a plausible premise, which is widely accepted by proponents of non-Humean views of laws. The paper also provides a way to explain away the intuition that miracle workers are possible, but this has the upshot that a recent, two-dimensional formulation of the consequence argument is unsound. (shrink)

We prove that every weakly square compact cardinal is a strong limit cardinal, and therefore weakly compact. We also study Aronszajn trees with no uncountable finitely splitting subtrees, characterizing them in terms of being Lindelöf with respect to a particular topology. We prove that the class of such trees is consistently non-empty and lies between the classes of Suslin and Aronszajn trees.

I argue that the opening line of the _Phaedrus_ proleptically encapsulates the major themes of the dialogue and that paying attention to the opening line enables us to strengthen the identification of psychagogy as the key unifying thread of the whole dialogue. In particular, I argue that the opening line foreshadows the quarrel between Lysias and Socrates over the practical guidance of Phaedrus’ soul; the prominence of friendship in the philosophical form of life; the pertinence of Socrates’ one-on-one, custom-built speeches, (...) vis-à-vis the later conceptualization of rhetoric; the definition of the soul as a source of never-ending movement; as well as the origin (_arché_) and destiny (_télos_) of human souls, following the lines of the Palinode. (shrink)

Sprache, Einstellung und Rationalität stellen zentrale Begriffe eines komplexen Zusammenhangs dar, der in seiner philosophischen Tragweite noch viel zu wenig verstanden wird. In zweierlei Hinsicht trägt die vorliegende Arbeit dazu bei, dieses Desiderat zu beseitigen: Im ersten Teil wird dafür argumentiert, daß Ansätze, die glaubhaft machen wollen, daß bei der Erklärung von Intentionalität auf Rationalitätsannahmen zu verzichten sei, schon deshalb fehlerhaft sind, weil es bei Einstellungs-Zuschreibungen nicht auf die Individuierung geistiger Zustände ankommt. Vielmehr besagt die zentrale Überlegung des zweiten Teils, (...) daß dasjenige, was gemeinhin als die kognitive Signifikanz von Einstellungs-Äußerungen bezeichnet wird, am einfachsten durch eine ergänzende Theorie der pragmatischen Kontext-Bedingungen zu erfassen ist. Hier ist dann auch der Ort, an dem der im Titel gestiftete Zusammenhang am deutlichsten zutage tritt. (shrink)

This is the first book to offer a systematic comparison of the philosophies of Albert Camus and Frantz Fanon. It shows how the ethical, political, and psychological outlooks of these two influential thinkers can further our understandings of how to bring about justice in the face of deep power imbalances. The author foregrounds the bloody Algerian War of Independence in his analysis of the philosophies of Camus and Fanon. Although neither supported French colonial occupation of Algeria, they held radically different (...) views of the conflict. Fanon supported emancipation through violence, which the author argues has been uncritically romanticized. Camus, on the other hand, supported an ethics of moderation that shunned indiscriminate violence. The author argues that Camus has been unfairly accused of being an apologist for colonialism. Finally, the author draws out the common endorsement of humanist values that drive both Camus' and Fanon's thought. Camus and Fanon on the Algerian Question will appeal to scholars and advanced students interested in twentieth-century Continental philosophy, postcolonialism, existentialism, and African philosophy. (shrink)

Este artigo tem como objetivo principal analisar o pensamento desenvolvido por Georges Canguilhem e Gilbert Simondon sobre dois conceitos principais: o conceito de organismo e de máquina. A intenção é de reconstruir, a partir das continuidades e descontinuidades entre os dois conceitos, o raciocínio desenvolvido pelos dois autores sobre esses temas na história da filosofia francesa do século passado. Assim, tomamos como escopo as obras La connaissance de la vie, publicada por Canguilhem em 1952 e a tese complementar de doutoramento (...) de Simondon, orientada por Canguilhem, Du mode d’existence des objets techniques, de 1958. A partir disso, o texto se divide em seis partes: uma introdução, onde damos as especificações de escopo e de análise, seguida pela primeira parte, onde analisamos os conceitos de pensamento, conhecimento, sujeito e objeto. Em seguida, na parte dois, analisamos os conceitos de máquina, mecanismo e motor, como utilizadas em Canguilhem, e os conceitos de indivíduo, elemento e conjunto técnico desenvolvidas por Simondon. A terceira parte se dedica a analisar a questão do autômato, bem como os conceitos de mecanismo e finalismo. A quarta parte desenvolve o conceito de organismo-máquina e os conceitos de potencialidade e de teleologia desenvolvidos principalmente em Canguilhem. Por fim, na conclusão, analisamos as aproximações e distâncias entre os dois autores, bem como a imagem do monstro e do robô. (shrink)

Philosophical Perspective on Cinema addresses the relationship between human existence and sensual reality. Applying metaphysical/existential reflection to cinema, the author explores the philosophical clarity that cinema can offer reflective persons about the human experience.

Resenha de: CHAMAYOU, Grégoire. Teoria do drone. Tradução de Célia Euvaldo. São Paulo: Cosac Naify, 2015.