In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous manner. CondLean also comprises a graphical interface written in Java. Furthermore, we introduce a goal-directed proof search mechanism, (...) derived from the above mentioned sequent calculi based on the notion of uniform proofs. Finally, we describe GOALDUCK, a simple SICStus Prolog implementation of the goal-directed calculus mentioned here above. Both the programs CondLean and GOALDUCK, together with their source code, are available for free download at. (shrink)

In dynamical systems models feedforward is needed to guide planning and to process unknown and unpredictable events. Feedforward could help Theory of Event Coding (TEC) integrate control processes and could model human performance in action planning in a more flexible and powerful way.

We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only Necessity or Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. We thereby obtain a lattice of 24 distinct bimodal logics. For all logics we provide both a Hilbert (...) axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then define a semantic characterisation of our logics in terms of neighbourhood models containing two distinct neighbourhood functions corresponding to the two modalities. Our semantic framework captures modularly not only our systems but also already known intuitionistic non-normal modal logics such as Constructive K and the propositional fragment of Wijesekera’s Constructive Concurrent Dynamic Logic. (shrink)

En diciembre de 2011, Samba Martine, interna del Centro de Internamiento para Extranjeros de Aluche, muere de una infección evitable por no haber sido diagnosticada y tratada de manera adecuada, a pesar de haber solicitado insistentemente asistencia sanitaria. La madre de Samba, con el apoyo de varias entidades sociales, denuncia los hechos y llega a los tribunales. Ocho años más tarde, en junio de 2019, se anuncia la absolución por homicidio imprudente del único responsable procesado. Nueve años más tarde, en (...) octubre de 2020, el Ministerio de la Presidencia, Relaciones con las Cortes y Memoria Democrática emite una Resolución por la que se atiende la reclamación de responsabilidad patrimonial por el fallecimiento de Samba Martine. Tomando como punto de partida este caso, este trabajo tiene como objetivo analizar los factores que hacen de él un ejemplo de injusticia epistémica en tres niveles interrelacionados: micro, meso y macro. La relevancia de esta propuesta radica en mostrar cómo la dejación de funciones por parte de la Administración y sus instituciones contribuye a generar una ignorancia, que, combinada con la falta de credibilidad del testimonio de la víctima, tiene como resultado final su muerte. Lejos de ser un caso anecdótico, situaciones de injusticia epistémica como esta forman parte de la cotidianeidad de numerosas personas migrantes indocumentadas, que después de periplos de sufrimiento terminan internadas en limbos legales como los CIE. (shrink)

ABSTRACT In contemporary societies, governance is becoming governance by experts or under expert advice. This paper offers a survey of the basic conceptual schema that underlies some legal and political uses of knowledge, which has been traditionally based on a two-fold principle of distribution of epistemic labour between public officials and experts. Building on the example of the European system of comitology and, particularly, on the European experiences in the field of nanotechnology regulation, where expert advice has proved to be (...) particularly controversial, I will argue that the principal-agent logic that has been conventionally placed at the core of the relationship between public authorities and experts must be enhanced or specified. Facing situations of qualified uncertainty, when epistemic privilege of experts tends to decline because of the absence of conclusive evidence, the standard division of epistemic labour becomes blurred and crucial questions of justice come to the fore. Moreover, I will show that, at that point, the demand for lay people participation becomes increasingly compelling. The underlying context of this discussion is the understanding that both politics of knowledge and politics of ignorance are already playing a crucial role in the governance of our increasingly ungovernable democracies. (shrink)

In this work we propose a labelled tableau method for ukasiewicz infinite-valued logic L . The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for L validity by reducing the check of (...) branch closure to linear programming. (shrink)

The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle, which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G may be inferred from a database if every top-down derivation of (...) G from the database finitely fails, i.e., contains a failure node at finite height.Our purpose is to give a logical interpretation of the underlying operational semantics. In the present work we take into consideration only the basic problems of determining such an interpretation, so that our analysis will concentrate on the propositional case. Nevertheless we give an intuitive account of how to extend our results to a first order language. A full treatment of N-Prolog with quantifiers will be deferred to the second part of this work. (shrink)

Al principio este trabajo iba a tratar sobre por qué el antropocentrismo es un problema irrelevante para las discusiones de bioética y deberíamos prescindir de él. El argumento era que sostener una actitud antropocéntrica, tanto moderada como dura, tenía las mismas consecuencias a nivel práctico. Un antropocentrista apelará a la utilidad del medio ambiente y de las especies que en él habitan para la vida humana; y por ello sería importante que cuidara del ecosistema para mantener dichos beneficios. Por otro (...) lado, un no antropocentrista apelará a que los animales y el ecosistema cuentan con una suerte de valor intrínseco y deberíamos cuidarlos atendiendo a dicho valor. Es por ello que las distinciones sólo podrían verse a un nivel teórico. (shrink)

Barlow's concept of the exploitation of environmental statistical regularities may be more plausibly related to brain mechanisms than Shepard's notion of internalisation. In our view, Barlow endorses a bottom-up approach to neural coding and processing, whereas we suggest that feedback interactions in the visual system, as well as chaotic correlation dynamics in the brain, are crucial in exploiting and assimilating environmental regularities. We also discuss the “conceptual tension” between Shepard's ideas of law internalisation and evolutionary adaptation. [Barlow; Shepard].

The logic of Conditional Beliefs has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied. First, a natural semantics forCDLis defined in terms of neighbourhood models, a multi-agent generalisation of Lewis’ spheres models, and it is shown that the axiomatization ofCDLis sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics (...) is equivalent to the original one defined in terms of plausibility models, by means of a direct correspondence between the two types of models. On the basis of neighbourhood semantics, a labelled sequent calculus forCDLis obtained. The calculus has strong proof-theoretic properties, in particular admissibility of contraction and cut, and it provides a decision procedure for the logic. Furthermore, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic. Finally, it is shown that other doxastic operators can be easily captured within neighbourhood semantics. This fact provides further evidence of the naturalness of neighbourhood semantics for the analysis of epistemic/doxastic notions. (shrink)

In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. We (...) then show that for most of the systems under consideration the labelling mechanism can be avoided by choosing an appropriate way of structuring theories. One peculiar feature of our proof systems is the use of restart rules which allow to re-ask the original goal of a deduction. In case of K, K4, S4 and G, we can eliminate such a rule, without loosing completeness. In all the other cases, by dropping such a rule, we get an intuitionistic variant of each system. The present results are part of a larger project of a goal directed proof theory for non-classical logics; the purpose of this project is to show that most implicational logics stem from slight variations of a unique deduction method, and from different ways of structuring theories. Moreover, the proof systems we present follow the logic programming style of deduction and seem promising for proof search [Gabbay and Reyle 84, Miller et al. 91]. (shrink)

Product logic Π is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0,1], while Cancellative hoop logic CHL is a related logic with connectives interpreted as for Π but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Π and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.

Este trabajo iba a tratar sobre por qué el antropocentrismo es un problemairrelevante para las discusiones de bioética, y deberíamos prescindir de él.El argumento era que sostener una actitud antropocéntrica, tanto moderadacomo dura, tenía las mismas consecuencias a nivel práctico. Un antropocentristaapelará a la utilidad del medio ambiente y de las especies queen él habitan para la vida humana; y por ello sería importante que cuidaradel ecosistema para mantener dichos beneficios. Por otro lado un no-antropocentrista,apelará a que los animales y (...) el ecosistema cuentan con unasuerte de valor intrínseco y deberíamos cuidarlo apelando a dicho valor. Espor ello que las distinciones sólo podrían verse a un nivel teórico. (shrink)

In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl''s ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors'' Triviality Result.

In this paper we propoee a logic programming language which supports hypothetical updates together with integrity constraints. The language makes use of a revision mechanism, which is needed to restore consistency when an update violates some integrity constraint. The revision policy adopted is based on the simple idea that more recent information is preferred to earlier one. We show how this language can be used to represent and perform several types of defeasible reasoning. We develop a logical characterization of the (...) language in a three-valued conditional logic, by introducing a completion construction. We show that the operational semantics is sound and complete with respect to the completion construction. (shrink)

The 'Enciclopedia Filosofica' is an encyclopaedia of philosophical topics promoted by the Centre for Philosophical Studies of Gallarate and published, in its third and last edition in 2006, by the Bompiani publishing house in Milan. The first edition of the 'Enciclopedia Filosofica' was promoted by the Centre for Philosophical Studies of Gallarate in the 1950s, seeing the light in 1957-58. A second edition, published by the Sansoni publishing house in Florence, was published in 1968-69 and reprinted in 1979. The third (...) and last edition, published by Bompiani in 2006, is intended to cover the whole of philosophical knowledge and related disciplines with over ten thousand entries edited by about a thousand academics, both Italian and non-Italian, and distributed in twelve volumes for a total of 12,496 pages. (shrink)

The title of this collection of studies alludes to the revolt against formalism in modern art, as opposed to the various kinds of formalized analysis to which art is today subjected, both by the critic and by the aesthetician. Although the names of the contributors—Alquié, Zolla, Brun, Dufrenne, Giorgi, Olivetti—are all remembered in connection with outstanding materials in this field, the contributions to this volume are unequal in value. Those of Dufrenne and Giorgi make the book required reading for (...) anyone attempting to go beyond the more heavy-handed formalism of much of the Aristotelian, Kantian and even pragmatist literature on aesthetics. Dufrenne's chapter deals with the a priori of the imagination, which for him is realistic, thanks to the affinity between the expressive power of the cosmic and the semantic core of the word. This affinity crystallizes in what he calls ontological qualities. Four of these latter qualities are studied, viz., elementariness or naturality, potency, depth and purity. Giorgi defends the thesis of the linguistic character of artistic expression. She is well aware of the ambiguity factor in symbols, but this is overcome by the relationality of the latter, a relationality that allows them to act as interpretants of objects in a representative role. In the study of the process of recognition of semantic value in artistic structures, Giorgi shows a resourceful command of suggestions from information theory, linguistics, visual arts and mythical thought. The flexibility acquired through these means of analysis justifies perhaps a critical attitude towards the more formalistic conceptions of metaphor and of artistic categories.—A. M. (shrink)

EM Forster’s short story “The Machine Stops” from 1909 is widely reread and discussed again for some ten years as it portrays a science-fiction world resting on similar technological advancements as today in the digital era. Also management literature reviewed the short story with regard to centralized decision making, rationality and totalitarianism. I argue instead, that the main theme of the short story is – in Forster’s own words – the closing of a civilization in times of transition and facing (...) major challenges. I built the argument by original quotes from Forster and by portraying the years 1906–9, when Forster developed the short story. This era before the Great War starting in 1914 was characterized by euphoric ‘futurism’ based on groundbreaking innovations like ‘long distance messaging’, ‘penny post’, ‘animated films’, Ford’s assembly line, ‘Olivetti typewriter’, ‘feature film’, ‘large ships’ and ‘air transportation’ – the ingredients of the short story as I argue. At the same time these acquitted years were characterized by increasing disintegration, instability, rebellions and a financial crisis with bailout programs. Based on the analogy and as part of speculative philosophy I reconstruct the current great challenges with Forster’ shadow of fatalism and arrive at the urgency to put more effort in addressing and researching pathways out of the crisis and towards stabilization of business and society. (shrink)

After the Second World War, Italy experienced an economic miracle accompanied by the emergence of a material culture highly dense with meaning. This article adopts a second-order approach, which focuses on two concepts that emphasize the component of invention contained within the innovation process.Garboindicates the peculiarly Italian way of solving a constrained optimization problem in the design of everyday objects. Meanwhile, the concept ofcenacolo– whose etymological roots indicate conviviality and good living – made possible the study of the peculiar social (...) networks of the Milanese cultural landscape during the 1960s, which enabled important cross-fertilizations between industry, culture and art. To demonstrate the connections between invention andgarboandcenacoli, the examples of Olivetti (key player in then-nascent personal computer technology) and Bialetti (producer of the Moka coffee machine) are used as case studies of innovative solutions to constrained problems. Following an outline of elements promoting the success of each, the article identifies historically determined mechanisms, which enable us to imagine and (potentially) establish the evolutionary conditions for new pathways of invention. (shrink)

We study the topic of realization from classical justification logics in the context of the recently introduced Gödel justification logics. We show that the standard Gödel modal logics of Caicedo and Rodriguez are not realized by the Gödel justification logics and moreover, we study possible extensions of the Gödel justification logics, which are strong enough to realize the standard Gödel modal logics. On the other hand, we study the fragments of the standard Gödel modal logics, which are realized by the (...) usual Gödel justification logics. We prove the corresponding realization theorem by using Fitting’s merging of realizations as well as appropriate hypersequent calculi on the modal side, adapting the work by Metcalfe and Olivetti. For these hypersequent calculi, we also show a cut-elimination theorem. We provide natural semantical characterizations for all of these newly introduced logics. (shrink)

Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen’s system LK. Hence proving lower bounds for credulous reasoning will be as hard as proving lower (...) bounds for LK. On the other hand, we show an exponential lower bound to the proof size in Bonatti and Olivetti’s enhanced calculus for skeptical default reasoning. (shrink)

It is often argued that the existence of qualia -- private mental objects -- shows that physicalism is false. In this paper, I argue that to think in terms of qualia is a misleading way to develop what is in itself a valid intuition about the inability of physicalism to do justice to our conscious experience. I consider arguments by Dennett and Wittgenstein which indicate what is wrong with the notion of qualia, but which by so doing, help us to (...) locate the real problem for physicalism. This is not that there may be mental as well as physical objects of which we are aware, but that the very notion of awareness is itself resistant to physicalist treatment. In the concluding sections, I draw on Wittgenstein's positive account of sensations, to suggest a way in which the apparent chasm separating objective and subjective viewpoints might be bridged in a non-reductive fashion. (shrink)

Svoeobrazie nravstvennykh vozreniĭ K.N. Leontʹeva. Istoki ėticheskikh vzgli︠a︡dov K.N. Leontʹeva ; Fenomen "ėsteticheskogo amoralizma" -- Fenomen ėskhatologicheskoĭ ėtiki. Vizantizm kak nravstvennyĭ ideal ; Pravovoĭ ideal K.N. Leontʹeva v kontekste ėskhatologicheskoĭ ėtiki.

This paper presents several results on the non-commutative fuzzy logic HpsUL, a Hilbert system whose corresponding algebraic semantics is the variety of bounded representable residuated lattices. In particular, we prove that HpsUL is not complete with respect to algebras based on the real unit interval, which answers the question posed by Metcalfe, Olivetti and Gabbay and shows that HpsUL is not the logic of pseudo-uninorms and their residua.

Study of the works of Devacandragaṇi, Jaina philosopher.