The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an (...) implication connective leads us to more interesting systems, therefore we look for one implication for these logics and we study further properties that the logics obtain when this connective is added to these systems. (shrink)

We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more general point of view. Our definition, based on intuitionistic logic and following ideas from D. Pearce [Stable inference as intuitionistic validity, Logic Programming 38 79–91], also provides a general approach to define several semantics based on different logics or inference systems. We prove that, in particular, intuitionistic logic can be (...) replaced with any other proper intermediate logic without modifying the resulting semantics. We also show that the answer set semantics satisfies an important property, the “extension by definition”, that can be used to construct program translations. As a result we are able to provide a polynomial translation from propositional theories into the class of disjunctive programs. (shrink)

In memoriam José Arrazola Ramírez The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al. in 2014. The logic $\textbf{CG}^{\prime}_3$ is defined in terms of a multi-valued semantics and has the property that each theorem in $\textbf{G}^{\prime}_3$ is a theorem in $\textbf{CG}^{\prime}_3$. Kripke-type semantics has been given to $\textbf{CG}^{\prime}_3$ in two different ways by Borja et al. in 2016. In this (...) work, we continue the study of $\textbf{CG}^{\prime}_3$, obtaining a Hilbert-type axiomatic system and proving a soundness and completeness theorem for this logic. (shrink)

We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more general point of view. Our definition, based on intuitionistic logic and following ideas from D. Pearce [Stable inference as intuitionistic validity, Logic Programming 38 79–91], also provides a general approach to define several semantics based on different logics or inference systems. We prove that, in particular, intuitionistic logic can be (...) replaced with any other proper intermediate logic without modifying the resulting semantics. We also show that the answer set semantics satisfies an important property, the “extension by definition”, that can be used to construct program translations. As a result we are able to provide a polynomial translation from propositional theories into the class of disjunctive programs. (shrink)

José L. Zalabardo defends a pragmatist account of what grounds the meaning of central semantic discourses--ascriptions of truth, of propositional attitudes, and of meanings. He argues that it is the procedures that regulate acceptance and rejection that give the sentences of these discourses their meanings, and explores the application of the pragmatist template to ethical discourse. The pragmatist approach is presented as an alternative to representationalist accounts of the meaning grounds of declarative sentences, according to which a sentence has (...) the meaning it has as a result of links with the bits of the world that it purports to represent. Zalabardo develops a version of the open-question argument to support the claim that the meaning grounds of the discourses he focuses on cannot receive representationalist accounts. It is generally assumed that a declarative sentence cannot perform the function of representing the world unless it has a representationalist meaning ground. Zalabardo rejects this assumption, arguing that sentences with pragmatist meaning grounds can represent the world in exactly the same sense that sentences with representationalist meaning grounds do. This requires that there are states of affairs that the target sentences represent as obtaining, and Zalabardo develops an account of the nature of the states of affairs that can play this role for sentences with pragmatist meaning grounds. Pragmatist Semantics concludes by developing the suggestion that the meaning grounds of all our representational discourses might be ultimately pragmatist. (shrink)

I argue that Epistemic Disjunctivism doesn’t sustain a successful anti-sceptical strategy. I contend, in particular, that the treatment of scepticism that Duncan Pritchard puts forward on behalf of Epistemic Disjunctivism is unsatisfactory.

The subject matter of this paper is the view that it is correct, in an absolute sense, to believe a proposition just in case the proposition is true. I take issue with arguments in support of this view put forward by Nishi Shah and David Velleman.

David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following upon Dedekind’s footsteps in his understanding of pure mathematics. This insight makes it possible to throw new light on the evolution of Hilbert’s foundational ideas, including his early contributions to the foundations of geometry and the real number system. The context of Dedekind-style logicism makes it possible to offer a new (...) analysis of the emergence of Hilbert’s famous ideas on mathematical existence, now seen as a revision of basic principles of the “naive logic” of sets. At the same time, careful scrutiny of his published and unpublished work around the turn of the century uncovers deep differences between his ideas about consistency proofs before and after 1904. Along the way, we cover topics such as the role of sets and of the dichotomic conception of set theory in Hilbert’s early axiomatics, and offer detailed analyses of Hilbert’s paradox and of his completeness axiom (Vollständigkeitsaxiom). (shrink)

In the recent literature on confirmation there are two leading approaches to the provision of a probabilistic measure of the degree to which a hypothesis is confirmed by evidence. The first is to construe the degree to which evidence E confirms hypothesis H as a function that is directly proportional to p and inversely proportional to p . I shall refer to this as the probability approach. The second approach construes the notion as a function that is directly proportional to (...) the true-positive rate – the probability of the evidence if the hypothesis is true, p – and inversely proportional to the false-positive rate – the probability of the evidence if the hypothesis is false, p . These reverse conditional probabilities – of the evidence on the truth or falsehood of the hypothesis – are sometimes known as likelihoods. I shall refer to the approach to confirmation that uses them as the likelihood approach.For each of these approaches, there are two obvious options as to how to define the confirmation function. The first is to define it as the difference between the magnitude that is treated as increasing confirmation or p ) and the magnitude that is treated as decreasing confirmation or p ). The second is to define confirmation as the quotient of these two magnitudes.This yields four different measures of confirmation, represented in the following table: Differences RatiosProbabilities PD = p – p1 PR = Graphic2Likelihoods LD = p – p3 LR = Graphic4All these measures agree on whether or not E provides some support for H. Intuitively, we want to say that E provides some support for H just in case learning that E is true would make us assign a higher probability to H, i.e. when p(H …. (shrink)

Unlike most American novels on the Iraq wars, which tend to be either celebratory or redemptive, Iraqi-born Sinan Antoon’s The Corspe Washer bears witness to the traumatic effects of destitu...

There is a question that has not been raised in the literature on Japan's regionalism: Why does it have a strong tendency toward making the boundary of the proposed East Asian community fluid? By looking back beyond the Greater East Asia Co-Prosperity Sphere of the 1940s, a method hitherto untried, the paper shows that this Japanese propensity was also present in the first half of the twentieth century, especially in the 1920s and 1930s. Moreover, both then and now, Japan did (...) not and does not have a firm adherence to an ideology. These are two similarities between the pre-World War II period and the present (from the 1960s). On the other hand, Japan's present international situation is very different from its pre-World War II position. The paper uses the logic of the comparative method, which states that in two cases that are different in most aspects but the same in some, one or some of the similarities may explain the other similarity or similarities. It concludes that in both periods, the lack of a firm commitment to an ideology explains Japan's prejudice toward boundary fluidity. This explanation has the potential to contribute to a more comprehensive, if not yet a general theory of Japan's approach to regionalism because it applies not only to the present, but to the past as well. And it has to be stressed, the past refers not only to the Greater East Asia Co-Prosperity Sphere of the 1940s but also to the decades before. (shrink)

Evolutionary game theory and public goods games offer an important framework to understand cooperation during pandemics. From this perspective, the COVID-19 situation can be conceptualized as a dilemma where people who neglect safety precautions act as free riders, because they get to enjoy the benefits of decreased health risk from others’ compliance with policies despite not contributing to or even undermining public safety themselves. At the same time, humans appear to carry a suite of evolved psychological mechanisms aimed at curbing (...) free riding in order to ensure the continued provision of public goods, which can be leveraged to develop more effective measures to promote compliance with regulations. We also highlight factors beyond free riding that reduce compliance rates, such as the emergence of conspiratorial thinking, which seriously undermine the effectiveness of measures to suppress free riding. Together, the current paper outlines the social dynamics that occur in public goods dilemmas involving the spread of infectious disease, highlights the utility and limits of evolutionary game-theoretic approaches for COVID-19 management, and suggests novel directions based on emerging challenges to cooperation. (shrink)

The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.

Paul Ricoeur realizó su primera incursión sobre la temática del mal en su primer periodo, conocido como filosofía de la voluntad, que comprende especialmente los libros "Lo voluntario y lo involuntario", "El hombre lábil" y "La simbólica del mal!. Este estudio pretende presentar las claves internas a partir de las cuales Ricoeur realiza su investigación, analizando los conceptos fundamentales sobre los que gira y su posterior desarrollo. También busca incidir en los presupuestos antropológicos de los que parte, para después realizar (...) análisis de las consecuencias éticas que tienen dichos presupuestos. En este sentido se ha prestado una especial atención a la vinculación existente de la investigación de Ricoeur con la teoría del conocimiento kantiana y con la filosofía hegeliana.. (shrink)

El artículo ana liza ciertas tensiones internas en la filosofía del arte de Danto, derivadas de una tensión originaria, la que se da entre esencialismo eternizante e historicismo. Analiza después la definición del arte que ofrece Danto, interpretando que es una definición poco específica, a falta de una mayor caracterización del símbolo artístico. Concluye con la consideración de la tesis de los indiscernibles perceptivos, y el problema que plantea en relación con una de las dos condiciones esenciales del arte, la (...) de la "encarnación del significado", problema que se mantiene a la hora de pensar la belleza artística. (shrink)

Most Latin American scholars treat Latin American nations as a simple study object with similar characteristics. The purpose of this essay is to analyze some myths, stereotypes, realities, and challenges given to one of the most important regions of the world, knowing as Latin America. Latin Americ..

In a recent paper [J. G. Vargas and D. G. Torr, Found. Phys. 27, 599 (1997)], we have shown that a subset of the differential invariants that define teleparallel connections in spacetime generates a teleparallel Kaluza-Klein space (KKS) endowed with a very rich Clifford structure. A canonical Dirac equation hidden in this structure might be uncovered with the help of a teleparallel Kähler calculus in KKS. To bridge the gap to such a calculus from the existing Riemannian Kähler calculus in (...) spacetime, we commence the construction of a teleparallel Kähler calculus in spacetime. In the process, we notice: (a) Unknown to him, one of Einstein's equations in his attempt at unification with teleparallelism states that the interior covariant derivative of the torsion is zero. (b) A mechanism exists in the tangent bundle of teleparallel spaces for producing confinement (in the applicable cases, one would have to show why nonconfinement also occurs, rather than the other way around). (c) When the torsion is not zero, the interior covariant derivative in the sense of Kähler, δF, does not coincide with *d*F. The system (dF = 0, δF = j) rather than (dF = 0, *d*F = j) should then be used for generalizations of Maxwell's electrodynamics. (shrink)

Entendiendo la Estética en su sentido etimológico de "ciencia del sentir", el estudio de la teoría de la sensibilidad se convierte en indispensable para el conocimiento de una estética dada. Sin embargo, rara vez se han estudiado las teorías de la sensibilidad y del conocimiento en la cultura árabe islámica clásica en su dimensión estética, con lo que conceptualizaciones difundidas acerca de la estética árabe e islámica suelen caer en la imprecisión y el juicio apriorístico. Aquí presentamos una aproximación a (...) dicha temática a través de la obra de grandes pensadores andalusíes como Ibn Hazm, Ibn Bayya, Ibn Tufayl, Ibn Rusd, Hazim al-Qartayanni, Ibn `Arabi o Ibn Jaldun, en cuya obra se aprecia una clara, aunque diversa, intención de configurar un sujeto humano perceptor y conocedor, ética y estéticamente definido, con psicologías y conceptos que más tarde hallaremos también en la construcción de la Estética en occidente . (shrink)

O artigo tem por objetivo investigar a particular relação que se estabelece entre a temática do início da filosofia – que é de extrema importância para toda a “escola fenomenológica de Freiburg” – e a concepção da essência da filosofia tal como desenvolvida especificamente no pensamento de Martin Heidegger e Eugen Fink. A partir da reinterpretação e radicalização operadas em relação à abordagem estabelecida pela fenomenologia husserliana, mostraremos como a figura de Husserl se impõe tanto como pano de fundo quanto (...) como alvo polêmico das reflexões de Heidegger e Fink. Assim, se o primeiro desenvolve uma concepção da filosofia como práxis radical de um “outro” pensamento, que procede por tentativas e experimentações, o segundo transforma a fenomenologia husserliana no sentido de uma filosofia da liberdade. (shrink)

Robert Kilwardby on the Human Soul examines Kilwardby’s role in conciliating Aristotelian and Augustinian views on the soul, soul-body relation, and cognition.

I offer an interpretation of Wittgenstein's claim that Russell's theory of judgment fails to show that it's not possible to judge nonsense.

RESUMEN: La violencia es considerada a menudo un elemento consustancial al ámbito internacional: algo que el derecho internacional puede quizá reducir pero no eliminar completamente. Este trabajo se hace eco de las críticas feministas al derecho internacional poniéndolas en relación con los conceptos elaborados por los estudios sobre masculinidades. Que el derecho internacional sea una disciplina históricamente manejada por hombres encuentra su proyección sobre cinco ámbitos: 1) el concepto de estado en tanto que actor principal del derecho internacional, 2) el (...) sistema de fuentes, en particular, los tratados internacionales; 3) la aplicación de las normas internacionales a través de tribunales o paneles de arbitraje; 4) la importancia de la guerra y 5) la doctrina de la responsabilidad de proteger. ABSTRACT: Violence is often seen as an inherent element in the international arena: something that international law can perhaps reduce but not eliminate completely. This work echoes feminist critiques of international law by putting them in relation to the concepts elaborated by studies on masculinities. That international law is a discipline historically handled by men finds its projection on five areas: 1) the concept of state as the main actor of international law, 2) the system of sources, in particular, international treaties; 3) the application of international standards through courts or arbitration panels; 4) the importance of war and 5) the doctrine of the responsibility to protect.PALABRAS CLAVE: filosofía del derecho internacional, estudios sobre masculinidades, violencia, relaciones internacionales, pacifismo jurídicoKEYWORDS: philosophy of international law, masculinity studies, violence, international relations, legal pacifism. (shrink)

The text presents the basic elements for a new, detranscendentalized, poetic-pragmatic paradigm in philosophy, situated between pragmatism and praxis philosophy, a non-foundationalist, non-representationalist, anti-relativistic position essentially opposed to the dominant linguocentric or simply intersubjectivistic ways nowadays generalized in the non-mentalist philosophical scene, as well as it recapitulates the ways of concerted, plural team work and the platform behind the new paradigm’s progressive development.

Este trabalho agencia a obra de Gilles Deleuze e Félix Guattari à educação em ciências ao jogar luzes sobre o deslocamento que permeia a organização deste componente curricular. O uso destes autores para pensarmos a educação em ciências, possibilita a (re)inserção da diferença e da multiplicidade, extirpadas do estrato científico pelo sonho moderno de totalização da realidade – que persiste no pedagógico – por meio da redução conceitual operada pela lógica da identidade. Assim, evidencia as (des)continuidades das práticas entre um (...) estrato e outro, como resultado da força de uma tradição que passa a ser subvertida pelo corte epistemológico deleuzo-guattariano. (shrink)

This paper addresses recent calls to study the role of the state in private regulation. Integrating current scholarship on the state as a catalyst of private regulatory regimes with prior literature on regulatory failure and self-regulation, it identifies and problematizes unsettled assumptions used as a starting point by this growing body of research. The case study traces the evolution of public debates and the interaction of different regulatory initiatives dealing with corporate social responsibility issues in Canada’s mining industry. Findings reveal (...) the conditions under which the state is more likely to encourage firm-level, fragmented initiatives than facilitate and promote industry-wide regulatory strengthening and consolidation. I discuss the need for greater analytical precision regarding the variation in regulatory policy preferences across time and branches of government and the interaction between public and private regulatory initiatives. The conclusion outlines suggested areas for future research as well as the likely outcome of Canada’s current CSR policy framework. (shrink)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

A marked feature of eukaryotic programmed cell death is an early drop in mitochondrial transmembrane potential. This results from the opening of permeability transition pores, which are composed of adenine nucleotide translocators and mitochondrial porins. The latter share striking similarites with bacterial porins, (including down‐regulation of their pore size by purine nucleotides), suggesting a common origin. The porins of some invasive bacteria play a crucial role during their accommodation inside the host cell and this co‐existence resembles the endosymbiotic origin of (...) mitochondria. The above observations suggest that early in eukaryotic evolution, former invaders may have used porin‐type channels to enter their host and to induce its death when the levels of its cytoplasmic purine nucleotides were dropped. The appearance of adenosine nucleotide translocators in the primitive eukaryotes, which permitted usage of the oxidative metabolism of the invaders, provided the basis for the permeability transition phenomena, now linked to the apoptotic process. Bcl‐2‐type molecules, being able to modulate the permeability transition pores by interaction with adenosine nucleotide translocators, may have played an essential role in conferring a means of controlling apoptosis. (shrink)

After two decades in the 21st Century, and despite all the advances in the area, some very important names from past centuries still do not have the recognition they deserve in the global history of library and information science and, specifically, of knowledge organization. Although acknowledged in British librarianship, the name of James Duff Brown still does not have a proper recognition on a global scale. His contributions to a free and more democratic library had a prominent place in the (...) works and projects he developed during his time at the libraries of Clerkenwell and Islington in London. Free access to the library shelves, an architecture centered on books and people, and classifications that are more dynamic were dreams fulfilled by Brown. With this biographical article, we hope to live up to his legacy and pay homage to a true librarian and an advocate of the public library and subject classification. (shrink)