We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and with modalities (...) for communication patterns, the latter are interpreted by updating Kripke models. We propose an axiomatization of communication pattern logic, and we show that collective bisimilarity (comparing models on their distributed knowledge) is preserved when updating models with communication patterns. We can also interpret communication patterns by updating simplicial complexes, a well-known topological framework for distributed computing. We show that the different semantics correspond, and propose collective bisimulation between simplicial complexes. (shrink)

RESUMEN Se aborda el pensamiento de E.M. Cioran desde la perspectiva de un sinsabor vital denominado sentimiento de muerte. El término, aunque aparece solo en su primer escrito, es transversal a toda su obra, puesto que para el autor los seres humanos nos intuimos como posesos de la muerte en cada momento de nuestra existencia. Esto cambia el tono normal de la vida, al poner frente a la persona una realidad carente de sentido y dominada por circunstancias radicales y limitantes (...) como el dolor y la agonía, que culmina en una atmósfera gobernada por la intuición trágica de la vida. ABSTRACT The article addresses the thought of E.M. Cioran from the perspective of that vital uneasiness known as the sentiment of death. Although the term appears only in his first book, the idea cuts across his entire work given that, for Cioran, human beings intuit themselves as possessed by death at every moment of their lives. When persons are faced with a meaningless reality, dominated by radical and limiting circumstances such as pain and agony, the whole tenor of life changes until it becomes a tragic intuition of life. (shrink)

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)

W. W. Bartley argued that Popper's original theory of rationality opened itself to a tu quoque argument from the irrationalist and to avoid this Bartley proposed an alternative theory of rationality: pancritical rationalism . Bartley's characterization of PCR leads, however, to self-referential paradox. David Miller outlaws self-reference by distinguishing between positions and statements, Miller's distinction looks, however, suspiciously like an ad hoc manoeuvre or as a stipulation that has to be accepted dogmatically. Furthermore, Miller's move is inadequate because it (...) is a second world answer to a third world problem, that is, to logical paradox. It is then argued that given the paradoxical nature of PCR, Popper's old justificationist critical rationalism with its minimum of dogmatism and irrationalism is malgré tout a better option. (shrink)

It is argued that the rule-circular justification of induction proposed by David Papineau is illegitimate, that is, that it is not a genuine justification.

David Hume's famous riddle of induction implies a second problem related to the question of whether the laws and principles of nature might change in the course of time. Claims have been made that modern developments in physics and astrophysics corroborate the translational invariance of the laws of physics in time. However, the appearance of a new general principle of nature, which might not be derivable from the known laws of physics, or that might actually be a non-physical one (...) (this means completely independent of physical science) supports the notion that the course of nature can change in time. Here it is argued that natural selection satisfies the criteria that identify a general principle of nature which so far, appears to be non-derivable from the known laws of physics and therefore, it is likely that it arose in the course of time, thus leaving open again the quest for a true solution to Hume's second problem. (shrink)

In this book, which thoroughly revises and greatly expands his classic work Sameness and Substance, David Wiggins retrieves and refurbishes in the light of twentieth-century logic and logical theory certain conceptions of identity, of substance and of persistence through change that philosophy inherits from its past. In this new version, he vindicates the absoluteness, necessity, determinateness and all or nothing character of identity against rival conceptions. He defends a form of essentialism that he calls individuative essentialism, and then a (...) form of realism that he calls conceptualist realism. In a final chapter he advocates a human being-based conception of the identity and individuation of persons, arguing that any satisfactory account of personal memory must make reference to the life of the rememberer himself. This important book will appeal to a wide range of readers in metaphysics, philosophical logic, and analytic philosophy. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

This article undertakes a deconstructive reading of astrobiology’s search for extraterrestrial life. Taking its lead from Derrida’s ‘White Mythology’, it explores ‘metaphor in the text of astrobiology’—and includes within the astrobiological ‘text’ not only scientific publications and work on astrobiology in the philosophy of science, but also ‘life detection technologies’. I situate astrobiology in the tradition of a metaphysical analogy that goes back through the enlightenment and early modern astronomy to the ancient Atomists’ notion of the ‘plurality of worlds’. This (...) analogy, which constitutes an identification of life with being and therefore serves as the conceptual basis for the notion that life must exist on other worlds, experiences a mutation in the middle of the twentieth century when molecular biology refigures life in terms of a scriptural metaphor as text. The result is an aporia whose logic Derrida formalised in ‘White Mythology’. (shrink)

A collection of 14 essays honoring the life and work of Oxford philosopher Wiggins touching on topics from ancient philosophy to ethics, metaphysics and the theory of meaning. The contributing scholars debate many of the seminal issues of Wiggins' work, including the determinancy of distinctness, relative identity, naturalism in ethics, logic and truth in moral judgments, and the practical wisdom of Aristotle. The collection uniquely features replies by Wiggins to each of the papers. Annotation copyright by Book News, Inc., Portland, (...) OR. (shrink)

Drawing on work of the past decade, this volume brings together articles from the philosophy, history, and sociology of science, and many other branches of the biological sciences. The volume delves into the latest theoretical controversies as well as burning questions of contemporary social importance. The issues considered include the nature of evolutionary theory, biology and ethics, the challenge from religion, and the social implications of biology today (in particular the Human Genome Project).

In this essay, a brief analysis of the diplomatic efforts to achieve an accord in re- lation to the climatic change process is made. Particularly, it will analyze the two past Climate Summits (Copenhagen and Cancun). It emphasizes the growing social articulation of climatic politics. Finally, it aims to the birth of a new global responsibility of societies in relation to the human relation towards the planet. Also, it explores the impact of this responsibility on the environment global changes.

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Here I pursue a deconstructive reading of astrobiology, the emerging science dedicated to a double quest: solving the mystery of life's origin and discovering life beyond Earth. Astrobiology, I argue, is organized as a response to the aporetic formulation assumed by the origin of life in modern molecular biology, where (as Derrida's argues in Life Death) it becomes the origin of textuality. Because all Earth life shares a single genetic code, astrobiologists are seeking a second; hoping that a sort of (...) multi-planetary comparative genomics may reveal the secret to life's origin. But the aporia repeats in the figure of the biosignature, the trace of life. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

The typical kind of color realism is reductive: the color properties are identified with properties specified in other terms (as ways of altering light, for instance). If no reductive analysis is available — if the colors are primitive sui generis properties — this is often taken to be a convincing argument for eliminativism. That is, realist primitivism is usually thought to be untenable. The realist preference for reductive theories of color over the last few decades is particularly striking in light (...) of the generally anti-reductionist mood of recent philosophy of mind. The parallels between the mind—body problem and the case of color are substantial enough that the difference in trajectory is surprising. While dualism and non-reductive physicalism are staples, realist primitivism is by and large a recent addition to the color literature. And it remains a minority position, although one that is perhaps gaining support. In this paper, we investigate whether it should be accepted, and conclude it should not be. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

This is an in-depth study of J.G. Fichte’s philosophy of mathematics and theory of geometry. It investigates both the external formal and internal cognitive parallels between the axioms, intuitions and constructions of geometry and the scientific methodology of the Fichtean system of philosophy. In contrast to “ordinary” Euclidean geometry, in his Erlanger Logik of 1805 Fichte posits a model of an “ursprüngliche” or original geometry – that is to say, a synthetic and constructivistic conception grounded in ideal archetypal elements that (...) are grasped through geometrical or intelligible intuition. -/- Accordingly, this study classifies Fichte’s philosophy of mathematics as a whole as a species of mathematical Platonism or neo-Platonism, and concludes that the Wissenschaftslehre itself may be read as an attempt at a new philosophical mathesis, or “mathesis of the mind.” -/- “This work testifies to the author's exact and extensive knowledge of the Fichtean texts, as well as of the philosophical, scientific and historical contexts. Wood has opened up completely new paths for Fichte research, and examines with clarity and precision a domain that up to now has hardly been researched.” Professor Dr. Marco Ivaldo -/- “This study, written in a language distinguished by its limpidity and precision, and constantly supported by a close reading of the Fichtean texts and secondary literature, furnishes highly detailed and convincing demonstrations. In directly confronting the difficult historical relationship between the Wissenschaftslehre and mathematics, the author has broken new ground that is at once stimulating, decidedly innovative, and elegantly audacious.” Professor Dr. Emmanuel Cattin. (shrink)

I argue that virtual reality is a sort of genuine reality. In particular, I argue for virtual digitalism, on which virtual objects are real digital objects, and against virtual fictionalism, on which virtual objects are fictional objects. I also argue that perception in virtual reality need not be illusory, and that life in virtual worlds can have roughly the same sort of value as life in non-virtual worlds.

In 1962, the philosopher Richard Taylor used six commonly accepted presuppositions to imply that human beings have no control over the future. David Foster Wallace not only took issue with Taylor's method, which, according to him, scrambled the relations of logic, language, and the physical world, but also noted a semantic trick at the heart of Taylor's argument. _Fate, Time, and Language_ presents Wallace's brilliant critique of Taylor's work. Written long before the publication of his fiction and essays, Wallace's (...) thesis reveals his great skepticism of abstract thinking made to function as a negation of something more genuine and real. He was especially suspicious of certain paradigms of thought-the cerebral aestheticism of modernism, the clever gimmickry of postmodernism-that abandoned "the very old traditional human verities that have to do with spirituality and emotion and community." As Wallace rises to meet the challenge to free will presented by Taylor, we witness the developing perspective of this major novelist, along with his struggle to establish solid logical ground for his convictions. This volume, edited by Steven M. Cahn and Maureen Eckert, reproduces Taylor's original article and other works on fatalism cited by Wallace. James Ryerson's introduction connects Wallace's early philosophical work to the themes and explorations of his later fiction, and Jay Garfield supplies a critical biographical epilogue. (shrink)

A sociedade não se iniciou com a civilização grega, porém fundamentou a civilização ocidental. Pretende-se fazer uma reflexão sobre as questões econômicas do mundo antigo, quando Aristóteles anteviu crescente inserção mercantilista na sociedade e tratará a polis com uma grande autonomia humana. A sociedade grega clássica está centrada na cidade-estado, a polis, a qual era, para os gregos, o estágio final e completo da vida social, a única forma possível de existência civilizada. O conceito aristotélico de economia como ação/política do (...) “cuidar”, como a ciência que busca o melhor uso das riquezas destinadas a manutenção e aperfeiçoamento da vida social, auxilia o mundo moderno à construção de um pensamento econômico. (shrink)

En estas líneas se quiere mostrar que la obra de Feijoo puede interpretarse en su conjunto como un proyecto político-científico. Para Feijoo, el escepticismo científico es la clave para la construcción de una comunidad ilustrada que, al dedicarse al verdadero conocimiento del mundo físico, no amenaza la religión católica ni el incipiente despliegue del Estado moderno. La ciencia (o filosofía natural) se presenta como el antídoto de las fuerzas centrífugas del error y la disgregación, en todas sus formas. Feijoo no (...) tiene reparo en recibir y propagar las aportaciones de científicos protestantes y sí intención de generar una cultura científica que constituya un cimiento sólido para una sociedad bien organizada. Feijoo promueve la formación científica porque es útil para el _progreso_ social, para la fundación de una comunidad propiamente católica, que incluya a todas las personas cultivadas, al margen de las incipientes unidades nacionales y de los distintos bandos confesionales. (shrink)

In this paper I examine Hegel's notion of 'idea'. I provide first of all some general clarifications on this notion, and then I analyze the meaning of the logical Doctrine of the idea in relation to the internal organization of the system. My aim is to interpret this section of the Science of Logic as a Grammar of Hegel's Realphilosophie.

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (shrink)

This article aims to highlight the theoretical and philosophical debate on hospitality underlining the normative elements of framing migrants and refugees as individual agents in the light of hospitality theory and migration governance. It argued the critiques of the neo-Kantian hospitality approach and the EU welcome culture with regard to refugees in the EU from a philosophical perspective. The “No human being is illegal” motto is proposed to be conceived as a principle of the EU Charter of Fundamental Rights. The (...) cosmopolitan right to visit and the universal right to reside were discussed in the context of human rights and co-responsibility. Linking the hospitality approach with migration governance enables the reconstruction of reception policies and practices, diversification of non-state actors that engage in migration governance mechanism, and polarization of political initiatives (e.g., politics of allocation and dispersal, readmission negotiations, convergence/divergence of priorities and strategic interests). The research findings highlight that the EU adopted a neo-Kantian hospitality approach that combines both “co-responsibility” and “vertical/heterarchical relations.” The EU’s “New Pact on Migration and Asylum” was considered proof of how the EU follows neo-Kantian hospitality that is manifested in dualism and contradictory approach. The study presents a typology that splits co-responsibility into individual/institutional actions and human rights/migration governance. (shrink)

Interpretation -- Introduction -- Interpreting Plato -- The political culture of Plato's early dialogues -- Dialogue -- Character and history -- The mouthpiece principle -- Forms of evidence -- Desire -- Socrates and eros -- The subjectivist conception of desire -- Instrumental and terminal desire -- Rational and irrational desires -- Desire in the critique of Akrasia -- Interpreting Lysis -- The deficiency conception of desire -- Inauthentic friendship -- Platonic desire -- Antiphilosophical desires -- Knowledge -- Excellence as wisdom (...) -- The epistemic unity of excellence -- Dunamis and technê -- Goodness and form -- The epistemological priority of definitional knowledge -- Ordinary ethical knowledge -- Method -- The Socratic fallacy -- Socrates' pursuit of definitions -- Hupothesis -- Two postulates -- The geometrical illustration -- Geometrical analysis -- The method of reasoning from a postulate -- Elenchus and hupothesis -- Knowledge and aitia -- F-conditions -- Cognitive security -- Aporia -- Forms of aporia -- Dramatic aporia -- The example of Charmides -- Charmides as autobiography -- The politics of Sôphrosunê -- Critias' Philotimia -- Self-knowledge and the knowledge of knowledge -- Knowledge of knowledge and knowledge of the good -- Philosophy and the polis. (shrink)