An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...) the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about the comma (...) in typical multiple-conclusion systems, and vice versa. (shrink)

The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs to (...) satisfy a transparency principle to fulfil the infinitary function. Picollo and Schindler (Erkenntnis 83:899–928, 2017) argue against this idea. They prove that, given certain assumptions, an elimination principle is sufficient for the purpose. Then, they pose a challenge: to show why we should incorporate introduction principles to our theory of truth. In this essay I take on the challenge. I show that, given the authors’ assumptions, an introduction principle is also sufficient to perform the infinitary function. (shrink)

In philosophical logic and proof theory, we often find multiple-conclusion systems that induce a conjunctive reading of premises and a disjunctive reading of conclusions. In mathematical logic, in contrast, we often find multiple-conclusion systems that induce a conjunctive reading of both premises and conclusions. This paper studies some technical and philosophical aspects of this latter approach to multiple-conclusion consequence. The takeaway is that, while the importance of disjunctive multiple conclusions is beyond doubt, conjunctive multiple conclusions also have philosophical interest. First, (...) because there is some evidence that there are arguments with conjunctive multiple conclusions in natural language. Second, because conjunctive multiple conclusions are compatible with the reflexivity and transitivity of logical consequence, and this allows them to cohere better with some of our best accounts of what logical consequence is. (shrink)

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...) part about (a property related to) the soundness of arguments. (shrink)

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...) that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

Narrative medicine explores the stories that patients tell; this paper, conversely, looks at some of the stories that patients are told. The paper starts by examining the ‘story’ told by the Shambaa people of Tanzania to explain the bubonic plague and contrasts this with the stories told by Ghanaian communities to explain lymphatic filariasis. By harnessing insights from memory studies, these stories’ memorability is claimed to be due to their use mnemonic devices woven into stories. The paper suggests that stories (...) can be unpatronising, informative, and appropriate vehicles for communicating medical information to all age groups across all cultures. (shrink)

A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...) In this paper we tackle this expressive issue. We assume some background sentential language as given and define what we call an inferential language, that is, a language whose atomic formulas are inferences. We provide a model-theoretic characterization of validity for this language—relative to some given characterization of validity for the background sentential language—and provide a proof-theoretic analysis of validity. We argue that our novel language has fruitful philosophical applications. Lastly, we generalize some of our definitions and results to arbitrary metainferential levels. (shrink)

Aristóteles comparte con Platón la concepción de la forma como causa del ser y del conocimiento de las cosas. Sin embargo, un análisis de sus críticas a las Ideas muestra que encuentra en la separación de las Ideas y las cosas sensibles la aporía fundamental de la teoría platónica. Con el propósito de circunscribir el significado de “separación” aplicable a las Ideas, concentraremos nuestro estudio en dos objeciones: 1) el argumento que conduce al tercer hombre y 2) la inutilidad de (...) las Ideas como causas. En el primer caso, creemos que la separación entraña homonimia, por lo que la solución aristotélica implicará la comunidad de naturaleza entre el individuo y su esencia. En el segundo, la separación implica trascendencia o falta de contacto entre generante y generado, por lo que la solución aristotélica apuntará a concebir la forma de las entidades naturales como un principio inmanente, inseparable de la materia y del movimiento, pero a la vez eterno a través de su reproducción en otros individuos de la misma especie. Creemos que en ambas soluciones opera un principio de sinonimia, que constituye su propia contribución al problema de la separación. (shrink)

La exposición y crítica de las doctrinas antiguas tiene un lugar importante en los escritos de Aristóteles. Sin embargo, ciertas dudas se han vuelto corrientes acerca de la confiabilidad de sus descripciones. Más aún, se ha sostenido que Aristóteles deforma la comprensión histórica a través de la introducción de conceptos y términos propios. En este libro se aborda el problema a través de un análisis de las críticas que Aristóteles dirige a la teoría platónica de las Ideas, que permite explicar (...) la constitución y desarrollo de importantes conceptos aristotélicos a partir de la confrontación dialéctica con las doctrinas de su maestro. En efecto, las dificultades genuinas que Aristóteles descubre en el platonismo constituyen el motor para gestar nuevos conceptos, que no son ajenos, sino que surgen como implicaciones del examen crítico. Así, la imposición de términos propios no debe interpretarse como distorsión, sino como el modo que Aristóteles adopta para exhibir su particular solución a los problemas que los filósofos anteriores dejaron sin solución. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué sentido la validez (...) es una propiedad formal. La segunda sección contiene la introducción histórica; nos detenemos, en particular, a estudiar dos hitos: el nacimiento de la lógica como disciplina con Aristóteles, y la intervención de Gottlob Frege, a quien se debe, en gran parte, el surgimiento de la lógica tal como la conocemos. Finalmente, damos un breve comentario del estado actual de la disciplina. (shrink)

Traditionally, the key features of the family system of Eating Disorders have been considered those originally outlined by Minuchin in his description of the "psychosomatic" family patterns of interaction. This controlled study tests two of the principal characteristics of Minuchin's model, namely enmeshment and rigidity, operationalised as extreme cohesion and low adaptability. Perceived and desired cohesion and adaptability, measured with the FACES III, were compared between 30 clinical families and 30 non-clinical families. Differences across ED family members were also considered, (...) as well as differences between ED symptomatological subgroups . High cohesion scores were found in ED families, but similar findings were also reported in control families. Cohesion scores were significantly higher in restricting anorectics than in patients with bulimic symptoms. Adaptability was normal in both ED and control families. This study does not support Minuchin's observations on family enmeshment and rigidity. Although high levels of cohesion were found in ED families, the same relational pattern was found in the control families, suggesting that a tendency to a hyper-involvement of family members might be "normal" in some sociocultural contexts. (shrink)

Between Giuseppe Peano and Camillo Berneri, a foremost protagonist of the Italian anarchist movement, an interesting correspondence was exchanged in the years 1925-1929. Along with a presentation of the correspondence, Peano's political attitude and the role of his international language projects in early 20th century Italian left are discussed.

La Cappella Carafa di Santa Severina, nella chiesa di San Domenico Maggiore a Napoli, era uno dei luoghi preferiti della giovinezza di Giordano Bruno. La sua struttura, che ricorda il teatro di Giulio Camillo, e la presenza di trenta simboli astrologici scolpiti sugli archi, la rendono la “stanza della memoria” ideale per l’applicazione dell’innovativa arte della memoria sviluppata dal filosofo Nolano. -/- The ‘memory place’ of Giordano Bruno. The Carafa of Santa Severina Chapel in the church of San Domenico (...) Maggiore, Naples, was one of the favourite places of Giordano Bruno’s youth. Its structure, similar to that of Giulio Camillo’s theatre, and the presence of thirty astrological symbols carved on the arches, make it the ideal ‘memory place’ for the application of the innovative ‘art of memory’ developed by the philosopher. (shrink)

Authors: Joseph M. Eble, John A. Di Camillo, Peter J. Colosi. --- NEWS RELEASE For Immediate Release February 27, 2024 Contact: Joseph M. Eble, MD Corresponding author 919-667-5206 -/- The statement, Catholics United on Brain Death and Organ Donation: A Call to Action (HTML), was published on February 27, 2024. It was prepared by Joseph Eble, a physician and President of the Tulsa Guild of the Catholic Medical Association; John Di Camillo, an ethicist of The National Catholic Bioethics (...) Center; and Peter Colosi, a philosophy professor at Salve Regina University. -/- Catholic United explains that the criteria for brain death establish only partial loss of brain function. This is now abundantly clear based on scientific studies, a recent effort to lower the legal standard for death, and updated brain death guidelines issued in October 2023. -/- Catholics United bridges a divide among faithful Catholics about whether the concept of brain death aligns with Church teaching. Some Catholics hold that brain death represents true death when there is complete and irreversible cessation of all brain activity, often called whole brain death. Others hold that brain death does not represent true death. Since the existing criteria establish only partial loss of brain function, all the endorsers—whether they accept or reject whole brain death as true death—agree that “the current brain death criteria in widespread use do not provide moral (prudential) certainty of death.” -/- Catholics United calls on health care professionals and institutions to cease organ harvesting that relies on the inadequate criteria, noting that 70% of all donors are declared dead using brain death criteria. “Given the lack of moral certainty of death whenever the current brain death criteria are used,” the statement affirms, “a clear majority of vital organ donors can be presumed alive at the time of organ harvesting.” Since the Catholic Church forbids removing vital organs when this would kill the patient, “it is therefore wrong to remove organs from patients declared dead using these inadequate criteria.” . (shrink)

En este trabajo realizo un examen crítico del reciente libro de Silvana Gabriela Di Camillo sobre la crítica de Aristóteles a la teoría platónica de las Ideas. El libro de Di Camillo es un trabajo muy serio cuya lectura recomiendo ampliamente. Sin embargo, considero que cuatro de las principales tesis que la autora defiende tienen varias dificultades y mi objetivo aquí es presentar argumentos detallados en contra de ellas: la interpretación de la distinción entre argumentos más y menos (...) rigurosos del tratado Sobre las Ideas; la tesis de que la separación es el blanco esencial de las críticas aristotélicas a las Ideas; la interpretación de las opciones que Platón tiene para responder al argumento del tercer hombre, y la tesis de que la separación de las Ideas debe entenderse como homonimia. In this paper I examine Silvana Gabriela Di Camillo's recent book on Aristotle's criticisms of Plato's theory of Ideas. Di Camillo's book is a very serious work that I highly recommend. Nevertheless, I consider that four of the main theses that the author defends face several difficulties and my aim here is to offer detailed arguments against them: the interpretation of the distinction between more and less accurate arguments of the treatise On Ideas; the thesis that separation is the essential target of Aristotle's criticisms against Plato's Ideas; the interpretation of the options available to Plato to reply to the third man argument; and the thesis that the separation of Ideas should be understood as homonymy. (shrink)

Praktykowanie teorii. Koncepty wczesnych prac Daniela Libeskinda jako wzorce realnej architektury Treści wczesnych prac Libeskinda, w tym zwłaszcza idee zawarte w cyklach rysunków pod nazwą Micromegas: The Architecture of End Space (1979) i Chamber Works: Architectural Meditations on the Themes from Heraclitus (1983) oraz trzy maszyny określone jako Three Lessons in Architecture (1985) w decydujący sposób wpłynęły na wszystkie późniejsze realizacje architekta. Prace te w dużym zakresie zmieniły zasady oddzielania teorii od praktyki budowlanej, w tym tak- że odgraniczania architektury od (...) literatury czy filozofii. Już Micromegas były polemiką z traktowaniem rysunku architektonicznego wyłącznie jako utylitarnego narzędzia w procesie stwarzania budowli i postawiły na uczynienie z tej techniki pełnoprawnej postaci realnej architektury. Chamber Works w jeszcze większym stopniu niż prace z serii Micromegas akcentowały samodzielność rysunku i jego odrębność od wszelkiej rzeczywistości czy zewnętrznych źródeł treści. Maszyny połączone w Three Lessons in Architecture streszczały dokonania dawnych epok historii sztuki budowania. Reading Machine opowiadała o rzemieślniczych początkach, Memory Machine o intelektualizmie okresu nowożytnego, Writing Machine zaś o współczesnym okresie mechanizacji pamięci i kreacji. Zadaniem maszyn była metafizyczna refleksja nad głównymi założeniami i mitami architektury, a zarazem przeniesienie tej refleksji na poziom doświadczenia zmysłowego. W berlińskim Jüdisches Museum wymyślone liternictwo architektoniczne połączyło się z narracją na temat zagłady żydowskich mieszkańców miasta. Libeskind wykreował nie tyle budowlę,ile literacką relację o zbrodni przełamującej historię ludzkość. (shrink)