This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the (...) standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. (shrink)

The contrast between the past-future symmetry of mechanical theories and the time-arrow observed in the behaviour of real complex systems doesn’t have nowadays a fully satisfactory explanation. If one confides in the Laplace-dream that everything be exactly and completely describable by the known mechanical differential equations, the whole experimental evidence of the irreversibility of real complex processes can only be interpreted as an illusion due to the limits of human brain and shortness of human history. In this work it is (...) surmised that in the description of real events it would be more reasonable to renounce exactness and completeness of mechanical differential equations, assuming that also further effects exist in nature, governed by different kinds of rules, in spite of being so weak to be directly unobservable in single motions. This surmise can explain not only the time-arrow, but also why, in particular cases, it can happen that approximate and/or statistical models represent an improvement of mechanical theories instead of an approximation: this happened for Boltzmann gas-model and also for the famous work of Max Planck on blackbody-radiation. And it also appears as a more promising “working hypothesis”, stimulating and guiding us to learn more about limits and origin of the basic equations, and also about the nature of chance and the meaning of probability, which is nowadays not clear in spite of the fundamental role it plays in physics. Particularly that kind of probability which gives the connection between quantum–mechanical differential equations and observable events. (shrink)

Different methods are available in clinical ethics consultation. In our experience as ethics consultants, certain individual methods have proven insufficient, and so we use a combination of methods. Based on these considerations, we first critically analyze the pros and cons of two well-known methods in the working field of clinical ethics, namely Beauchamp and Childress’s four-principle approach and Jonsen, Siegler, and Winslade’s four-box method. We then present the circle method, which we have used and refined during several clinical ethics consultations (...) in the hospital setting. (shrink)

L'autore parte dall'analisi dei problemi etici espressi nei linguaggi della poesia, della tragedia e della storiografia, per passare poi alla lettura delle maggiori opere del pensiero antico, fornendo di ognuna puntuali introduzioni. Un'attenzione particolare, alla fine di ogni capitolo, è dedicata all'eredità moderna e al significato attuale dei problemi dell'etica antica, proponendo in modo esplicito un collegamento fra ricostruzione storica e discussione teorica contemporanea.

O presente trabalho busca mostrar o processo de criação sob o ponto de vista da poesia mística de Rumi. Portanto, procura demonstrar como Rumi dá vida, em seus escritos, ao máximo ato vivificador, à beleza com a qual ele entende e transporta, pelas palavras, o conhecimento do ato criador divino. Trata-se, portanto, de mostrar o processo de criação pelo qual as criaturas recebem a filiação do Criador, e como esse elo primordial com a transcendência é então capaz de inspirar todo (...) movimento observado pelo místico em direção ao processo de união, que no caso de Rumi, remete ao movimento de influxo do amor. É pelo amor que as criaturas são chamadas a reconhecer, no mundo e no cosmos os atributos de Deus, dos quais elas participam por filiação. (shrink)

Criticisms à la Laudan can block the “no miracles” argument for the (approximate) truth of whole theories. Realists have thus retrenched, arguing that at least the individual claims deployed in the derivation of novel predictions should be considered (approximately) true. But for Lyons (2002) there are historical counterexamples even to this weaker “deployment” realism: he lists a number of novel predictions supposedly derived from (radically) false claims. But if so, those successes would seem unexplainable, even by Lyons’ “modest surrealism” or (...) other surrogates to realism. In fact, I argue, some of those predictions were an easy guess, or independently probable in the light of available evidence; hence, they are no counterexamples to deployment realism, for the no miracles argument wouldn’t apply to them. In other instances, pace Lyon, the prediction was actually false, and could be reinterpreted as true only by interpreting as true also the claim from which it was derived; or again, a false claim was employed in the derivation of a true prediction, but inessentially, the essential role being played by a weaker true claim. But as soon as the paradoxical air of such historical cases is explained away in any of these manners, they cease to represent counterexamples to deployment realism. If, as I suggest, all of them can be dealt with by these strategies, a theoretical claim can still be assumed to be true if it is crucial in deriving an improbable novel prediction. (shrink)

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive inference, thereby selecting a possible _explanans_ for a conclusion based on a set of previously accepted premises. In this paper, we explore abductive reasoning from a structural proof-theory perspective. We present a hybrid sequent calculus for classical propositional logic that uses sequents and antisequents to define a procedure for identifying the set of analytic hypotheses that a rational agent would be expected to select as _explanans_ when presented with an (...) abductive problem. Specifically, we show that this set may not include the deductively minimal hypothesis due to the presence of redundant information. We also establish that the set of all analytic hypotheses exhausts all possible solutions to the given problem. Finally, we propose a deductive criterion for differentiating between the best _explanans_ candidates and other hypotheses. (shrink)

RESUMO: O presente artigo tem por objetivo investigar a recepção do Tratado Teológico-Político de Espinosa, bem como sua crítica da religião pelo Marquês de Sade, numa obra bastante peculiar e que desafia todas as tentativas de classificação: La Philosophie dans le Boudoir. Em seu "Quinto Diálogo", Sade insere um texto intitulado "Franceses, mais um esforço se quereis ser Republicanos". Através do emprego desse artifício metalinguístico - um livro dentro de um livro - a política é agora introduzida na alcova e (...) o leitor se dá conta de que a instrução de Eugénie não é meramente sexual, mas também uma educação filosófica e política. Por meio de sua crítica ao Cristianismo, na primeira seção do texto, Sade argumenta que a tirania e a superstição religiosa são âmbitos intimamente relacionados, e a teologia é um dos principais alicerces do poder político. ABSTRACT: This article aims to investigate the interpretation by the Marquis de Sade of Spinoza's Theological-Political Treatise. Sade's interpretation appears in a very peculiar work which defies all rigid attempts of classification: La Philosophie dans le Boudoir. In the "Fifth Dialogue", Sade inserts a pamphlet entitled "Yet another effort, Frenchmen, if you would become Republicans". Through the employment of a metalinguistic device - a book inside a book - politics is now introduced into the boudoir, and the reader becomes aware that Eugénie's education is not merely sexual, but also philosophical and political. Through his critique of Christianity in the first section of the pamphlet, Sade argues that tyranny and religious superstition are closely related and that theology is one of the main foundations of political power. (shrink)

Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex it is to use these logics to actually test whether a given (...) graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. (shrink)

This text is based on a reflection on the context and meaning of Maurice Merleau-Ponty’s visit to Mexico in February-March 1949 and the lectures he gave at the Faculty of Philosophy and Letters of the National Autonomous University of Mexico (UNAM). I rely on the information, analysis and notes of Merleau-Ponty that Michel Dalissier offers us in his book Inédits I-II. I devote myself particularly to commenting on the cultural experience that this trip represented for Merleau-Ponty – his relationship with (...) the Mexican philosophy of the Hiperión group – as well as his conception of culture and the relationship between cultures that he exhibits at the time and in the general construction of his own work and philosophy. I support the thesis that the question of a plurality of cultures and interculturality can only be thought in a rigorous way – without falling into cultural relativism or an abstract universalism – through a phenomenological-existential reformulation of the « universal, » as Merleau-Ponty outlines it in the Mexico Conferences. (shrink)

In conversation with Marilyn Strathern’s work on kinship and especially on metaphors of intellectual and reproductive creativity, this paper provides an analysis of plagiarism not as a violation of intellectual property but of the kinship relationships between author, work, and readers. It also analyzes the role of figures of kidnapped slaves and children in the genealogy of the modern concept of plagiarism.

It is often said that television series are nowadays as good as films, or even better than them, but the philosophical inquiry into the former remains much less developed than the philosophy of film. A handful of recent books (e.g., Nannicelli 2016, Shuster 2017, Andrzejewski and Salwa 2018, Bandirali and Terrone 2021) have tried to fill the gap, but there is much work still to be done. Significant contributions to the aesthetics of television series are coming from television studies and (...) fil... (shrink)

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics (...) \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties. (shrink)

Taxation is more than one thing. Taxes can be levied in various ways on various things, with varying effects on a culture and an economy, and raising different challenges of justification.

This article seeks to investigate the role that a symbol—connected to a legal event and a collective trauma—has in the construction of a past imaginary. It begins with a theoretical reflection on the role of the symbol as proposed by Juri Lotman and the function of repetition in the consolidation of collective memory. It subsequently focuses on the semiotic resonance of one specific object: the bulletproof cabin of the Nazi criminal Adolf Eichmann, used during his trial in Jerusalem, in 1961. (...) I consider the ‘afterlives’ of this object, examining the different ‘remakes’ of Eichmann’s cabin in several mediatic and artistic contexts, focusing on the modalities that have anchored it to the post-1961 imaginary of the perpetrator and the legal consequences of his actions. To do so, the article proposes a typology of uses of the cabin, identifying the different nuances of its representation and how they encapsulate the thorny issues surrounding that infamous legal event. (shrink)

In contrast to Capra’s interpretation of Maturana’s work, I argue that the autopoietic theory does not establish an intrinsic, necessary link between life and cognitive/mental phenomena, and that given its functionalist approach, the theory helps very little to overcome the Cartesian division between mind and body.

Este artigo procura apresentar algumas considerações acerca do entrecruzamento do pensamento político de Hannah Arendt e a questão ambiental. Para tanto, o seguinte questionamento servirá de guia para a reflexão aqui pretendida: se o âmbito natural é perturbado pelas ações humanas, é razoável a crença de que a própria ação humana possa ser capaz de frear o atual cenário de catástrofe? Assim sendo, assume-se, aqui, como procedimento metodológico uma análise bibliográfica que recorre ao livro A condição humana (The human condition, (...) 1958 [2010]) e alguns ensaios da coletânea Entre o passado e o futuro (Between Past and Future, 1961 [2009]). De modo geral, busca-se desenvolver o argumento de que embora não se possa enquadrar Hannah Arendt no rol das “historiadoras das ciências”, tampouco uma “pensadora da ecologia”, é certo que ela nunca deixou de se interessar e comentar os eventos científicos de seu tempo, bem como de se preocupar com as consequências das ações humanas. Logo, os assuntos relacionados aos avanços tecnológicos e científicos constituem assuntos de primeira grandeza e importância tanto para o mundo quanto para a política. Em suma, pretende-se sustentar a hipótese de que para Hannah Arendt, a imagem adotada da natureza – ao menos desde a época moderna –, e as ações humanas cometidas a partir desta compreensão, afetam diretamente nossa existência política. (shrink)

Al maestro inglese sono attribuite due opere di logica: la Logica sive tractatus de veritate propositionum e le Consequaentiae, entrambe scritte molto probabilmente intorno al 1360. In queste opere Ferrybridge elabora due teorie dell'inferenza, diverse tra loro e caratterizzate in modo originale rispetto alla tradizione coeva. Nel presente saggio l'A. si propone di ricostruire ed analizzare le due teorie, individuandone analogie e differenze e tentando di determinare la loro posizione nell'ambito della tradizione logica medievale, con riferimento alle tesi di Buridano, (...) Pietro di Mantova, Paolo Veneto, Walter Burley. Dopo un'analisi contenutistica dei due testi, l'A. giunge a stabilire tre importanti differenze tra essi: la prima è costituita dal fatto che nella Logica viene formulato esplicitamente un criterio generale per determinare la necessità di un enunciato condizionale, mentre nelle Consequaentiae non vi è traccia di tale tentativo; la seconda riguarda il fatto che mentre nelle Consequaentiae viene rifiutata la validità delle consequaentiae con antecedente impossibile o conseguente necessario, nella Logica tale validità viene pienamente accettata; la terza differenza infine è data dalla diversa classificazione delle consequaentiae formulata nelle due opere. In appendice viene pubblicata l'ultima parte della Logica e cioè un trattato dedicato alla determinazione delle condizioni secondo cui un enunciato condizionale è necessario. (shrink)

The ArgumentI propose a revisionist account of the production and reception of Galileo's telescopic observations of 1609–10, an account that focuses on the relationship between credit and disclosure. Galileo, I argue, acted as though the corroboration of his observations were easy, not difficult. His primary worry was not that some people might reject his claims, but rather that those able to replicate them could too easily proceed to make further discoveries on their own and deprive him of credit. Consequently, he (...) tried to slow down potential replicators to prevent them from becoming competitors. He did so by not providing other practitioners access to high-power telescopes and by withholding information about how to build them. This essay looks at the development of Galileo's monopoly on early telescopic astronomy to understand how the relationship between disclosure and credit changed as he moved from being an instrument-maker to becoming a discoverer and, eventually, a court philosopher. (shrink)