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.

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.

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 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)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) (151 E-152C); as opposed to what he may have taught secretly to his pupils (152C-160D). Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken. (shrink)

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)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) ; as opposed to what he may have taught secretly to his pupils. Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken.In that part of the dialogue where the question is under examination whether or not knowledge and perception are the same, Socrates uses an idealized concept of knowledge. That is, he restricts the use of the word by setting down what he will consider to be the essential characteristics of knowledge, the sufficient and necessary conditions of its being instantiated. An excellent piece of philosophical procedure. (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)

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)

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)

Because anticipated and retrospective regret play important roles in practical deliberation and motivation, better understanding them can illuminate the contours of human agency. However, the possibility of self-ignorance and the fact that we change over time can make regret—especially anticipatory regret—not only a poor predictor of where the agent will be in the future but also an unreliable indicator of where the agent stands. Granting these, this paper examines the way in which prospective and, particularly, retrospective regret can nevertheless yield (...) important insight into the sorts of creatures we are, both generally and individually. The experience of retrospective regret can show a person she values something in a way she did not know or that she is (or was) a different person than she had thought, insights which can factor into forward-looking, or prospective, deliberation. Such instances of revelatory regret reveal something to the agent about herself as agent. I examine two cases of agential self-ignorance. In the first, the experience of regret reveals what the agent values, not only to others but even to the agent himself. In the second, the agent anticipates experiencing regret for an action but does not experience the regret, suggesting that the agent did not value the rejected alternative in the way she thought. Anticipatory regret is forward-looking and can play an important role in practical deliberation. But insofar as anticipatory regret flows from one’s imperfect judgment and prospection about oneself, retrospective regret can be an important corrective in helping the agent understand her own standpoint. (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)

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)

In his newly updated version of The Anatomy of a Constitutional Law Case, Alan F. Westin provides a documentary portrait of historically important constitutional law case, 'Youngstown Sheet & Tube Co. v. Sawyer, ' from its rise in a bargaining dispute in the steel industry during 1952 to the aftermath of its decision by the United States Supreme Court. Westin has added to his classic book additional materials and personal commentaries collected since the work was first published. The new information (...) covers what went on within the Truman administration, what went on within the Supreme Court when analyzing and resolving issues that come before it. Westin includes selections from transcripts, briefs and other official proceedings, adds notes describing each phase of the constitutional process, and a section of commentary and questions relating this case to others. (shrink)

Inborn errors of vitamin B12 (cobalamin) metabolism are associated with homocystinuria and methylmalonic aciduria, either alone or in combination. A number of these disorders have provided the first evidence for the existence of important steps in the transport or metabolism of cobalamin in eukaryotic cells. Eight complementation classes have been defined on the basis of somatic cell hybridization studies. Although the majority of patients present in infancy or early childhood, some are not diagnosed until adolescence or later. For some of (...) these disorders, prenatal diagnosis and therapy with cobalamin during pregnancy has been attempted. Although only males have been described with cblE disease, all of these disorders are presumed to be autosomal recessive in inheritance. The clinical and laboratory aspects of the different complementation classes (cblA–cblG) are reviewed here. (shrink)

People often seem to forget that Rousseau dedicated his SecondDiscourse to This is a shame because, in doing so, they miss precious clues not only about the meaning of the Discourse itself, but also about its place in Rousseau's political thought as a whole. It is also rather curious, because Rousseau's dedicatory letter to Geneva is actually not so easy to overlook; in the Pléiade edition it takes up more than ten pages of tightly worded text and is thus almost (...) twice as long as Rousseau's more frequently cited that follows it. Ignoring the dedication is, of course, part of a larger and more general problem in Rousseau scholarship: the still widespread tendency to read Rousseau out of historical context and with little concern for his intended meaning. (shrink)

On July 31, 2017, a symposium on Ripley’s forthcoming book Uncut was held in Buenos Aires. Ripley presented the main ideas in the book and there were comments by some of the participants. After the symposium, many of us agreed that it would be a good idea to put together a volume to reflect some of the interesting discussions that took place there.

It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. In this paper I want to suggest that bivalent logic can do just as well. This is accomplished by using a non-deterministic matrix to define the negation connective. I show that the systems obtained in this way support a transparent truth predicate. The paper also contains some remarks on the conceptual interest of such (...) systems. (shrink)

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.

Thought: A Journal of Philosophy, EarlyView.

Rousseau and Geneva reconstructs the main aspects of Genevan socio-economic, political and religious thought in the first half of the eighteenth century. In this way Dr Rosenblatt effectively contextualizes the development of Rousseau's thought from the First Discourse through to the Social Contract. Over time Rousseau has been adopted as a French thinker, but this adoption obscures his Genevan origin. Dr Rosenblatt points out that he is, in fact, a Genevan thinker and illustrates for the first time that (...) Rousseau's classical republicanism, his version of natural law theory, his civil religion, and his hostility to the arguments of doux commerce theorists are all responses to the political use of such arguments in Geneva. The author also points out that it was this relationship with Geneva that played an integral part in his development into an original political thinker. (shrink)