The article looks into the recent magisterium of the Church on the death penalty and deems it an instance of the development of doctrine rather than a circumstantiated reaction. It then dwells on the thinking that constitutes the backbone of the Encyclical Evangelium Vitae and compares and contrasts it with the various pronouncements of the teaching office of the Church, and with the two editions of the Cathechism of the Catholic Church. When one carefully examines the issue, human dignity and (...) its consequent human rights - among which one must mention the inalienable right to life - emerge as the hermeneutical cog of the problem. Together with the personalistic views of Vatican II, such a hermeneutic asks for a rethinking of the ethical norms in penal law which, in a clearer and more definitive way - per se, and not simply per accidens -, must then declare the moral implausibility of death whenever it is meted out as punishment. A death inflicted on someone else can only be justified within the strict and rigorous condition of legitimate self-defence. (shrink)

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

On a popular view dating back to Russell, descriptions, both definite and indefinite alike, work syntactically and semantically like quantifiers. I have an argument against Russell's view. The argument supports a different picture: descriptions can behave syntactically and semantically like variables. This basic idea can be implemented in very different systematic analyses, but, whichever way one goes, there will be a significant departure from Russell. The claim that descriptions are variables is not new: what I offer is a new way (...) of defending it. The argument centers on attitude reports. I argue that we should recognize a new reading of descriptions under attitude reports, which I call ‘singular opaque’. The existence of this reading cannot be explained on the traditional Russellian view, and demands a switch to the variable view. Along the way, some interesting new facts about attitude reports come to light. (shrink)

Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic NI\. It is however well known that the translation does not preserve the relations of identity among derivations induced by the permutative conversions and immediate expansions for the definable connectives, at least when the equational theory of NI\ is assumed to consist only of (...) \- and \-equations. On the basis of the categorial interpretation of NI\, we introduce a new class of equations expressing what in categorial terms is a naturality condition satisfied by the transformations interpreting NI\-derivations. We show that the Russell–Prawitz translation does preserve identity of proof with respect to the enriched system by highlighting the fact that naturality corresponds to a generalized permutation principle. Finally we sketch how these results could be used to investigate the properties of connectives definable in the framework of higher-level rules. (shrink)

Axel Honneth is internationally renowned for being one of the leading political and social philosophers of our time, and is highly regarded for his work on recognition and the struggles for recognition. In this interview, he discusses his work over the past four decades, starting from the rise of his intellectual vocation to his most recent book on the sovereignty of work. The text is a transcript, revised by the author, of the dialogue Honneth had with his interviewers and the (...) audience at the masterclass held on 24 May 2023 at the University of Trento, as part of the first series of lectures “Voices from Contemporary Philosophy”. (shrink)

Current deep neural networks (DNNs) are far from being able to model the rich landscape of human visual experience. Beyond visual recognition, we explore the neural substrates of visual mental imagery and other visual experiences. Rather than shared visual representations, temporal dynamics and functional connectivity of the process are essential. Generative adversarial networks may drive future developments in simulating human visual experience.

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .

We associate with any abstract logic L a family F(L) consisting, intuitively, of the limit ultrapowers which are complete extensions in the sense of L. For every countably generated [ω, ω]-compact logic L, our main applications are: (i) Elementary classes of L can be characterized in terms of $\equiv_L$ only. (ii) If U and B are countable models of a countable superstable theory without the finite cover property, then $\mathfrak{U} \equiv_L \mathfrak{B}$ . (iii) There exists the "largest" logic M such (...) that complete extensions in the sense of M and L are the same; moreover M is still [ω,ω]-compact and satisfies an interpolation property stronger than unrelativized ▵-closure. (iv) If L = L ωω(Q α ) , then $\operatorname{cf}(\omega_\alpha) > \omega$ and $\lambda^\omega for all $\lambda . We also prove that no proper extension of L ωω generated by monadic quantifiers is compact. This strengthens a theorem of Makowsky and Shelah. We solve a problem of Makowsky concerning L κλ -compact cardinals. We partially solve a problem of Makowsky and Shelah concerning the union of compact logics. (shrink)

We examine the question of material agency as raised in material engagement theory (MET). Insofar as MET tends to highlight the causal roles played by extra-bodily material flows in human practices, the term “material agency” does not sufficiently distinguish cases in which these flows are part of an agentive engagement from cases in which they are not. We propose an operational criterion to effect such a distinction. We claim this criterion is organizational, i.e., systemic, and not causal. In the enactive (...) account, agency requires three organizational conditions: self-individuation, interactional asymmetry, and normativity. These conditions can have organic, sensorimotor, and sociomaterial realizations. The dance of human productive practices is indeed spread between brains, bodies, and the world, as MET claims, but it is distributed in an organized manner that involves constraints and norms at various scales. We put forward a relational and non-anthropocentric perspective toward an enactive approach to productive practices. We discuss some aspects of agentive ensembles rendered more intelligible by our proposal, including incorporation, soft assembly and non-decomposability, and the grounding of teleology normative processes at multiple scales. In this manner, we seek to continue the dialog between MET and enactive theory, beginning with the view that a situated system must realize certain minimal organizational conditions to be called an _agent_. (shrink)

The aim of the paper is to discuss the influence exercised by Russell's thought inGöttingen in the period leading to the formulation of Hilbert's program in theearly twenties. I show that after a period of intense foundational work, culminatingwith the departure from Göttingen of Zermelo and Grelling in 1910 we witnessa reemergence of interest in foundations of mathematics towards the end of 1914. Itis this second period of foundational work that is my specific interest. Through theuse of unpublished archival sources (...) I will describe how Hilbert, Behmann, and Bernays,among others, were influenced by and reacted to the technical and philosophical thesespresented in Principia Mathematica. I also argue that there are some elements of continuity between Russell's approach and Hilbert's program as it was presented inthe early twenties. (shrink)

We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if λ > ωα then the logic with the quantifier “there existα many” is (λ,λ)-compact if and only if either λ is weakly compact or λ is singular of cofinality<ωα. As a corollary, for every infinite cardinals λ and μ, there exists a (λ,λ)-compact (...) non-(μ,μ)-compact logic if and only if either λ<μ orcfλshrink)

Through her silencing thesis, Langton has contributed to the study of epistemic injustice by highlighting a possible cause of such a phenomenon: She asserts that the pornographic representation of sexual relationships affects the felicity conditions of speech uttered by women, so this speech is not understood as an illocution by men. This fact arguably undermines women’s credibility, since their testimony is not even registered in men’s testimonial sensibility. However, this thesis entails problematic consequences from at least two standpoints. From a (...) theoretical perspective, it enacts a circularity when it comes to the empirical individuation of the subordinative effects of pornography. I will point out that this problem arises from Langton’s substantive conception of power, i.e. from her notion of authority as an attribute which can be ascribed to preexisting subjects. From a political perspective, such conception of power allows Langton to performatively rank women as credible when testifying sexual violence, but it also leads her to silencing alternative political strategies, e.g. the ones proposed by Butler. Hence, I propose to consider this form of silencing as a specific kind of epistemic injustice, one that neutralises the performative value of political discourses. (shrink)

Most of the work in default logic is about default theories that are completely specified. In this category are the proposals of appropriate semantics for default logic, the characterizations of the complexity of reasoning with a default theory, the algorithms for finding consequences of default theories, etc. Relatively little attention has been paid to the process of building a default theory, and most of the work on this topic is about translating knowledge bases from other formalisms (such as circumscription, autoepistemic (...) logic, and action description languages) into default logic. This paper is about expressing knowledge in default logic. In particular, we assume that defaults are initially formulated as normal, and are then corrected using specific inference examples. (shrink)

We use Shelah's theory of possible cofinalities in order to solve some problems about ultrafilters. Theorem: Suppose that $\lambda$ is a singular cardinal, $\lambda ' \lessthan \lambda$, and the ultrafilter $D$ is $\kappa$ -decomposable for all regular cardinals $\kappa$ with $\lambda '\lessthan \kappa \lessthan \lambda$. Then $D$ is either $\lambda$-decomposable or $\lambda ^+$-decomposable. Corollary: If $\lambda$ is a singular cardinal, then an ultrafilter is ($\lambda$,$\lambda$)-regular if and only if it is either $\operator{cf} \lambda$-decomposable or $\lambda^+$-decomposable. We also give applications to (...) topological spaces and to abstract logics. (shrink)

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: If m ≥ 1 and the ultrafilter D is , equation imagem)-regular, then D is κ -decomposable for some κ with λ ≤ κ ≤ 2λ ). If λ is a strong limit cardinal and D is , equation imagem)-regular, then either D is -regular or there are arbitrarily large κ < λ for which D is κ -decomposable ). Suppose that λ is singular, (...) λ < κ, cf κ ≠ cf λ and D is -regular. Then: D is either -regular, or -regular for some λ' < λ . If κ is regular, then D is either -regular, or -regular for every κ' < κ . If either λ is a strong limit cardinal and λ<λ < 2κ, or λ<λ < κ, then D is either λ -decomposable, or -regular for some λ' < λ . If λ is singular, D is -regular and there are arbitrarily large ν < λ for which D is ν -decomposable, then D is κ -decomposable for some κ with λ ≤ κ ≤ λ<μ . D × D' is -regular if and only if there is a ν such that D is -regular and D' is -regular for all ν∼ < ν .We also list some problems, and furnish applications to topological spaces and to extended logics. (shrink)

RESUMO O artigo propõe uma releitura cruzada dos conceitos de acidente, desenvolvido por Landowski no âmbito de sua teoria sociossemiótica da interação, e explosão, elaborado por Lotman em seus últimos escritos de semiótica da cultura. Longe de ser um fim em si mesmo, este confronto almeja esboçar uma síntese teórico-epistemológica que possa contribuir à análise dos processos comunicacionais-discursivos que regem o devir dos sistemas socioculturais, bem como ao seu enquadramento conceitual. A minha hipótese é que a cifra desta articulação resida (...) no vínculo entre a indeterminação destacada por ambos os autores e a carga estésica, isto é, o núcleo de tensões sensíveis que, conforme vislumbra Landowski, os acontecimentos acidentais/explosivos são capazes de mobilizar. Para procurar demonstrar sua pertinência e relevância, partirei de um caso concreto: as jornadas de junho de 2013 e seu impacto no processo que levou, em 2016, ao impeachment de Dilma Rousseff e, em 2018, à eleição de Jair Bolsonaro. ABSTRACT The article proposes a comparison between the concepts of accident, developed by Landowski in his sociosemiotic theory of interaction, and explosion, elaborated by Lotman in his last writings on the semiotics of culture. Far from being an end in itself, this confrontation aims to sketch a theoretical-epistemological synthesis that can contribute to the analysis of the communicational-discursive processes that trigger the historical flow of sociocultural systems, as well as to their conceptual categorisation. My hypothesis is that the basis of this articulation lies in the link between the indeterminacy highlighted by both authors, and the aesthesic value, that is, the core of sensible tensions that, as shown by Landowski, the accidental/explosive events could mobilise. In order to demonstrate its pertinence and relevance, I will focus on a specific case study: the 2013 protests in Brazil and their impact on the process that led to the impeachment of Dilma Rousseff in 2016 and the election of Jair Bolsonaro in 2018. (shrink)

This paper aims to foster an interdisciplinary dialogue between Ricoeur’s phenomenological- hermeneutical thought and human geography, in particular with respect to the issue of landscape interpretation. The connection draws on the idea that landscapes and lived spaces can be read as texts, not unfamiliar to human geography and semiotics from 1980s onward. In the first part of the paper I will briefly expound some theories of landscape which make use of the metaphors “landscape as cultural image” and “landscape as text” (...) in human and cultural geography. Then, I will discuss the main contribution of Ricoeur to the issue of space. The philosopher already envisioned a possible application of his “threefold mimesis” of Time and Narrative to architectural spaces. In the conclusion, I will propose to rejuvenate the geographical metaphor of “landscape as text” by introducing a possible application of the Ricoeurian notion of “meaningful action as text” to landscape. (shrink)

BackgroundDefinition and concept of the ‘beginning of human life’ are weakened by co-existing contrasting hypotheses based on humanistic or religious beliefs rather than scientific foundations. This plethora of conceptually distant views have important common concerns in different fields of science and shape, in turn, several societal aspects including laws related, for instance, to inheritance eligibility or abortion, end-of-life care and euthanasia, and reproductive technology. Also, they are fundamental to evaluate opportunity for resuscitation vs. palliative care in extremely preterm infants. In (...) this article, we address one of the most common tenets in medicine: the acceptance that human life starts with first breath, even though several events are well-documented to take place before its occurrence.Main textSeveral studies show how pivotal physiological events take place before first breath. Evidence of a number of neurological events occurring before first breath opens the way to the primacy of the Central Nervous System, given its immediate extra-uterine activation at birth. This activation eventually sets specific physiological conditions that allow the complex sequence of events determining the muscle activity associated with the influx of air in the lung and the settling of a continuous and successful extra-uterine respiration. We would like to invite the scientific community to endorse a clear-cut position against the paradigm of ‘first breath’ as the beginning of life. Herein, we also assume how, a still undefined, yet possibly specific quid in the external environment triggers further physiological response in newborns. Better understanding of the critical events that occur at the beginning of human life is likely to cause great concern and expectations in scientists, researchers and physicians working in the domain of brain, and its physiology, and mental health.ConclusionsThe comparison between beliefs and evidence-based observations generates confusion, misperceptions and false expectations in society, hence, in the scientific and medical community. Different and more solid alternatives about the carachterization of the ‘beginning of human life’ are indeed available and require to be explored and defined. (shrink)

Two topics, Science and History, have been studied for centuries, if not millennia, often in disjointed ways. The realization that Science is nourished by its History is quite obvious nowadays and is a standpoint shared by all the contributors in this book. Given this fact, the following chapters were written by interdisciplinary scholars who are experts in this field. The admirably written contributions concern History of Science, Epistemology, Philosophy of Science, but are not restricted to these disciplines. They also discuss (...) theoretical perspectives and ingenious results achieved by beautiful and clever minds working together or inspired by one another. Torricelli’s history is a fascinating one, filled with struggles and insights that have been studied and examined in depth by internationally renowned specialists. The gripping stories reconstructed, as well as the epistemological and logical threads drawn from long and painstaking research, are presented in a clear and absorbing fashion, in each instance with a unique style and always with considerably talented analysis. The preceding celebratory historical and historiographical chapter on Opera geometrica (Torricelli in Opera geometrica. Florentiae. Masse & de Landis (1644); Torricelli in Opere di Evangelista Torricelli edite in occasione del III centenario della nascita col concorso del Comune di Faenza da Gino Loria e Giuseppe Vassura. Montanari (1919–1944)) is also a structured introductory essay to the contents of this extensive Springer research project. Below, the reader will find summaries of selected distinguished essays written in order to celebrate the magnificence of Torricelli’s Opera geometrica. The whole volume has to be considered as an homage both to Opera geometrica and to Evangelista, a genial scientist. (shrink)

This paper has two related goals. Firstly, after briefly clarifying the theoretical core of Solger's thought, it will analyse his metaphysics from Hegel's point of view, emphasizing that sacrifice is, for Solger, the fundamental structure of the relationship between the finite and the Infinite. Secondly, it will investigate the main reasons behind Hegel's criticism of Solger, showing that they have different conceptions of privation and negation and concluding that Solger and Hegel have different aims. Hegel's aim consists in recomposing the (...) unity of finite and infinite, whereas Solger's thought is structured on the rupture between these two. (shrink)