Uruguay is a prime example of how a peripheral country creatively digested foreign experiences and became not only Latin America’s first welfare state democracy, but also a pioneer of free, compulsory, and lay education, the work of two political generations, positivist varelistas and Krausist batllistas. This article, based on new archival sources, contemporary newspapers, official publications, and monographs by protagonists argues that one of their consistent reference points, largely ignored in historiography, was Belgium, a country founded almost at the same (...) time as Uruguay and admired for its liberal constitutionalism. Uruguayan reformers’ fascination with Belgium, but also their risk awareness, increased when, from the 1860s, both countries implemented conflictual secularizing school reforms that aimed at belated cultural nation-building. (shrink)

This monograph revisits Uruguay’s remarkable transformation from a volatile product of ‘balkanisation’ in the River Plate area into Latin America’s first welfare-state democracy, associated with President José Batlle y Ordóñez (1903–7, 1911–15). Central to the country’s belated polity formation and nation-building was its school reform. The author investigates this, for the first time, from its start in 1868 under José Pedro Varela to the end of Batlle’s second term and argues that continuities in change prevailed over the alleged rupture of (...) 1903, including at the level of normative ideas. Moreover, by placing Uruguay into the broader context of what scholars have called the “Corridor of Ideas” from Santiago de Chile through Buenos Aires and Montevideo to Porto Alegre, this pioneering study also shows how Uruguay acted as a crossroads of intellectuals and a laboratory for the contestation, assimilation, and merger of global and autochthonous political and pedagogical philosophies. Jens R Hentschke is Professor of Latin American History and Politics at Newcastle University in the UK. (shrink)

Positivism, the predominant philosophy of Latin America’s elites at the end of the nineteenth century, found its exemplary expression in Brazil’s castilhismo and Mexico’s porfiriato. Argentina, in contrast, seemed to have deviated from the norm of ‘enlightened dictatorships’. After the end of the Rosas tyranny in 1852, authoritarianism had been discredited. Early positivism, as embodied by Teacher-President Sarmiento, could barely be distinguished from liberalism and no single political philosophy was able to exert hegemony. However, the significance of ‘scientific politics’ should (...) not be downplayed. As this article argues, the merger, in the 1880s, of Comtean positivism and teacher training revolutionised education policies that aimed at erasing frontier backwardness and inserting future generations into an export-led economy, oligarchic polity, and homogenous national organism. Normal schools, especially Sarmiento’s Escuela de Parana´, acted as laboratories for the assimilation, merger, and contestation of European, North American, and autochthonous scientific, philosophical, and pedagogical traditions. (shrink)

The author argues that polity and policies of Getúlio Vargas’s Estado Novo cannot be fully understood without exploring the legacy of Rio Grande do Sul. The southern state’s first republican governor, Júlio de Castilhos, had taken inspiration in Auguste Comte’s multifaceted political philosophy and inculcated its authoritarian traits into political institutions. Yet, he and his followers substantially adapted Comte’s positivism to the specific economic and political circumstances in their republiqueta sui generis. In contrast to Comte, the State merged temporal and (...) spiritual powers to pursue evolutionary political changes, a balanced socioeconomic modernisation, and the incorporation of the populus qua paternalistic public policies, and all this with a strong focus on education. Changing contexts resulted in further adjustments, when Vargas became governor in 1928: an ‘orderly’ inclusion of the opposition into the polity, a stronger state interventionism in the economy and labor market, and an experimentation with state corporatism. These experiences paved the way for this comtismo-turned-castilhismo-turning-varguismo to enter the national stage two years later. Despite all the compromises with other contenders for power that Vargas had to make thereafter, he and his gaúcho and other co-opted protégés remained united in the strong belief in technical solutions to social problems and a quest for rational institutions to carry out transformative policies. For them, the State was to be agent of development, tutor of corporate interest groups, and now also guarantor of national security. While highlighting the significant, and still underestimated, impact of French positivism on Vargas’s first 15 years in government, the article places emphasis on the pragmatic dimensions of its appropriation, propagation, and reinterpretation by two generations of state-builders. (shrink)

It is argued that the preservation of truth by an inference relation is of little interest when premiss sets are contradictory. The notion of a level of coherence is introduced and the utility of modal logics in the semantic representation of sets of higher coherence levels is noted. It is shown that this representative role cannot be transferred to first order logic via frame theory since the modal formulae expressing coherence level restrictions are not first order definable. Finally, an inference (...) relation, calledyielding, is introduced which is intermediate between the coherence preservingforcing relation introduced elsewhere by the authors and the coherence destroying, inference relation of classical logic. (shrink)

This book is less about disjunction than about the English word ‘or’, and it is less for than against formal logicians—more exactly, against those who maintain that formal logic can be applied in certain ways to the evaluation of reasoning formulated in ordinary English. Nevertheless, there are many things to interest such of those persons who are willing to overlook the frequent animadversions directed against their kind in the book, and this review will concentrate on them.

In this paper we investigate nonnormal modal systems in the vicinity of the Lewis system S1. It might be claimed that Lewis's modal systems are the starting point of modern modal logics. However, our interests in the Lewis systems and their relatives are not historical. They possess certain syntactical features and their frames certain structural properties that are of interest to us. Our starting point is not S1, but a weaker logic S1$^0$. We extend it to S1$^0$D, which can be (...) considered as a deontic counterpart of the alethic S1. Soundness and completeness of these systems are then demonstrated within a prenormal idiom. We conclude with some philosophical remarks on the interpretation of our deontic logic. (shrink)

In [3] I argued for a particular kind of semantics for subjunctive conditionals. The arguments were based upon some linguistic considerations of the general character of what we mean when we say such and such. I urged that a semantics for subjunctive conditionals ought to provide a distinct representation of the subjunctive mood of a sentence, and should take seriously the fact that subjunctive conditionals admit distinctions of tense. The envisaged semantics took the subjunctive conditional to be about occasions, and (...) the central problem discussed was, accordingly, how to represent what must count as the same occasion in spite of whatever changes were required to make the antecedent of the conditional true. (shrink)

I am idebted to members of the Wellington Logic Seminar for useful discussions of work of which this essay forms part, in particular to M. J. Cresswell for comments in the earlier stages of the investigation and to R. I. Goldblatt who suggested the definition ofB infD supu and made numerous other suggestions.

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of (...) or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application. (shrink)

This paper is an experiment in Leibnizian analysis. The reader will recall that Leibniz considered all true sentences to be analytically so. The difference, on his account, between necessary and contingent truths is that sentences reporting the former are finitely analytic; those reporting the latter require infinite analysis of which God alone is capable. On such a view at least two competing conceptions of entailment emerge. According to one, a sentence entails another when the set of atomic requirements for the (...) first is included in the corresponding set for the other; according to the other conception, every atomic requirement of the entailed sentence is underwritten by an atomic constituent of the entailing one. The former conception is classical on the twentieth century understanding of the term; the latter is the one we explore here. Now if we restrict ourselves to the formal language of the propositional calculus, every sentence has a finite analysis into its conjunctive normal form. Semantically, then, every sentence of that language can be represented as a simple hypergraph, H, on the powerset of a universe of states. Entailment of the sort we wish to study can be represented as a known relation, subsumption between hypergraphs. Since the lattice of hypergraphs thus ordered is a DeMorgan lattice, the logic of entailment thus understood is the familiar system, FDE of first-degree entailment. We observe that, extensionalized, the relation of subsumption is itself a DeMorgan Lattice ordered by higher-order subsumption. Thus the semantic idiom that hypergraph-theory affords reveals a hierarchy of lattices capable of representing entailments of every finite degree. (shrink)

An epistemic logic is built up on the basis of an analysis of two skeptical arguments. the method used is to first construct an inference relation appropriate to epistemic contexts and introduce "a knows that..." as an operator giving rise to sentences closed with respect to this new concept of inference. soundness and completeness proofs are provided using auxiliary three-valued valuations.

Apostoli and Brown have shown that the class of formulae valid with respect to the class of -ary relational frames is completely axiomatized by Kn: an n-place aggregative system which adjoins [RM], [RN], and a complete axiomatization of propositional logic, with [Kn]:□α1 ∧...∧□αn+1 → □2/ is the disjunction of all pairwise conjunctions αi∧αj )).Their proof exploits the chromatic indices of n-uncolourable hypergraphs, or n-traces. Here, we use the notion of the χ-product of a family of sets to formulate an alternative (...) definition of an n-trace, which in turn enables a new and simpler completeness proof. (shrink)

In this paper we investigate nonnormal modal systems in the vicinity of the Lewis system S1. It might be claimed that Lewis's modal systems (S1, S2, S3, S4, and S5) are the starting point of modern modal logics. However, our interests in the Lewis systems and their relatives are not (merely) historical. They possess certain syntactical features and their frames certain structural properties that are of interest to us. Our starting point is not S1, but a weaker logic S1 (S1 (...) without the schema [T]). We extend it to S1D, which can be considered as a deontic counterpart of the alethic S1. Soundness and completeness of these systems are then demonstrated within a prenormal idiom. We conclude with some philosophical remarks on the interpretation of our deontic logic. (shrink)

GENERALIZED RECUBION THEORY II © North-Holland Publishing Company (1978) MONOTONE QUANTIFIERS AND ADMISSIBLE SETS Ion Barwise University of Wisconsin ...