This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

The aim of this article is to show that, just as in recent years Cobreros, Egré, Ripley and van Rooij have provided a non-transitive counterpart of classical logic (i.e. one in which all classically acceptable inferences are valid but Cut and other metainferences are not), the same can be done for every Tarskian logic, with full generality. To establish this fact, a semantic approach is taken by showing that appropriate structures can be devised to characterize a non-transitive counterpart of every (...) Tarskian logic, starting from the logical matrices that are usually taken to render them. (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...) in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...) or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward. (shrink)

In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ￢A) both A and ￢A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which we reason (...) about evidence. In this article we will thoroughly discuss their position and suggest some ways in which this project can be further developed. The aim of the paper is twofold. On the one hand, we will present some philosophical critiques to the specific epistemic interpretation of paraconsistent logic proposed by Carnielli & Rodrigues. First, we will contend that Carnielli & Rodrigues’s interpretation implies a thesis about what evidence rationally justifies to accept or believe, called Extreme Permissivism, which is controversial among epistemologists. Second, we will argue that what agents should do, from an epistemic point of view, when faced with conflicting evidence, is to suspend judgment. On the other hand, despite these criticisms we do not believe that the epistemological motivation put forward by Carnielli & Rodrigues is entirely wrong. In the last section, we offer an alternative way in which one might account for the epistemic rationality of accepting contradictions and, thus, for an epistemic understanding of paraconsistency, which leads us to discuss the notion of diachronic epistemic rationality. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) (...) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

After introducing the new field of cultural evolution, we review a growing body of empirical evidence suggesting that culture shapes what people attend to, perceive and remember as well as how they think, feel and reason. Focusing on perception, spatial navigation, mentalizing, thinking styles, reasoning (epistemic norms) and language, we discuss not only important variation in these domains, but emphasize that most researchers (including philosophers) and research participants are psychologically peculiar within a global and historical context. This rising tide of (...) evidence recommends caution in relying on one’s intuitions or even in generalizing from reliable psychological findings to the species, Homo sapiens. Our evolutionary approach suggests that humans have evolved a suite of reliably developing cognitive abilities that adapt our minds, information-processing abilities and emotions ontogenetically to the diverse culturally-constructed worlds we confront. (shrink)

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...) problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.

Some recent researches in experimental philosophy have posed a problem for philosophers’ appeal to intuition (hereinafter referred to as PAI); the aim of this paper is to offer an answer to this challenge. The thesis against PAI implies that, given some experimental results, intuition does not seem to be a reliable epistemic source, and —more importantly— given the actual state of knowledge about its operation, we do not have sufficient resources to mitigate its errors and thus establish its reliability. That (...) is why PAI is hopeless. Throughout this paper I will defend my own conception of PAI, which I have called the Deliberative Conception, and consequently, I will defend intersubjective agreement as a means to mitigate PAI errors, offering empirical evidence from recent studies on the Argumentative Theory of Reason that favor the conception I defend here. Finally, I will reply to some objections that might arise against the Deliberative Conception, which will lead me to discuss some metaphilosophical issues that are significantly relevant for the future of the dispute about the appeal to intuition. (shrink)

This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...) operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde. (shrink)

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity conditions. (...) We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics _S__T_ and _T__S_. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...) these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present _S__T_ and _T__S_. (shrink)

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...) the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...

Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...) regard to any particular interests, but are instead unconditional; further, these formulae effectively limit choice of action and therefore give rise to duty. Kant implies that the structure of all maxims requires different formulae of the same moral law, i.e., all maxims have a ‘form’ and a ‘matter’, which prompt reconfiguring of the categorical imperative into different formulae in order to test the morality of a maxim. (shrink)

En este texto analizo los principales argumentos y contraargumentos realistas y anti-realistas que se han construido a favor y en contra de la capacidad científica para producir conocimiento objetivo y verdadero del mundo social y natural. Argumento que el lenguaje teórico y el lenguaje observacional con el que los científicos sociales y naturales se refieren a las diversas entidades, fenómenos, propiedades y procesos científicos observables e inobservables están determinados, en la práctica, por sus tradiciones teóricas de investigación; lo que muestra (...) que la metodología científica depende en tal medida de las teorías que es, a lo sumo, un proceder constructivo y no un proceder de descubrimiento. (shrink)

Para desarrollar este trabajo, en el primer capítulo caracterizaré con cierta extensión dos de las principales posturas funcionalistas del progreso científico, a saber, la defendida por Thomas S. Kuhn y Larry Laudan, respectivamente. Posteriormente, haré un análisis crítico de estas posturas. En particular, mostraré que un modelo de progreso científico basado en la resolución de problemas no puede pasar por alto explicar cómo es que se genera un problema científico y cómo puede ser medida no sólo la importancia cognitiva de (...) los problemas científicos a resolver; sino la importancia cognitiva que tienen las soluciones a los problemas que enfrenta la ciencia. En el segundo capítulo caracterizaré y analizaré la postura realista metafísica sobre el progreso científico desarrollada por Philip Kitcher. El análisis del modelo de Kitcher es pertinente para el presente estudio debido a que este autor integró muchas de las críticas que se le hicieron a las posturas funcionalistas anteriores a su propuesta. Sin embargo, como sugeriré en la conclusión de ese capítulo, la postura defendida por Kitcher en torno al progreso cognitivo de la ciencia fluctúa entre la defensa de un realismo de corte metafísico (Kitcher 1993 y 1995) y un realismo de corte semántico (Kitcher 2001a, 2001b, 2002 y 2007) que hace difícil entender con precisión y a cabalidad su postura. Con los anteriores elementos, en el tercer capítulo revisaré el debate entre las posturas funcionalistas y las posturas realistas sobre el progreso cognitivo de la ciencia en el marco del llamado Realismo Epistemológico Convergente, con el objetivo de evaluar si otras posturas realistas pueden explicar de mejor manera el progreso cognitivo de la ciencia. Como mostraré, el realismo epistemológico convergente requiere para su defensa de una definición conceptual precisa en relación a lo que debe entenderse por “verdad” – o “aproximación a la verdad” – y su conexión con el éxito científico; así como la relación de referencia entre las entidades y organismos teóricos observables e inobservables que la ciencia postula y el mundo natural. Para analizar estas conexiones, en este capítulo revisaré varios argumentos anti-realistas en contra de la relación cognitiva que los defensores del realismo epistemológico convergente pretenden establecer entre el éxito empírico y la verdad, por un lado, y el éxito empírico y la referencia, por el otro. Posteriormente, analizaré los contra-argumentos realistas más importantes que a mi juicio se han elaborado para defender el realismo epistemológico convergente. Finalmente, mostraré que los contra-argumentos realistas no logran ser lo suficientemente sólidos para evadir con éxito los ataques anti-realistas en torno al progreso cognitivo de la ciencia. El cuarto capítulo de este trabajo lo dedicaré a caracterizar y analizar la postura fundacionista defendida por Alexander Bird. Este autor sostuvo que la ciencia progresa cuando muestra “acumulación de conocimiento justificado”. Para validar su postura, este autor contrastó sus ideas con los conceptos sobre el progreso científico construidos precisamente por Kuhn y Laudan, respectivamente. El objetivo de Bird fue mostrar que el criterio de “resolución de problemas” defendido por estos autores es regresivo y, por ello, anti-intuitivo. En este capítulo analizo los argumentos de Bird, muestro en qué fallan para, finalmente, evaluar su postura a partir de sus propios fundamentos epistemológicos. En el quinto y último capítulo del libro ofreceré algunas conclusiones que pueden ser inferidas del presente estudio. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

In literature Peter Damian has been often presented as an anti-dialectic thinker. Over time this statement has been subjected to careful historiographical revision. Today it is commonly accepted that the distinction between dialectic and anti-dialectic thinkers only partially describes the state of philosophy in the eleventh century. In fact, the relation between faith and reason is complex in Damian. The purpose of this paper is to reconsider this relation in the light of the significance Damian attributes to (...) the notion of contradiction. Reason must respect the principle of non-contradiction not only when it describes the natural world, but also when it explores the dimension of the mysteries of faith. (shrink)

This essay examines the way in which the modal concept of necessity was discussed and analyzed in some eleventh- and early twelfth-century sources, such as Peter Damian’s De divina omnipotentia, Anselm of Canterbury’s Cur deus homo and several anonymous commentaries on Aristotle’s De interpretatione that were presumably composed in the first two decades of the twelfth century by logicians connected to William of Champeaux’s and Peter Abelard’s milieu. My aim is to offer a comparison of these different sources with (...) respect to their use of the Boethian distinction between two types or kinds of necessity, namely, the “absolute” or “simple” necessity that is involved in statements like “God is necessarily immortal” or “it is necessary for humans to be animals”, and the “conditional” or “temporal” necessity that is at stake when we say, for instance, that someone necessarily walks when he is walking. (shrink)

This article proposes an analysis of the use and value of the terms ‘philosophia’ and ‘philosophus’ in Peter Damian’s works. Despite a remarkable number of ‘negative’ occurrences, the two words are also used in a ‘positive’ sense, especially in the sermo VI, devoted to the figure of Saint Eleuchadius, a pagan philosopher who converted himself to the Christian truth and put his intellectual competencies at the service of the Church. Contradicting the standard image of Peter Damian as ‘anti-dialectician’, (...) Eleuchadius’ case shows how the cardinal-bishop of Ostia could accept the idea of a Christian philosopher, following the Augustinian interpretation of the biblical “Gold of the Egyptians”. (shrink)

This essay analyses Peter Damian’s idea of perfection, by taking into account his texts devoted to the eremitic conversatio avellanita: in particular, Epistles 18, 50, and 109. It answers to the following working question: how is it possible to achieve an ‘angelic’ condition? Particular attention is paid to the ideas of time, space and ascesis.

Peter Damian’s letter 119 De divina omnipotentia is characterized by two main issues: the dilemma about the God’s capacity to restore virginity to a woman and the question about the possibility of undoing the past. Despite the interweaving between these topics, they have to be distinguished in several respects. Aim of the paper will be, firstly, to isolate the two questions, starting with their textual loci; secondly, to focus on the dilemma about the divine capacity to undoing the past, (...) showing that the key of Peter Damian’s argument is the concept of eternity as an epistemic principle, that allows him to define the omnipotence, in the case of the action on temporal necessity, as a sort of second level property of God; finally, to compare the Damian’s solution with some contemporary theories, developed during the debate on omnipotence in the second half of the 20th century, in order to find continuity and discontinuity factors that can help to better understand the coherence and effectiveness of medieval and contemporary arguments. (shrink)

Beginning in the 1990s, the medieval historiography has devoted increasing attention to the presence of thought experiments in the medieval philosophical sources. Following the line drawn by King, Perler, Grellard and Marenbon studies, this paper aims to use the concept of thought experiment as an historiographical category to explore the issues of Peter Damian’s dilemma, in the chapter I of De divina omnipotentia, about the capacity of the divine power to restore the virginity of a maiden who has lost (...) it. In this perspective, the case of the virgin appears as a counterfactual scenario, that makes us understand how the question is not metaphysical but fundamentally epistemological. Peter Damian is not discussing about possible boundaries of God’s nature: he is rather arguing about the inability of the dialectic arguments to explain the omnipotence, in an attempt to define the cognitive and linguistic modes under which the human intellect could comprehend the virgin’s dilemma. The crucial step is the shift from possibilitas – intended as a statistical approach to the possible as “potential” – to potentia as a metaphysical attribute, regardless of her actualization: in this way, Peter Damian lifts the question up from the level of the human will, which often fails to grasp his objects, to the divine form of the will, which unfailingly achieves his objectives. (shrink)

The spread of the reform found one of its protagonists in the hermit and Cardinal Bishop of Ostia, Peter Damian. An example worthy of case-study is the Gallic mission as apostolic legate in 1063. The most complete report of this journey was written by an anonymous disciple. This perspective allows to observe Damian’s communication strategies and the different methods used referring to the various interlocutors. The cause of the apostolic legation was the help request from Hugh, abbot of (...) Cluny, for the pressures suffered by the Bishop of Macon. The occasion was propitious from the point of view of the cardinal bishop to expand his network of personal and institutional relationships and to legitimize the papal supremacy. He proceeded to France, summoned a council at Chalon-sur-Saône and proved the justice of the contentions of Cluny. Despite the lack of historiographical success, this work remains an extremely useful source for studying a man who made his ars rethorica a powerful weapon in the service of the reform. (shrink)

Peter Damian’s epistle 28, usually called Dominus vobiscum, shows a complex theological discussion. In fact, the author intertwines different subjects: the reform of the Church, the exaltation of monasticism, and, in particular, the primacy of the eremitical life. However, what is central in Peter Damian’s discourse is the Eucharistic sacrament, which the author considers from the standpoint of a theological sensitivity centered on the liturgical dimension of the celebration and on its spiritual and religious value. This contribution analyses (...) Peter Damian’s treatment of the Eucharistic sacrament, placing it in the historical-theological and doctrinal context of the disputes on the sacrament that animated the Church since the mid-eleventh century. (shrink)

The epistle 49 by Peter Damian contains an original allegorical interpretation of the Jewish Sabbath as a day of rest, enriched by a mystical exegesis of the biblical Hexameron, in which the six days of creation correspond to the inner journey of man called to intimately unite with God. Peter Damian expresses this process of deification through the two images of man as microcosm and sovereign of creation and man as temple of God. The main source of (...) class='Hi'>Damian’s text seems to be the De natura hominis by Nemesius of Emesa, which he knows thanks to the translation of Alfanus I of Salerno, one of the recipients of the epistle: this is confirmed by textual evidences, but also by a preliminary historical and historiographic reconstruction of the clue of friendship that binds Peter Damian to the archbishop of Salerno. (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. (...) Then, I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

Los estudiantes de la Facultad de Ciencias Económicas y de Administración de la Universidad de la República deben realizar, como trabajo final de carrera, una investigación o ensayo monográfico en un área de su interés, tutorados por un docente universitario o un investigador de reconocida trayectoria. Un gran número de estos trabajos monográficos han hecho un aporte valioso al conocimiento pero, lamentablemente, la poca difusión de éstos hace que ese conocimiento termine olvidado en los fondos de la biblioteca de la (...) Facultad, entre cientos de producciones monográficas. Se pretende en este libro, mostrar los aportes que se han generado en el área tanto de Economía de la Cultura como de Gestión de Organizaciones Culturales. Varias de las monografías fueron realizadas en la línea de investigación Costos y Gestión de Organizaciones Culturales, la cual coordino. Otros fueron realizados con antelación, como los trabajos tutorados por el referente de la Economía de la Cultura en Uruguay, el hoy fallecido Luis Stolovich. También se incluyen dos trabajos monográficos tutorados por el Dr Gustavo Buquet, quien siempre está presente a la hora de crear investigación de calidad en Economía de la Cultura. Como cada trabajo supera el centenar de páginas, no es posible publicarlos completamente, por lo que para este libro se hicieron resúmenes de esos trabajos, intentando adecuar la terminología y quitándoles el formato estrictamente científico –poco amigable para un no especialista-, de forma tal que su lectura sea accesible al público en general. Se resumieron ocho, clasificados en tres capítulos: Patrimonio, Artes Escénicas e Industria Cultural. El capítulo de Patrimonio comienza con un trabajo realizado por las Economistas Fernanda Arezo y Verónica Pereyra, titulado “Museos y Ciudadanos, el comportamiento del consumidor”, tutorado por Raúl Ramírez y por mí. Este estudio tuvo como centro explicar la modalidad de conducta de consumo del visitante montevideano hacia tres importantes instituciones museísticas como lo son el Museo del Cabildo, el Museo del Carnaval y el Museo de Historia del Arte. El objetivo del trabajo es estimar la demanda y obtener un indicador de la propensión a pagar por el consumo de dichos museos. El segundo trabajo, titulado “Disposición a pagar por la restauración de la Puerta de la Ciudadela”, fue realizado por las Contadoras Beatriz Torres, María Elena Olarán y María Carolina Duarte, y tutorado en forma conjunta por el Phd. Juan José Goyeneche y quien les escribe. En este trabajo se realiza una valoración contingente para medir la disposición a pagar por la restauración de la “Puerta de la Ciudadela”, un monumento fundamental de identidad montevideana. El capítulo de Patrimonio finaliza con un trabajo realizado por las Economistas Malena Rodríguez y María de la Paz Besada y tutorado por el Ec. Luis Stolovich. El mismo se denomina “El arte uruguayo: un estudio sobre el mercado y la pintura como alternativa de inversión” y explora el mercado de arte uruguayo, analizando la rentabilidad de la inversión en pintura uruguaya. Tratan la rentabilidad de la inversión para tres casos específicos: las obras vendidas por el Banco Comercial en su proceso de recuperación de activos, un portafolio de obras de Pedro Figari y otro de Joaquín Torres García. En cuanto al segundo capítulo, Artes Escénicas, comienza con un trabajo realizado para la obtención del título de Contador Público realizado por Pamela Cambeiro, Martín Cami e Ignacio Mouradián. Se denomina “La gestión de teatros. Caso de estudio: Aplicación del Cuadro de Mando Integral al Teatro Solís” y trata sobre la identificación de indicadores que faciliten las tareas de gestión para la dirección del Teatro. Luego se presenta un trabajo realizado por las Economistas Tania Cruz y Natalia Nollenberger titulado “Análisis económico del teatro independiente en Montevideo: una aproximación al problema de la fatalidad de los costos”. Este trabajo, también tutorado por el Ec. Luis Stolovich, muestra un exhaustivo análisis del teatro independiente montevideano identificando los problemas económicos que afectan al sector. El capítulo de Industria Cultural incluye tres trabajos. El primero, fue realizado por el Economista Diego Traverso y tutorado por el Dr. Gustavo Buquet, y su título es “Análisis de competitividad del sector exportador de Productoras Audiovisuales Publicitarias en Uruguay”. El sector audiovisual publicitario es un sector dinámico que se ha internacionalizado tempranamente y que generó divisas para el país del orden de los US$ 24 millones durante el año 2005 por concepto de exportaciones. En este trabajo se caracteriza al sector audiovisual publicitario en Uruguay y se analiza las ventajas competitivas que posee frente a sus principales competidores extranjeros. El segundo trabajo fue realizado por las Contadoras Natalia Rivera, Antonella Triay y María Eugenia Triay y se denomina “Gestión aplicada a las empresas radiales”. En este se identifican el sector radial, su proceso productivo y la complejidad al definir al “cliente”. Se proponen una serie de indicadores con el doble objetivo de medir el desempeño de la empresa y proveer incentivos a su organización. Finalmente, el último trabajo monográfico, fue una investigación interdisciplinaria, que sirvió simultáneamente para obtener el título de Licenciado en Economía a Ernesto Pienika y el de Licenciado en Administración a Nicolás Cohnheim y a Damián Geinsinger. Este trabajo, tutorado por el Dr. Gustavo Buquet y el Cr. Cecilio García de título “Impactos de las nuevas tecnologías en la .industria musical”, muestra cuáles son los principales impactos en esa industria que las nuevas tecnologías han provocado y cuáles son las posibles estrategias para adaptarse a estos cambios, así como los nuevos modelos de negocio. Espero que este libro sea el primero de una larga lista. Las áreas de Economía de la Cultura y Gestión de Organizaciones Culturales son disciplinas jóvenes que necesitan seguir creciendo. La investigación realizada por trabajos monográficos de fin de carrera en estas áreas, será siempre bienvenida. (shrink)

Composta attorno al 1065-1067, la lettera "Sull’onnipotenza divina" di Pier Damiani si apre con una questione posta da Desiderio, abate di Montecassino: «Sebbene Dio possa ogni cosa, non può restituire la verginità a colei che l’ha perduta. Egli ha certamente il potere di liberarla dalla pena, ma non può ridarle la corona della verginità che ha perduto». Il problema, che Pier Damiani riprendeva dalla lettera XXII di san Gerolamo, è solo in apparenza ozioso: il monaco ravennate ne fa un’autentica questione (...) filosofica, un “esperimento mentale” che solleva domande cruciali sulla natura del tempo e sul rapporto tra necessità e contingenza, leggi divine e princìpi logici, natura divina e natura umana. Il volume, a cura di Roberto Limonta, presenta la traduzione del De divina omnipotentia con note e testo latino a fronte. La prefazione di Mariateresa Fumagalli Beonio Brocchieri e il saggio introduttivo di Roberto Limonta ricostruiscono la lunga durata della questione posta da Pier Damiani, dai dibattiti teologici dei secoli medievali sino alle sue fortune nella filosofia, teologia e letteratura contemporanea. (shrink)

Where does the impetus towards ethical theory come from? What drives humans to make values explicit, consistent, and discursively justifiable? This paper situates the demand for ethical theory in human life by identifying the practical needs that give rise to it. Such a practical derivation puts the demand in its place: while finding a home for it in the public decision-making of modern societies, it also imposes limitations on the demand by presenting it as scalable and context-sensitive. This differentiates strong (...) forms of the demand calling for theory from weaker forms calling for less, and contexts where it has a place from contexts where it is out of place. In light of this, subjecting personal deliberation to the demand turns out to involve a trade-off. (shrink)

Though recent years have seen a proliferation of critical histories of international law, their normative significance remains under-theorized, especially from the perspective of general readers rather than writers of such histories. How do critical histories of international law acquire their normative significance? And how should one react to them? We distinguish three ways in which critical histories can be normatively significant: (i) by undermining the overt or covert conceptions of history embedded within present practices in support of their authority; (ii) (...) by disappointing the normative expectations that regulate people’s reactions to critical histories; and (iii) by revealing continuities and discontinuities in the functions that our practices serve. By giving us a theoretical grip on the different ways in which history can be normatively significant and call for different reactions, this account helps us think about the overall normative significance of critical histories and how one and the same critical history can pull us in different directions. (shrink)

I define two metaphysical positions that anti-physicalists can take in response to Jonathan Schaffer’s ground functionalism. Ground functionalism is a version of physicalism where explanatory gaps are everywhere. If ground functionalism is true, arguments against physicalism based on the explanatory gap between the physical and experiential facts fail. In response, first, I argue that some anti-physicalists are already safe from Schaffer’s challenge. These anti-physicalists reject an underlying assumption of ground functionalism: the assumption that macrophysical entities are something over and above (...) the fundamental entities. I call their position “lightweight anti-physicalism.” Second, I go on to argue that even if anti-physicalists accept Schaffer’s underlying assumption, they can still argue that the consciousness explanatory gap is especially mysterious and thus requires a special explanation. I call the resulting position “heavyweight anti-physicalism.” In both cases, the consciousness explanatory gap is a good way to argue against physicalism. (shrink)

Under the UDHR, all persons have the right to "seek and to enjoy . . . asylum from persecution." From this designation as fundamental followed codification of the right in the 1951 Convention relating to the Status of Refugees and the 1967 Protocol Relating (collectively 'the Convention'), the "centrepiece" of treaties and customary norms that make up international refugee law. It defines and regulates the status and rights of refugees; its purpose is to safeguard the basic rights of persons "outside (...) their country of origin," who have fled due to a legitimate fear of persecution. Fundamentally, it guarantees that asylees and refugees enjoy rights without discrimination; without penalization for illegal territorial entry; and, without expulsion or return to "territories where . . . life or freedom would be threatened on account of . . . race, religion, nationality, membership of a particular social group or political opinion," —or 'non-refoulement'. What follows is background on development of the principle of non-refoulement, evasive US Asylum Cooperative Agreements ('ACAs') and implementing legislation, and the resulting erosion to the right to asylum. (shrink)

Justiciability sets the boundaries of judicial review and the rule of law. A justiciable issue is that which is appropriate within a judicial forum. That is, where an "independent and impartial body" can remedy rights violations of identifiable claimants, the issue before it is justiciable. If it falls beyond what is judicially determinable, it is 'non-justiciable'. The principle is not fixed, as it does not permanently set the boundaries of that which is appropriate for judicial determination. Rather, it evolves "from (...) context to context," and expands and narrows along what falls within judicial competencies at a particular time. On an elementary level, it is distinct from jurisdiction, as it establishes boundaries of subject matter on policy or constitutional grounds, whereas jurisdiction is grounded in established legal rules. However, questions of jurisdiction can be subsumed under broader questions of justiciability. (shrink)

Panpsychists aspire to explain human consciousness, but can they also account for the physical world? In this paper, I argue that proponents of a popular form of panpsychism cannot. I pose a new challenge against this form of panpsychism: it faces an explanatory gap between the fundamental experiences it posits and some physical entities. I call the problem of explaining the existence of these physical entities within the panpsychist framework “the missing entities problem.” Spacetime, the quantum state, and quantum gravitational (...) entities constitute three explanatory gaps as instances of the missing entities problem. Panpsychists are obliged to solve all instances of the missing entities problem; otherwise, panpsychism cannot be considered a viable theory of consciousness. (shrink)

For the purposes of this enquiry—an account of what Equiano’sa modernity was, and which particular historical ‘demarcations’ of modernity provided for an enslaved man to achieve freedom through great fortune and great cunning, I will assume a definition of ‘modernity’ as defined by Kathleen Wilson: “. . . not one moment or age, but a set of relations that are constantly being made and unmade, contested and reconfigured, that nonetheless produce among their contemporaneous witnesses the conviction of historical difference.” By (...) adopting this definition, modernity in the times of Equiano refers to, “the cultural practices and representations that produced certain kinds of subjects and objects of knowledge, upheld widely-shared notions of space and time, or facilitated the formation of cultural identities that resulted in pluralities and contradictions as well as unities and coherences,” which provided for a slave to acquire freedom amidst eighteenth-century imperialism, slave-trade, and emerging abolitionist sentiments within bourgeois culture. (shrink)