Parties are central agents of democratic representation. The literature assumes that this function is an automatic consequence of social structure and/or a product of incentives derived from electoral competition. However, representation is contingent upon the organizational structure of parties. The connection between a party and an organized constituency is not limited to electoral strategy; it includes an organic connection through permanent formal or informal linkages that bind party programmatic positions to social groups’ preferences, regardless of the electoral returns. This article (...) analyzes how the Movimiento al Socialismo in Bolivia and the Frente Amplio in Uruguay developed two different forms of relationship with social organizations that result from the interplay of historical factors traceable to the parties’ formative phases and party organizational attributes. Party organizational features that grant voice to grassroots activists serve as crucial mechanisms for bottom-up incorporation of societal interests and demands. (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.

Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

It is not uncommon among theorists favoring a deviant logic on account of the semantic paradoxes to subscribe to an idea that has come to be known as ‘classical recapture’. The main thought underpinning it is that non-classical logicians are justified in endorsing many instances of the classically valid principles that they reject. Classical recapture promises to yield an appealing pair of views: one can attain naivety for semantic concepts while retaining classicality in ordinary domains such as mathematics. However, Julien (...) Murzi and Lorenzo Rossi have recently suggested that revisionary approaches to truth breed revenge paradoxes when they are coupled with the thought that classical reasoning can be recaptured in certain circumstances. What’s novel about the paradoxes they put forward is that they cannot be dismissed so easily. The concepts used to generate these paradoxes—those of paradoxicality and unparadoxicality—are concepts that non-classical theorists need in order to offer a diagnosis of the truth-theoretic paradoxes. My goal in this paper is to argue that non-classical theorists can represent the concept of paradoxicality without falling prey to revenge paradoxes. In particular, I will show how to provide a formal fixed-point semantics for a language extended with a paradoxicality predicate that adequately expresses the non-classical logician’s notion of paradoxicality. (shrink)

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...) accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements. (shrink)

The idea of classical recapture has played a prominent role for non-classical logicians. In the specific case of non-classical theories of truth, although we know that it is not possible to retain classical logic for every statement involving the truth predicate, it is clear that for many such statements this is in principle feasible, and even desirable. What is not entirely obvious or well-known is how far this idea can be pushed. Can the non-classical theorist retain classical logic for every (...) non-paradoxical statement? If not, is she forced to settle for a very weak form of Classical Recapture, or are there robust versions of classical recapture available to her? These are the main questions that I will address in this paper. As a test case I will consider a paracomplete account of the truth-theoretic paradoxes and I will argue for two claims. First, that it is not possible to retain the law of excluded middle for every non-paradoxical statement. Secondly, that there are no robust versions of classical recapture available to the paracomplete logician. (shrink)

Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.

If we are eventually to understand the capability of higher organisms for perceptual recognition, generalization, recall, and thinking, we must first have answers to three fundamental questions: 1. How is information about the physical world sensed, or detected, by the biological system? 2. In what form is information stored, or remembered? 3. How does information contained in storage, or in memory, influence recognition and behavior? The first of these questions is in the.

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)

The goal of the paper is to discuss whether substructural non-contractive accounts of the truth-theoretic paradoxes can be philosophically motivated. First, I consider a number of explanations that have been offered to justify the failure of contraction and I argue that they are not entirely compelling. I then present a non-contractive theory of truth that I’ve proposed elsewhere. After looking at some of its formal properties, I suggest an explanation of the failure of structural contraction that is compatible with it.

This article uses social dominance theory (SDT) to explore the dynamic and systemic nature of the initiation and maintenance of organizational corruption. Rooted in the definition of organizational corruption as misuse of power or position for personal or organizational gain, this work suggests that organizational corruption is driven by the individual and institutional tendency to structure societies as group-based social hierarchies. SDT describes a series of factors and processes across multiple levels of analysis that systemically contribute to the initiation and (...) maintenance of social hierarchies and associated power inequalities, favoritism, and discrimination. I posit that the same factors and processes also contribute to individuals’ lower awareness of the misuse of power and position within the social hierarchies, leading to the initiation and maintenance of organizational corruption. Specifically, individuals high in social dominance orientation, believing that they belong to superior groups, are likely to be less aware of corruption because of their feeling of entitlement to greater power and their desire to maintain dominance even if that requires exploiting others. Members of subordinate groups are also likely to have lower awareness of corruption if they show more favoritism toward dominant group members to enhance their sense of worth and preserve social order. Institutions contribute to lower awareness of corruption by developing and enforcing structures, norms, and practices that promote informational ambiguity and maximize focus on dominance and promotion. Dynamic coordination among individuals and institutions is ensured through the processes of person-environment fit and legitimizing beliefs, ideologies, or rationalizations. (shrink)

The study aimed to comprehensively overview the experiences encountered by public school employees during the recruitment, selection, and placement (RSP) process within the DepEd Bohol Division. Employing a qualitative-descriptive research design, the researchers utilized a phenomenological approach to delve deeply into these experiences, shedding light on the nuances and intricacies of the division's RSP process. As Lambert et al. (2013) described, qualitative- descriptive studies aim to provide a comprehensive and detailed summary of specific events experienced by individuals or groups in (...) everyday terms. To achieve this, Colaizzi's (1978) data analysis method was applied, meticulously gathering, transcribing, and analyzing recorded participant responses. The rigorous analysis revealed that an overwhelming 81% of the participants recognized significant challenges within the current RSP system of the division, underscoring the pressing need for a renewed approach to address these identified challenges. This highlighted the necessity for an RSP policy that is responsive and innovative, tailored to meet the evolving needs and expectations of applicants, schools, and the division. By implementing improvements to the RSP process, a more efficient and timely filling of vacated and newly available positions is anticipated, contributing to the seamless functioning of the educational system and ultimately enhancing the prospects of success. (shrink)

The study examined the distinction between two traditional work absence measures: frequency, reflecting voluntary absence, and duration, reflecting non-voluntary absence. The two measures were compared in a test of the relationship between work absence and employees’ perceptions of organizational ethics. Questionnaires and archive data were collected from 1,016 teachers in Israel. Organizational ethics was represented by three variables: ethical climate, organizational justice, and teacher’s tendency to misbehave. Results showed that four ethical constructs were related to absence frequency, while only one (...) was related to absence duration. The findings add to previous research on the distinction between voluntary and involuntary absence measures, and the superior sensitivity of frequency over duration as a measure of voluntary absence. In practice, the results may encourage principals and managers to create ethical workplaces to minimize absence frequency. (shrink)

En el terreno de la moral, el contraste entre lo ¿que el filósofo Wilfrid Sellars denominó «la ¿imagen manifiesta» y la «imagen científica» es enorme y tiene unas consecuencias prácticas ineludibles. Este libro reduce la distancia entre esa imagen manifiesta y la imagen científica, dotando al lector de referencias fundamentales, enfoques diversos y un amplio abanico de temáticas a partir de investigaciones experimentales sobre nuestra conducta moral.

This essay contests the notion that there was a necessary and fundamental opposition between republicanism and liberalism during the post-Revolutionary period in France. Constant's writings of the Restoration years show his abiding interest in both the construction of viable political institutions and the promotion of a vibrant political life. Worried about what he saw as growing authoritarian trends within the liberal camp, Constant wrote about the need to keep political liberty alive in commercial republics. His refutations of Auguste Comte and (...) the Saint-Simonians, and his writings on religion, should be seen as offering pointed lessons to fellow liberals about the crucial importance of both politics and the moral values promoted by religious freedom. (shrink)

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of classical (...) recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

Nada hay más confortable para el hombre, ni más peligroso, que las certezas. Nuestra mejor defensa es la filosofía, que consiste engran medida en el arte de cuestionarlas, de atreverse a pensar, de interpelar las verdades establecidas y ver qué esconden. En estepaseo por la historia de la filosofía, Fernando Savater nos presenta a los grandes personajes que con sus preguntas, y en ocasiones con sus respuestas, han marcado el pensamiento occidental. Platón, Aristóteles, Hobbes, Tomás de Aquino, Nietzsche, Marx, (...) Ortega, Wittgenstein y hasta dieciocho filósofos más desfilan por estas páginas de la mano de Savater, que con su habitual estilo lúcido, ameno e inteligente explica sus ideas más importantes y resume sus trayectorias. Un canto al irrenunciable ejercicio de la libertad intelectual, este libro es en realidad una invitación a huir de los tópicos y a compartir con los grandes filósofos la maravillosa aventura de pensar. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)

This electronic document serves as a guide on how to get a LAMP stack running on a Google Compute Engine virtual machine instance running Debian.

This research tackled the challenges public secondary schools in Sagbayan District, Bohol, faced regarding records management. The study employed a mixed research design, combining both descriptive-qualitative and descriptive- quantitative methods. The qualitative phase involved conducting in-depth interviews and focus group discussions with relevant stakeholders involved in records management. On the other hand, the quantitative phase utilized survey questionnaires to gather data from relevant stakeholders to determine the acceptability of the proposed MIS among end-users. The first phase findings revealed various challenges (...) in records management faced by the schools, such as inefficient manual record-keeping systems, difficulties in data retrieval, and the risk of data loss due to inadequate backup procedures. These challenges highlighted the need for a comprehensive, technology-driven solution to streamline records management processes and ensure data security. The evaluation results in the second phase showed that the developed Management Information System (MIS) was well-accepted among the end users. The absence of any significant difference in the level of acceptability among the participants further validated the system's suitability for addressing their specific needs. The successful implementation of the MIS proved to be an effective solution to the records management challenges faced by the public secondary schools in Sagbayan District, Bohol. (shrink)

To begin with -- Genealogy of the cerebral subject -- Disciplines of the neuro -- Cerebralizing distress -- Brains on screen and paper -- Up for grabs.

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...) paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

We perform an experimental investigation using a dictator game in which individuals must make a moral decision —to give or not to give an amount of money to poor people in the Third World. A questionnaire in which the subjects are asked about the reasons for their decision shows that, at least in this case, moral motivations carry a heavy weight in the decision: the majority of dictators give the money for reasons of a consequentialist nature. Based on the results (...) presented here and of other analogous experiments, we conclude that dicator behavior can be understood in terms of moral distance rather than social distance and that it systematically deviates from the egoism assumption in economic models and game theory. (shrink)

The article deals with the chances of illustration of Mohammed: is it forbidden to depict Mohammed in the Islam? What the history or the religion say about it? The following sentences try to get a brief but deep approaching to that issue, underlying the importance that just a few time ago when several problems related to misunderstanding and hatred set the Muslim world in front of the Western people as violent in a behavior that no one could share. Through the (...) article we will see the lack of respect there was in some images that were published provoking all kind of reactions in the world. (shrink)

El autor expone las dimensiones y circunstancias de una investigación cualitativa realizada en un prestigioso instituto de docentes en Uruguay. Indagando en los rituales de interacción aplicados en el ámbito educativo, se observan los modelos de relación, la construcción de la identidad de docente y demás elementos propios de la institución educativa. En ese contexto, se identifican distintos contextos y situaciones cotidianas que reproducen procesos sociales en los que la finalidad está clara: la enseñanza y el aprendizaje.

The emigration is an arduous and complex process that includes practically all the aspects of the life of a human being. One is a sociological phenomenon: the challenging of the emigrant, the decision making, the election of the destination place, and so on; they are determined by the social issue, by the family, the friends and social networks. Normally the studies on the subject are of a quantitative type, as a matter of fact, the topic has a so deep meaning (...) and it affects so much the human being and its surroundings that seemed essential to me a qualitative approach to respond to the question: what desires, anxieties, fears and frustrations move the people to leave their homes and get themselves to a distant and practically unknown country? (shrink)

This work offers an analysis of all the legal and moral issues surrounding humanitarian intervention: the deaths of innocent persons and the Doctrine of Double Effect Governmental legitimacy - The Doctrine of Effective Political Control; UN Charter and evaluation of the Nicaragua ruling; The Morality of not intervening; US-led invasion of Iraq; Humanitarian intervention authorised by the UN Security Council - Iraq, Somalia, Haiti, Rwanda, and Bosnia among others highlight NATO's intervention in Kosovo; The Nicaragua Decision; and The precedents of (...) Panama, Liberia and Sierra Leone. The book's features include: a new framework based on the doctrine of double effect; basic principles of international ethics; outline of the moral argument for humanitarian intervention; explores the morality and legality of military action to end tyranny or anarchy; arguments in a much more detailed and complete fashion than in previous editions; in-depth examination of philosophy of international law; the relationship between custom and moral theory; new discussion of the question of right authority; and a full analysis of recent interventions in Kosovo and Iraq. book addresses a broad interdisciplinary audience of international lawyers, philosophers, and political scientists. In this new edition, the author responds to critics while updating the discussion in the light of the momentous events that took place at the beginning of the new millennium. (shrink)

Teson critiques a recent article by John Rawls in which Rawls extends his acclaimed political theory to include international relations.

Why should sovereign states obey international law? What compels them to owe allegiance to a higher set of rules when each country is its own law of the land? What is the basis of their obligations to each other? Conventional wisdom suggests that countries are too different from one another culturally to follow laws out of mere loyalty to each other or a set of shared moral values. Surely, the prevailing view holds, countries act simply out of self-interest, and they (...) eventually consent to norms of international law to regulate matters of common interest.In this groundbreaking book, Fernando Tesón goes against this prevailing thought by arguing, in the Kantian tradition, that a shared respect for individual human rights underpins not just the obligation countries feel to follow international law but also international laws themselves and even the very legitimacy of nations in the eyes of the international community. Tesón, both a lawyer and a philosopher, proposes that an overlapping respect for human rights has created a moral common ground among the countries of the world; and moreover, that such an outlook is the only one that is rationally defensible. It is this common set of values rather than self-interest that ultimately provides legitimacy to international law. Using the tools of moral philosophy, Tesón analyzes the concepts of sovereignty, intervention, and national interest; the contributions of social contact theory, game theory, and feminist theory; and the puzzles of self-determination and group rights.More than simply outlining his theory, Tesón goes on to give detailed examples of international laws, international institutions, and their human rights foundations, putting his ideas to work and addressing legal reforms called for by the theory. He suggests that treaties, for example, should be considered binding if, and only if, the consent to the treaty was given by a genuinely representative government, one that acts out of interest for the human rights of its citizens. Although the theoretical achievement of this book is to challenge received wisdom on the foundation of international law, the practical ambition is a call to reform the international legal system for the post–Cold War era, to substitute for the old order one that gives primacy to human dignity and freedom over state power. (shrink)

If personhood is the quality or condition of being an individual person, brainhood could name the quality or condition of being a brain. This ontological quality would define the `cerebral subject' that has, at least in industrialized and highly medicalized societies, gained numerous social inscriptions since the mid-20th century. This article explores the historical development of brainhood. It suggests that the brain is necessarily the location of the `modern self', and that, consequently, the cerebral subject is the anthropological figure inherent (...) to modernity (at least insofar as modernity gives supreme value to the individual as autonomous agent of choice and initiative). It further argues that the ideology of brainhood impelled neuroscientific investigation much more than it resulted from it, and sketches how an expanding constellation of neurocultural discourses and practices embodies and sustains that ideology. (shrink)

El objetivo propuesto en el siguiente trabajo es elucidar cómo desde la finitud de la existencia puede establecerse la problemática de la temporalidad dentro del entramado de pensamiento de Martin Heidegger. Para ello realizaremos un análisis de la conferencia de 1924 Der Begriff der Zeit, uno de los textos que allanan el camino a Sein und Zeit, en lugar de centrar la investigación en la considerada obra magna de Heidegger. Una reflexión acerca de este texto previo permitirá avanzar en el (...) análisis de la existencia al mostrar cómo el tiempo está arraigado en la existencia individual, no como un solipsismo, sino como apertura de posibilidades respecto del mundo (a la postre compartido con los otros). Una descripción fenomenológica de la muerte posibilitará la apertura al mundo, definiendo una temporalidad existencial que incluye no sólo al instante presente, sino también al pasado (concebido bajo la forma del «haber-sido») y al futuro. (shrink)

ABSTRACT There are many ways of understanding what it is for an argument to be valid. Although we usually identify the concept of validity with logical validity and, in turn, we typically take this to capture the notion of necessary preservation of truth in virtue of logical form, this is just one way in which validity can be explained. A different understanding of the notion of validity that has received some attention recently is based on the idea that an argument (...) is valid just in case accepting its premises is incoherent with rejecting its conclusion. The main claim of the paper will be that, under this understanding of the notion of validity, the usual reasons to privilege a treatment of validities over a treatment of invalidities loose much of their force. Validity and invalidity are on a par, which means that there are no strong reasons to treat validities primitively and to define invalidities in terms of them. (shrink)

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...) conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

El pensamiento de María Zambrano emerge, en la distancia histórica, bajo la imagen, siempre sugerente, de una Antígona contemporánea. Como ella asiste al conflicto trágico de una Guerra Civil; como ella apura el cáliz del sufrimiento y la soledad para hacer emerger una conducta ética y moral que sirva de Guía a sus contemporáneos, en un momento de crisis y confusión. Todas las grandes nociones del pensamiento zambraniano (sueño, confesión, guía, alba y aurora) se dan cita en esta máscara, pero (...) será el personaje galdoniano de la Nina de Misericordia, como aspiración pura nunca lograda, el verdadero motor que revela la personalidad de María Zambrano, tal como la vemos florecer en sus obras finales, Aurora, Claros del bosque y, sobre todo, Los bienaventurados. (shrink)

My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook. Using yabloesque techniques, I show that it is possible to transform this circular paradoxical construction (and other constructions as well) into an infinitary construction lacking any sort of circularity. Moreover, contrary to Cook’s approach, I think that this can be done without (...) using any controversial multimodal rules, i.e., the usual rules from normal epistemic and modal logic are enough to show the paradoxicality of the infinitary construction. Mi objetivo en este trabajo es ofrecer cierta evidencia a favor de la tesis según la cual una purga general de la autorreferencia es posible. Hago esto considerando una versión modal-epistémica de la Paradoja del mentiroso introducida por Roy Cook. usando técnicas yablescas, muestro que es posible transformar esta construcción paradójica circular (y también otras construcciones) en una construcción infinitaria que carece de cualquier forma de circularidad. más aún, en contra de la propuesta de Cook, muestro que esto puede hacerse sin utilizar ninguna regla multimodal controversial, esto es, las reglas usuales de la lógica modal y la lógica epistémica son suficientes para mostrar la paradojicidad de la construcción infinitaria. (shrink)

Recently, it has been observed that the usual type-theoretic restrictions are not enough to block certain paradoxes involving two or more predicates. In particular, when we have a self-referential language containing modal predicates, new paradoxes might appear even if there are type restrictions for the principles governing those predicates. In this article we consider two type-theoretic solutions to multimodal paradoxes. The first one adds types for each of the modal predicates. We argue that there are a number of problems with (...) most versions of this approach. The second one, which we favour, represents modal notions by using the truth predicate together with the corresponding modal operator. This way of doing things is not only useful because it avoids multimodal paradoxes, but also because it preserves the expressive capacity of the language. As an example of the sort of theory we have in mind, we provide a type-theoretic axiomatization that combines truth with necessity and knowledge. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)