We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.

In June 2012, the conference Trends in Logic XI, whose main theme was Advances in Philosophical Logic, took place at the Ruhr University in Bochum. Eight of the invited papers were published in a special issue of the journal Studia Logica. The present volume contains fourteen papers, which the editors selected out of the contributed papers presented at the conference, in order to offer a panorama of the themes developed in philosophical logic in the last two decades or so, as (...) well as to indicate some promising directions for further research. In what follows, we give a brief description of each contribution, following the order in the list of contents.In the first paper, B. Armour-Garb and J.A. Woodbridge discuss a manner in which one can treat semantic pathologies, such as the Liar Paradox. According to their approach, semantically pathological sentences are s-defective, i.e. they can be understood in a sense, but they bear no content, which we can accept or reject. The a .. (shrink)

On the basis of recent work concerning the meaning of the term stoicheion in Aristotle’s Analytics, we strengthen the view that this treatise can be viewed as a precursor of Euclid’s Elements.

The volume under review contains work dedicated to the memory of Leo Esakia, who died in 2010, after having worked for over 40 years towards developing duality theory for modal and intuitionistic logics. The collection comprises ten technical contributions that follow the first chapter, in which the reader can find information on Esakia’s studies and career, as well as a complete list of his research publications. In the sequel, we will refer briefly to each of these ten chapters, following the (...) order in the list of contents.B. Jónsson and A. Tarski, in two papers they published in the early 1950s in the American Journal of Mathematics, initiated the study of duality for Boolean algebras with additional operations, via the theory of canonical extensions. Esakia was among the first researchers who studied duality for lattices with additional operations [Topological Kripke models. Soviet Math.Dokl. 15 , 147–151], in particular for Heyting algebras and S4 modal algebras. M. Gehrke, a .. (shrink)

We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.

Human rights have become an important ideal in current times, yet our age has witnessed more violations of human rights than any previous less enlightened one. This book explores the historical and theoretical dimensions of this paradox. Divided into two parts, the first section offers an alternative history of natural law, in which natural rights are represented as the eternal human struggle to resist opression and to fight for a society in which people are no longer degraded or despised. At (...) the time of their birth in the 18th Century and again in the popular uprisings of the last decade, human rights became the dominant critique of law and society. The radical rhetoric of rights and its apparently endless expansive potential has led to its adoption by governments and individuals alike seeking to justify their actions on moral grounds and has undermined its radical edge. Part Two examines the philosophical logic of rights. The classical critiques of Kant, Burke, Hegel and Marx illuminate traditional aproaches to the concept of human rights. The work of Heidegger, Sartre and psychoanalysis is used to deconstruct the metaphisical essentialism of bothe universalists and cultural relativists. Finally, through a consideration of the ethics of otherness, and with reference to recent human rights violations, it is argued that the end of human rights is to judge law and politics from a moral stand point which both transcends the present and is historically relevant. (shrink)

Erudite and timely, this book is a key contribution to the renewal of radical theory and politics.

The purpose of the present paper is to consider the traditional interpretive problems of quantum mechanics from the viewpoint of a modal ontology of properties. In particular, we will try to delineate a quantum ontology that (i) is modal, because describes the structure of the realm of possibility, and (ii) lacks the ontological category of individual. The final goal is to supply an adequate account of quantum non-individuality on the basis of this ontology.

Jurisprudence is the prudence of jus, law's consciousness and conscience. Throughout history, when thinkers wanted to contemplate the organisation of society or the relationship between authority and the subject, they turned to law. All great philosophers, from Plato to Hobbes, Kant, Hegel, Marx and Weber had either studied the law or had a deep understanding of legal operations. But jurisprudence is also the conscience of law, the exploration of law's justice and of an ideal law or equity at the bar (...) of which state law is always judged. Jurisprudence brings together 'is' and 'ought', the positive and the normative, law and justice. But after a long process of decay, legal theory is today characterised by cognitive and moral poverty. Jurisprudence has become restricted and academically peripheral, a guidebook to technocratic legalism and a legitimation of the existent. Critical jurisprudence returns to the classical tradition of a general philosophy of law and adopts a much wider concept of legality. It is concerned both with posited law and with the law of the law. All legal aspects of the economic, political, emotional and physical modes of production and reproduction of society are part of critical jurisprudence. This widening of scope allows a radical rethinking of the nature of rights, justice, sovereignty and judgement. A political philosophy of justice today must examine the political economy of law; transitions from Empire to nation; ideological and imaginary constructions through which we understand ourselves and relate to others; ways in which gender, race or sexuality create forms of identity that both discipline bodies and offer sites of resistance. Law's complicity with political oppression, violence and racism has to be faced before it is possible to speak of a new beginning for legal thought, which in turn is the necessary precondition for a theory of justice. Critical Jurisprudence offers an ethics of law against the nihilism of power and an aesthetics of existence for the melancholic lawyer. (shrink)

The concept of fitness, central to population genetics and to the synthetic theory of evolution, is discussed. After a historical introduction on the origin of this concept, the current meaning of it in population genetics is examined: a cause of the selective process and its quantification. Several difficulties arise for its exact definition. Three adequacy criteria for such a definition are formulated. It is shown that it is impossible to formulate an adequate definition of fitness respecting these criteria. The propensity (...) definition of fitness is presented and rejected. Finally it is argued that fitness is a conceptual device, a useful tool, only for descriptive purposes of selective processes, changing from case to case, and thus devoid of any substantial physical counterpart. Any attempt to its reification is an apport to the metaphysical load evolutionary theory has inherited from Natural Theology. (shrink)

The current crisis is one outcome of the financialisation of contemporary capitalism. It arose in the USA because of the enormous expansion of mortgage-lending, including to the poorest layers of the working class. It became general because of the trading of debt by financial institutions. These phenomena are integral to financialisation. During the last three decades, large enterprises have turned to open markets to obtain finance, forcing banks to seek alternative sources of profit. One avenue has been provision of financial (...) services to individual workers. This trend has been facilitated by the retreat of public provision from housing, pensions, education, and so on. A further avenue has been to adopt investment-banking practices in open financial markets. The extraction of financial profits directly out of personal income constitutes financial expropriation. Combined with investment-banking, it has catalysed the current gigantic crisis. More broadly, financialisation has sustained the emergence of new layers of rentiers, defined primarily through their relation to the financial system rather than ownership of loanable capital. Finally, financialisation has posed important questions regarding finance-capital and imperialism. (shrink)

This volume of essays traces the history of jurisprudence from classical times, and examines various interpretations of written laws.

Responding to Alain Badiou’s ‘communist hypothesis’, the leading political philosophers of the Left convened in London in 2009 to take part in a landmark conference to discuss the perpetual, persistent notion that, in a truly emancipated society, all things should be owned in common. This volume brings together their discussions on the philosophical and political import of the communist idea, highlighting both its continuing significance and the need to reconfigure the concept within a world marked by havoc and crisis.

In this paper, we prove results concerning the existence of proper end extensions of arbitrary models of fragments of Peano arithmetic. In particular, we give alternative proofs that concern a result of Clote :163–170, 1986); :301–302, 1998), on the end extendability of arbitrary models of \-induction, for \, and the fact that every model of \-induction has a proper end extension satisfying \-induction; although this fact was not explicitly stated before, it follows by earlier results of Enayat and Wong and (...) Wong. (shrink)

It is becoming clear that many of today’s management theories are inadequate theoretically and practically to move understanding, scholarship, and practice to where it needs to be for scholars, business leaders, and policy makers to cope with an increasing fraught world. This Special Issue’s focus is on sustainability. Sustainability challenges need to incorporate multidisciplinary interventions and the trans- and interdisciplinary nature of solutions. To actively seek transformation toward sustainability, fundamental and innovative short-term as well as long-term efforts are required in (...) society, economy, technology, and education, including our understanding of human behavior and attitudes toward the management of the environment. This introductory piece presents natural science theories as a promising approach for achieving progress toward transformation for sustainability. (shrink)

The aim of this essay is to present a reading of Plato's utopianism, as expressed mainly through the 'big letters' of the Republic, which will lead us beyond Karl Popper's and Leo Strauss' modernist understandings of Plato and of his world. The author argues that, despite the 'transcendent' aspects of Platonic utopianism, the ideal city should be understood neither as a blueprint to be realized through some totalitarian political project nor as a mere fiction that cannot by definition give rise (...) to a viable existential prospect. The power of Platonic utopianism lies in its articulation to a value-laden cosmological continuum, which may be understood in terms of the self-instituting (through political persuasion and story-telling activites, among others) capacities of ancient Greek city. The utopian perspective is marked by shareability of political reason and by mutuality between participants in a common discursive venture rather than by individualist authoritarian projections or by harmless (that is, non-political in it orientation and ideological in its repercussions) day-dreaming. Even if Plato's philosophical project aspires to transcend the boundaries of ancient Greek cosmos, Platonic politics cannot be separated from its historical context, that is, the circumstances that gave rise to philosophy as a silent perhaps, but revolutionary, in it intentions political act. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

O objetivo deste artigo é fazer uma discussão apontando para o enfraquecimento de Estados Democráticos como resultado de uma _Predação Estatal_. Predação estatal é utilizada aqui para designar um sucateamento e desordens no Estado como resultados de má administração, corrupção, entre outros fatores. Para tal, fez-se uma discussão/síntese inicial sobre a concepção de Estado/sociedade em John Rawls, buscando relacionar sua ideia de estado ideal com a concepção de Estado Democrático de Direito de autores como Rubens Casara, que, a princípio, dialoga (...) de forma a concordar com a teoria da justiça de Rawls. Se percebeu, nesse sentido, que as concepções desses dois autores vão na contramão da predação estatal, pois esta última consiste na ausência de elementos como democracia, organização do Estado, garantia de direitos, entre outros, apontados por Rawls e Casara. Assim o trabalho foi escrito a partir de análise bibliográfica que versam sobre os temas em questão. A relevância do trabalho consiste na contribuição para a construção do conceito de predação estatal e _Estado Fraco_, possibilitando, dessa forma, uma ampliação da bibliografia a respeito desses conceitos, sendo este trabalho uma dessas fontes bibliográficas. Isso porque, por estarem ainda em construção, sobretudo a ideia de estado fraco, a bibliografia é rara, e praticamente não existe no Brasil. Vale ressaltar que Estado fraco não é Estado fracassado, que dispõe de maior bibliografia e tem uma concepção distinta de Estado fraco. (shrink)

This article examines the relevance of a theory of the multinational state for the evaluation of claims for self-determination and secession. Considerations of ?ethnocultural justice? imply that the recognition of the multinational character of a state ? or the granting of some of the minority nations' demands ? is a matter of justice. If these requirements are not met, secession could be justified. Indeed, if secession needs a just cause (as it has been argued), a failure to build a truly (...) multinational arrangement can be a valid reason for a minority nation to secede. An approach like the one proposed would also contribute to the resolution of some of the key problems of the three main theories of secession and their appeals to nationalism, choice and remedial rights. (shrink)

We show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ 0+exp.

In this paper we provide frame definability results for weak versions of classical modal axioms that can be expressed in Fitting's many-valued modal languages. These languages were introduced by M. Fitting in the early '90s and are built on Heyting algebras which serve as the space of truth values. The possible-worlds frames interpreting these languages are directed graphs whose edges are labelled with an element of the underlying Heyting algebra, providing us a form of many-valued accessibility relation. Weak axioms of (...) the form we treat here have been examined from the completeness perspective and further explored for applications in non-monotonic reasoning. Here, we introduce more weak many-valued modal axioms and prove a frame correspondence result for all of them. The classes of corresponding labelled frames possess algebraic properties which are strongly reminiscent of many classical ones, such as the Church-Rosser property, reflexivity, transitivity, partial functionality, etc. (shrink)

entry for the Entry for the Stanford Encyclopedia of Philosophy, 2007.

This new study seeks to reopen the law-ethics debate from a postmodern perspective and calls for a radical reassessment of the relationship between law and morality.

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...) and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, reflexivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra. (shrink)

This study integrates corpus-assisted text analysis with frame semantics to study a social problem. Taking a cognitive-linguistic approach to critical discourse studies, in this article I examine the linguistic construction of minors in a corpus of 489 articles from the Uruguayan newspaper El País in the context of the so-called ‘Criminal Imputability Referendum’. Throughout, I focus on the construal operation of framing and identify a host of discursive patterns via which minors and adolescents are recurrently placed within the semantic frame (...) CRIME, and within this, they profile the frame elements of perpetrators of violent crimes rather than victims. I argue that, in the context of the referendum, these discursive strategies run the risk of facilitating the consolidation of a strong conceptual link whereby youth become readily associated with criminality, and are subservient to the political views of groups supporting a lower cut-off age for criminal responsibility and more stringent punishments. The observations arrived at in this instance set the foundations for a future experimental study testing whether the discursive patterns unearthed here have an effect on how readers conceptualize minors outside the texts. (shrink)

Defeasible conditionals are statements of the form ‘if A then normally B’. One plausible interpretation introduced in nonmonotonic reasoning dictates that ) is true iff B is true in ‘most’ A-worlds. In this paper, we investigate defeasible conditionals constructed upon a notion of ‘overwhelming majority’, defined as ‘truth in a cofinite subset of \’, the first infinite ordinal. One approach employs the modal logic of the frame \\), used in the temporal logic of discrete linear time. We introduce and investigate (...) conditionals, defined modally over \\); several modal definitions of the conditional connective are examined, with an emphasis on the nonmonotonic ones. An alternative interpretation of ‘majority’ as sets cofinal ) rather than cofinite ) is examined. For these modal approaches over \\), a decision procedure readily emerges, as the modal logic \ of this frame is well-known and a translation of the conditional sentences can be mechanically checked for validity; this allows also for a quick proof of \-completeness of the satisfiability problem for these logics. A second approach employs the conditional version of Scott-Montague semantics, in the form of \-many possible worlds, endowed with neighborhoods populated by collections of cofinite subsets of \. This approach gives rise to weak conditional logics, as expected. The relative strength of the conditionals introduced is compared to KLM logics and other conditional logics in the literature. (shrink)

We examine the impact of corporate culture on environmental performance using a sample of 7199 firm-year observations over the period of 2002–2018. We find that stronger corporate culture improves environmental performance, measured by the amount of toxic chemical release (TCR). Our result is both statistically and economically significant. We also show that cultural norms of innovation, quality and teamwork as well as a technology-oriented corporate culture have a greater impact on enhancing environmental performance. Further analyses show that managerial competence and (...) strong institutional ownership moderate the relationship between corporate culture and environmental performance. We introduce the decomposition of expected and unexpected components of TCR and document that firms with a strong corporate culture implement strategies to reduce the unexpected component of TCR in addition to the expected component of TCR. Finally, we document that strong corporate culture and environmental performance improve firms’ financial performance. Our results are robust to several sensitivity tests and procedures to mitigate endogeneity and self-selection problems. From a practical point of view, our findings suggest that a firm’s culture can determine its environmental sustainability and ethical practices. (shrink)