Beginning in the early 1990s, Third World Approaches to International Law scholarship (TWAIL) destabilized the mainstream narrative within international law that its doctrines were constituted by the historic search for order between formally equal state sovereigns. Instead, TWAIL scholars argued that the key constitutive dynamic of the discipline was the colonial experience, which continues to hold powerful sway over the legal architecture of global regulation whereby international law functions to perpetuate inequality and oppression. At the same time, however, TWAIL scholarship (...) regularly posits international law as an emancipatory force that may be mobilized on behalf of former colonized populations and other marginalized social identities. The rise of post-Marxist scholarship, and more generally, the turn to interdisciplinary within the profession in recent years offers an opportunity to analyze this curious paradox and construct alternative modes of analysis for future TWAIL scholarship. In the first section, the paper draws upon a diverse array of TWAIL scholars over the last thirty years to map the argumentative logic within TWAIL literature. In the second section, the paper incorporates debates and insights from complimentary academic disciplines to illuminate some blind spots within TWAIL’s central arguments, and potentially ‘radicalize’ its future possibility of critique against the growing inequality within global governance. (shrink)

The purpose of this paper is to study an analogue of Hilbert's seventeenth problem for functions over a valued field which are integral definite on some definable set; that is, that map the given set into the valuation ring. We use model theory to exhibit a uniform method, on various theories of valued fields, for deriving an algebraic characterization of such functions. As part of this method we refine the concept of a function being integral at a point, and make (...) it dependent on the relevant class of valued fields. We apply our framework to algebraically closed valued fields, model complete theories of difference and differential valued fields, and real closed valued fields. (shrink)

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Objectivity can be effectively described as striving for detachment -a capacity to achieve some distance from one's own spontaneous perceptions and convictions, to experimentally adopt perspectives that do not come naturally. Novick's treatment of objectivity satisfies the requirements of objectivity, while on a rhetorical level he rejects the notion as unrealistic. Detachment enables an intellectual, specifically an historian, to operate with self-reflexivity and simultaneously socializes him or her. The ultimate power in a community of detached intellectuals striving for objectivity is (...) a powerful argument. Under Novick's notion of objectivity, the conflict for historians between scholarly integrity and political alliance is unresolvable. Removing neutrality from the definition of objectivity resolves this conflict, enabling historians to strive for detachment and fairness, not disengagement from life. Postmodern disclaimers, such as Novick's on the futility of objectivity, fail, through being overly dismissive, to help us establish criteria for evaluating individual historical accounts. Having objectivity as a goal enables us to establish those criteria. (shrink)

CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...

Explains process and offers insights for practical use through quantitative models.

Opinion surveys were taken in an effort to determine the philosophical beliefs of students beginning philosophy. Correlated sets were made of those who took the survey before and after a first course in philosophy; and opinion shifts noted. The acquired information may be of interest to people in various disciplines. The authors tested the semantic usage of certain epistemological terms, the change in religious beliefs, the degree of consistency between general skepticism and particular knowledge claims. Finally, the authors proposed a (...) consistency test for the measure of the extent to which a sample of students “clarified their beliefs,”; and attempted to measure their own pedagogical efficiency with reference to this test. (shrink)

We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.

Lorenzen, in his book Einführung in die operative Logik und Mathematik has given a relatively precise form of syntactical system which he calls a calculus. The present paper deals with the relationship of Lorenzen's notion of calculus with the notion of formal system . It is shown that the obs of a formal system can be represented as the theses of a calculus of a certain type just when the calculus has a property called the tectonic property, and conditions are (...) given under which one form of system can be transformed into the other.ZusammenfassungLorenzen hat in seinem Buch, Einführung in die operative Logik und Mathematik, eine ziemlich genaue Auffassung eines syntaktischen Systems angegeben, die er Kalkül nennt. Die vorliegende Abhandlung betrifft die Verwandtschaft dieses Lorenzenschen Begriffs mit dem eines formalen Systems . Es wird bewiesen, dass die « Obs » eines formalen Systems sich als die Thesen eines passenden Kalküls genau dann repräsentieren lassen, wenn dieser Kalkül eine gewisse Eigenschaft, die « tectonic property » heisst, besitzt; die Bedingungen für die Überführung einer Art von System in die andere werden aufgezeigt.RésuméLorenzen, dans son livre Einführung in die operative Logik und Mathematik, a exposé une forme assez précise de systéme syntaxique qu'il a appelée un calcul. L'article actuel traite les relations entre cette idée et celle d'un système formel . L'auteur dèmontre que les « obs » d'un système formel peuvent se représenter comme les thèses d'un calcul d'une certaine espèce justement quand le calcul a une propriété que l'on appelle « the tectonic property »; et it énonce des conditions pour qu'un type de système soit transformable en l'autre. (shrink)

Model theorists have been studying analytic functions since the late 1970s. Highlights include the seminal work of Denef and van den Dries on the theory of the p-adics with restricted analytic functions, Wilkie's proof of o-minimality of the theory of the reals with the exponential function, and the formulation of Zilber's conjecture for the complex exponential. My goal in this talk is to survey these main developments and to reflect on today's open problems, in particular for theories of valued fields.

Gianni Vattimo and Santiago Zabala recast Karl Marx's theories at a time when capitalism's metaphysical moorings are buckling. Leaving aside the ideal of development and the general call for revolution, hermeneutic communism relies on interpretation rather than truth and proves more flexible in different contexts. It motivates a resistance to capitalism's inequalities yet intervenes against violence and authoritarianism by emphasizing the interpretative nature of truth. Paralleling Vattimo and Zabala's work on the weakening of religion, Hermeneutic Communism realizes the effective potential (...) of Marxist thought. (shrink)

This work provides a welcome antidote to some of the distortions and biases which the two dominant schools of Anglo-American philosophical thinking, logical positivism and ordinary language analysis have introduced into the philosophy of history in the past three or four decades. In particular, it challenges two powerful stereotypes: that philosophy and history are conceptually independent of each other; and that there exists a sharp division between "analytical" (reputable) and "speculative" (disreputable) philosophy of history. By offering and defending his own (...) conception of philosophy, the author seeks to show that there is indeed common ground between philosophy and history, that speculative philosophy of history lies between philosophy and history, not because it is neither philosophy nor history, but because it is both philosophy and history. Originally published in 1970. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Previous criteria of narrative coherence have failed to come to terms with narrative intelligibility. The principle of chronology is only a negative criterion. The one entity-one story criterion, which requires every episode to~ refer to one and the same entity, fails both in its positive and negative forms. The Aristotelian concept of necessary connection is useless for historians because there are no natural beginnings or endings in history. Yet genetic relationships in narrative, though they cannot be reduced to causal or (...) probabilistic relationships, do give coherences. History becomes science when historians transform stories into histories by seeking the mechanisms which underlie the genetic relationships between historical incidents. The construction of history in narrative form does not, therefore, cut the historian off from science, as positivists contend. (shrink)

A robust result in research on the production of grammatical agreement is that speakers are more likely to produce an erroneous verb with phrases such as the key to the cabinets, with a singular noun followed by a plural one, than with phrases such as the keys to the cabinet, where a plural noun is followed by a singular. These asymmetries are thought to reflect core language production processes. Previous accounts have attributed error patterns to a syntactic number feature present (...) on plurals but not singulars. An alternative approach is presented in which a process similar to structural priming contributes to the error asymmetry via speakers' past experiences with related agreement constructions. A corpus analysis and two agreement production studies test this account. The results suggest that agreement production is shaped by statistical learning from past language experience. Implications for accounts of agreement are discussed. (shrink)

C-minimality is a variant of o-minimality in which structures carry, instead of a linear ordering, a ternary relation interpretable in a natural way on set of maximal chains of a tree. This notion is discussed, a cell-decomposition theorem for C-minimal structures is proved, and a notion of dimension is introduced. It is shown that C-minimal fields are precisely valued algebraically closed fields. It is also shown that, if certain specific ‘bad’ functions are not definable, then algebraic closure has the exchange (...) property, and for definable sets dimension coincides with the rank obtained from algebraic closure. (shrink)