Although Auriol’s philosophical psychology has received increasing attention among contemporary scholars in medieval philosophy, his use of connotation has gone largely unnoticed. The aim of this paper is to delve into Auriol’s definition of cognition as a connotation. In his view, cognizing is nothing more than making things appear to the mind. Each concept is the extra-mental particular plus its property of being cognized by or appearing to the mind. It is nothing other than a real individual co-signifying or connoting (...) its being conceived. Being thought as a connotation, then, for Auriol intellectual cognition ultimately describes the following experience: the appearance of something to and its conscious reception by a cognizer. (shrink)

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)

Este artigo tem como objetivo rever a crítica que Peirce faz a uma definição de abdução como uma relação de probabilidade a partir das características. Parece consensual entre seus comentadores que, de fato, essa definição não se adequa ao conceito peirciano. Contudo, este artigo defende que não há uma desarmonia entre abdução e uma relação de probabilidade. Ao contrário, será defendido que, sendo a abdução composta de formação e seleção de hipóteses, essa relação de probabilidade poderia ter uma função na (...) parte de seleção de hipóteses. Para isso, será apresentada uma definição básica de abdução, seguida da proposta de relação de probabilidade entre características. As críticas a essa proposta serão apresentadas e será evidenciado que não se sustentam, abrindo, assim, a possibilidade da permanência dessa característica no conceito de abdução peirciana. (shrink)

We introduce a suitable notion of eight-shaped curve in the product S × ℝ of a Suslin line S for the real line ℝ, and we prove that if S is dense in itself, then every collection of pairwise disjoint eight-shaped curves in S × ℝ is countable. This parallels a folklore result which holds for the real plane.

Peter Auriol argues that sensation and intellection are both passive and active. They are passive insofar as they involve the reception of species or impressions of extra-mental objects. They are active insofar as both senses and intellect process these species and produce an intentional object. The way in which the senses and the intellect receive and process their own impressions is quite different, though. While perception is beyond our control, Auriol claims that the imagination, and the activity of the agent (...) and possible intellect depend on an act of the will. His idea is that the will pushes the intellect to focus on one of the impressions it receives from external objects, so that the corresponding impression is allowed to be imprinted in the intellect itself and the relevant concept formed. This paper examines the role that Auriol attributes to the will in our intellectual cognition, inasmuch as it is able to determine both (i) what kind of impressions can be picked and then embedded into the mind and, (ii) consequently, which concepts the intellect will form. My view is that, by envisioning the intellect and the will as already interacting during the process of concept formation, and not just during that of choice-making, Auriol provides an account of the intellect and the will strongly integrated with one another, thus offering a unitary vision of our cognitive life. (shrink)

This paper comprises two parts. The first part is an introduction to Auriol’s moderate conceptualism, as it is presented in his Commentary on Book II of the Sentences, distinction 9, question 2, article 1. The second part is an edition of the text. In the introduction, I focus on Auriol’s use of the noetic tool of connotation. My thesis, in particular, is that connotation is a necessary prerequisite to his moderate conceptu- alism. To this purpose, the first part of this (...) introduction will be devoted to a brief presentation of Auriol’s conceptualism. In the second part, Auriol’s theory of essential predication will be presented. In the third part, I will present my claim that Auriol’s theory of essential predication can only be made sense of when read against the background of his theory of connotation as applied to intellectual cognition. Finally, I will offer a collation of Auriol’s Commentary on Book II of the Sentences, dis- tinction 9, question 2, article 1, obtained by collating eight manuscripts, which hand down Auriol’s text, that is, Firenze, Biblioteca nazionale centrale, ms. Conv. Soppr. B.6.121, Firenze, ms. Conv. Soppr. A. 3.120, Napoli, Biblioteca nazionale, ms. VII.C.3, Padova, Biblioteca Antoniana, ms. 161, scaff. ix, Paris, Bibliothèque nationale de France, ms. latin 15867; Pelplin, Biblioteka Seminarium duchownego, ms. 46/85, Vaticano (Città del), Biblioteca Apostolica, ms. Borgiano 404, Vaticano (Città del), Biblioteca Apostolica, ms. Vat. lat. 942. (shrink)

In the eighth question of his Quaestiones de ente, the Late Medieval Theologian William Farinier tackles the issue of the attribute agreement we normally experience between individuals of the same species. The sub ect of his discussion is whether the specific unity we attribute to particulars is something of which they are really endowed with, regardless of any cognitive activity. In sharp contrast with realist thinkers, such as Duns Scotus and Francis Meyronnes, he claims that this is not to be (...) the case. His idea is that specific unity is ontologically mind-dependent, while semantically mind-independent. This claim is not entirely original, though. As it turns out, Farinier makes large use of Auriol's view the matter to shape his own one. His explicit endorsement to some of the most typical aureolistic theses seems to make him one of the few known (for now) full-fledged aureolistae. (shrink)

Whereas several researches have been devoted to Auriol’s philosophical and theological works in the last fifty years, Auriol’s sermons have been basically neglected. The aim of this paper is to partially fill this gap, by focusing on one of Auriol’s sermons: the so-called De Compassione Virginis Sermo. The main argument defended here is that, while put into poetic and rhetorical language, Auriol’s theological insights lose nothing of their theoretical sharpness. They rather acquire an unexpected clarity and power of persuasion, of (...) which the De Compassione Virginis Sermo proves to be a remarkable example. In this regard, analyzing the formal structure of this sermon and examining the manner in which some of Auriol’s most notable tenets are presented there will provide an unusual, but still useful way to approach his rich thought. (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)

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)

In this paper, I examine Peter Auriol’s contribution regarding (i) what it is for a thing to be an intention or a concept and (ii) what kind of relation connects the object cognized to the cognizing mind as soon as intellectual cognition is occurring. First, I consider Auriol’s criticism of Brito’s thesis, according to which intentions are the same as cognitive acts, and “being cognized,” or for a thing to be objectively in the mind, is just for there to be (...) a cognitive act directed at that thing. Then, I discuss Auriol’s thesis, according to which each and every act of thinking must be thought of as a connotative notion, that is, as something implying or connoting an intentional object appearing to the cognizer. In this regard, Auriol’s view, as opposed to Brito’s, allows him to think of “being cognized” as more than an extrinsic denomination of the object cognized, as well as to incorporate into intellectual cognition a phenomenon that proves to be unique to our cognitive life, viz. the fact that we consciously experience what we cognize while we cognize it. Finally, I offer some concluding remarks on Auriol’s doctrine, as well as a brief evaluation of his theory. (shrink)

v. 1. Presentazione de Biagia Catanzaro Gligora -- v. 2. Logica, totalità-reale e realtà -- v. 3. Anima e coscienza.

This collection of essays explores the history of the book in pre-modern South Asia looking at the production, circulation, fruition and preservation of manuscripts in different areas and across time. Edited by the team of the Cambridge-based Sanskrit Manuscripts Project and including contributions of the researchers who collaborated with it, it covers a wide range of topics related to South Asian manuscript culture: from the material dimension and the complicated interactions of manuscripts with printing in late medieval Tibet and in (...) modern Tamil Nadu, to reading, writing, editing and educational practices, from manuscripts as sources for the study of religious, literary and intellectual traditions, to the creation of collections in medieval India and Cambodia, and the formation of the Cambridge collections in the colonial period. The contributions reflect the variety of idioms, literary genres, religious movements, and social actors of ancient South Asia, as well as the variety of approaches, interests and specialisms of the authors, and their impassionate engagement with manuscripts. (shrink)

Henry of Harclay was a secular late medieval theologian who has been appointed Chancellor at Oxford in the first half of the fourteenth century. Due to the lack of edited texts, his Commentary on Book I of the Sentences is today largely ne- glected. The present contribution aims at offering a provisional edition of Sent. I, d. 1, qq. 1-4. These questions are devoted to human acts of fruition. The topics discussed here regard 1. whether God alone is the object (...) of fruition; 2. whether only rational creatures in the beatific state are able to perform an act of fruition; 3. whether human beings naturally love themselves more than God and, lastly, 4. whether fruition is the same as delight. The edition is preceded by a brief doctrinal introduction, which serves the purpose of providing a general outline of the text’s main contents. (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)

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)

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)

The Supreme Court’s decision in the Dobb’s case has given rise to confusion in the medical community, mostly concerning the specific definition of an abortion and what procedures are acceptable. Catholic bioethics has a long history of examining the ethical issues surrounding procedures used in vital conflict situations and other instances where direct or indirect abortion may be the preferred treatment. This article lays out the important points and ethical dimensions surrounding some of the most common pregnancy related interventions and (...) provides guidance to physicians seeking to treat both patients in a manner that acknowledges their value as human beings. (shrink)

In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

The article presents a preliminary survey of textual reuse in Nepalese collections of j?takas and avad?nas, focusing in particular on three works: the Avad?na?ataka, the Divy?vad?na, and the Dv?vi??atyavad?nakath?. The reassessment of the manuscript tradition of these three Sanskrit collections, based on Nepalese manuscripts and Tibetan translations, sheds more light on the role of scribes in the creation of these collections and of the Nepalese avad?nam?l? literature. In particular, the great role played in the 17th century by the Nepalese scribe (...) and scholar Jayamuni in shaping the text of the Avad?na?ataka, the Divy?vad?na, and many other Buddhist narrative works is brought to light. The result of this preliminary survey shows that a study of this type of collections based on the available critical editions should be rethought in the light of the specific character of their manuscript and textual transmission in medieval and early modern Nepal. (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)

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)

In this essay I will discuss the therapeutic application of philosophy in treating what I term “the moral casualties of war.” In doing so, I will develop an etiology of moral injury and focus upon the philosophical reasoning and insights that may be applied in an individual or group setting to foster an understanding of the warexperience as the first treatment step in a long and complex journey to healing.

The use of critical exposition of previous doctrines is a methodological procedure usual in Aristotle. But the distinctive characteristic of Book I of the Metaphysics is that, rather than to establish a new doctrine, a review of predecessors serves to confirm the own concepts to be used in the evaluation of the doctrines examined. This imposition of own terms has cost him the charge of distorting historical understanding. With the detailed analysis of the criticisms of Plato's theory of Ideas in (...) Metaphysics I, 9, we intend to show a) that the criticism of manipulation and distortion of his predecessors' views overshadow the degree to which Aristotle's own positions emerge from a critical review of previous thought and b) that the imposition of own terms does not suppose a distortion but a proposal of solution to the problems that previous theories have left unresolved. (shrink)

O enativismo radical defende que cognição básica não é composta por computações de informações representacionais. Diante dessa proposta, a memória episódica (de eventos que alguém viveu) pode se tornar um desafio para essa abordagem da cognição humana especialmente porque parece intuitivo que memórias representam os eventos passados. Neste artigo, esse problema será abordado a partir da discussão acerca de como a linguagem humana molda a memória episódica. Será argumentado que a linguagem afeta as funções da memória episódica de modo a (...) concedê-la uma função comunicativa e, como tal, representacional. (shrink)

This paper aims at defending that there is homosexuality in non-human animals. Sexual intercourse between non-human animals of the same sex has been recorded for a long time. Many people have used this fact to defend ethical and political issues related to sexual orientation, which, in its turn, generates some debate. Especially three different arguments have been raised to reject the idea that homosexuality exists among animals: same sex behavior take place in unnatural places, they should not be considered as (...) sexual behavior, and sexuality is inaccessible in non-human animals. In this paper, these arguments will be discussed, and, from a dispositionalist definition of homosexuality, it will be argued that in some specific cases there is homosexuality in non-human animals. (shrink)

Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study the prospect of (...) a logical pluralism based on different interpretations of logical systems. First, we give our analysis of what it means to interpret a logic – and make some hopefully useful distinctions along the way. Second, we present what we call an interpretational logical pluralism: there is more than one correct logic and a logic is correct only if it has some adequate interpretation. We consider four variants of this idea, bring up some possible objections, and try to find plausible solutions on behalf of the pluralist. We will argue that interpretations of logical systems provide a promising – albeit not unproblematic – route to logical pluralism. (shrink)

Lo Stato, Il sovrano, Repubblica o monarchia, di A.C. de Meis.--Lettere di F. Fiorentino a Silvio Spaventa sullo Stato moderno.

If neuroscience is to contribute to economics, it will do so by the way of psychology. Neural data can and do lead to better psychological theories, and psychological insights can and do lead to better economic models. Hence, neuroscience can in principle contribute to economics. Whether it actually will do so is an empirical question and the jury is still out. Economics currently faces theoretical and empirical challenges analogous to those faced by physics at the turn of the twentieth century (...) and ultimately addressed by quantum theory. If will emerge in the coming decades, it may well be founded on such concepts as cognitive processes and brain activity. (shrink)

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...) only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)